Grigore Rosu
TitleCited byYear
Mop: an efficient and generic runtime verification framework
F Chen, G Roşu
Acm Sigplan Notices 42 (10), 569-588, 2007
4382007
Synthesizing monitors for safety properties
K Havelund, G Roşu
International Conference on Tools and Algorithms for the Construction and …, 2002
3682002
Monitoring java programs with java pathexplorer
K Havelund, G Roşu
Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001
3602001
An overview of the K semantic framework
G Roșu, TF Șerbănută
The Journal of Logic and Algebraic Programming 79 (6), 397-434, 2010
3292010
Institution morphisms
J Goguen, G Roşu
Formal aspects of computing 13 (3-5), 274-307, 2002
2472002
An overview of the runtime verification tool Java PathExplorer
K Havelund, G Roşu
Formal methods in system design 24 (2), 189-215, 2004
2372004
An executable formal semantics of C with applications
C Ellison, G Rosu
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
2352012
An overview of the MOP runtime verification framework
PON Meredith, D Jin, D Griffith, F Chen, G Roşu
International Journal on Software Tools for Technology Transfer 14 (3), 249-289, 2012
2342012
Monitoring programs using rewriting
K Havelund, G Rosu
Proceedings 16th Annual International Conference on Automated Software …, 2001
2282001
Java-MOP: A monitoring oriented programming environment for Java
F Chen, G Roşu
International Conference on Tools and Algorithms for the Construction and …, 2005
2162005
Efficient monitoring of safety properties
K Havelund, G Roşu
International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004
1982004
Towards monitoring-oriented programming: A paradigm combining specification and implementation
F Chen, G Roşu
Electronic Notes in Theoretical Computer Science 89 (2), 108-127, 2003
1922003
Rewriting-based techniques for runtime verification
G Rosu, K Havelund
Automated Software Engineering 12 (2), 151-197, 2005
1802005
Efficient decentralized monitoring of safety in distributed systems
K Sen, A Vardhan, G Agha, G Rosu
Proceedings of the 26th International Conference on Software Engineering …, 2004
1672004
The rewriting logic semantics project
J Meseguer, G Roşu
Theoretical Computer Science 373 (3), 213-237, 2007
1562007
Formal analysis of Java programs in JavaFAN
A Farzan, F Chen, J Meseguer, G Roşu
International Conference on Computer Aided Verification, 501-505, 2004
1552004
Monitoring algorithms for metric temporal logic specifications
P Thati, G Roşu
Electronic Notes in Theoretical Computer Science 113, 145-162, 2005
1452005
jPredictor: A Predictive Runtime Analysis Tool for Java
F Chen, TF Serbanuta, G Rosu
Software Engineering, 2008. ICSE'08. ACM/IEEE 30th International Conference …, 2008
135*2008
Maximal sound predictive race detection with control flow abstraction
J Huang, PON Meredith, G Rosu
ACM Sigplan Notices 49 (6), 337-348, 2014
1302014
Parametric trace slicing and monitoring
F Chen, G Roşu
International Conference on Tools and Algorithms for the Construction and …, 2009
1272009
The system can't perform the operation now. Try again later.
Articles 1–20