- Institution
- Formal Systems Laboratory, University at Illinois at Urbana Champaign, US
- grosu@cs.uiuc.edu
- Status
- Former
Publications
2023
2021
Matching logic explained Journal
2020
2016
2015
K-Java: A Complete Semantics of Java Unpublished
2014
All-Path Reachability Logic Conference
Language Definitions as Rewrite Theories Conference
2013
K Framework Talk
One-Path Reachability Logic Conference
K: Overview and SIMPLE Case Study Conference
The K Primer (version 3.2) Conference
One-Path Reachability Logic Conference
2012
Making Maude Definitions more Interactive Conference
The K Framework Distilled Conference
Executing Formal Semantics with the K Tool Conference
Checking Reachability using Matching Logic Conference
2011
2010
Automating Coinduction with Case Analysis Conference
2009
Circular Coinduction with Special Contexts Conference
2008
2007
Circ: A Circular Coinductive Prover Conference
Projects
- Automated Verification Using Circularities (CIRC)
- Executable Semantic Framework (K Framework) (K)
- Capturing Initial and Final Semantics in Matching Logic