Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
On the computation of the set of reachable states of hybrid models
DAC '94 Proceedings of the 31st annual Design Automation Conference
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient partial enumeration for timing analysis of asynchronous systems
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Semantics and verification of action diagrams with linear timing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Verification of asynchronous interface circuits with bounded wire delays
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Automatic verification of real-time systems with discrete probability distributions
Theoretical Computer Science
Verification of timed automata based on similarity
Fundamenta Informaticae
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software 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
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
Partial Order Reduction for Model Checking of Timed Automata
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Analyzing Fair Parametric Extended Automata
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Engineering of distributed control systems
Parametric real-time model checking using splitting trees
Nordic Journal of Computing
Nordic Journal of Computing
Handbook of automated reasoning
Engineering the usability of visual formalisms: a case study in real time logics
AVI '98 Proceedings of the working conference on Advanced visual interfaces
Forward Analysis of Updatable Timed Automata
Formal Methods in System Design
A quadratic-time DBM-based successor algorithm for checking timed automata
Information Processing Letters
Grid automata and supervisory control of dense real-time discrete event systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Dealing with practical limitations of distributed timed model checking for timed automata
Formal Methods in System Design
Discovering properties about arrays in simple programs
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
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
A quadratic-time DBM-based successor algorithm for checking timed automata
Information Processing Letters
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness
Formal Methods in System Design
Comparison of the expressiveness of timed automata and time petri nets
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
When are timed automata weakly timed bisimilar to time petri nets?
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Widening operators for weakly-relational numeric abstractions
SAS'05 Proceedings of the 12th international conference on Static Analysis
Efficient emptiness check for timed Büchi automata
Formal Methods in System Design
On the expressive power of timed automata and time petri nets
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Qualitative verification of finite and real-time DEVS networks
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Behavioural modelling and verification of real-time software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 1
A test purpose-based approach for testing timed input output automata
Software Testing, Verification & Reliability
| Hi-index | 0.00 |