ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
An Automata-Theoretic Completeness Proof for Interval Temporal Logic
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Tableau Method for Interval Temporal Logic with Projection
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
K-Mediator: Towards Evolving Information Systems
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Support software evolution with abstration rules and programming knowledge patterns
Focus on computational neurobiology
A compositional framework for access control policies enforcement
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Run-time analysis of time-critical systems
Journal of Systems Architecture: the EUROMICRO Journal
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
Security Management for Mobile Ad Hoc Network of Networks MANoN
International Journal of Mobile Computing and Multimedia Communications
Hi-index | 0.00 |