The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

François Vernadat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. François Vernadat, Pierre Azéma, François Michel
    Covering Step Graph. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:516-535 [Conf]
  2. François Vernadat, François Michel
    Covering Step Graph Preserving Failure Semantics. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:253-270 [Conf]
  3. Pierre Azéma, François Vernadat, Jean Christophe Lloret
    Requirement Analysis for Communication Protocols. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:286-293 [Conf]
  4. François Vernadat
    Enterprise Modelling: Objectives, Constructs and Ontologies. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops (3), 2004, pp:99- [Conf]
  5. Jean Christophe Lloret, Pierre Azéma, François Vernadat
    Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:96-105 [Conf]
  6. Gia Toan Nguyen, François Vernadat
    Cooperative Information Systems in Integrated Manufacturing Environments. [Citation Graph (0, 0)][DBLP]
    CoopIS, 1994, pp:158-165 [Conf]
  7. François Vernadat, Pierre Azéma
    High Level Transition Systems for Communicating Agents. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:473-492 [Conf]
  8. Bernard Berthomieu, Florent Peres, François Vernadat
    Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:82-97 [Conf]
  9. Pierre Azéma, Khalil Drira, François Vernadat
    A Bus Instrumentation Protocol Specified in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:263-269 [Conf]
  10. Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu
    On Combining the Persistent Sets Method with the Covering Steps Graph Method. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:344-359 [Conf]
  11. François Vernadat, Pierre Azéma, Khalil Drira
    Distributed Coin Tossing. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1994, pp:244-249 [Conf]
  12. Georges Pongas, François Vernadat
    Developing a Corporate Information System Architecture: The Case of Eurostat. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2004, pp:21-29 [Conf]
  13. Pierre Azéma, François Vernadat, Jean Luc Albacete
    A Communication Protocol for Conflict Resolution. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1995, pp:437- [Conf]
  14. David Chen, François Vernadat
    Enterprise Interoperability: A Standardisation View. [Citation Graph (0, 0)][DBLP]
    ICEIMT, 2002, pp:273-282 [Conf]
  15. François Vernadat
    Enterprise Modelling and Integration. [Citation Graph (0, 0)][DBLP]
    ICEIMT, 2002, pp:25-33 [Conf]
  16. Kurt Kosanke, François Vernadat, Martin Zelm
    Enterprise engineering and integration in the global environment. [Citation Graph (0, 0)][DBLP]
    Advanced Network Enterprises, 2000, pp:61-70 [Conf]
  17. François Vernadat
    CIMOSA: Enterprise Modelling and Enterprise Integration Using a Process-based Approach. [Citation Graph (0, 0)][DBLP]
    DIISM, 1993, pp:65-84 [Conf]
  18. François Vernadat
    Manufacturing Systems Modelling, Specification and Analysis. [Citation Graph (0, 0)][DBLP]
    Production Management Methods, 1994, pp:75-83 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:187-212 [Conf]
  20. P. Gradit, François Vernadat, Pierre Azéma
    Layered -net Specification of a Workshop. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:2808-2814 [Conf]
  21. T. Hamann, J. M. Proth, A. Soilha, François Vernadat, X. Xie
    COALA: A Manufacturing Plant Layout Approach. [Citation Graph (0, 0)][DBLP]
    PROLAMAT, 1992, pp:789-796 [Conf]
  22. Kurt Kosanke, François Vernadat
    CIM-OSA: A Reference Architecture for CIM. [Citation Graph (0, 0)][DBLP]
    PROLAMAT, 1992, pp:41-48 [Conf]
  23. Michel Diaz, Thierry Villemur, François Vernadat
    Formal design of cooperative systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:349-365 [Conf]
  24. Khalil Drira, Pierre Azéma, François Vernadat
    Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:257-272 [Conf]
  25. Bernard Berthomieu, François Vernadat
    Time Petri Nets Analysis with TINA. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:123-124 [Conf]
  26. Bernard Berthomieu, François Vernadat
    State Class Constructions for Branching Analysis of Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:442-457 [Conf]
  27. François Michel, Pierre Azéma, François Vernadat
    Permutable Agents in Process Algebras. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:187-206 [Conf]
  28. François Vernadat
    A Selected Bibliography with Keywords on Engineering Databases. [Citation Graph (0, 0)][DBLP]
    IEEE Database Eng. Bull., 1984, v:7, n:2, pp:3-11 [Journal]
  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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  30. Giuseppe Berio, Antonio Di Leva, Piercarlo Giolito, François Vernadat
    Process and data nets: the conceptual model of the M*-OBJECT methodology. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 1999, v:29, n:1, pp:104-114 [Journal]
  31. Mounira Harzallah, Giuseppe Berio, François Vernadat
    Analysis and Modeling of Individual Competencies: Toward Better Management of Human Resources. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2006, v:36, n:1, pp:187-207 [Journal]
  32. Bernard Berthomieu, Florent Peres, François Vernadat
    Model Checking Bounded Prioritized Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:523-532 [Conf]
  33. Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat
    Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. [Citation Graph (0, 0)][DBLP]
    Discrete Event Dynamic Systems, 2007, v:17, n:2, pp:133-158 [Journal]

  34. Formal Verification of AADL Specifications in the Topcased Environment. [Citation Graph (, )][DBLP]


  35. Ladder Metamodeling and PLC Program Validation through Time Petri Nets. [Citation Graph (, )][DBLP]


  36. Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. [Citation Graph (, )][DBLP]


  37. A Property-Driven Approach to Formal Verification of Process Models. [Citation Graph (, )][DBLP]


  38. Abstract State Spaces for Time Petri Nets Analysis. [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.022secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002