Seguir
Grigore Rosu
Título
Citado por
Citado por
Año
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
5782010
Mop: an efficient and generic runtime verification framework
F Chen, G Roşu
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007
5202007
Synthesizing monitors for safety properties
K Havelund, G Roşu
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
4932002
Kevm: A complete formal semantics of the ethereum virtual machine
E Hildenbrandt, M Saxena, N Rodrigues, X Zhu, P Daian, D Guth, ...
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 204-217, 2018
4812018
Monitoring java programs with java pathexplorer
K Havelund, G Roşu
Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001
4062001
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
3322012
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
3182012
An overview of the runtime verification tool Java PathExplorer
K Havelund, G Roşu
Formal methods in system design 24 (2), 189-215, 2004
2862004
Monitoring programs using rewriting
K Havelund, G Rosu
Proceedings 16th Annual International Conference on Automated Software …, 2001
2862001
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
2752005
Institution morphisms
J Goguen, G Roşu
Formal aspects of computing 13, 274-307, 2002
2722002
Rewriting-based techniques for runtime verification
G Roşu, K Havelund
Automated Software Engineering 12 (2), 151-197, 2005
2522005
Maximal sound predictive race detection with control flow abstraction
J Huang, PON Meredith, G Rosu
Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014
2402014
Efficient monitoring of safety properties
K Havelund, G Roşu
International Journal on Software Tools for Technology Transfer 6, 158-173, 2004
2332004
Efficient decentralized monitoring of safety in distributed systems
K Sen, A Vardhan, G Agha, G Rosu
Proceedings. 26th International Conference on Software Engineering, 418-427, 2004
2282004
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
2262003
Monitoring algorithms for metric temporal logic specifications
P Thati, G Roşu
Electronic Notes in Theoretical Computer Science 113, 145-162, 2005
2232005
K-Java: A complete semantics of Java
D Bogdanas, G Roşu
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
2112015
Defining the undefinedness of C
C Hathhorn, C Ellison, G Roşu
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
1872015
KJS: A complete formal semantics of JavaScript
D Park, A Stefănescu, G Roşu
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
1822015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20