Theo dõi
Fabrice Kordon
Fabrice Kordon
Professeur d'Informatique, Sorbonne Université
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
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
1862008
An Introduction to Rapid System Prototyping
F Kordon, Luqi
IEEE Transactions on Software Engineering 70 (3), 817-821, 2002
1532002
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
1042009
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
962004
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
892010
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
882009
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
PaInleSS: a framework for parallel SAT solving
L Le Frioux, S Baarir, J Sopena, F Kordon
International Conference on Theory and Applications of Satisfiability …, 2017
722017
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
562007
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
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
512018
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
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
502019
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
Optimized colored nets unfolding
F Kordon, A Linard, E Paviot-Adet
Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006
482006
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
452000
PN standardisation: a survey
L Hillah, F Kordon, L Petrucci, N Trèves
International Conference on Formal Techniques for Networked and Distributed …, 2006
422006
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