Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Marechal, Alexis"'
Autor:
Kordon, Fabrice, Linard, Alban, Beccuti, Marco, Buchs, Didier, Fronc, Łukasz, Hillah, Lom-Messan, Hulin-Hubard, Francis, Legond-Aubry, Fabrice, Lohmann, Niels, Marechal, Alexis, Paviot-Adet, Emmanuel, Pommereau, Franck, Rodríguez, César, Rohr, Christian, Thierry-Mieg, Yann, Wimmel, Harro, Wolf, Karsten
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edi
Externí odkaz:
http://arxiv.org/abs/1309.2485
Autor:
Sedlmajer, Nicolas, Buchs, Didier, Hostettler, Steve, Linard, Alban, Lopez, Edmundo, Marechal, Alexis
Most available tools propose simulation frameworks to study models of biological systems, but simulation only explores a few of the most probable behaviours of the system. On the contrary, techniques such as model checking, coming from IT-systems ana
Externí odkaz:
http://arxiv.org/abs/1108.3436
Autor:
Marechal, Alexis1 alexismarechal@lp.upb.edu, Buchs, Didier2 didier.buchs@unige.ch
Publikováno v:
Fundamenta Informaticae. 2015, Vol. 137 Issue 1, p87-116. 30p.
Publikováno v:
Fundamenta Informaticae. 2011, Vol. 113 Issue 3-4, p229-264. 36p.
Autor:
Marechal, Alexis, Buchs, Didier
Publikováno v:
Application & Theory of Petri Nets & Concurrency; 2013, p349-368, 20p
Autor:
Sedlmajer, Nicolas, Buchs, Didier, Hostettler, Steve, Linard, Alban, López Bóbeda, Edmundo, Marechal, Alexis
Publikováno v:
Transactions on Petri Nets & Other Models of Concurrency VI; 2012, p123-145, 23p
Publikováno v:
Applications & Theory of Petri Nets (9783642136740); 2010, p287-296, 10p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783642120015); 2010, p349-352, 4p
Autor:
Maréchal, Alexis.
Th. licence--Droit--Paris, 1858-08-23.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb36846481s