Java-MaC: A Run-time Assurance Tool for Java Programs
Open Access
- 31 October 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 55 (2) , 218-235
- https://doi.org/10.1016/s1571-0661(04)00254-3
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Distributed spatial control, global monitoring and steering of mobile agentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Implementation of JEM-a Java composite event packagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A formalism for monitoring real-time constraints at run-timePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Early detection of timing constraint violation at runtimePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model checking programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- A lightweight architecture for program execution monitoringPublished by Association for Computing Machinery (ACM) ,1998
- Formal methodsACM Computing Surveys, 1996