ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Classification schemes to aid in the analysis of real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Using Transition Systems to Unify UML Models
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Hybrid Systems V
Model checking: a tutorial overview
Modeling and verification of parallel processes
Categorical foundations for randomly timed automata
Theoretical Computer Science
Passive mid-stream monitoring of real-time properties
Proceedings of the 5th ACM international conference on Embedded software
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Modeling And Verification Of Real-Time Systems
Journal of Integrated Design & Process Science
Finite State Automata As Conceptual Model For E-Services
Journal of Integrated Design & Process Science
Automatic generation of path conditions for concurrent timed systems
Theoretical Computer Science
Performance Validation on Multicore Mobile Devices
Verified Software: Theories, Tools, Experiments
Inference of Timed Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering the development of embedded systems
Formal methods and hybrid real-time systems
Learning of event-recording automata
Theoretical Computer Science
Inference of event-recording automata using timed decision trees
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Generating path conditions for timed systems
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Incremental specification with SCTL/MUS-T: a case study
Journal of Systems and Software
Design of a BPEL verification tool
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Blending Timed Formal Models with Clock Transition Systems
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
| Hi-index | 0.00 |