Grigore Rosu
University of Illinois at Urbana-Champaign
H-index: 65
North America-United States
Top articles of Grigore Rosu
Technical Report: A Logical Treatment
2024/4/1
Matching Logic Proofs Meet Succinct Cryptographic Proofs
2023/6/1
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Proceedings of the ACM on Programming Languages
2023/4/6
Capturing constrained constructor patterns in matching logic
Journal of Logical and Algebraic Methods in Programming
2023/1/1
Rewriting-Based Computer-Interpretable Clinical Practice Guidelines
2022/11/17
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
2022/8/22
Owolabi Legunsen
H-Index: 10
Grigore Rosu
H-Index: 36
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)
2022
Matteo Maffei
H-Index: 20
Grigore Rosu
H-Index: 36
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and …
2000/3/15
Fleet-wide monitoring system for vehicles
2021/6/29
Language-parametric compiler validation with application to LLVM
2021/4/19
Matching logic explained
Journal of Logical and Algebraic Methods in Programming
2021/4/1
Technical Report: Decidable Fragments of Matching Logic
2021/2/2
Journal of Logical and Algebraic Methods in Programming
2023
KBoogie: A Formal Semantics for Boogie
2021/12/1
Guarded matching logic is decidable
2021/11/30
Making Formal Verification Trustworthy via Proof Generation
2021/11/21
Zhengyao Lin
H-Index: 0
Xiaohong Chen
H-Index: 50
Minh-Thai Trinh
H-Index: 5
John Wang
H-Index: 62
Grigore Rosu
H-Index: 36
The Vision for the Future of Programming Language Design and Analysis
2021/10/17
An Interactive Theorem Prover for Matching Logic with Proof Object Generation
2021/10/4
Co-Authors
