Improving the Efficiency of Synchronized Product with Infinite Transition Systems

No abstract is available for this paper.

• Publication year

  2013

• Venue

  International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications

• Publication date

  2013-06-19

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-319-03998-5_15
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• CCSL denotational semantics

  2014cited by this paper
• Lazy Parallel Synchronous Composition of Infinite Transition Systems

  2013cited by this paper
• Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

  2013cited by this paper
• Boundness Issues in CCSL Specifications

  2013cited by this paper
• Lazy abstractions for timed automata

  2013cited by this paper
• Automatic generation of observers from MARTE/CCSL

  2012cited by this paper
• TimeSquare: Treat Your Models with Logical Time

  2012cited by this paper
• Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL

  2011cited by this paper
• Objects, Models, Components, Patterns

  2011cited by this paper
• Verification of MARTE/CCSL Time Requirements in Promela/SPIN

  2011cited by this paper
• Syntax and Semantics of the Clock Constraint Specification Language (CCSL)

  2009cited by this paper
• Clock constraint specification language: specifying clock constraints with UML/MARTE

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

  2008cited by this paper
• Lazy Approximation for Dense Real-Time Systems

  2004cited by this paper
• The synchronous languages 12 years later

  2003cited by this paper
• Nivat's processes and their synchronization

  2002cited by this paper
• Readings in hardware / software co-design

  2001cited by this paper
• Synchronized Products of Transition Systems and Their Analysis

  1998cited by this paper
• Dataflow process networks

  1995cited by this paper
• A Theory of Timed Automata

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

  1994cited by this paper
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing

  1989cited by this paper
• Efficient compilation of lazy evaluation

  1984cited by this paper

• Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety

  2020cites this paper
• Project-Team aoste Models and methods of analysis and optimization for systems with real-time and embedding constraints

  2011cites this paper