| From the prototype to the final embedded system using the Ocarina AADL tool suite J Hugues, B Zalila, L Pautet, F Kordon ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 1-25, 2008 | 185 | 2008 |
| An Introduction to Rapid System Prototyping F Kordon, Luqi IEEE Transactions on Software Engineering 70 (3), 817-821, 2002 | 152 | 2002 |
| A primer on the Petri Net Markup Language and ISO/IEC 15909-2 LM Hillah, E Kindler, F Kordon, L Petrucci, N Treves Petri Net Newsletter 76, 9-28, 2009 | 104 | 2009 |
| PolyORB: a schizophrenic middleware to build versatile reliable distributed applications T Vergnaud, J Hugues, L Pautet, F Kordon International Conference on Reliable Software Technologies, 106-119, 2004 | 97 | 2004 |
| PNML Framework: an extendable reference implementation of the Petri Net Markup Language LM Hillah, F Kordon, L Petrucci, N Treves Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010 | 87 | 2010 |
| Validate, simulate, and implement ARINC653 systems using the AADL J Delange, L Pautet, A Plantec, M Kerboeuf, F Singhoff, F Kordon Proceedings of the ACM SIGAda annual international conference on Ada and …, 2009 | 87 | 2009 |
| Hierarchical set decision diagrams and regular models Y Thierry-Mieg, D Poitrenaud, A Hamez, F Kordon Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 73 | 2009 |
| PaInleSS: a framework for parallel SAT solving L Le Frioux, S Baarir, J Sopena, F Kordon Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017 | 61 | 2017 |
| Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. J Hugues, B Zalila, L Pautet, F Kordon IEEE International Workshop on Rapid System Prototyping 7, 106, 2007 | 57 | 2007 |
| 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 | 54 | 2005 |
| 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 | 51 | 2006 |
| Complete Results for the 2015 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ... | 50 | 2015 |
| 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 | 50 | 2012 |
| 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 | 47 | 2019 |
| Optimized colored nets unfolding F Kordon, A Linard, E Paviot-Adet Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006 | 46 | 2006 |
| TOOLympics 2019: An overview of competitions in formal methods E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 45 | 2019 |
| 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 | 45 | 2008 |
| Formalization of a spatialized multiagent model using coloured petri nets for the study of an hunting management system I Bakam, F Kordon, C Le Page, F Bousquet International Workshop on Formal Approaches to Agent-Based Systems, 123-132, 2000 | 43 | 2000 |
| Cdclsym: Introducing effective symmetry breaking in sat solving H Metin, S Baarir, M Colange, F Kordon Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 42 | 2018 |
| Adapting models to model checkers, a case study: Analysing aadl using time or colored petri nets X Renault, F Kordon, J Hugues 2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 26-33, 2009 | 40 | 2009 |
Yann Thierry-MiegLaboratoire d'Informatique de Paris 6在 lip6.fr 的电子邮件经过验证
