François Vernadat

Michaël Petit, Christophe Feltus, François Vernadat: Enterprise Architecture Enhanced with Responsibility to Manage Access Rights - Case Study in an EU Institution. PoEM 2012: 132-147

Florent Peres, Bernard Berthomieu, François Vernadat: On the composition of time Petri nets. Discrete Event Dynamic Systems 21(3): 395-424 (2011)

Florent Peres, Pierre-Emmanuel Hladik, François Vernadat: Specification and verification of real-time systems using POLA. IJCCBS 2(3/4): 332-351 (2011)

Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, François Vernadat, Xavier Crégut: A model-driven engineering approach to formal verification of PLC programs. ETFA 2011: 1-8

T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat: Supporting the Design of Safety Critical Systems Using AADL. ICECCS 2010: 331-336

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat: Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe 2009: 207-221

David Chen, Guy Doumeingts, François Vernadat: Architectures for enterprise integration and interoperability: Past, present and future. Computers in Industry 59(7): 647-659 (2008)

Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat: Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News 2008(75) (2008)

Abdelhakim Artiba, François Vernadat: Editorial. Int. J. Computer Integrated Manufacturing 21(4): 351-352 (2008)

Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat: Ladder Metamodeling and PLC Program Validation through Time Petri Nets. ECMDA-FA 2008: 121-136

Bernard Berthomieu, Florent Peres, François Vernadat: Abstract State Spaces for Time Petri Nets Analysis. ISORC 2008: 298-304

Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat: Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discrete Event Dynamic Systems 17(2): 133-158 (2007)

Bernard Berthomieu, Florent Peres, François Vernadat: Model Checking Bounded Prioritized Time Petri Nets. ATVA 2007: 523-532

Marcos Vinicius Linhares, Rômulo Silva de Oliveira, Jean-Marie Farines, François Vernadat: Introducing the modeling and verification process in SysML. ETFA 2007: 344-351

Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat: Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. ICEIS (3) 2007: 80-89

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat: A Property-Driven Approach to Formal Verification of Process Models. ICEIS (Selected Papers) 2007: 286-300

Latifa Ouzizi, Didier Anciaux, Marie-Claude Portmann, François Vernadat: A model for cooperative planning within a virtual enterprise. Int. J. Computer Integrated Manufacturing 19(3): 197-209 (2006)

Mounira Harzallah, Giuseppe Berio, François Vernadat: Analysis and Modeling of Individual Competencies: Toward Better Management of Human Resources. IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(1): 187-207 (2006)

Bernard Berthomieu, Florent Peres, François Vernadat: Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS 2006: 82-97

Bernard Berthomieu, François Vernadat: Time Petri Nets Analysis with TINA. QEST 2006: 123-124

Mickael Gardoni, Christian Frank, François Vernadat: Knowledge capitalisation based on textual and graphical semi-structured and non-structured information: case study in an industrial research centre at EADS. Computers in Industry 56(1): 55-69 (2005)

Anis Abdmouleh, Michel Spadoni, François Vernadat: Distributed client/server architecture for CIMOSA-based enterprise components. Computers in Industry 55(3): 239-253 (2004)

David Chen, François Vernadat: Standards on enterprise integration and engineering - state of the art. Int. J. Computer Integrated Manufacturing 17(3): 235-253 (2004)

François Vernadat: Enterprise Modelling: Objectives, Constructs and Ontologies. CAiSE Workshops (3) 2004: 99

Georges Pongas, François Vernadat: Developing a Corporate Information System Architecture: The Case of Eurostat. ICEIS (1) 2004: 21-29

Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: 203-218 (2003)

Bernard Berthomieu, François Vernadat: State Class Constructions for Branching Analysis of Time Petri Nets. TACAS 2003: 442-457

Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu: On Combining the Persistent Sets Method with the Covering Steps Graph Method. FORTE 2002: 344-359

François Vernadat: Enterprise Modelling and Integration. ICEIMT 2002: 25-33

David Chen, François Vernadat: Enterprise Interoperability: A Standardisation View. ICEIMT 2002: 273-282

François Vernadat, Pierre Azéma: High Level Transition Systems for Communicating Agents. Concurrent Object-Oriented Programming and Petri Nets 2001: 473-492

Kurt Kosanke, François Vernadat, Martin Zelm: Enterprise engineering and integration in the global environment. Advanced Network Enterprises 2000: 61-70

Giuseppe Berio, Antonio Di Leva, Piercarlo Giolito, François Vernadat: Process and data nets: the conceptual model of the M*-OBJECT methodology. IEEE Transactions on Systems, Man, and Cybernetics, Part B 29(1): 104-114 (1999)

P. Gradit, François Vernadat, Pierre Azéma: Layered -net Specification of a Workshop. PDPTA 1999: 2808-2814

François Vernadat, François Michel: Covering Step Graph Preserving Failure Semantics. ICATPN 1997: 253-270

François Vernadat, Pierre Azéma, François Michel: Covering Step Graph. Application and Theory of Petri Nets 1996: 516-535

François Michel, Pierre Azéma, François Vernadat: Permutable Agents in Process Algebras. TACAS 1996: 187-206

Giuseppe Berio, Antonio Di Leva, Piercarlo Giolito, François Vernadat: The M*-OBJECT methodology for information system design in CIM environments. IEEE Transactions on Systems, Man, and Cybernetics 25(1): 68-85 (1995)

Pierre Azéma, François Vernadat, Jean Luc Albacete: A Communication Protocol for Conflict Resolution. ICMAS 1995: 437

Michel Diaz, Thierry Villemur, François Vernadat: Formal design of cooperative systems. PSTV 1995: 349-365

Gia Toan Nguyen, François Vernadat: Cooperative Information Systems in Integrated Manufacturing Environments. CoopIS 1994: 158-165

François Vernadat, Pierre Azéma, Khalil Drira: Distributed Coin Tossing. ICDCS 1994: 244-249

François Vernadat: Manufacturing Systems Modelling, Specification and Analysis. Production Management Methods 1994: 75-83

François Vernadat: CIMOSA: Enterprise Modelling and Enterprise Integration Using a Process-based Approach. DIISM 1993: 65-84

Khalil Drira, Pierre Azéma, François Vernadat: Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. PSTV 1993: 257-272

Kurt Kosanke, François Vernadat: CIM-OSA: A Reference Architecture for CIM. PROLAMAT 1992: 41-48

Thomas Hamann, Jean-Marie Proth, A. Soilha, François Vernadat, X. Xie: COALA: A Manufacturing Plant Layout Approach. PROLAMAT 1992: 789-796

Jean Christophe Lloret, Pierre Azéma, François Vernadat: Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. CAV 1990: 96-105

Pierre Azéma, Khalil Drira, François Vernadat: A Bus Instrumentation Protocol Specified in LOTOS. FORTE 1990: 263-269

Pierre Azéma, François Vernadat, Jean Christophe Lloret: Requirement Analysis for Communication Protocols. Automatic Verification Methods for Finite State Systems 1989: 286-293

Pierre Azéma, François Vernadat, Jean Christophe Lloret: Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. SPLT 1989: 187-212

François Vernadat: A Selected Bibliography with Keywords on Engineering Databases. IEEE Database Eng. Bull. 7(2): 3-11 (1984)