Fabrice Kordon

Citat de

	Toate	Din 2020
Referințe bibliografice	3244	686
h-index	28	14
i10-index	96	21

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 8 4 8 31 10 8 16 14 41 67 84 60 98 115 161 135 127 196 228 197 182 159 148 140 181 161 133 122 138 121 11

Acces public

Afișați-le pe toate

1 articol

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Yann Thierry-MiegLaboratoire d'Informatique de Paris 6Adresă de e-mail confirmată pe lip6.fr
Lom HillahLaboratoire d'informatique de Paris 6Adresă de e-mail confirmată pe lip6.fr
Jerome HuguesCarnegie Mellon University -- Software Engineering InstituteAdresă de e-mail confirmată pe andrew.cmu.edu
Karsten WolfProfessor für Informatik, Universität RostockAdresă de e-mail confirmată pe uni-rostock.de
Didier BuchsProfessor of Computer Science, Geneva UniversityAdresă de e-mail confirmată pe unige.ch
Alexandre Duret-LutzLRE / EPITAAdresă de e-mail confirmată pe lrde.epita.fr
Julien DelangeCarnegie Mellon Software Engineering InstituteAdresă de e-mail confirmată pe andrew.cmu.edu
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayAdresă de e-mail confirmată pe lsv.fr
Bechir ZalilaAssociate Professor of Computer Science, ENIS, ReDCAD Laboratory, University of SFAXAdresă de e-mail confirmată pe enis.tn
Niels LohmannUniversität RostockAdresă de e-mail confirmată pe uni-rostock.de
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceAdresă de e-mail confirmată pe univ-paris13.fr
César RodríguezCadence & Associate Professor, University of Paris 13, FranceAdresă de e-mail confirmată pe lipn.fr
Ekkart KindlerTechnical University of Denmark, DTU ComputeAdresă de e-mail confirmată pe dtu.dk
Franck PommereauProfessor of Computer Science, Évry University, Paris-Saclay UniversityAdresă de e-mail confirmată pe univ-evry.fr
frank singhoffSHARP/SHAKER, Lab-STICC/Université de Bretagne Occidentale/UBOAdresă de e-mail confirmată pe univ-brest.fr
Alain PlantecMOCS - Université de Bretagne OccidentaleAdresă de e-mail confirmată pe univ-brest.fr
Ala Eddine BEN SALEMLRDE/LIP6-UPMCAdresă de e-mail confirmată pe lrde.epita.fr
Benoît BarbotLACL, Université Paris-Est CréteilAdresă de e-mail confirmată pe lacl.fr
Christophe Le PageUMR SENS - CIRADAdresă de e-mail confirmată pe cirad.fr
francois bousquetCIRAD, UMR SENSAdresă de e-mail confirmată pe cirad.fr

Urmăriți

Fabrice Kordon

Professeur d'Informatique, Sorbonne Université

Adresă de e-mail confirmată pe lip6.fr - Pagina de pornire

Distributed Systems and Applications Verification Model Checking Petri Nets Software Engineering


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	186	2008
An Introduction to Rapid System Prototyping F Kordon, Luqi IEEE Transactions on Software Engineering 70 (3), 817-821, 2002	153	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	96	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	89	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	88	2009
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	82	2009
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	72	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	56	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	56	2005
Complete Results for the 2015 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...	55	2015
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	53	2019
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	51	2018
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	51	2012
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	50	2019
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	50	2006
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	49	2008
Optimized colored nets unfolding F Kordon, A Linard, E Paviot-Adet Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006	48	2006
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	45	2000
PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Trèves International Conference on Formal Techniques for Networked and Distributed …, 2006	42	2006

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori