Model-checking of real-time systems: a telecommunications application: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Timing coverification of concurrent embedded real-time systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Multimedia in the E-LOTOS process algebra
Formal methods for distributed processing
Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl
Discrete Event Dynamic Systems
A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance
Formal Methods in System Design
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Modelisation of Timed Automata in Coq
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Modeling and Parameters Synthesis for an Air Traffic Management System
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Compositional Termination Analysis of Symbolic Forward Analysis
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Control Synthesis of Hybrid Systems Based on Predicate Invariance
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
Hybrid Abstractions that Preserve Timed Languages
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid System Models of Navigation Strategies for Games and Animations
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Checking Safe Trajectories of Aircraft Using Hybrid Automata
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
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
Model Checking Linear Properties of Prefix-Recognizable Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A Framework for Reasoning about Animation Systems
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
Nordic Journal of Computing
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Theoretical Computer Science
On model-checking timed automata with stopwatch observers
Information and Computation
Performance analysis of probabilistic timed automata using digital clocks
Formal Methods in System Design
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
On the optimal reachability problem of weighted timed automata
Formal Methods in System Design
Relating Hybrid Chi to Other Formalisms
Electronic Notes in Theoretical Computer Science (ENTCS)
Composition of Motion Description Languages
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
An Inverse Method for Parametric Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Timed verification of the generic architecture of a memory circuit using parametric timed automata
Formal Methods in System Design
IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
Synthesis of Optimal Strategies Using HyTech
Electronic Notes in Theoretical Computer Science (ENTCS)
On model-checking timed automata with stopwatch observers
Information and Computation
From synchronous programs to symbolic representations of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Foundations of a compositional interchange format for hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
An automata-theoretic approach to infinite-state systems
Time for verification
Multi-agent systems: modeling and verification using hybrid automata
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Formal specification and analysis of accelerated heartbeat protocols
Proceedings of the 2010 Summer Computer Simulation Conference
A lattice theory for solving games of imperfect information
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Automatic rectangular refinement of affine hybrid systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Verification of the generic architecture of a memory circuit using parametric timed automata
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Polyhedra-Based approach for incremental validation of real-time systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
A CSP model for hybrid automata
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
On reachability and minimum cost optimal control
Automatica (Journal of IFAC)
Enhancing the inverse method with state merging
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
SIAM Journal on Control and Optimization
MAS: qualitative and quantitative reasoning
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
COLIN: planning with continuous linear numeric change
Journal of Artificial Intelligence Research
Which automata for which safety assessment step of satellite FDIR?
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.01 |