Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Fronc, Lukasz"'
Autor:
Fronc, Lukasz
Cette thèse s'intéresse à la vérification de systèmes automatisables par model-checking. La question sous-jacente autour de laquelle se construit la contribution est la recherche d'un compromis entre différents objectifs potentiellement contrad
Externí odkaz:
http://www.theses.fr/2013EVRY0034/document
We define an extension of time Petri nets such that the time at which a transition can fire, also called its firing date, may be dynamically updated. Our extension provides two mechanisms for updating the timing constraints of a net. First, we propos
Externí odkaz:
http://arxiv.org/abs/1404.7067
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:
Fronc, Łukasz
Publikováno v:
EPTCS 107, 2013, pp. 61-75
The starting point of this work is a framework allowing to model systems with dynamic process creation, equipped with a procedure to detect symmetric executions (ie., which differ only by the identities of processes). This allows to reduce the state
Externí odkaz:
http://arxiv.org/abs/1302.3293
Autor:
Fronc, Lukasz, Pommereau, Franck
Publikováno v:
Proc. of the International Workshop on Petri Nets and Software Engineering (PNSE 2013)
International Workshop on Petri Nets and Software Engineering (PNSE 2013)
International Workshop on Petri Nets and Software Engineering (PNSE 2013), Jun 2013, Milano, Italy. (elec. proc.)
International Workshop on Petri Nets and Software Engineering (PNSE 2013)
International Workshop on Petri Nets and Software Engineering (PNSE 2013), Jun 2013, Milano, Italy. (elec. proc.)
International audience; This paper presents Neco that is a Petri net compiler: it takes a Petri net as its input and produces as its output an optimised library to e ciently explore the state space of this Petri net. Neco is also able to work with LT
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b15fc1a2fa83aae034e6e4e7fc11e9f8
https://hal.archives-ouvertes.fr/hal-00911714
https://hal.archives-ouvertes.fr/hal-00911714
Autor:
Fronc, Lukasz, Pommereau, Franck
Publikováno v:
[Research Report] IBISC, university of Evry / Paris-Saclay. 2011
Petri nets are a widely used tool in verification through model-checking. In this approach, a Petri Net model of the system of interest is produced and its reachable states are computed, searching for erroneous executions. Compilation of such a Petri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d63f60ae28395e0515a6d7438ef3ddf7
https://hal.archives-ouvertes.fr/hal-02315062/file/FP-IBISC-TR-2011.pdf
https://hal.archives-ouvertes.fr/hal-02315062/file/FP-IBISC-TR-2011.pdf
Autor:
Fronc, Lukasz, Pommereau, Franck
Publikováno v:
Proc. of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO 2011)
Second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO 2011)
Second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO 2011), Jun 2011, Kanazawa, Japan. pp.49--64
Second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO 2011)
Second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO 2011), Jun 2011, Kanazawa, Japan. pp.49--64
International audience; Compilation of a Petri net model is one way to accelerate its veri cation through state space exploration. In this approach, code to explore the Petri net is generated, which avoids the use a xed exploration tool involving an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aac3443174d17b2dfd09bd45ce949ed4
https://hal.archives-ouvertes.fr/hal-00666661
https://hal.archives-ouvertes.fr/hal-00666661