دنبال کردن
Grigore Rosu
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
5892010
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‏
5212007
Synthesizing monitors for safety properties‏
K Havelund, G Roşu‏
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002‏
5072002
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‏
5032018
Monitoring java programs with java pathexplorer‏
K Havelund, G Roşu‏
Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001‏
4092001
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface‏
VP Gerdt, W Koepf, EW Mayr, EV Vorozhtsov‏
Lecture Notes in Computer Science 8136, V-VIII-V-VIII, 2013‏
387*2013
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‏
3362012
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‏
3262012
Monitoring programs using rewriting‏
K Havelund, G Rosu‏
Proceedings 16th Annual International Conference on Automated Software …, 2001‏
2942001
An overview of the runtime verification tool Java PathExplorer‏
K Havelund, G Roşu‏
Formal methods in system design 24 (2), 189-215, 2004‏
2882004
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‏
2822005
Institution morphisms‏
J Goguen, G Roşu‏
Formal aspects of computing 13, 274-307, 2002‏
2732002
Rewriting-based techniques for runtime verification‏
G Roşu, K Havelund‏
Automated Software Engineering 12 (2), 151-197, 2005‏
2582005
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‏
2412014
Efficient monitoring of safety properties‏
K Havelund, G Roşu‏
International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004‏
2382004
Monitoring algorithms for metric temporal logic specifications‏
P Thati, G Roşu‏
Electronic Notes in Theoretical Computer Science 113, 145-162, 2005‏
2332005
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‏
2302004
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‏
2272003
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‏
2082015
Defining the undefinedness of C‏
C Hathhorn, C Ellison, G Roşu‏
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015‏
1872015
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20