Jean-Charles Tournier

According to our database, Jean-Charles Tournier authored at least 14 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.

Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller.

Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Borja Fernandez Adiego

CoRR, 2022

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program.

Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart

CoRR, 2022

2021

Simplification of numeric variables for PLC model checking.

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2015

Applying Model Checking to Industrial-Sized PLC Programs.

Borja Fernandez Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Simon Bliudze, Jan Olaf Blech, Víctor Manuel González Suárez

IEEE Trans. Ind. Informatics, 2015

2014

Bringing Automated Model Checking to PLC Program Development - a CERN Case Study.

Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2012

Potential of General Purpose Graphic Processing Unit for Energy Management System.

Jean-Charles Tournier, Vaibhav Donde, Zhao Li, Martin Naef

Int. J. Distributed Syst. Technol., 2012

2011

Potential of General Purpose Graphic Processing Unit for Energy Management System.

Jean-Charles Tournier, Vaibhav Donde, Zhao Li

Proceedings of the Sixth International Symposium on Parallel Computing in Electrical Engineering (PARELEC 2011), 2011

2010

Influences of SIMD architectures for scattered data interpolation algorithm.

Jean-Charles Tournier, Martin Naef

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2010

2006

Towards a framework for dedicated operating systems development in high-end computing systems.

Jean-Charles Tournier, Patrick G. Bridges, Arthur B. Maccabe, Patrick M. Widener, Zaid Abudayyeh, Ron Brightwell, Rolf Riesen, Trammell Hudson

ACM SIGOPS Oper. Syst. Rev., 2006

Kaizen: improving sensor network operating systems.

James Horey, Jean-Charles Tournier, Arthur B. Maccabe

Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

2005

Qinna, une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles. (Qinna, a component-based quality of service architecture for mobile embedded systems).

Jean-Charles Tournier

PhD thesis, 2005

An evaluation of Qinna, a component-based QoS architecture for embedded systems.

Jean-Charles Tournier, Jean-Philippe Babau, Vincent Olive

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Qinna, a Component-Based QoS Architecture.

Jean-Charles Tournier, Jean-Philippe Babau, Vincent Olive

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005