LTL Under Reductions with Weaker Conditions Than Stutter Invariance

Autor: Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

Publikováno v: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783031086786

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b245372466aacce2ec33f4b25c962bdf
https://doi.org/10.1007/978-3-031-08679-3_11

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

Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition

Autor: Emmanuel Paviot-Adet, Mahmoud Boufaida, Meriem Kermani

Publikováno v: Enterprise Interoperability VI ISBN: 9783319049472
I-ESA
7th International Conference of Interoperability for Enterprises Systems and applications--I-ESA
7th International Conference of Interoperability for Enterprises Systems and applications--I-ESA, Mar 2014, Albi, France. pp.381-392, ⟨10.1007/978-3-319-04948-9_32⟩

International audience; With the deep development of economic globalization, companies tend now to collaborate closely with each others to improve their competitiveness. The problems of interoperability have recently been the subject of considerable

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dde15a3c83b0d9c5d6279aed453143a3
https://doi.org/10.1007/978-3-319-04948-9_32

Report on the Model Checking Contest at Petri Nets 2011

Autor: Niels Lohmann, Sami Evangelista, Alban Linard, Emmanuel Paviot-Adet, Kai Lampka, Harro Wimmel, Yann Thierry-Mieg, Fabrice Kordon, Didier Buchs, Maximilien Colange

Publikováno v: LNCS Transactions on Petri Nets and Other Models of Concurrency
LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.169-196. ⟨10.1007/978-3-642-35179-2_8⟩
Transactions on Petri Nets and Other Models of Concurrency VI ISBN: 9783642351785
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.169-196. ⟨10.1007/978-3-642-35179-2_8⟩
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and

This article presents the results of the Model Checking Contest held within the SUMo 2011 workshop a satellite event of Petri Nets 2011. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dba03d343070236facb531a8ce266025
https://hal.archives-ouvertes.fr/hal-01270053

polyDD: Towards a Framework Generalizing Decision Diagrams

Autor: Emmanuel Paviot-Adet, Alban Linard, Fabrice Kordon, Samuel Charron, Didier Buchs

Publikováno v: ACSD

International audience; Decision Diagrams are now widely used in model checking as extremely compact representations of state spaces. Many Decision Diagram categories have been developed over the past twenty years based on the same principles. Each o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::611af540c72550eaf99629d08c4cbd20
https://hal.archives-ouvertes.fr/hal-01292564