Parametric real-time reasoning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Compositional verification by model checking for counter-examples
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
KIR—a graph-based model for description of mixed analog/digital systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Verification of Real-Time Systems using Linear Relation Analysis
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Composite model-checking: verification with type-specific symbolic representations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automata, circuits and hybrids: facets of continuous time
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Specifying and analysing multimedia systems
Formal methods for distributed processing
Decidable verification for reducible timed automata specified in a first order logic with time
Theoretical Computer Science
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl
Discrete Event Dynamic Systems
Reduction of Timed Hybrid Systems
Discrete Event Dynamic 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
Analysis of Hybrid Systems Based on Hybrid Net Condition/EventSystem Model
Discrete Event Dynamic Systems
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations
Discrete Event Dynamic Systems
Q2 Symbolic Reasoning about Noisy Dynamic Systems
Journal of Intelligent and Robotic 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
Model checking of systems with many identical timed processes
Theoretical Computer Science
Theoretical Computer Science
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
An Algebraic Framework for Abstract Model Checking
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
On the Existence of Network Invariants for Verifying Parameterized Systems
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Automata, Circuits, and Hybrids: Facets of Continuous Time
ICALP '01 Proceedings of the 28th 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
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
An Adequate First Order Interval Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Embedded Systems: Challenges in Specification and Verification
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Action Systems with Continuous Behaviour
Hybrid Systems V
Synthesis of Control Software in a Layered Architecture from Hybrid Automata
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Verification of Hybrid Systems via Mathematical Programming
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Hybrid Systems Verification by Location Elimination
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
On the Existence of Solutions to Controlled Hybrid Automata
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Level Set Methods for Computation in Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
An Approach to Model-Based Diagnosis of Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Checking Safe Trajectories of Aircraft Using Hybrid Automata
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
MATOU: An Implementation of Mode-Automata
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Automata and Their Interaction: Definitional Suggestions
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Decidable Classes of the Verification Problem in a Timed Predicate Logic
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Automated verification using deduction, exploration, and abstraction
Programming methodology
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing
Verification of duration systems using an approximation approach
Journal of Computer Science and Technology
Process modelling for hybrid control
Systems Analysis Modelling Simulation
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Formal Hazard Analysis of Hybrid Systems in cTLA
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Information and Computation
Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
Theoretical Computer Science - Special issue: Computational systems biology
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
IEEE Transactions on Software Engineering
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
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
Model checking for the concurrent constraint paradigm: Thesis
AI Communications
Fault diagnosis in discrete time hybrid systems - A case study
Information Sciences: an International Journal
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
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
Optimal reachability for multi-priced timed automata
Theoretical Computer Science
Abstractions for hybrid systems
Formal Methods in System Design
Reachability analysis of generalized polygonal hybrid systems
Proceedings of the 2008 ACM symposium on Applied computing
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Analysing formal models of genetic regulatory networks with delays
International Journal of Bioinformatics Research and Applications
Theoretical Computer Science
Cognitive Technical Systems -- What Is the Role of Artificial Intelligence?
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Model-Driven Development of Reliable Automotive Services
Dealing with Nondeterminism in Symbolic Control
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Modeling Property Based Stream Templates with TTCN-3
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Throughput-driven synthesis of embedded software for pipelined execution on multicore architectures
ACM Transactions on Embedded Computing Systems (TECS)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Expressive power of hybrid systems with real variables, integer variables and arrays
Journal of Automata, Languages and Combinatorics
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Inclusion dynamics hybrid automata
Information and Computation
Analysis of Linear Hybrid Systems in CLP
Logic-Based Program Synthesis and Transformation
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Reachability in Timed Counter Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements Validation for Hybrid Systems
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Theoretical Computer Science
Model-based diagnosis of hybrid systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Modeling time in hybrid systems: how fast is "instantaneous"?
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Discrete Semantics for Hybrid Automata
Discrete Event Dynamic Systems
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Model Checking Functional and Performability Properties of Stochastic Fluid Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Continuity analysis of programs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
The Case for Analog Circuit Verification
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
A verification system for interval-based specification languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
From synchronous programs to symbolic representations of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Completeness of neighbourhood logic
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Hybrid systems: from verification to falsification
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Bounded model checking of analog and mixed-signal circuits using an SMT solver
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Analog/mixed-signal circuit verification using models generated from simulation traces
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Symbolic reachability analysis of lazy linear hybrid automata
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Symbolic simulation-checking of dense-time automata
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Reasoning about hybrid systems based on a nonstandard model
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Automated reasoning for hybrid systems: two case studies
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Symbolic algorithm analysis of rectangular hybrid systems
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
A new verification method for embedded systems
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
Fairness of Transitions in Diagnosability of Discrete Event Systems
Discrete Event Dynamic Systems
Conceptional modeling and analysis of spatio-temporal processes in biomolecular systems
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Safe learning with real-time constraints: a case study
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
A logic-based modeling and verification of CPS
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Logic and compositional verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Monitorability of stochastic dynamical systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Model-based testing of industrial transformational systems
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Reachability analysis of multi-affine systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Model checking of hybrid systems: from reachability towards stability
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Polyhedra-Based approach for incremental validation of real-time systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
HASL: an expressive language for statistical verification of stochastic models
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Clinical reasoning learning with simulated patients
AIME'05 Proceedings of the 10th conference on Artificial Intelligence in Medicine
On transfinite hybrid automata
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Generating polynomial invariants for hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Optimal conditional reachability for multi-priced timed automata
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Real-Counter automata and their decision problems
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
A control scheme for freeway traffic systems based on hybrid automata
Discrete Event Dynamic Systems
Toward hybrid attack dependency graphs
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
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)
Bounded amplitude performance of switched LPV systems with applications to hybrid systems
Automatica (Journal of IFAC)
Stable hybrid control based on discrete-event automata and receding-horizon neural regulators
Automatica (Journal of IFAC)
Mathematical and Computer Modelling: An International Journal
An assume/guarantee based compositional calculus for hybrid CSP
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
A small model theorem for rectangular hybrid automata networks
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Region-Based analysis of hybrid petri nets with a single general one-shot transition
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Expressive statistical model checking of genetic networks with delayed stochastic dynamics
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Efficient model-checking of dense-time systems with time-convexity analysis
Theoretical Computer Science
ABCD-L: approximating continuous linear systems using boolean models
Proceedings of the 50th Annual Design Automation Conference
Expressing and computing passage time measures of GSPN models with HASL
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Optimal control for linear-rate multi-mode systems
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Synthesizing switching controllers for hybrid systems by generating invariants
Theories of Programming and Formal Methods
On modeling of fuzzy hybrid systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
| Hi-index | 0.03 |