An Alternative Definition for Timed Automata Composition

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Automated Technology for Verification and Analysis

• Publication date

  2011-10-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-24372-1_9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Compositional Verification for Component-Based Systems and Application

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

  2008cited by this paper
• Robust Model-Checking of Linear-Time Properties in Timed Automata

  2006cited by this paper
• LATIN 2006: Theoretical Informatics

  2006cited by this paper
• Model Checking Timed Automata with Priorities Using DBM Subtraction

  2006cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• A Tutorial on Uppaal

  2004cited by this paper
• Lectures on Concurrency and Petri Nets

  2003cited by this paper
• Timed Automata: Semantics, Algorithms and Tools

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

  2000cited by this paper
• On the Construction of Live Timed Systems

  2000cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Uppaal in a nutshell

  1997cited by this paper
• Finite transition systems - semantics of communicating systems

  1994cited by this paper
• Formal Techniques in Real-Time and Fault-Tolerant Systems

  1993cited by this paper
• Timed Transition Systems

  1991cited by this paper
• Communication and concurrency

  1989cited by this paper
• Compositional model checking

  1989cited by this paper

• A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System

  2022cites this paper
• Formally Verified Credentials Management for Industrial Control Systems

  2021influential citation
• A Safety-Driven Cost Optimization for the Real-Time Operation of a Hybrid Energy System

  2021cites this paper
• Optimal Energy Resources Scheduling of Hybrid Diesel/Battery Ships in Shallow Waters

  2021cites this paper
• Towards Formally Verified Key Management for Industrial Control Systems

  2020cites this paper
• A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System

  2020cites this paper
• Security Verification of Industrial Control Systems using Partial Model Checking

  2020cites this paper
• Compliance verification of a cyber security standard for Cloud-connected SCADA

  2019cites this paper
• Innovative Security Solutions for Information Technology and Communications

  2018cites this paper
• Formal Security Analysis of Cloud-Connected Industrial Control Systems

  2018cites this paper
• Model Checking Process Algebra of Communicating Resources for Real-Time Systems

  2014cites this paper
• Aalborg Universitet Model checking process algebra of communicating resources for real-time systems

  2014cites this paper
• Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

  2013cites this paper
• Compositional Refinement for Real-Time Systems with Priorities

  2012cites this paper
• Revising and Extending the Uppaal Communication Mechanism

  2012cites this paper