Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Yann Duplouy"'
Autor:
Marie Duflot-Kremer, Yann Duplouy
Publikováno v:
Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2020
SIMULTECH 2020-10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
SIMULTECH 2020-10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
SIMULTECH
SIMULTECH 2020-10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
SIMULTECH 2020-10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
SIMULTECH
International audience; In this paper, we present an approach to perform statistical model-checking over stochastic distributed programs using the SimGrid framework. The distributed programs are modeled using SimGrid, a fast and lightweight framework
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9101c71e04e8225f6976a896db3037ff
https://inria.hal.science/hal-02978389/file/simultexduflot-duplouy.pdf
https://inria.hal.science/hal-02978389/file/simultexduflot-duplouy.pdf
Publikováno v:
Application and Theory of Petri Nets and Concurrency-Petri Nets 2018
39th International Conference on Applications and Theory of Petri Nets and Concurrency
39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩
Application and Theory of Petri Nets and Concurrency ISBN: 9783319912677
Petri Nets
39th International Conference on Applications and Theory of Petri Nets and Concurrency
39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩
Application and Theory of Petri Nets and Concurrency ISBN: 9783319912677
Petri Nets
We present an implementation for Simulink model executions in the statistical model-checker Cosmos.We take profit of this implementation for an hybrid modeling combining Petri nets and Simulink models.
Nous présentons une implémentation pour l
Nous présentons une implémentation pour l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1340252569015394247f3030807f53ff
https://hal.archives-ouvertes.fr/hal-01916467
https://hal.archives-ouvertes.fr/hal-01916467
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Mar2023, Vol. 32 Issue 2, p1-61, 61p
Publikováno v:
ACM Transactions on Embedded Computing Systems; 2019Special Issue, Vol. 18 Issue 5s, p1-23, 23p
Autor:
Victor Khomenko, Olivier H. Roux
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International