Journal of the ACM (JACM)
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Computing Accumulated Delays in Real-time Systems
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Timed Automata with Monotonic Activities
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
On Presburger Liveness of Discrete Timed Automata
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Improvements in BDD-Based Reachability Analysis of Timed Automata
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Design, Simulation, and Implementation of Hybrid Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Verification of duration systems using an approximation approach
Journal of Computer Science and Technology
Presburger liveness verification of discrete timed automata
Theoretical Computer Science
Timed CSP = closed timed ε-automata
Nordic Journal of Computing
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Performance analysis of probabilistic timed automata using digital clocks
Formal Methods in System Design
Automated generation of test suites from formal specifications of real-time reactive systems
Journal of Systems and Software
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation
FM '08 Proceedings of the 15th international symposium on Formal Methods
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Some Recent Results in Metric Temporal Logic
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Event order abstraction for parametric real-time system verification
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Practical Automated Partial Verification of Multi-paradigm Real-Time Models
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Universality Analysis for One-Clock Timed Automata
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Conformance testing for real-time systems
Formal Methods in System Design
Requirements Validation for Hybrid Systems
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
Volume and Entropy of Regular Timed Languages: Discretization Approach
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Concavely-Priced Probabilistic Timed Automata
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Closed, Open, and Robust Timed Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
Electronic Notes in Theoretical Computer Science (ENTCS)
Timing in the Cospan-Span Model
Electronic Notes in Theoretical Computer Science (ENTCS)
A finite state modeling of AFDX frame management using spin
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Sampled universality of timed automata
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
On sampling abstraction of continuous time logic with durations
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Modeling and verification of cooperative self-adaptive mechatronic systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Universality and language inclusion for open and closed timed automata
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Zone-based universality analysis for single-clock timed automata
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Timeout and calendar based finite state modeling and verification of real-time systems
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Undecidability of universality for timed automata with minimal resources
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Testing real-time systems using UPPAAL
Formal methods and testing
A theory of sampling for continuous-time metric temporal logic
ACM Transactions on Computational Logic (TOCL)
Towards a theory of time-bounded verification
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
An automated translator for model checking time constrained workflow systems
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
Thin and thick timed regular languages
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Exact incremental analysis of timed automata with an SMT-solver
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Segmented state space traversal for conformance testing of cyber-physical systems
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Test case minimization for real-time systems using timed bound traces
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
On metric temporal logic and faulty turing machines
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Implementation of timed automata: an issue of semantics or modeling?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Decidability and complexity results for timed automata via channel machines
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Integrating discrete- and continuous-time metric temporal logics through sampling
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Model checking linear duration invariants of networks of automata
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
On sampled semantics of timed systems
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Simulated time for testing railway interlockings with TTCN-3
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Safety metric temporal logic is fully decidable
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Test generation for duration systems
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Heuristics for probabilistic timed automata with abstraction refinement
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Algorithms for monitoring real-time properties
RV'11 Proceedings of the Second international conference on Runtime verification
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Universality Analysis for One-Clock Timed Automata
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Symbolic model-checking of stateful timed CSP using BDD and digitization
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Model checking for probabilistic timed automata
Formal Methods in System Design
Hi-index | 0.00 |