default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-Marc Faure
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c18]Yannick Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot:
Discovering Systematic Relations between Alarms for Alarm Flows Reduction. CoDIT 2019: 1055-1060- 2018
- [j6]Mohamed Benazouz
, Jean-Marc Faure:
Safety-Level Aware Bin-Packing Heuristic for Automatic Assignment of Power Plants Control Functions. IEEE Trans Autom. Sci. Eng. 15(2): 602-612 (2018) - [j5]Anaïs Guignard, Jean-Marc Faure, Gregory Faraut:
Model-Based Testing of PLC Programs With Appropriate Conformance Relations. IEEE Trans. Ind. Informatics 14(1): 350-359 (2018) - 2017
- [j4]Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage:
Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems. Reliab. Eng. Syst. Saf. 163: 57-68 (2017) - [c17]Yannick Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot:
Towards alarm flood reduction. ETFA 2017: 1-6 - 2016
- [j3]Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure:
Overview of discrete event systems opacity: Models, validation, and quantification. Annu. Rev. Control. 41: 135-146 (2016) - [j2]Pierre-Yves Piriou, Jean-Marc Faure, Gilles Deleuze:
A Meta-Model to Support the Integration of Dependability Concerns Into Systems Engineering Processes: An Example From Power Production. IEEE Syst. J. 10(1): 15-24 (2016) - [c16]Julien Niguez, Saïd Amari, Jean-Marc Faure:
Analysis of Timed Automata with Guards in dioids algebra. WODES 2016: 391-397 - 2015
- [c15]Julien Niguez, Saïd Amari, Jean-Marc Faure:
Fault-Tolerant Control of Discrete Event Systems: Comparison of two approaches on the same case study. ETFA 2015: 1-4 - 2014
- [j1]Julien Provost, Jean-Marc Roussel, Jean-Marc Faure:
Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers. IEEE Trans. Ind. Informatics 10(3): 1696-1704 (2014) - [c14]Anaïs Guignard, Jean-Marc Faure:
Validation of logic controllers from events observation in a closed-loop system. ETFA 2014: 1-7 - [c13]Anaïs Guignard, Jean-Marc Faure:
A Conformance Relation for Model-Based Testing of PLC. WODES 2014: 412-419 - [e1]Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson:
12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. International Federation of Automatic Control 2014, ISBN 978-3-902823-61-8 [contents] - 2013
- [c12]Matthieu Perin, Jean-Marc Faure:
Comparing detailed and abstract timed models of automated discrete manufacturing systems. CASE 2013: 916-923 - [c11]Anaïs Guignard, Jean-Marc Faure:
Enforcing I/O sequences for PLC validation purposes. ETFA 2013: 1-6 - [c10]Pierre-Yves Piriou, Jean-Marc Faure, Gilles Deleuze:
A meta-model for integrating safety concerns into systems engineering processes. SysCon 2013: 298-304 - 2012
- [c9]Matthieu Perin, Jean-Marc Faure:
Coupling timed plant and controller models with urgent transitions without introducing deadlocks. ETFA 2012: 1-9 - 2011
- [c8]Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün:
Designing operational control architectures of critical systems by reachability analysis. CASE 2011: 12-18 - [c7]Julien Provost, Jean-Marc Roussel, Jean-Marc Faure:
A formal semantics for Grafcet specifications. CASE 2011: 488-494 - [c6]Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Patrick Salaün, Jean-François Pétin:
Using a meta-model to build operational architectures of automation systems for critical processes. ETFA 2011: 1-8 - [c5]Jean-Marc Faure, Jean-Jacques Lesage:
Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering. ICINCO (1) 2011: 19 - 2010
- [c4]Julien Provost, Jean-Marc Roussel, Jean-Marc Faure:
SIC-testability of sequential logic controllers. WODES 2010: 193-198
2000 – 2009
- 2007
- [c3]Bruno Denis, Silvain Ruel, Jean-Marc Faure, Gaëlle Marsal, Georg Frey:
Measuring the impact of vertical integration on response times in ethernet fieldbuses. ETFA 2007: 532-539 - 2006
- [c2]Gaëlle Marsal, Bruno Denis, Jean-Marc Faure, Georg Frey:
Evaluation of Response Time in Ethernet-based Automation Systems. ETFA 2006: 380-387 - 2001
- [c1]José M. Machado, Farid Louni, Jean-Marc Faure, Jean-Jacques Lesage, Jaime C. L. Ferreira da Silva, Jean-Marc Roussel:
Modelling and implementing the control of automated production systems using statecharts and PLC programming languages. ECC 2001: 1019-1024
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
