Compositional Invariant Generation for Timed Systems

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Tools and Algorithms for Construction and Analysis of Systems

• Publication date

  2014-04-05

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-642-54862-8_18
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Incremental Generation of Linear Invariants for Component-Based Systems

  2013cited by this paper
• Compositional verification of real-time systems using Ecdar

  2012cited by this paper
• Superposition as a Decision Procedure for Timed Automata

  2012cited by this paper
• Automatic Generation of Provably Correct Embedded Systems

  2012cited by this paper
• A Lightweight Approach for Loop Summarization

  2011cited by this paper
• Automated Invariant Generation for the Verification of Real-Time Systems

  2010cited by this paper
• Model-based implementation of real-time applications

  2010cited by this paper
• Compositional timing analysis

  2009cited by this paper
• Compositional Abstraction in Real-Time Model Checking

  2008cited by this paper
• Compositional Verification for Component-Based Systems and Application

  2008influential reference
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

  2008cited by this paper
• Requirements Coverage as an Adequacy Measure for Conformance Testing

  2008cited by this paper
• Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning

  2008cited by this paper
• Efficient E-Matching for SMT Solvers

  2007cited by this paper
• Symmetry and Completeness in the Analysis of Parameterized Systems

  2007cited by this paper
• UPPAAL 4.0

  2006cited by this paper
• Modeling Heterogeneous Real-time Components in BIP

  2006cited by this paper
• REDLIB for the Formal Verification of Embedded Systems

  2006cited by this paper
• The YICES SMT Solver

  2006cited by this paper
• Romeo: A Tool for Analyzing Time Petri Nets

  2005cited by this paper
• Sociable Interfaces

  2005cited by this paper
• Forward Analysis of Updatable Timed Automata

  2004cited by this paper
• On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata

  2003cited by this paper
• Reducing Model Checking of the Many to the Few

  2000cited by this paper
• Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

  2000cited by this paper
• An Algebraic Framework for Urgency

  2000cited by this paper
• Verifying Progress in Timed Systems

  1999cited by this paper
• Specifying Performance Measures for PEPA

  1999cited by this paper
• Kronos: A Model-Checking Tool for Real-Time Systems

  1998cited by this paper
• Partial Order Reductions for Timed Systems

  1998cited by this paper
• CONCUR'98 Concurrency Theory

  1998cited by this paper
• Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency

  1997cited by this paper
• The symbolic model-checking for real-time systems

  1996cited by this paper
• Reasoning about rings

  1995cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• Symmetry and model checking

  1993cited by this paper
• Minimum and maximum delay problems in real-time systems

  1991cited by this paper
• In Transition From Global to Modular Temporal Reasoning about Programs

  1989cited by this paper
• A fast mutual exclusion algorithm

  1987cited by this paper
• Specification and Design of (Parallel) Programs

  1983cited by this paper
• Proofs of Networks of Processes

  1981cited by this paper

• MILS Architectural Approach

  2021cites this paper
• Safe Decomposition of Startup Requirements: Verification and Synthesis

  2020cites this paper
• Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

  2020influential citation
• Formal verification of the functionnal layer of robotic and autonomous systems

  2018cites this paper
• From timed component-based systems to time-triggered implementations : a correct-by-design approach. (Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception)

  2017cites this paper
• Compositional verification of component-based real-time systems and applications. (Vérification compositionnelle des systèmes temps-réel à base de composants et applications)

  2016cites this paper
• RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems

  2016influential citation
• ASTROLABE

  2016cites this paper
• A Compositional Approach to the Verification of Hybrid Systems

  2016influential citation
• Compositional Parameter Synthesis

  2016influential citation
• Local Planning of Multiparty Interactions with Bounded Horizons

  2016influential citation
• Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation

  2016cites this paper
• Timed Orchestration for Component-based Systems

  2015influential citation
• Correctness of Service Components and Service Component Ensembles

  2015cites this paper
• Compositional Verification of Parameterised Timed Systems

  2015influential citation
• Optimized Distributed Implementations of Timed Component-based Systems

  2015cites this paper
• Compositional Verification for Timed Systems Based on Automatic Invariant Generation

  2015cites this paper
• A Theory Agenda for Component-Based Design

  2015cites this paper
• Timed Orchestration for Component-based Systems

  2015cites this paper
• Optimized distributed implementation of timed component-based systems

  2015cites this paper
• Rigorous System-level Modeling and Performance Evaluation for Embedded System Design. (Modélisation et Évaluation de Performance pour la Conception des Systèmes Embarqués : Approche Rigoureuse au Niveau Système)

  2015cites this paper
• Distributed Implementations of Timed Component-based Systems

  2015influential citation
• Blaming in component-based real-time systems

  2014cites this paper
• Rigorous System Design Flow for Autonomous Systems

  2014cites this paper
• Compositional Verification of Timed Systems

  2014cites this paper