Applying Model Checking to Industrial-Sized PLC Programs
Fernandez Adiego, Borja, Darvas, Daniel, Blanco Vinuela, Enrique, Tournier, Jean-Charles, Bliudze, Simon, Blech, Jan Olaf, Gonzalez Suarez, Victor Manuel
Published in IEEE transactions on industrial informatics (01.12.2015)
Published in IEEE transactions on industrial informatics (01.12.2015)
Get full text
Journal Article
On limitations of traditional multi-core and potential of many-core processing architectures for sparse linear solvers used in large-scale power system applications
Zhao Li, Donde, V. D., Tournier, J-C, Fang Yang
Published in 2011 IEEE Power and Energy Society General Meeting (01.07.2011)
Published in 2011 IEEE Power and Energy Society General Meeting (01.07.2011)
Get full text
Conference Proceeding
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
Lopez-Miguel, Ignacio D, Jean-Charles Tournier, Borja Fernandez Adiego
Published in arXiv.org (30.03.2022)
Published in arXiv.org (30.03.2022)
Get full text
Paper
Journal Article
Qinna, a component-based qos architecture
Tournier, Jean-Charles, Babau, Jean-Philippe, Olive, Vincent
Published in Component-Based Software Engineering (01.01.2005)
Published in Component-Based Software Engineering (01.01.2005)
Get full text
Conference Proceeding
Book Chapter
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
Borja Fernandez Adiego, Lopez-Miguel, Ignacio D, Jean-Charles Tournier, Blanco, Enrique, Ladzinski, Tomasz, Havart, Frederic
Published in arXiv.org (30.03.2022)
Published in arXiv.org (30.03.2022)
Get full text
Paper
Journal Article
Simplification of Numeric Variables for PLC Model Checking
Lopez-Miguel, Ignacio D., Adiego, Borja Fernandez, Tournier, Jean-Charles, Vinuela, Enrique Blanco, Rodriguez-Aguilar, Juan A.
Published in 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (20.11.2021)
Published in 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (20.11.2021)
Get full text
Conference Proceeding
Applications of IEC 61850 in distribution automation
Mohagheghi, Salman, Tournier, Jean-Charles, Stoupis, James, Guise, Laurent, Coste, Thierry, Andersen, Claus A, Dall, Jacob
Published in 2011 IEEE/PES Power Systems Conference and Exposition (01.03.2011)
Published in 2011 IEEE/PES Power Systems Conference and Exposition (01.03.2011)
Get full text
Conference Proceeding
A Unified Solution for Advanced Metering Infrastructure Integration with a Distribution Management System
Zhao Li, Zhenyuan Wang, Tournier, J, Peterson, W, Wenping Li, Yi Wang
Published in 2010 First IEEE International Conference on Smart Grid Communications (01.10.2010)
Published in 2010 First IEEE International Conference on Smart Grid Communications (01.10.2010)
Get full text
Conference Proceeding
Model-based automated testing of critical PLC programs
Fernandez Adiego, Borja, Blanco Vinuela, Enrique, Tournier, Jean-Charles, Suarez, Victor M. Gonzalez, Bliudze, Simon
Published in 2013 11th IEEE International Conference on Industrial Informatics (INDIN) (01.07.2013)
Published in 2013 11th IEEE International Conference on Industrial Informatics (INDIN) (01.07.2013)
Get full text
Conference Proceeding
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
Ádám, Zsófia, Lopez-Miguel, Ignacio D, Mavridou, Anastasia, Pressburger, Thomas, Bęś, Marcin, Enrique Blanco Viñuela, Katis, Andreas, Jean-Charles Tournier, Trinh, Khanh V, Borja Fernández Adiego
Published in NASA Formal Methods (NFM) (17.05.2023)
Get full text
Published in NASA Formal Methods (NFM) (17.05.2023)
Conference Proceeding