An Efficient State Space Generation for the Analysis of Real-Time Systems
IEEE Transactions on Software Engineering
Safety critical systems based on formal models
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Verification of Plan Models Using UPPAAL
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
On Memory-Block Traversal Problems in Model-Checking Timed-Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
UPPAAL - Now, Next, and Future
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Automated Test Generation from Timed Automata
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Timed Automata with Asynchronous Processes: Schedulability and Decidability
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Proof System for Timed Automata
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
A Complete Axiomatisation for Timed Automata
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Modeling and verification of parallel processes
Guided synthesis of control programs using UPPAAL
Nordic Journal of Computing
Nordic Journal of Computing
Symbolic Verification and Analysis of Discrete Timed Systems
Formal Methods in System Design
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Solving production scheduling problems using advanced model checking tools
International Journal of Computer Applications in Technology
Automatically transforming and relating Uppaal models of embedded systems
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Validating Real Time Specifications using Real Time Event Queue Modeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Data constraints for validation of real-time software
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Tabled resolution + constraints: a recipe for model checking real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Scenario-based verification of real-time systems using Uppaal
Formal Methods in System Design
Modelling and analysis of a commercial field bus protocol
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Compliant business process design using refinement layers
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Developing UPPAAL over 15 years
Software—Practice & Experience
Verification, performance analysis and controller synthesis for real-time systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Component behavior synthesis for critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
| Hi-index | 0.00 |