Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings von Legunsen, Owolabi, Rosu, Grigore

Volltext

An overview of the MOP runtime verification framework von Meredith, Patrick O’Neil, Jin, Dongyun, Griffith, Dennis, Chen, Feng, Roşu, Grigore

Volltext

Efficient monitoring of safety properties von HAVELUND, Klaus, ROSU, Grigore

Volltext

Matching Logic von Grigore Rosu

Volltext

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 Practice...

Volltext

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 Practice...

Volltext

All-Path Reachability Logic von Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Florin Serbanuta, Grigore Rosu

Volltext

Finite-trace linear temporal logic: coinductive completeness von Roşu, Grigore

Volltext

Institution morphisms von GOGUEN, Joseph, ROSU, Grigore

Volltext

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 Practice... von Fisman, Dana, Rosu, Grigore

Volltext

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 Practice... von Fisman, Dana, Rosu, Grigore

Volltext

Dealing With C's Original Sin von Hathhorn, Chris, Rosu, Grigore

Volltext

A general approach to define binders using matching logic von Chen, Xiaohong, Roşu, Grigore

Volltext

Matching logic explained von Chen, Xiaohong, Lucanu, Dorel, Roşu, Grigore

Volltext

Circular Coinduction: A Proof Theoretical Foundation von Roşu, Grigore, Lucanu, Dorel

Volltext

Term-generic logic von Popescu, Andrei, Roşu, Grigore

Volltext

Capturing constrained constructor patterns in matching logic von Chen, Xiaohong, Lucanu, Dorel, Roşu, Grigore

Volltext

Efficient Monitoring of ω-Languages von d’Amorim, Marcelo, Roşu, Grigore

Volltext

On the complexity of stream equality von ENDRULLIS, JÖRG, HENDRIKS, DIMITRI, BAKHSHI, RENA, ROŞU, GRIGORE

Volltext

Why and How Does K Work? The Logical Infrastructure Behind It: Invited Talk at the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice von Rosu, Grigore

Volltext