Fabrice Kordon

Citado por

	Total	Desde 2020
Citas	3231	684
Índice h	28	14
Índice i10	94	22

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 8 4 8 31 11 6 16 14 42 68 85 59 97 115 160 138 123 195 232 195 175 160 144 138 182 163 138 117 134 126 6

Acceso público

Ver todo

1 artículo

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Yann Thierry-MiegLaboratoire d'Informatique de Paris 6Dirección de correo verificada de lip6.fr
Lom HillahLaboratoire d'informatique de Paris 6Dirección de correo verificada de lip6.fr
Jerome HuguesCarnegie Mellon University -- Software Engineering InstituteDirección de correo verificada de andrew.cmu.edu
Karsten WolfProfessor für Informatik, Universität RostockDirección de correo verificada de uni-rostock.de
Didier BuchsProfessor of Computer Science, Geneva UniversityDirección de correo verificada de unige.ch
Alexandre Duret-LutzLRE / EPITADirección de correo verificada de lrde.epita.fr
Julien DelangeCarnegie Mellon Software Engineering InstituteDirección de correo verificada de andrew.cmu.edu
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayDirección de correo verificada de lsv.fr
Etienne RenaultSiPearlDirección de correo verificada de sipearl.com
Bechir ZalilaAssociate Professor of Computer Science, ENIS, ReDCAD Laboratory, University of SFAXDirección de correo verificada de enis.tn
Niels LohmannUniversität RostockDirección de correo verificada de uni-rostock.de
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceDirección de correo verificada de univ-paris13.fr
César RodríguezCadence & Associate Professor, University of Paris 13, FranceDirección de correo verificada de lipn.fr
Ekkart KindlerTechnical University of Denmark, DTU ComputeDirección de correo verificada de dtu.dk
Franck PommereauProfessor of Computer Science, Évry University, Paris-Saclay UniversityDirección de correo verificada de univ-evry.fr
frank singhoffSHARP/SHAKER, Lab-STICC/Université de Bretagne Occidentale/UBODirección de correo verificada de univ-brest.fr
Alain PlantecMOCS - Université de Bretagne OccidentaleDirección de correo verificada de univ-brest.fr
Benoît BarbotLACL, Université Paris-Est CréteilDirección de correo verificada de lacl.fr
Ala Eddine BEN SALEMLRDE/LIP6-UPMCDirección de correo verificada de lrde.epita.fr
Christophe Le PageUMR SENS - CIRADDirección de correo verificada de cirad.fr

Seguir

Fabrice Kordon

Professeur d'Informatique, Sorbonne Université

Dirección de correo verificada de lip6.fr - Página principal

Distributed Systems and Applications Verification Model Checking Petri Nets Software Engineering


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	190	2008
An Introduction to Rapid System Prototyping F Kordon, Luqi IEEE Transactions on Software Engineering 70 (3), 817-821, 2002	155	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	90	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	89	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	80	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	71	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	55	2005
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	53	2018
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	52	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	52	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
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	49	2019
Optimized colored nets unfolding F Kordon, A Linard, E Paviot-Adet Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006	48	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	46	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
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores