Model-checking of real-time systems: a telecommunications application: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Synthesising controllers from real-time specifications
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Automatic verification of real-time designs
Proceedings of the 21st international conference on Software engineering
Verification of real-time designs: combining scheduling theory with automatic formal verification
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A tool for simulation and fast prototyping of embedded control systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Proving sequential function chart programs using timed automata
Theoretical Computer Science
Efficient and User-Friendly Verification
IEEE Transactions on Computers
Multimedia in the E-LOTOS process algebra
Formal methods for distributed processing
Automatic verification of real-time systems with discrete probability distributions
Theoretical Computer Science
Using Hybrid Automata to Support Human Factors Analysis in a Critical System
Formal Methods in System Design
Proceedings of the 24th International Conference on Software Engineering
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Refining Model Checking by Abstract Interpretation
Automated Software Engineering
Dynamical Properties of Timed Automata
Discrete Event Dynamic Systems
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance
Formal Methods in System Design
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
Correct Real-Time Software for Programmable Logic Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems
COMPSAC '00 24th International Computer Software and Applications Conference
On the Representation of Timed Polyhedra
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Timed Diagnostics for Reachability Properties
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
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
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Improving the Verification of Timed Systems Using Influence Information
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
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
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
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
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
Partial Order Path Technique for Checking Parallel Timed Automata
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
On Hybrid Systems and the Modal µ-calculus
Hybrid Systems V
Level Set Methods for Computation in Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Reachability Analysis of Hybrid Systems via Predicate Abstraction
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Conformance Testing Techniques for Timed Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Polyhedral Analysis for Synchronous Languages
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Proving Sequential Function Chart Programs Using Automata
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The UniForM Workbench, a Universal Development Environment for Formal Methods
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
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
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
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
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Modelling Timeouts without Timelocks
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Parametric real-time model checking using splitting trees
Nordic Journal of Computing
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Formal Methods in System Design
Symbolic Verification and Analysis of Discrete Timed Systems
Formal Methods in System Design
Model checking stochastic automata
ACM Transactions on Computational Logic (TOCL)
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Petri nets with clocks for the analytical validation of business process
Practicing software engineering in the 21st century
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
Forward Analysis of Updatable Timed Automata
Formal Methods in System Design
Simulation and verification II: from timed automata to DEVS models
Proceedings of the 35th conference on Winter simulation: driving innovation
Theoretical Computer Science
Over-Approximate Model of Multitasking Application Based on Timed Automata Using Only One Clock
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Checking Timed Büchi Automata Emptiness Efficiently
Formal Methods in System Design
Proceedings of the 5th ACM international conference on Embedded software
A new modality for almost everywhere properties in timed automata
CONCUR 2005 - Concurrency Theory
IEEE Transactions on Software Engineering
A quadratic-time DBM-based successor algorithm for checking timed automata
Information Processing Letters
Forward symbolic model checking for real time systems
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Predicate abstraction for reachability analysis of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Counterexample-guided predicate abstraction of hybrid systems
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Improvements in SAT-based Reachability Analysis for Timed Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
A Timed Extension for ALTARICA
Fundamenta Informaticae
Journal of Embedded Computing - Real-Time and Embedded Computing Systems
Symbolic model checking for probabilistic timed automata
Information and Computation
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
IEEE Transactions on Software Engineering
SHIFT and SMART-AHS: a language for hybrid system engineering modeling and simulation
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Some succinctness properties of Ω-DTAFA
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Modelling and Checking Timed Authentication of Security Protocols
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
On conciseness of extensions of timed automata
Journal of Automata, Languages and Combinatorics
Computers and Electronics in Agriculture
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Composition of Motion Description Languages
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Model Checking: From Tools to Theory
25 Years of Model Checking
Updatable Timed Automata with Additive and Diagonal Constraints
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Checking timed Büchi automata emptiness on simulation graphs
ACM Transactions on Computational Logic (TOCL)
Hybrid Automata in Systems Biology: How Far Can We Go?
Electronic Notes in Theoretical Computer Science (ENTCS)
Translation of Timed Promela to Timed Automata with Discrete Data
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Model-checking Timed Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Scenario-based timing verification of multiprocessor embedded applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Conformance testing for real-time systems
Formal Methods in System Design
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Case study on distributed and fault tolerant system modeling based on timed automata
Journal of Systems and Software
Stochastic Games for Verification of Probabilistic Timed Automata
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Specifying and Verifying Business Processes Using PPML
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and Verification of Protocols With Time Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental Verification for On-the-Fly Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Weighted Timed Automata: Model-Checking and Games
Electronic Notes in Theoretical Computer Science (ENTCS)
A quadratic-time DBM-based successor algorithm for checking timed automata
Information Processing Letters
TCTL inevitability analysis of dense-time systems
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Counter-example guided predicate abstraction of hybrid systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Detecting synchronisation of biological oscillators by model checking
Theoretical Computer Science
Hybrid automata, reachability, and Systems Biology
Theoretical Computer Science
Is your security protocol on time?
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
On timed models of gene networks
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Deep random search for efficient model checking of timed automata
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Verification of real-time systems: application to the transportation domain
NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
Introducing time in an industrial application of model-checking
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Modelling and analysis of a commercial field bus protocol
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Performance evaluation of schedulers in a probabilistic setting
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Diagonal constraints in timed automata: forward analysis of timed systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
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
Verification of computation orchestration via timed automata
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Interoperability of constrained finite state automata
ACM SIGSOFT Software Engineering Notes
Symbolic robustness analysis of timed automata
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
A formal framework for black-box conformance testing of distributed real-time systems
International Journal of Critical Computer-Based Systems
Embedded Systems Design
A model analysis of a distributed monitoring system using a multi-formalism approach
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Integrated tool for testing timed systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
State identification problems for timed automata
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Symbolic model checking of finite precision timed automata
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Fast generic model-checking for data-based systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Time constraint patterns for event b development
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
A comparison of distributed test generation techniques
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
On reachability and minimum cost optimal control
Automatica (Journal of IFAC)
Argos: an automaton-based synchronous language
Computer Languages
Translation of Timed Promela to Timed Automata with Discrete Data
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Modelling and Checking Timed Authentication of Security Protocols
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Improvements in SAT-based Reachability Analysis for Timed Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
A Timed Extension for ALTARICA
Fundamenta Informaticae
Timed concurrent game structures
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
As soon as probable: optimal scheduling under stochastic uncertainty
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Specification and analysis of access control policies for mobile applications
Proceedings of the 18th ACM symposium on Access control models and technologies
Viewpoints, formalisms, languages, and tools for cyber-physical systems
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
A Translation of the Existential Model Checking Problem from MITL to HLTL
Fundamenta Informaticae
| Hi-index | 0.01 |