Presentation of the 9th Edition of the Model Checking Contest

Autor: Lom Messan Hillah, Fabrice Kordon, Silvano Dal Zilio, Bernard Berthomieu, Jeroen Meijer, Loïg Jezequel, Andrew S. Miner, Peter Gjøl Jensen, Didier Le Botlan, Gianfranco Ciardo, Elvio Gilberto Amparore, Tom van Dijk, Yann Thierry-Mieg, Torsten Liebke, Francis Hulin-Hubard, Karsten Wolf, Emmanuel Paviot-Adet, Jiří Srba, Francesco Gallà

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Amparore, E, Berthomieu, B, Ciardo, G, Dal Zilio, S, Gallà, F, Hillah, L M, Hulin-Hubard, F, Jensen, P G, Jezequel, L, Kordon, F, Le Botlan, D, Liebke, T, Meijer, J, Miner, A, Paviot-Adet, E, Srba, J, Thierry-Mieg, Y, van Dijk, T & Wolf, K 2019, Presentation of the 9th Edition of the Model Checking Contest . in F Kordon, M Huisman, B Steffen & D Beyer (eds), International Conference on Tools and Algorithms for the Construction and Analysis of Systems : TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems . Springer, Lecture Notes in Computer Science, vol. 11429, pp. 50-68, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 06/04/2019 . https://doi.org/10.1007/978-3-030-17502-3_4
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, 50-68
STARTPAGE=50;ENDPAGE=68;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS

International audience; The Model Checking Contest (MCC) is an annual competition of software tools for model checking. Tools must process an increasing benchmark gathered from the whole community and may participate in various examinations: state sp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83d20bac4d677364c4f761e84dd91386
https://hal.sorbonne-universite.fr/hal-02094047

Petri Nets Repository: a tool to benchmark and debug Petri Net tools

Autor: Lom Messan Hillah, Fabrice Kordon

Publikováno v: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017
38th International Conference, PETRI NETS 2017
38th International Conference, PETRI NETS 2017, University of Zaragoza, Jun 2017, Zaragoza, Spain. pp.125-135
Application and Theory of Petri Nets and Concurrency ISBN: 9783319578606
Petri Nets

International audience; Foragivenscientificcommunity,beingabletouseacommonandrich accepted benchmark for the evaluation of algorithms and prototypes is an added value. The goal of this paper is to present Petri Nets Repository, an open Petri nets mod

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06325f96226b39d2b4b5e1633bf0c0de
https://hal.sorbonne-universite.fr/hal-01492419/document

Service functional testing automation with intelligent scheduling and planning

Autor: Ariele-Paolo Maesano, Pierre-Henri Wuillemin, Fabrice Kordon, Libero Maesano, Lom Messan Hillah, Fabio De Rosa

Publikováno v: Symposium on Applied Computing (SAC)
Symposium on Applied Computing (SAC), ACM, Apr 2016, Pisa, Italy. pp.1605-1610
HAL
SAC

International audience; This paper presents the intelligent automation of functional test of services (unit testing) and services architectures (end-to-end testing) that has been developed by the MIDAS project and is accessible on the MIDAS SaaS. In

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bba2ebadd9164814a32c01bafb6739eb
https://hal.sorbonne-universite.fr/hal-01306954/document

Application des méthodes formelles à la robotique modulaire. Méthodes formelles pour l'analyse des robots autonomes et modulaires

Autor: Fabrice Kordon, Laure Petrucci, Lom Messan Hillah

Publikováno v: Journal Européen des Systèmes Automatisés. 42:459-478

Cet article se propose de montrer l'interet de l'application des methodes formelles a la specification et l'analyse des systemes robotiques modulaires. Apres avoir introduit le probleme de la robotique modulaire et le modele des reseaux symetriques,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7a4c32fa97cadb2e5f85d5cd36e16248
https://doi.org/10.3166/jesa.42.459-478

The CARE Platform for the Analysis of Behavior Model Inference Techniques

Autor: Sylvain Lamprier, Lom Messan Hillah, Tewfik Ziadi, Nicolas Baskiotis

Publikováno v: Information and Software Technology
Information and Software Technology, 2015, 60, pp.32-50. ⟨10.1016/j.infsof.2014.12.004⟩
Information and Software Technology, Elsevier, 2015, 60, pp.32-50. ⟨10.1016/j.infsof.2014.12.004⟩

International audience; Context: Finite State Machine (FSM) inference from execution traces has received a lot of attention over the past few years. Various approaches have been explored, each holding different properties for the resulting models, bu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::694c3062a93190786ca5115438779639
https://hal.science/hal-01176438