dblp.uni-trier.dewww.uni-trier.de

François Vernadat Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
44EEBernard 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
2008
43EEDarlam 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
42EEBernard Berthomieu, Florent Peres, François Vernadat: Abstract State Spaces for Time Petri Nets Analysis. ISORC 2008: 298-304
41EEDavid Chen, Guy Doumeingts, François Vernadat: Architectures for enterprise integration and interoperability: Past, present and future. Computers in Industry 59(7): 647-659 (2008)
40EEAbdelhakim Artiba, François Vernadat: Editorial. Int. J. Computer Integrated Manufacturing 21(4): 351-352 (2008)
2007
39EEBernard Berthomieu, Florent Peres, François Vernadat: Model Checking Bounded Prioritized Time Petri Nets. ATVA 2007: 523-532
38 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
37EEBenoî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
36EEBernard 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)
2006
35EEBernard Berthomieu, Florent Peres, François Vernadat: Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS 2006: 82-97
34EEBernard Berthomieu, François Vernadat: Time Petri Nets Analysis with TINA. QEST 2006: 123-124
33EEMounira 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)
32EELatifa 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)
2005
31EEMickael 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)
2004
30 François Vernadat: Enterprise Modelling: Objectives, Constructs and Ontologies. CAiSE Workshops (3) 2004: 99
29 Georges Pongas, François Vernadat: Developing a Corporate Information System Architecture: The Case of Eurostat. ICEIS (1) 2004: 21-29
28EEAnis Abdmouleh, Michel Spadoni, François Vernadat: Distributed client/server architecture for CIMOSA-based enterprise components. Computers in Industry 55(3): 239-253 (2004)
27EEDavid Chen, François Vernadat: Standards on enterprise integration and engineering - state of the art. Int. J. Computer Integrated Manufacturing 17(3): 235-253 (2004)
2003
26EEBernard Berthomieu, François Vernadat: State Class Constructions for Branching Analysis of Time Petri Nets. TACAS 2003: 442-457
25EEBernard 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: (2003)
2002
24EEPierre-Olivier Ribet, François Vernadat, Bernard Berthomieu: On Combining the Persistent Sets Method with the Covering Steps Graph Method. FORTE 2002: 344-359
23 François Vernadat: Enterprise Modelling and Integration. ICEIMT 2002: 25-33
22 David Chen, François Vernadat: Enterprise Interoperability: A Standardisation View. ICEIMT 2002: 273-282
2001
21EEFrançois Vernadat, Pierre Azéma: High Level Transition Systems for Communicating Agents. Concurrent Object-Oriented Programming and Petri Nets 2001: 473-492
2000
20 Kurt Kosanke, François Vernadat, Martin Zelm: Enterprise engineering and integration in the global environment. Advanced Network Enterprises 2000: 61-70
1999
19 P. Gradit, François Vernadat, Pierre Azéma: Layered -net Specification of a Workshop. PDPTA 1999: 2808-2814
18 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)
1997
17EEFrançois Vernadat, François Michel: Covering Step Graph Preserving Failure Semantics. ICATPN 1997: 253-270
1996
16EEFrançois Vernadat, Pierre Azéma, François Michel: Covering Step Graph. Application and Theory of Petri Nets 1996: 516-535
15 François Michel, Pierre Azéma, François Vernadat: Permutable Agents in Process Algebras. TACAS 1996: 187-206
1995
14 Pierre Azéma, François Vernadat, Jean Luc Albacete: A Communication Protocol for Conflict Resolution. ICMAS 1995: 437
13 Michel Diaz, Thierry Villemur, François Vernadat: Formal design of cooperative systems. PSTV 1995: 349-365
1994
12 Gia Toan Nguyen, François Vernadat: Cooperative Information Systems in Integrated Manufacturing Environments. CoopIS 1994: 158-165
11 François Vernadat, Pierre Azéma, Khalil Drira: Distributed Coin Tossing. ICDCS 1994: 244-249
10 François Vernadat: Manufacturing Systems Modelling, Specification and Analysis. Production Management Methods 1994: 75-83
1993
9 François Vernadat: CIMOSA: Enterprise Modelling and Enterprise Integration Using a Process-based Approach. DIISM 1993: 65-84
8 Khalil Drira, Pierre Azéma, François Vernadat: Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. PSTV 1993: 257-272
1992
7 Kurt Kosanke, François Vernadat: CIM-OSA: A Reference Architecture for CIM. PROLAMAT 1992: 41-48
6 T. Hamann, J. M. Proth, A. Soilha, François Vernadat, X. Xie: COALA: A Manufacturing Plant Layout Approach. PROLAMAT 1992: 789-796
1990
5EEJean Christophe Lloret, Pierre Azéma, François Vernadat: Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. CAV 1990: 96-105
4 Pierre Azéma, Khalil Drira, François Vernadat: A Bus Instrumentation Protocol Specified in LOTOS. FORTE 1990: 263-269
1989
3EEPierre Azéma, François Vernadat, Jean Christophe Lloret: Requirement Analysis for Communication Protocols. Automatic Verification Methods for Finite State Systems 1989: 286-293
2 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
1984
1EEFrançois Vernadat: A Selected Bibliography with Keywords on Engineering Databases. IEEE Database Eng. Bull. 7(2): 3-11 (1984)

Coauthor Index

1Anis Abdmouleh [28]
2Jean Luc Albacete [14]
3Didier Anciaux [32]
4Abdelhakim Artiba [40]
5Pierre Azéma [2] [3] [4] [5] [8] [11] [14] [15] [16] [19] [21]
6Darlam Fabio Bender [43]
7Giuseppe Berio [18] [33]
8J. L. Bernartt [25]
9Bernard Berthomieu [24] [25] [26] [34] [35] [36] [39] [42] [43] [44]
10Jean-Paul Bodeveix [25] [44]
11Christelle Chaudet [44]
12David Chen [22] [27] [41]
13Benoît Combemale [37] [38] [43]
14Xavier Crégut [37] [38] [43]
15Silvano Dal-Zilio [44]
16Michel Diaz [13]
17Pierre Dissaux [25]
18Guy Doumeingts [41]
19Khalil Drira [4] [8] [11]
20Patrick Farail [25]
21Jean-Marie Farines [25] [43]
22Mamoun Filali [25] [44]
23Christian Frank [31]
24Mickael Gardoni [31]
25Pierre-Loïc Garoche [37] [38]
26Pierre Gauffilet [25]
27Piercarlo Giolito [18]
28P. Gradit [19]
29T. Hamann [6]
30Mounira Harzallah [33]
31Kurt Kosanke [7] [20]
32Jean-Luc Lambert [25]
33Antonio Di Leva [18]
34Didier Lime [36]
35Jean Christophe Lloret [2] [3] [5]
36François Michel [15] [16] [17]
37Pierre Michel [25]
38Gia Toan Nguyen [12]
39Latifa Ouzizi [32]
40Gérard Padiou [25]
41Florent Peres [35] [39] [42]
42Georges Pongas [29]
43Marie-Claude Portmann [32]
44J. M. Proth [6]
45Pierre-Olivier Ribet [24] [25]
46Olivier H. Roux (Olivier Roux) [36]
47A. Soilha [6]
48Michel Spadoni [28]
49Xavier Thirioux [37] [38]
50Thierry Villemur [13]
51X. Xie [6]
52Martin Zelm [20]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)