A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering
Distributed processes and location failures
Theoretical Computer Science
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
On-the-fly model checking from interval logic specifications
ACM SIGPLAN Notices
Automated Proof Support for Interval Logics
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
Electronic Notes in Theoretical Computer Science (ENTCS)
An evaluation of timed scenario notations
Journal of Systems and Software
Automated analysis of natural language properties for UML models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Hi-index | 5.23 |