Παρακολούθηση
Grigore Rosu
Grigore Rosu
University of Illinois at Urbana Champaign
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα illinois.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
5902010
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
5242007
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
5022018
Synthesizing monitors for safety properties
K Havelund, G Roşu
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
5012002
Monitoring java programs with java pathexplorer
K Havelund, G Roşu
Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001
4092001
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
3342012
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
3232012
Monitoring programs using rewriting
K Havelund, G Rosu
Proceedings 16th Annual International Conference on Automated Software …, 2001
2902001
An overview of the runtime verification tool Java PathExplorer
K Havelund, G Roşu
Formal methods in system design 24 (2), 189-215, 2004
2892004
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
2782005
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
2542005
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
2462014
Efficient monitoring of safety properties
K Havelund, G Roşu
International Journal on Software Tools for Technology Transfer 6, 158-173, 2004
2362004
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
2272003
Monitoring algorithms for metric temporal logic specifications
P Thati, G Roşu
Electronic Notes in Theoretical Computer Science 113, 145-162, 2005
2252005
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
2142015
Defining the undefinedness of C
C Hathhorn, C Ellison, G Roşu
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
1882015
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
1862015
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20