MoDeST - A Modelling and Description Language for Stochastic Timed Systems (original) (raw)
Related papers
Specification of Stochastic Properties in Real-Time Systems
1996
MODEST: A modelling language for stochastic timed systems
MoDeST: A compositional modeling formalism for hard and softly timed systems
2006
2015
Computer Science, 2022
Formal Modelling Languages to Specify Real-Time Systems: A Survey
International Journal of Future Computer and Communication, 2013
An algebraic approach to the specification of stochastic systems
1998
Languages and methods for specifying real-time systems
2002
Discrete Event System Specification Modeling and Simulation
2018 Winter Simulation Conference (WSC)
A formal framework for stochastic discrete event system specification modeling and simulation
Ernesto Kofman, Rodrigo Castro
Simulation, 2010
Modeling and Analysis of Probabilistic Timed Systems
2009
Specification and analysis of soft real-time systems: Quantity and quality
1999
It usually works: The temporal logic of stochastic systems
Alberto Sangiovanni Vincentelli
1995
A component-based framework for modeling and analyzing probabilistic real-time systems
ETFA2011, 2011
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science, 2004
A Language for Formal Description of Real Time Systems
Safety of Computer Control Systems 1983 (Safecomp '83), 1983
A probabilistic language formalism for stochastic discrete-event systems
IEEE Transactions on Automatic Control, 1999
A process algebraic framework for specification and validation of real-time systems
Formal Aspects of Computing, 2009
STDEVS, A Novel Formalism for Modeling and Simulation of Stochastic Discrete Event Systems
2006
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors
Electronic Communication of The European Association of Software Science and Technology, 2014
TTM / PAT : A Tool for Modelling and Verifying Timed Transition Models
2013
Stochastically Enhanced Timed Automata
IFIP Advances in Information and Communication Technology, 2000
ATOM: an object-based formal method for real-time systems
Annals of Software Engineering, 1999
An industrial-strength formal method
On specifying real-time systems in a causality-based setting
Lecture Notes in Computer Science, 1996
A description language for engineering of complex real-time systems
The Engineering of Complex Real-Time Computer Control Systems, 1996
Electronic Notes in Theoretical Computer Science, 1998
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems* 1
Information Sciences, 1999