[图书][B] Modeling and simulation of computer networks and systems: Methodologies and applications
F Zarai, P Nicopolitidis - 2015 - books.google.com
Modeling and Simulation of Computer Networks and Systems: Methodologies and
Applications introduces you to a broad array of modeling and simulation issues related to …
Applications introduces you to a broad array of modeling and simulation issues related to …
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
Abstract We introduce the Hybrid Automata Stochastic Language (HASL), a new temporal
logic formalism for the verification of Discrete Event Stochastic Processes (DESP). HASL …
logic formalism for the verification of Discrete Event Stochastic Processes (DESP). HASL …
Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata
L Desgeorges, PY Piriou, T Lemattre… - Reliability Engineering & …, 2021 - Elsevier
This article lays the mathematical foundations of PyCATSHOO, a Model-Based Safety
Analysis (MBSA) framework relying on distributed stochastic hybrid automata. This tool was …
Analysis (MBSA) framework relying on distributed stochastic hybrid automata. This tool was …
COSMOS: a statistical model checker for the hybrid automata stochastic logic
This tool paper introduces Cosmos, a statistical model checker for the Hybrid Automata
Stochastic Logic (HASL). HASL employs Linear Hybrid Automata (LHA), a gen eralization of …
Stochastic Logic (HASL). HASL employs Linear Hybrid Automata (LHA), a gen eralization of …
Coupling and importance sampling for statistical model checking
Statistical model-checking is an alternative verification technique applied on stochastic
systems whose size is beyond numerical analysis ability. Given a model (most often a …
systems whose size is beyond numerical analysis ability. Given a model (most often a …
Modeling tools for detecting DoS attacks in WSNs
P Ballarini, L Mokdad, Q Monnet - Security and Communication …, 2013 - Wiley Online Library
Detecting denial‐of‐service (DoS) attacks and reducing the energy consumption are two
important and frequent requirements in wireless sensor networks (WSNs). In this paper, we …
important and frequent requirements in wireless sensor networks (WSNs). In this paper, we …
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
EG Amparore - Quantitative Evaluation of Systems: 11th International …, 2014 - Springer
This tool demonstration paper describes a new Graphical User Interface for the interactive
modeling and verification of GSPN systems with the stochastic logic CSL TA. The GUI …
modeling and verification of GSPN systems with the stochastic logic CSL TA. The GUI …
Petri nets compositional modeling and verification of flexible manufacturing systems
Flexible Manufacturing Systems (FMS) are amongst the most studied types of systems,
however due to their increasing complexity, there is still room for improvement in their …
however due to their increasing complexity, there is still room for improvement in their …
CosyVerif: An open source extensible verification environment
É André, Y Lembachar, L Petrucci… - … on Engineering of …, 2013 - ieeexplore.ieee.org
CosyVerif aims at gathering within a common framework various existing tools for
specification and verification. It has been designed in order to 1) support different formalisms …
specification and verification. It has been designed in order to 1) support different formalisms …
On quantitative modelling and verification of DNA walker circuits using stochastic Petri nets
B Barbot, M Kwiatkowska - … Conference on Applications and Theory of …, 2015 - Springer
Molecular programming is an emerging field concerned with building synthetic biomolecular
computing devices at the nanoscale, for example from DNA or RNA molecules. Many …
computing devices at the nanoscale, for example from DNA or RNA molecules. Many …