UPPAAL in Practice: Quantitative Verification of a RapidIO Network

No abstract is available for this paper.

• Publication year

  2010

• Venue

  Leveraging Applications of Formal Methods

• Publication date

  2010-10-18

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-642-16561-0_20
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• From POOSL to UPPAAL: Transformation and Quantitative Analysis

  2010influential reference
• The rapidio high-speed interconnect : A technical overview

  2007cited by this paper
• Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

  2007cited by this paper
• A Tutorial on Uppaal

  2004cited by this paper
• Constructive tool design for formal languages : from semantics to executing models

  2002cited by this paper
• Symbolic model checking of real-time systems

  2001cited by this paper
• Specification of reactive hardware/software systems : the method software/hardware engineering (SHE)

  1997cited by this paper
• Automata For Modeling Real-Time Systems

  1990cited by this paper
• Specification and Verification of Concurrent Systems

  1990cited by this paper
• Communication and concurrency

  1989cited by this paper
• International Symposium on Programming

  1982cited by this paper
• Specification and verification of concurrent systems in CESAR

  1982cited by this paper
• On Observing Nondeterminism and Concurrency

  1980cited by this paper

• Scenarios in the Design of Flexible Manufacturing Systems

  2019cites this paper
• Performance analysis and optimization of supervisory controllers

  2018cites this paper
• Discretization of Continuous Dynamical Systems Using UPPAAL

  2017cites this paper
• Platform-based design for high-performance mechatronic systems

  2015cites this paper
• Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs

  2014cites this paper