541 citations
- Technical University of DenmarkDK7 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Institut national de recherche en sciences et technologies du numériqueFR5 papers
- Tokyo Institute of TechnologyJP5 papers
- Centre de Physique ThéoriqueFR4 papers
- Center for Pastor TheologiansUS3 papers
- Delft University of TechnologyNL3 papers
- East China Normal UniversityCN3 papers
- Helsinki Institute of PhysicsFI3 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR3 papers
- National Institute of Information and Communications TechnologyJP3 papers
- Romanian AcademyRO3 papers
7 papers · 1 filter
MDM: A Mode Diagram Modeling Framework
Zheng Wang, Geguang Pu, Jianwen Li +5
Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observe…
Parameterized Metatheory for Continuous Markovian Logic
Kim G. Larsen, Radu Mardare, Claus Thrane
This paper shows that a classic metalogical framework, including all Boolean operators, can be used to support the development of a metric behavioural theory for Markov processes.…
Proceedings Quantities in Formal Methods
Uli Fahrenberg, Axel Legay, Claus Thrane
This volume contains the proceedings of the Workshop on Quantities in Formal Methods, QFM 2012, held in Paris, France on 28 August 2012. The workshop was affiliated with the 18th S…
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
Alexandre David, Lasse Jacobsen, Morten Jacobsen +1
Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and several translations to networks of timed automata have been proposed for this model. We pres…
Weighted Modal Transition Systems
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl +3
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification t…
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Peter Bulychev, Alexandre David, Kim Gulstrand Larsen +4
This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of netwo…