World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
38
Citations
7153
World Ranking
10136
National Ranking
242

Overview

François Vernadat is affiliated with the Laboratory for Analysis and Architecture of Systems in France. Their research spans the intersection of engineering, business, management, and computer science, with a particular focus on industrial and manufacturing engineering, management information systems, management of technology and innovation, information systems, and artificial intelligence.

The scientist's body of work covers several interconnected topics, including:

  • Business Process Modeling and Analysis
  • Digital Transformation in Industry
  • Collaboration in agile enterprises
  • Flexible and Reconfigurable Manufacturing Systems
  • Service-Oriented Architecture and Web Services
  • Semantic Web and Ontologies
  • Information Technology Governance and Strategy

François Vernadat has contributed to published research pertaining primarily to two papers in the journal Computers in Industry:

  • Enterprise modelling: Research review and outlook, 2020, Computers in Industry
  • A method for supporting the transformation of an existing production system with its integrated Enterprise Information Systems (EISs) into a Cyber Physical Production System (CPPS), 2021, Computers in Industry

In addition to journal articles, François Vernadat has authored books, including a forthcoming work titled Interoperability Principles and Standards: Applications to Collaborative and Automated Systems, scheduled for publication by Springer Nature in 2025.

The scientist frequently collaborates with other researchers, with some co-authors appearing in multiple works. Notable frequent collaborators include:

  • Arturo Molina
  • Hervé Panetto
  • Georg Weichhart
  • Xuan Wu
  • Virginie Goepp

François Vernadat's frequent publication venue is Computers in Industry, where they have published at least two articles.

Best Publications

  • Architectures for enterprise integration and interoperability: Past, present and future

    Unknown

  • The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

    Unknown

  • Enterprise information systems state of the art: Past, present and future trends

    Unknown

  • Open system architecture for CIM: edited by ESPRIT Consortium AMICE. Published by Springer-Verlag, Berlin, Germany. 1989. 212pp. £14.00

    Unknown

  • Enterprise Modelling and Integration

    Unknown

  • UEML: Towards a unified enterprise modelling language

    Unknown

  • Time Petri Nets Analysis with TINA

    B. Berthomieu;F. Vernadat

  • State class constructions for branching analysis of time Petri nets

    Bernard Berthomieu;François Vernadat

  • Technical, semantic and organizational issues of enterprise interoperability and networking

    Unknown

  • CIM-OSA Part 1: total enterprise modelling and function view

    Unknown

  • Fiacre: an Intermediate Language for Model Verification in the Topcased Environment

    Bernard Berthomieu;Jean-Paul Bodeveix;Patrick Farail;M Filali

  • MIP approach to balancing transfer lines with blocks of parallel operations

    Alexandre Dolgui;Brigitte Finel;Nikolai N. Guschinsky;Genrikh M. Levin

  • A heuristic approach for transfer lines balancing

    Alexandre Dolgui;Brigitte Finel;François B. Vernadat;Nikolai Guschinsky

  • Bridging the gap between timed automata and bounded time petri nets

    Bernard Berthomieu;Florent Peres;François Vernadat

  • Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

    Bernard Berthomieu;Didier Lime;Olivier H. Roux;François Vernadat

  • CIM-OSA Part 2: information view

    Unknown

  • Formal Verification of AADL Specifications in the Topcased Environment

    Bernard Berthomieu;Jean-Paul Bodeveix;Christelle Chaudet;Silvano Zilio

  • The CIMOSA business modelling process

    Unknown

  • New developments in enterprise modelling using CIMOSA

    Unknown

  • Enterprise modelling with CIMOSA: Functional and organizational aspects

    Unknown

  • Ladder Metamodeling and PLC Program Validation through Time Petri Nets

    Darlam Fabio Bender;Benoît Combemale;Xavier Crégut;Jean Marie Farines

  • Model checking bounded prioritized time Petri nets

    Bernard Berthomieu;Florent Peres;François Vernadat

  • Architecture Description Languages

    Pierre Dissaux;Mamoun Filali-Amine;Pierre Michel;François Vernadat

  • Introducing the modeling and verification process in SysML

    M.V. Linhares;R.S. de Oliveira;J.-M. Farines;F. Vernadat

  • Covering Step Graph

    François Vernadat;Pierre Azéma;François Michel

  • Balancing large-scale machining lines with multi-spindle heads using decomposition

    Alexandre Dolgui;Brigitte Finel;Olga Guschinskaya;Nikolay Guschinsky

  • Formal Verification of AADL models with Fiacre and Tina

    Bernard Berthomieu;Jean-Paul Bodeveix;Silvano Dal Zilio;Pierre Dissaux

  • Information systems and knowledge management in industrial engineering: recent advances and new perspectives

    François B. Vernadat;Felix T. S. Chan;Arturo Molina;Shimon Y. Nof

  • Enterprise Integration and Networking: Issues, Trends and Vision

    Arturo Molina;David Chen;Hervé Panetto;François B. Vernadat

  • A model-driven engineering approach to formal verification of PLC programs

    Jean-Marie Farines;Max H. de Queiroz;Vinicius G. da Rocha;Ana Maria M. Carpes

  • State Space Abstractions for Time Petri Nets.

    François Vernadat;Bernard Berthomieu

  • Covering Step Graph Preserving Failure Semantics

    François Vernadat;François Michel

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education in Computer Science opens a diverse range of study and career opportunities. Students seeking quick entry into the field can consider associates degrees, which provide essential tech skills and foundational knowledge. These programs are often flexible and allow for a seamless transition to bachelor’s degrees or entry-level IT roles.

For those interested in advancing to the highest professional levels, edd programs (Doctor of Education) with a technology or education leadership focus can pave the way to academic, administrative, or consulting positions. Many leading institutions now offer such programs online to support adult learners and working professionals.

Choosing the right school is crucial. Enrolling at the most respected online university ensures you earn a reputable credential recognized by employers in the technology sector.

Creative students with a passion for digital entertainment might opt for video game design programs. These degrees teach programming, artistry, and project management, preparing graduates for dynamic roles in the gaming industry.

Best Scientists Citing François Vernadat

Trending Scientists

Recently Published Articles