Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
A notion of non-interference for timed automata
Fundamenta Informaticae
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Testing Hennessy-Milner Logic with Recursion
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Constructing Test Automata from Graphical Real-Time Requirements
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Handbook of automated reasoning
The power of reachability testing for timed automata
Theoretical Computer Science
A decidable notion of timed non-interference
Fundamenta Informaticae - Concurrency specification and programming
Dealing with practical limitations of distributed timed model checking for timed automata
Formal Methods in System Design
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Seamless formal verification of complex event processing applications
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
When Is Reachability Intrinsically Decidable?
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Verification of real-time DEVS models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Adapting the UPPAAL model of a distributed lift system
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Logical time: specification vs. implementation
ACM SIGSOFT Software Engineering Notes
Scenario-based verification of real-time systems using Uppaal
Formal Methods in System Design
Timed Modal Logics for Real-Time Systems
Journal of Logic, Language and Information
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
Compositional and quantitative model checking (extended abstract)
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
A Decidable Notion of Timed Non-Interference
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
A Notion of Non-Interference for Timed Automata
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
A formal framework to specify and verify real-time properties on critical systems
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |