Theo dõi
Yann Thierry-Mieg
Yann Thierry-Mieg
Laboratoire d'Informatique de Paris 6
Email được xác minh tại lip6.fr - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Hierarchical decision diagrams to exploit model structure
JM Couvreur, Y Thierry-Mieg
International Conference on Formal Techniques for Networked and Distributed …, 2005
1002005
Symbolic model-checking using ITS-tools
Y Thierry-Mieg
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
912015
Hierarchical set decision diagrams and regular models
Y Thierry-Mieg, D Poitrenaud, A Hamez, F Kordon
International Conference on Tools and Algorithms for the Construction and …, 2009
822009
On the formal verification of middleware behavioral properties
J Hugues, T Vergnaud, L Pautet, Y Thierry-Mieg, S Baarir, F Kordon
Electronic Notes in Theoretical Computer Science 133, 139-157, 2005
562005
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
552015
Presentation of the 9th edition of the model checking contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
532019
Report on the model checking contest at Petri nets 2011
F Kordon, A Linard, D Buchs, M Colange, S Evangelista, K Lampka, ...
Transactions on Petri Nets and Other Models of Concurrency VI, 169-196, 2012
512012
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems
A Hamez, L Hillah, F Kordon, A Linard, E Paviot-Adet, X Renault, ...
Sixth International Conference on Application of Concurrency to System …, 2006
502006
Hierarchical set decision diagrams and automatic saturation
A Hamez, Y Thierry-Mieg, F Kordon
Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008
492008
Self-loop aggregation product—a new hybrid approach to on-the-fly LTL model checking
A Duret-Lutz, K Klai, D Poitrenaud, Y Thierry-Mieg
International Symposium on Automated Technology for Verification and …, 2011
462011
UML behavioral consistency checking using instantiable Petri nets
Y Thierry-Mieg, LM Hillah
Innovations in systems and software engineering 4, 293-300, 2008
462008
Formal verification of mobile robot protocols
B Bérard, P Lafourcade, L Millet, M Potop-Butucaru, Y Thierry-Mieg, ...
Distributed Computing 29, 459-487, 2016
442016
Automatic symmetry detection in well-formed nets
Y Thierry-Mieg, C Dutheillet, I Mounier
Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003
382003
Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
A Hamez, Y Thierry-Mieg, F Kordon
Fundamenta Informaticae 94 (3-4), 413-437, 2009
342009
UML 2: pratique de la modélisation
B Charroux, A Osmani, Y Thierry-Mieg
Pearson Education, 2010
322010
A symbolic symbolic state space representation
Y Thierry-Mieg, JM Ilié, D Poitrenaud
Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004
312004
Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag
M Colange, S Baarir, F Kordon, Y Thierry-Mieg
International Conference on Application and Theory of Petri Nets and …, 2011
272011
Complete results for the 2016 edition of the model checking contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, B Berthomieu, G Ciardo, ...
27
Structural reductions revisited
Y Thierry-Mieg
Application and Theory of Petri Nets and Concurrency: 41st International …, 2020
222020
Towards distributed software model-checking using decision diagrams
M Colange, S Baarir, F Kordon, Y Thierry-Mieg
International Conference on Computer Aided Verification, 830-845, 2013
212013
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20