François Vernadat | Academic Influence

François Vernadat's AcademicInfluence.com Rankings

François Vernadat

Computer Science

#1100

World Rank

#1140

Historical Rank

Software Engineering

#107

World Rank

#107

Historical Rank

Artificial Intelligence

#659

World Rank

#670

Historical Rank

Computational Linguistics

#771

World Rank

#784

Historical Rank

computer-science Degrees

Download Badge

Computer Science

François Vernadat's Degrees

PhD Computer Science Université Paris Cité
Masters Computer Science Université Paris Cité
Bachelors Computer Science Université Paris Cité

Similar Degrees You Can Earn

Why Is François Vernadat Influential?

(Suggest an Edit or Addition)

According to Wikipedia, François B. Vernadat is a French and Canadian computer scientist, who has contributed to Enterprise Modelling, Enterprise Integration and Networking over the last 40 years specialising in Enterprise Architectures, business process modelling, information systems design and analysis, systems integration and interoperability and systems analysis using Petri nets.

(See a Problem?)

François Vernadat's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Decisions with Multiple Objectives: Preferences and Value Tradeoffs (1994) (3439)
Architectures for enterprise integration and interoperability: Past, present and future (2008) (715)
Enterprise modeling and integration : principles and applications (1996) (618)
The tool TINA – Construction of abstract state spaces for petri nets and time petri nets (2004) (441)
Open system architecture for CIM: edited by ESPRIT Consortium AMICE. Published by Springer-Verlag, Berlin, Germany. 1989. 212pp. £14.00 (1992) (279)
CIMOSA: enterprise engineering and integration (1999) (245)
Enterprise Modelling and Integration (2002) (228)
UEML: Towards a unified enterprise modelling language (2002) (226)
Interoperable enterprise systems: Principles, concepts, and methods (2007) (208)
Enterprise information systems state of the art: Past, present and future trends (2016) (177)
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment (2008) (168)
State Class Constructions for Branching Analysis of Time Petri Nets (2003) (145)
Time Petri Nets Analysis with TINA (2006) (140)
Standards on enterprise integration and engineering—state of the art (2004) (140)
Technical, semantic and organizational issues of enterprise interoperability and networking (2010) (134)
CIM-OSA Part 1: total enterprise modelling and function view (1990) (133)
Challenges and current developments for Sensing, Smart and Sustainable Enterprise Systems (2016) (123)
IT-based competency modeling and management: from theory to practice in enterprise engineering and operations (2002) (109)
MIP approach to balancing transfer lines with blocks of parallel operations (2006) (101)
Cost estimation in mechanical production: The Cost Entity approach applied to integrated product engineering (2006) (99)
CIM-OSA Part 2: information view (1990) (94)
The CIMOSA business modelling process (1995) (91)
A heuristic approach for transfer lines balancing (2005) (85)
New developments in enterprise modelling using CIMOSA (1999) (83)
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches (2007) (77)
Enterprise modelling with CIMOSA: Functional and organizational aspects (2001) (75)
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets (2006) (71)
Information aggregation in industrial performance measurement: rationales, issues and definitions (2004) (67)
Analysis and modeling of individual competencies: toward better management of human resources (2006) (66)
Research agenda for agile manufacturing (1999) (65)
Enterprise Modelling Languages (1997) (62)
Formal Verification of AADL Specifications in the Topcased Environment (2009) (60)
Covering Step Graph (1996) (48)
Model Checking Bounded Prioritized Time Petri Nets (2007) (47)
Enterprise Integration and Networking: challenges and trends (2007) (47)
Enterprise Interoperability: A Standardisation View (2002) (46)
Introducing the modeling and verification process in SysML (2007) (44)
VR-PMS: a new approach for performance measurement and management of industrial systems (2013) (43)
CIMOSA: Enterprise Modelling and Enterprise Integration Using a Process-based Approach (1993) (42)
Formal Veriﬁcation of AADL models with Fiacre and Tina (2010) (40)
INTEROPERABLE ENTERPRISE SYSTEMS: ARCHITECTURES AND METHODS (2006) (38)
Ladder Metamodeling and PLC Program Validation through Time Petri Nets (2008) (36)
Harnessing Non-Structured Information and Knowledge and Know-How Capitalisation in Integrated Engineering: Case Study at Aerospatiale Matra (2000) (32)
The CIMOSA Languages (2006) (31)
CIMOSA-A European Development for Enterprise Integration Part 2 Enterprise Modelling (1992) (30)
Distributed client/server architecture for CIMOSA-based enterprise components (2004) (29)
The Syntax and Semantics of FIACRE (2009) (29)
Efficient regular grammatical inference for pattern recognition (1984) (28)
Enterprise Integration and Interoperability (2009) (27)
Enterprise modelling for interoperable and knowledge-based enterprises (2018) (26)
Interoperable enterprise systems (2006) (26)
Enterprise Integration: On Business Process and Enterprise Activity Modelling (1996) (25)
From UML or DFD models to CIMOSA partial models and enterprise components (2006) (24)
Enterprise Integration and Networking: Issues, Trends and Vision (2004) (24)
Towards the verification of real-time systems in avionics: the Cotre approach (2003) (24)
Integrated Manufacturing Systems Engineering (1995) (24)
Decision-making in the manufacturing environment using a value-risk graph (2016) (24)
The M*-OBJECT methodology for information system design in CIM environments (1995) (23)
On Combining the Persistent Sets Method with the Covering Steps Graph Method (2002) (23)
Enterprise modelling: Research review and outlook (2020) (21)
Information systems and knowledge management in industrial engineering: recent advances and new perspectives (2018) (21)
Covering Step Graph Preserving Failure Semantics (1997) (20)
A model-driven engineering approach to formal verification of PLC programs (2011) (19)
Means to enable enterprise interoperation: CIMOSA Object Capability Profiles and CIMOSA Collaboration View (2015) (19)
A model for cooperative planning within a virtual enterprise (2003) (19)
Enterprise Modeling in the context of Enterprise Engineering: State of the art and outlook (2014) (19)
A Property-Driven Approach to Formal Verification of Process Models (2007) (19)
Formal Semantics of Enterprise Models (1997) (19)
Human resources competency management in enterprise engineering (1999) (19)
State Space Abstractions for Time Petri Nets (2007) (19)
CIM business process and enterprise activity modelling (1996) (19)
SYROCO: A novel multi-agent shop-floor control system (2001) (19)
A random search and backtracking procedure for transfer line balancing (2005) (17)
Assessing Enterprise Integration for Competitive Advantage - Workshop 2, Working Group 1 (1997) (17)
Process-oriented risk assessment methodology for manufacturing process evaluation (2017) (17)
Information system analysis and conceptual database design in production environments with M (1987) (17)
Knowledge capitalisation based on textual and graphical semi-structured and non-structured information: case study in an industrial research centre at EADS (2005) (15)
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework (1993) (15)
Standardisation on Enterprise Modelling and Integration: Achievements, On-Going Works and Future Perspectives (2001) (15)
On the composition of time Petri nets (2011) (15)
Future perspectives on next generation enterprise information systems (2016) (14)
Organization and information system design of manufacturing environments: the new M* approach (1989) (14)
Supporting the Design of Safety Critical Systems Using AADL (2010) (14)
Future R&D directions for CIM deployment (1994) (14)
(Value, Risk)-based Performance Evaluation of Manufacturing Processes (2012) (14)
CIM-OSA: A Reference Architecture for CIM (1992) (13)
Maturity assessment in risk management in manufacturing engineering (2009) (13)
Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study (2007) (13)
Enterprise Modelling: Objectives, Constructs and Ontologies (2004) (12)
Symmetry reduction for time Petri net state classes (2016) (11)
EOS: enterprise operating systems (2018) (11)
The Intra-Cell Layout Problem in Automated Manufacturing Systems (1993) (11)
A Bus Instrumentation Protocol Specified in LOTOS (1990) (11)
M∗-object: An object-oriented database design methodology for CIM information systems (1993) (11)
Information System agility to support collaborative organisations (2017) (11)
Service enterprise integration : an enterprise engineering perspective (2007) (10)
Cooperative Information Systems in Integrated Manufacturing Environments (1994) (9)
An Enterprise Operating System for the Sensing, Smart, and Sustainable Enterprise (2017) (9)
Requirement Analysis for Communication Protocols (1990) (8)
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE (2008) (8)
A constraint approach (flexible CSP) for alternative cost estimation of a mechanical product (2009) (8)
New Simulation Requirements for Model-Based Enterprise Engineering (2000) (8)
Handling Fuzzy Information in MILORD II (1998) (8)
Information control in manufacturing 1998 : (INCOM '98) : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998 (1999) (7)
CIMOSA process model for enterprise modelling (1997) (7)
The CIMOSA Enterprise Modelling Ontology (1997) (7)
A Process-Oriented Risk Assessment Methodology for Manufacturing Processes (2013) (7)
Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets (1990) (7)
Enterprise analysis and database design with M*: a case study (1988) (6)
A Selected Bibliography with Keywords on Engineering Databases (1984) (5)
The ACNOS Approach for Performance Evaluation of Enterprise Processes and Activities (1998) (5)
Abstract State Spaces for Time Petri Nets Analysis (2008) (5)
Reengineering the Organization with a Service Orientation (2007) (5)
Specification and verification of real-time systems using POLA (2011) (5)
The M*-OBJECT Organisation Model for Enterprise Modelling of Integrated Engineering Environments (1997) (5)
Modelling and Analysis of Enterprise Information Systems with CIM-OSA (1990) (5)
Databases for CIMS and IMS (1994) (5)
Layered -net Specification of a Workshop (1999) (5)
Manufacturing Systems Modelling, Specification and Analysis (1994) (5)
Verification Based Development Process for Embedded Systems (2010) (4)
A formal model for assessing individual competence in enterprises (2002) (4)
Contributions of CIMOSA to GERAM (1996) (4)
Business process modelling: comparing IDEF3 and CIMOSA (1997) (4)
The dimensions of Integrated Manufacturing Systems Engineering (1995) (4)
Enterprise Architecture Enhanced with Responsibility to Manage Access Rights - Case Study in an EU Institution (2012) (4)
Advanced Modelling Approach to CIM Systems (1993) (4)
An Integrated Description Technique for Distributed Cooperative Applications (1996) (4)
Enterprise engineering and integration in the global environment (2000) (4)
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications (2014) (4)
Development Process for Critical Embedded Systems (2010) (4)
Symmetry reduced state classes for time petri nets (2015) (4)
Ladder Metamodeling & PLC Program Validation through Time Petri Nets (2011) (4)
Time Petri Nets – Analysis Methods and Verification with TINA (2010) (4)
Process and data nets: the conceptual model of the M*-OBJECT methodology (1999) (3)
Performance Visualization in Industrial Systems for Informed Decision Making (2018) (3)
Modelling CIM enterprises with CIM-OSA (1990) (3)
Permutable Agents in Process Algebras (1996) (3)
ENTERPRISE MODEL FOR INTEGRATING PROCESS CONTROL INTO CAM SYSTEMS (2006) (3)
Real-Time Model Checking Support for AADL (2015) (3)
Specification and verification of real-time systems using the POLA tool (2009) (3)
Validated design of dynamic membership services and protocols for cooperative groups (1995) (3)
The COTRE Project: How to model and verify Real Time Architecture? (2002) (3)
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) (3)
Petri nets for manufacturing information systems (1993) (3)
AADL Behavioural Annex (2006) (3)
Conceptualization of a Value Cocreation Language for Knowledge-Intensive Business Services (2017) (3)
Multi-criteria performance management methodology for decision support in industrial project selection problems (2016) (3)
Comprehensive Performance Expression Model for Industrial Performance Management and Decision Support (2018) (3)
Reactive Shop-Floor Control with a Multi-Agent System (1997) (2)
Changes in Organisation and Process Structures - Workshop 1, Working Group 3 (1997) (2)
Proposition of a Repository for Enterprise Modeling: (EMC) Enterprise Modeling Components (2004) (2)
A data structure for a generic design model (1996) (2)
Organisation Issues and the ACNOS Approach (1997) (2)
Some Optimization Approaches for Transfer Lines with Blocks of Parallel Operations (2003) (2)
Analysis Methods for Petri Nets (2010) (2)
An Artificial Intelligence Approach to Manufacturing Workshop Control Using a Situational Control Paradigm (1989) (2)
Value-Risk Graph: A decision-making tool for supply chain and industrial system engineering (2013) (2)
Formal foundations for a process/resource approach in manufacturing systems behaviour modelling (1999) (2)
DESIGN OF MANUFACTURING SYSTEMS: A BOTTOM-UP APPROACH BASED ON PETRI NETS (1992) (2)
From enterprise analysis to conceptual database design in production systems (1989) (2)
Standards and Prenorms in Design, Manufacturing, and Automation (2007) (2)
ACNOS: A functional and socio-cognitive modelling approach to analyse industrial systems (1999) (2)
Validation of Modeling Constructs for the Organizational Aspects in CIMOSA (2000) (1)
Architecture Description Languages: IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, ... Federation for Information Processing) (2005) (1)
REACTIVE SHOP-FLOOR CONTROL ARCHITECTURES BASED ON MULTI-AGENT SYSTEMS (1999) (1)
Development of a Risk-based Decision Method for Construction Project Evaluation Using Value Theory (2019) (1)
Enumerative Parallel and Distributed State Space Construction (2009) (1)
CIMOSA and GERAM Standardisation in Enterprise Engineering (1998) (1)
Enterprise Integration and Management in Agile Organizations (2001) (1)
Time Petri Nets Analysis with the TINA toolbox (2008) (1)
Enterprise Int 86. Enterprise Integration and Interoperability (2009) (1)
Internet-Based Enterprise Architectures (2004) (1)
Object-oriented process development in the M*-OBJECT methodology (2000) (1)
Open systems architectures: from monolithic approaches to service-based architectures (2003) (1)
BCVR: A methodological framework for industrial performance management and decision-support (2015) (1)
Developement and Feedbacks of a New Communication Tool to Harness Information and Knowledge and Know-How in Integrated Engineering — Case Study at Eads (2002) (1)
An enterprise integration framework for manufacturing environments (1997) (1)
Characterization of Dynamical Systems Via Syntactic Pattern Recognition (1982) (1)
A Process / Agent / Operation Paradigm for Manufacturing Systems Modelling (1997) (1)
MANUFACTURING SYSTEMS MODELLING AND ANALYSIS: A PROCES/AGENT APPROACH (1999) (0)
Developing a Corporate Information System Architecture: The Case of Eurostat (2004) (0)
Enterprise Modelling (2001) (0)
Concurrency in Distributed Real-Time Systems , from Unfoldings to Implementability (2013) (0)
High Level Transition Systems for Communicating Agents (2001) (0)
An integrated approach to coordination description in distributed multimedia applications (2001) (0)
A Bottom-up Approach For The Design Of Discrete Manufacturing Systems (1992) (0)
Management and Control of Modern Manufacturing Organisations: An Interdisciplinary Approach (1997) (0)
Book reviewAdvances in CAD/CAM and robotics: NRC contributions: edited by J.H.C. Scrimgeour and F. Vernadat ERB-1003, NRCC No. 27454, National Research Council of Canada, May 1987, 515 pages (1989) (0)
A Communication Protocol for Conflict Resolution (1995) (0)
COALA: A Manufacturing Plant Layout Approach (1992) (0)
Visualised Decision Support in Industrial Project Monitoring and Control (2018) (0)
Observation Graph implementation for TINA toolbox (2009) (0)
Manufacturing Systems Specification and Analysis (1998) (0)
MIP Optimisation for Large-Scale Transfer Line Balancing Problems using Decomposition (2005) (0)
Some Optimization Approaches for Transfer Lines with Blocks of Operations (2003) (0)
Towards a Manufacturing System Specification Language (1994) (0)
Scientific Foundations - Simulation, optimization and decision making tools applied to industrial system control (2003) (0)
54 An enterprise integration framework for manufacturing environments (2013) (0)
Verification of Specific Properties (2010) (0)
Editorial (2008) (0)
Group technology : Essential algorithms and their comparison (1996) (0)
A Review of: “CIM-Principles Of Computer Integrated Manufacturing”. By J.-B. WALDNER (John Wiley & Sons, 1992) [Pp. 189] £19·95. Level: managerial. (1993) (0)
PDN: A Process And Data Net Model For CIM Design And Prototyping (1992) (0)
19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings (2011) (0)
BCVR Methodology: A Holistic Approach for Industrial Performance Management (2018) (0)
A Review of: “Enterprise Integration Modelling. Proceedings of the First International Conference”. Edited by C. PETRIE (The MIT Press, 1992) ISBN 0-262-66080-6 [Pp. 563] £40 50. Level: scientific. (1994) (0)
Editorial (2001) (0)
Best Paper Award of IIE Transactions on Design and Manufacturing (2008) (0)
Formal design of cooperative systems (1995) (0)
Decision-making in the manufacturing environment using a value-risk graph (2014) (0)
Advances in Factories of the Future, Cim and Robotics (1993) (0)
Editorial (2005) (0)
Editorial Board (2010) (0)
Integrity constraints of manufacturing data bases (1987) (0)
Contracts and Grants with Industry - Projet GROWTH V-chain (2002) (0)
CIMOSA : A reference architecture for enterprise integration (1996) (0)
New Results - Simulation, optimization and decision making tools applied to industrial system control (2003) (0)

This paper list is powered by the following services:

Other Resources About François Vernadat

en.wikipedia.org

What Schools Are Affiliated With François Vernadat?

François Vernadat is affiliated with the following schools: