Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Yann Thierry−Mieg"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 268, Iss Proc. MARS/VPT 2018, Pp 88-103 (2018)
We present a formal model built for verification of the hardware Tera-Scale ARchitecture (TSAR), focusing on its Distributed Hybrid Cache Coherence Protocol (DHCCP). This protocol is by nature asynchronous, concurrent and distributed, which makes cla
Externí odkaz:
https://doaj.org/article/5a608221bf9341a990e0f91155035a58
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
https://doi.org/10.1007/978-3-031-08679-3_11
Publikováno v:
GraMSec 2019-6th International Workshop on Graphical Models for Security
GraMSec 2019-6th International Workshop on Graphical Models for Security, Jun 2019, Hoboken, NJ, United States. pp.23-49, ⟨10.1007/978-3-030-36537-0_3⟩
Graphical Models for Security ISBN: 9783030365363
GraMSec@CSF
GraMSec 2019-6th International Workshop on Graphical Models for Security, Jun 2019, Hoboken, NJ, United States. pp.23-49, ⟨10.1007/978-3-030-36537-0_3⟩
Graphical Models for Security ISBN: 9783030365363
GraMSec@CSF
International audience; Attack trees are widely used for security modeling and risk analysis. Classically, an attack tree combines possible actions of the attacker into attacks. In most existing approaches, an attack tree represents generic ways of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b8a0abe1cce4a575ee6d3e02d915e8b
https://hal.science/hal-02533750
https://hal.science/hal-02533750
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
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
https://hal.sorbonne-universite.fr/hal-02094047
Autor:
Yann Thierry-Mieg, Fabrice Kordon
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783319912677
Petri Nets
Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. ⟨10.1007/978-3-319-91268-4_1⟩
Petri Nets
Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. ⟨10.1007/978-3-319-91268-4_1⟩
International audience; Model checking is becoming a popular verification method that still suffers from combinatorial explosion when used on large industrial systems. Currently, experts can, in some cases, overcome this complexity by selecting appro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d598e1fcf7f3af3ceacd5cf841931bce
https://doi.org/10.1007/978-3-319-91268-4_1
https://doi.org/10.1007/978-3-319-91268-4_1
Publikováno v:
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
Fundamenta Informaticae, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
Fundamenta Informaticae, 2009, 94 (3-4), pp.413-437. ⟨10.3233/FI-2009-137⟩
International audience; Shared decision diagram representations of a state-space provide efficient solutions for model-checking of large systems. However, decision diagram manipulation is tricky, as the con- struction procedure is liable to produce i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::004d1cc3407f96464cfeed278d4cde6d
https://doi.org/10.3233/fi-2009-137
https://doi.org/10.3233/fi-2009-137
Autor:
Yann Thierry-Mieg
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662466803
TACAS
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, London, United Kingdom. pp.231-237, ⟨10.1007/978-3-662-46681-0_20⟩
TACAS
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, London, United Kingdom. pp.231-237, ⟨10.1007/978-3-662-46681-0_20⟩
International audience; We present the symbolic model-checking toolset ITS-tools. The model-checking back-end engine is based on hierarchical set decision diagrams (SDD) and supports reachability, CTL and LTL model-checking, using both classical and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7217f9f79a92f7a9b265c6ceb29adce8
https://doi.org/10.1007/978-3-662-46681-0_20
https://doi.org/10.1007/978-3-662-46681-0_20
Publikováno v:
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Apr 2014, Grenoble, France. pp.440-454, ⟨10.1007/978-3-642-54862-8_38⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642548611
TACAS
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Apr 2014, Grenoble, France. pp.440-454, ⟨10.1007/978-3-642-54862-8_38⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642548611
TACAS
International audience; In a previous work, we showed that a kind of ω-automata known as Transition-based Generalized Testing Automata (TGTA) can outperform the Büchi automata traditionally used for explicit model checking when verifying stutter-in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a7c7026a34f2a8702e7ab55093766fa
https://hal.archives-ouvertes.fr/hal-01216559
https://hal.archives-ouvertes.fr/hal-01216559
Autor:
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom−Messan Hillah, Francis Hulin−Hubard, Fabrice Legond−Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot−Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry−Mieg, Harro Wimmel, Karsten Wolf
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a7ae6f1bf6f6d8180ecc8f9a7bd7137
http://arxiv.org/abs/1309.2485
http://arxiv.org/abs/1309.2485
Publikováno v:
25th International Conference on Computer Aided Verification (CAV)
25th International Conference on Computer Aided Verification (CAV), Jul 2013, Saint-Petersbourg, Russia. pp.830-845, ⟨10.1007/978-3-642-39799-8_58⟩
Computer Aided Verification ISBN: 9783642397981
CAV
25th International Conference on Computer Aided Verification (CAV), Jul 2013, Saint-Petersbourg, Russia. pp.830-845, ⟨10.1007/978-3-642-39799-8_58⟩
Computer Aided Verification ISBN: 9783642397981
CAV
International audience; Symbolic data structures such as Decision Diagrams have proved successful for model-checking. For high-level specifications such as those used in programming languages, especially when manipulating pointers or arrays, building
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6968a02e3f6ac8669ae80b235c62e9e
https://hal.science/hal-01215999
https://hal.science/hal-01215999