The benefits of relaxing punctuality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Parametric real-time reasoning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Theoretical Computer Science
Symbolic model checking for real-time systems
Information and Computation
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
The Observational Power of Clocks
CONCUR '94 Proceedings of the Concurrency Theory
Verfying Invariance Properties of Timed Systems with Duration Variables
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Verification of an Audio Control Protocol
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Integration Graphs: A Class of Decidable Hybrid Systems
Hybrid Systems
Reachability Analysis of Planar Multi-limear Systems
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Computing Accumulated Delays in Real-time Systems
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Decidability of Hybrid Systems with Rectangular Differential Inclusion
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Suspension Automata: A Decidable Class of Hybrid Automata
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
A Determinizable Class of Timed Automata
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Using Abstractions for the Verification of Linear Hybrid Systems
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Algorithmic Analysis of Nonlinear Hybrid Systems
Proceedings of the 7th International Conference on Computer Aided Verification
Computing Accumulated Delays in Real-time Systems
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
On deciding stability of constrained random walks and queueing systems
ACM SIGMETRICS Performance Evaluation Review
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
Decidability results in First–Order Hybrid PetriNets
Discrete Event Dynamic Systems
Comparison of Hybrid Systems and Fluid Stochastic PetriNets
Discrete Event Dynamic Systems
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
What Will Be Eventually True of Polynomial Hybrid Automata?
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
An Algebraic Framework for Abstract Model Checking
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Parametric Temporal Logic for "Model Measuring"
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Compositional Termination Analysis of Symbolic Forward Analysis
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Timed Automata and the Theory of Real Numbers
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Accurate Widenings and Boundedness Properties of Timed Systems
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Product Interval Automata: A Subclass of Timed Automata
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Hybrid Systems with Finite Bisimulations
Hybrid Systems V
Analysis of Slope-Parametric Rectangular Automata
Hybrid Systems V
Phase-Space Nonlinear Control Toolbox: The Maglev Experience
Hybrid Systems V
A New Class of Decidable Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Robust Undecidability of Timed and Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Ellipsoidal Techniques for Reachability Analysis
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Reach Set Computations Using Real Quantifier Elimination
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
On the Decidability of the Reachability Problem for Planar Differential Inclusions
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
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
SPeeDI - A Verification Tool for Polygonal Hybrid Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Polyhedral Flows in Hybrid Automata
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Assertion-Based Analysis of Hybrid Systems with PVS
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The power of reachability testing for timed automata
Theoretical Computer Science
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Computing invariance kernels of polygonal hybrid systems
Nordic Journal of Computing
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences—Informatics and Computer Science: An International Journal
On model-checking timed automata with stopwatch observers
Information and Computation
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Three-valued automated reasoning on analog properties
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Discrete Event Dynamic Systems
HySAT: An efficient proof engine for bounded model checking of hybrid systems
Formal Methods in System Design
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science
On the optimal reachability problem of weighted timed automata
Formal Methods in System Design
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools
Theoretical Computer Science
Theoretical Computer Science
Real-Time Model Checking on Secondary Storage
Model Checking and Artificial Intelligence
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
A Decidable Class of Planar Linear Hybrid Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
25 Years of Model Checking
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Review: Formal verification of analog and mixed signal designs: A survey
Microelectronics Journal
Decidable Compositions of O-Minimal Automata
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Inclusion dynamics hybrid automata
Information and Computation
Approximated Reachability on Hybrid Automata: Falsification meets Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid Automata in Systems Biology: How Far Can We Go?
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid systems: from verification to falsification by combining motion planning and discrete search
Formal Methods in System Design
Falsification of LTL Safety Properties in Hybrid Systems
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Periodically Controlled Hybrid Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Discrete Semantics for Hybrid Automata
Discrete Event Dynamic Systems
Model-Based Analysis of Contract-Based Real-Time Scheduling
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
On model-checking timed automata with stopwatch observers
Information and Computation
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences: an International Journal
From synchronous programs to symbolic representations of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Verification of hybrid systems based on counterexample-guided abstraction refinement
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Hybrid automata, reachability, and Systems Biology
Theoretical Computer Science
Safety verification of model helicopter controller using hybrid input/output automata
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Approximate reachability for linear systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Hybrid systems: from verification to falsification
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Computation and visualisation of phase portraits for model checking SPDIs
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
A dynamic algorithm for approximate flow computations
Proceedings of the 14th international conference on Hybrid systems: computation and control
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Model checking the quantitative µ-calculus on linear hybrid systems
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Integration of an LP solver into interval constraint propagation
COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
Computing semi-algebraic invariants for polynomial dynamical systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Parametric verification and test coverage for hybrid automata using the inverse method
RP'11 Proceedings of the 5th international conference on Reachability problems
Specifications for decidable hybrid games
Theoretical Computer Science
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Reachability problems on extended o-minimal hybrid automata
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Static analysis for state-space reduction of polygonal hybrid systems
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
A compositional algorithm for parallel model checking of polygonal hybrid systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
Refining the undecidability frontier of hybrid automata
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
On sampled semantics of timed systems
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Refining abstractions of hybrid systems using counterexample fragments
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Real-Counter automata and their decision problems
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Reachability games for linear hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Lyapunov abstractions for inevitability of hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Choice of directions for the approximation of reachable sets for hybrid systems
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Complexity of stability and controllability of elementary hybrid systems
Automatica (Journal of IFAC)
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
On the verification of hybrid DEVS models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
A box-based distance between regions for guiding the reachability analysis of spaceex
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Mining requirements from closed-loop control models
Proceedings of the 16th international conference on Hybrid systems: computation and control
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
Theoretical Computer Science
Hybrid systems modeling and verification with DEVS (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Abstraction based model-checking of stability of hybrid systems
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Automatica (Journal of IFAC)
| Hi-index | 0.01 |