Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
Relational queries over program traces
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Generating In-Line Monitors for Rabin Automata
NordSec '09 Proceedings of the 14th Nordic Conference on Secure IT Systems: Identity and Privacy in the Internet Age
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations for the run-time monitoring of reactive systems: fundamentals of the MaC language
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |