What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Constructing abstract models of concurrent real-time software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Analyzing partially-implemented real-time systems
ICSE '97 Proceedings of the 19th international conference on Software engineering
Computing Accumulated Delays in Real-time Systems
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Verification of Real-Time Systems using Linear Relation Analysis
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Verifying systems with integer constraints and Boolean predicates: a composite approach
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering
Timing coverification of concurrent embedded real-time systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Formal Verification of Dynamic Properties in an Aerospace Application
Formal Methods in System Design
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)
An Efficient State Space Generation for the Analysis of Real-Time Systems
IEEE Transactions on Software Engineering
A formal description of VHDL-AMS analogue systems
Proceedings of the conference on Design, automation and test in Europe
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Verification of embedded systems using a petri net based representation
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Proving sequential function chart programs using timed automata
Theoretical Computer Science
Specifying mode requirements of embedded systems
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
Dynamical Properties of Timed Automata
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Modeling, Simulation and Analysis of Batch Production Systems
Discrete Event Dynamic Systems
Analysis of Hybrid Systems Based on Hybrid Net Condition/EventSystem Model
Discrete Event Dynamic Systems
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
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
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Fundamenta Informaticae
Theoretical Computer Science
Formal Requirements Engineering Using Observer Models
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Timed Automata with Monotonic Activities
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Symbolic Model Checking for Rectangular Hybrid 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
A Library for Composite Symbolic Representations
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Timed Automata with Asynchronous Processes: Schedulability and Decidability
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Classification of Symbolic Transition Systems
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
The Stability of Saturated Linear Dynamical Systems Is Undecidable
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
The Impressive Power of Stopwatches
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Symbolic Computation of Maximal Probabilistic Reachability
CONCUR '01 Proceedings of the 12th 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
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Embedded Systems: Challenges in Specification and Verification
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Decidable Model Checking of Probabilistic Hybrid Automata
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Time-Deterministic Hybrid Transition Systems
Hybrid Systems V
Control Synthesis of Hybrid Systems Based on Predicate Invariance
Hybrid Systems V
On Hybrid Systems and the Modal µ-calculus
Hybrid Systems V
Hybrid Systems with Finite Bisimulations
Hybrid Systems V
Analysis of Slope-Parametric Rectangular Automata
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
Reachability Analysis Using Polygonal Projections
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
A New Class of Decidable Hybrid Systems
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
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
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
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th 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
On Hybrid Control of Under-Actuated Mechanical Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Modeling and Simulation of Biomolecular Networks
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Qualitative Modeling and Heterogeneous Control of Global System Behavior
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
A Comparison of Control Problems for Timed and Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Discrete-Time Refinement of Hybrid Automata
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
Hybrid Control Loops, A/D Maps, and Dynamic Specifications
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Proving Sequential Function Chart Programs Using Automata
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Masaccio: A Formal Model for Embedded Components
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
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
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
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
Continuous Petri Nets and Transition Systems
Unifying Petri Nets, Advances in Petri Nets
A Framework for Reasoning about Animation Systems
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
The Compositional Specification of Timed Systems - A Tutorial
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
The d/dt Tool for Verification of Hybrid Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
On Control with Bounded Computational Resources
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
Polyhedral Flows in Hybrid Automata
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Modular Specification of Hybrid Systems in CHARON
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Assertion-Based Analysis of Hybrid Systems with PVS
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Programming methodology
Parametric real-time model checking using splitting trees
Nordic Journal of Computing
Nordic Journal of Computing
Verification of duration systems using an approximation approach
Journal of Computer Science and Technology
A retrospective on constraint databases
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Declaration of unknowns in DAE-based hybrid system specification
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Generating embedded software from hierarchical hybrid models
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
Modeling of hybrid systems using continuous and hybrid Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Modular Code Generation from Hybrid Automata based on Data Dependency
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
A decidable notion of timed non-interference
Fundamenta Informaticae - Concurrency specification and programming
Information and Computation
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Compositional Abstractions of Hybrid Control Systems
Discrete Event Dynamic Systems
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Polyhedral Flows in Hybrid Automata
Formal Methods in System Design
Refinement of hybrid systems: from formal models to design languages
Languages for system specification
Information flow in hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
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
Hybrid dynamic systems: relating Chi to hybrid automata
Proceedings of the 35th conference on Winter simulation: driving innovation
Simulation and verification I: from simulation to verification (and back)
Proceedings of the 35th conference on Winter simulation: driving innovation
A classification of symbolic transition systems
ACM Transactions on Computational Logic (TOCL)
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
IEEE Transactions on Software Engineering
Computing invariance kernels of polygonal hybrid systems
Nordic Journal of Computing
An effective decision procedure for linear arithmetic over the integers and reals
ACM Transactions on Computational Logic (TOCL)
A brief history of process algebra
Theoretical Computer Science - Process algebra
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Distributed-code generation from hybrid systems models for time-delayed multirate systems
Proceedings of the 5th ACM international conference on Embedded software
Journal of Computer and System Sciences
Model-checking processes with data
Science of Computer Programming
Model-based self-monitoring embedded programs with temporal logic specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
On the expressiveness and decidability of o-minimal hybrid systems
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Towards formal verification of analog designs
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Verifying analog oscillator circuits using forward/backward abstraction refinement
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Predicate abstraction for reachability analysis of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Automatic verification of timed concurrent constraint programs
Theory and Practice of Logic Programming
Counterexample-guided predicate abstraction of hybrid systems
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Schedulability analysis of fixed-priority systems using timed automata
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
Journal of Visual Languages and Computing
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
A Timed Extension for ALTARICA
Fundamenta Informaticae
The Maple package SyNRAC and its application to robust control design
Future Generation Computer Systems
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Discrete Event Dynamic Systems
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science
Bounded Model Checking with Parametric Data Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Task automata: Schedulability, decidability and undecidability
Information and Computation
Relating Hybrid Chi to Other Formalisms
Electronic Notes in Theoretical Computer Science (ENTCS)
Taylor approximation for hybrid systems
Information and Computation
Abstractions for hybrid systems
Formal Methods in System Design
Verification of Concurrent Systems with Parametric Delays Using Octahedra
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs
Discrete Event Dynamic Systems
Approximate Simulation Relations for Hybrid Systems
Discrete Event Dynamic Systems
Hybrid statecharts to model continuous and discrete behavior in engineering systems
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Analysing formal models of genetic regulatory networks with delays
International Journal of Bioinformatics Research and Applications
Program Verification by Using DISCOVERER
Verified Software: Theories, Tools, Experiments
Theory and Practice of Probabilistic Timed Game for Embedded Systems
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Model-Driven Development of Reliable Automotive Services
A Decidable Class of Planar Linear Hybrid Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Modular Development of Hybrid Systems for Verification in Coq
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Approximating Continuous Systems by Timed Automata
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Constraint-Based Approach for Analysis of Hybrid Systems
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
A Novel Multi-robot Coordination Method Based on Reinforcement Learning
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Expressive power of hybrid systems with real variables, integer variables and arrays
Journal of Automata, Languages and Combinatorics
Compositional Verification for Component-Based Systems and Application
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Switched discrete-time systems with time-varying delays: A generalized H2 approach
Computers & Mathematics with Applications
Inclusion dynamics hybrid automata
Information and Computation
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
Instrumenting AMS assertion verification on commercial platforms
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Synthesizing Switching Logic Using Constraint Solving
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Communications of the ACM - Security in the Browser
Hybrid Automata in Systems Biology: How Far Can We Go?
Electronic Notes in Theoretical Computer Science (ENTCS)
BACH: Bounded reachAbility CHecker for linear hybrid automata
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Hybrid systems: from verification to falsification by combining motion planning and discrete search
Formal Methods in System Design
Coverage-guided test generation for continuous and hybrid systems
Formal Methods in System Design
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
International Journal of Robotics Research
Analysis of Linear Hybrid Systems in CLP
Logic-Based Program Synthesis and Transformation
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
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,
Applications of MetiTarski in the Verification of Control and Hybrid Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Periodically Controlled Hybrid Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Certifying deadlock-freedom for BIP models
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
RECOMB 2'09 Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Formal verification of real-time systems with preemptive scheduling
Real-Time Systems
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Computing Reachable States for Nonlinear Biological Models
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Discrete Semantics for Hybrid Automata
Discrete Event Dynamic Systems
A static verification approach for architectural integration of mixed-signal integrated circuits
Integration, the VLSI Journal
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Support Vector Optimization through Hybrids: Heuristics and Math Approach
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
The Countable Character of Uncountable Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
Time Domain Verification of Oscillator Circuit Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining control and data abstraction in the verification of hybrid systems
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
On the expressiveness and decidability of o-minimal hybrid systems
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
State feedback singular H∞ control for switched linear systems
Control and Intelligent Systems
Future design challenges for electric energy supply
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
From synchronous programs to symbolic representations of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Timed automata with observers under energy constraints
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Parallel SAT solving in bounded model checking
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Systematic simulation using sensitivity analysis
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Approximately bisimilar finite abstractions of stable linear systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Learning cycle-linear hybrid automata for excitable cells
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Reachability for linear hybrid automata using iterative relaxation abstraction
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Robust test generation and coverage for hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
The constraint database approach to software verification
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
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
Progress on reachability analysis of hybrid systems using predicate abstraction
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Reachability analysis of nonlinear systems using conservative approximation
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
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
Efficient representation and computation of reachable sets for hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Model checking LTL over controllable linear systems is decidable
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
Algebraic systems biology: theses and hypotheses
AB'07 Proceedings of the 2nd international conference on Algebraic biology
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
A methodology and supporting tools for the development of component-based embedded systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Abstract interpretation of the physical inputs of embedded programs
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
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
A hybrid denotational semantics for hybrid systems
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Automatic abstraction for verification of cyber-physical systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Synthesizing switching logic for safety and dwell-time requirements
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Type checking evolving languages with MSOS
Semantics and algebraic specification
On (Omega-)regular model checking
ACM Transactions on Computational Logic (TOCL)
BACH 2: Bounded reachAbility CHecker for compositional linear hybrid systems
Proceedings of the Conference on Design, Automation and Test in Europe
A formal approach for specification-driven AMS behavioral model generation
Proceedings of the Conference on Design, Automation and Test in Europe
Combining control and data abstraction in the verification of hybrid systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special section on the ACM IEEE international conference on formal methods and models for codesign (MEMOCODE) 2009
Switching logic synthesis for reachability
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Model-based implementation of real-time applications
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Continuous time and/or continuous distributions
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
A Kleene-Schützenberger theorem for weighted timed automata
Theoretical Computer Science
Computing reachable states for nonlinear biological models
Theoretical Computer Science
The Cayley-Hamilton theorem for noncommutative semirings
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Measurability and safety verification for stochastic hybrid 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
Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models
ACM Transactions on Design Automation of Electronic Systems (TODAES)
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Modelling and monitoring of hybrid systems by hybrid Petri nets and (Max, +) algebra
ICS'06 Proceedings of the 10th WSEAS international conference on Systems
Nets4Cars/Nets4Trains'11 Proceedings of the Third international conference on Communication technologies for vehicles
Declarative abstractions for agent based hybrid control systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
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
A core language for executable models of cyber physical systems: work in progress report
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Programming with infinitesimals: a WHILE-language for hybrid system modeling
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
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
On reachability for hybrid automata over bounded time
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Logic and compositional verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
SpaceEx: scalable verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
On under-determined dynamical systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
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
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Statistical model checking for networks of priced timed automata
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Craig interpolation in the presence of non-linear constraints
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Reachability problems for hybrid automata
RP'11 Proceedings of the 5th international conference on Reachability problems
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Distributed theorem proving for distributed hybrid systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Monitoring dynamical signals while testing timed aspects of a system
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Combining widening and acceleration in linear relation analysis
SAS'06 Proceedings of the 13th international conference on Static Analysis
Denotational semantics of hybrid automata
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
A lattice theory for solving games of imperfect information
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Efficient computation of reachable sets of linear time-invariant systems with inputs
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Specification and analysis of distributed object-based stochastic hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
UC'05 Proceedings of the 4th international conference on Unconventional Computation
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Flat acceleration in symbolic model checking
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Automatic rectangular refinement of affine hybrid systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Temporal logic verification using simulation
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
On timed simulation relations for hybrid systems and compositionality
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Automata-Theoretic performance analysis method of soft real-time systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Polyhedra-Based approach for incremental validation of real-time systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Optimizing bounded model checking for linear hybrid systems
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
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
The power of hybrid acceleration
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Embedded Systems Design
Verifying the incorrectness of programs and automata
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Synthesis of quantized feedback control software for discrete time linear hybrid systems
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Safety verification for probabilistic hybrid systems
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Algorithmic algebraic model checking i: challenges from systems biology
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Safety verification of controlled advanced life support system using barrier certificates
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Taylor approximation for hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
Non-standard semantics of hybrid systems modelers
Journal of Computer and System Sciences
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Timed temporal logics for abstracting transient states
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Practical design method to improve an ordinary agricultural machine
ACMOS'09 Proceedings of the 11th WSEAS international conference on Automatic control, modelling and simulation
Robustness of temporal logic specifications
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Transcendental inductive invariants generation for non-linear differential and 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
Falsification of temporal properties of hybrid systems using the cross-entropy method
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
From hybrid data-flow languages to hybrid automata: a complete translation
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
On constructing software environment ontology for time-continuous environment
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Trajectory generation and control for precise aggressive maneuvers with quadrotors
International Journal of Robotics Research
Generating Invariant-Based Certificates for Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
Transformation of MTCCS into an extension of timed
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Sciduction: combining induction, deduction, and structure for verification and synthesis
Proceedings of the 49th Annual Design Automation Conference
Survey A survey of computational complexity results in systems and control
Automatica (Journal of IFAC)
Monitor-Based statistical model checking for weighted metric temporal logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
CLSE: closed-loop symbolic execution
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Survey: Computational challenges in systems biology
Computer Science Review
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
Theoretical Computer Science
Applying abstract acceleration to (co-)reachability analysis of reactive programs
Journal of Symbolic Computation
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
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Formalizing hybrid systems with event-b
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Exercises in nonstandard static analysis of hybrid systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
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
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Logical analysis of hybrid systems: a complete answer to a complexity challenge
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
Verification of Concurrent Systems with Parametric Delays Using Octahedra
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
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
Abstractions for validation in action
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
A Timed Extension for ALTARICA
Fundamenta Informaticae
A Decidable Notion of Timed Non-Interference
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Fundamenta Informaticae
On model based synthesis of embedded control software
Proceedings of the tenth ACM international conference on Embedded software
Undecidability of quantized state feedback control for discrete time linear hybrid systems
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Planning self-adaption with graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
RP'12 Proceedings of the 6th international conference on Reachability Problems
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
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
IIS-Guided DFS for efficient bounded reachability analysis of linear hybrid automata
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Complementary methodologies for developing hybrid systems with event-b
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Hyperstream processing systems: nonstandard modeling of continuous-time signals
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An approximation algorithm for box abstraction of transition systems on real state spaces
Formal Methods in System Design
One-shot computation of reachable sets for differential games
Proceedings of the 16th international conference on Hybrid systems: computation and control
Rewarding probabilistic hybrid automata
Proceedings of the 16th international conference on Hybrid systems: computation and control
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
ABCD-L: approximating continuous linear systems using boolean models
Proceedings of the 50th Annual Design Automation Conference
A game-theoretic approach to fault diagnosis and identification of hybrid systems
Theoretical Computer Science
Formal verification of phase-locked loops using reachability analysis and continuization
Communications of the ACM
Viewpoints, formalisms, languages, and tools for cyber-physical systems
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Exponential-Condition-Based barrier certificate generation for safety verification of hybrid systems
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Synthesizing switching controllers for hybrid systems by generating invariants
Theories of Programming and Formal Methods
Model-based synthesis of control software from system-level formal specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatica (Journal of IFAC)
Safety-critical medical device development using the UPP2SF model translation tool
ACM Transactions on Embedded Computing Systems (TECS)
A compositional modelling and analysis framework for stochastic hybrid systems
Formal Methods in System Design
Hi-index | 0.03 |