Folgen
Fabrice Kordon
Fabrice Kordon
Professeur d'Informatique, Sorbonne Université
Bestätigte E-Mail-Adresse bei lip6.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
902010
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
832009
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20