Fabrice Kordon
Fabrice Kordon
Professeur d'Informatique, Sorbonne Université
Verified email at lip6.fr - Homepage
TitleCited byYear
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), 42, 2008
1562008
An Introduction to Rapid System Prototyping
F Kordon, Luqi
IEEE Transactions on Software Engineering 70 (3), 817-821, 2002
1132002
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
842009
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
842004
Validate, simulate, and implement ARINC653 systems using the AADL
J Delange, L Pautet, A Plantec, M Kerboeuf, F Singhoff, F Kordon
ACM SIGAda Ada Letters 29 (3), 31-44, 2009
772009
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
602009
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
512007
PNML Framework: an extendable reference implementation of the Petri Net Markup Language
LM Hillah, F Kordon, L Petrucci, N Treves
International Conference on Applications and Theory of Petri Nets, 318-327, 2010
492010
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
482005
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
462006
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
442000
Hierarchical set decision diagrams and automatic saturation
A Hamez, Y Thierry-Mieg, F Kordon
International Conference on Applications and Theory of Petri Nets, 211-230, 2008
392008
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
342012
From AADL architectural models to Petri Nets: Checking model viability
X Renault, F Kordon, J Hugues
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
342009
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
332009
Using the AADL to describe distributed applications from middleware to software components
T Vergnaud, L Pautet, F Kordon
International Conference on Reliable Software Technologies, 67-78, 2005
302005
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
292009
Optimized colored nets unfolding
F Kordon, A Linard, E Paviot-Adet
International Conference on Formal Techniques for Networked and Distributed …, 2006
292006
An integrated framework for rapid system prototyping and automatic code distribution
W El Kaim, F Kordon
Proceedings of IEEE 5th International Workshop on Rapid System Prototyping …, 1994
291994
Toward nex-generation middleware?
F Kordon, L Pautet
IEEE Distributed Systems Online 6 (3), 2005
262005
The system can't perform the operation now. Try again later.
Articles 1–20