Jean-Charles Tournier

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 5

Top Venues

CoRR

MEMOCODE

IEEE Trans. Ind. Informatics

WODES

INSA de Lyon, Lyon - Villeurbanne, France (PHD)

Education History

INSA de Lyon, Lyon - Villeurbanne, France

PHD

Publications

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
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM (2023)
Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program. CoRR (2022)
Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Borja Fernandez Adiego
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller. CoRR (2022)
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar
Simplification of numeric variables for PLC model checking. MEMOCODE (2021)
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
Applying Model Checking to Industrial-Sized PLC Programs. IEEE Trans. Ind. Informatics 11 (6) (2015)
Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study. WODES (2014)
Jean-Charles Tournier, Vaibhav Donde, Zhao Li, Martin Naef
Potential of General Purpose Graphic Processing Unit for Energy Management System. Int. J. Distributed Syst. Technol. 3 (2) (2012)
Jean-Charles Tournier, Vaibhav Donde, Zhao Li
Potential of General Purpose Graphic Processing Unit for Energy Management System. PARELEC (2011)
Jean-Charles Tournier, Martin Naef
Influences of SIMD architectures for scattered data interpolation algorithm. ISPASS (2010)
James Horey, Jean-Charles Tournier, Arthur B. Maccabe
Kaizen: improving sensor network operating systems. SenSys (2006)
Jean-Charles Tournier, Patrick G. Bridges, Arthur B. Maccabe, Patrick M. Widener, Zaid Abudayyeh, Ron Brightwell, Rolf Riesen, Trammell Hudson
Towards a framework for dedicated operating systems development in high-end computing systems. ACM SIGOPS Oper. Syst. Rev. 40 (2) (2006)
Jean-Charles Tournier, Jean-Philippe Babau, Vincent Olive
An evaluation of Qinna, a component-based QoS architecture for embedded systems. SAC (2005)
Jean-Charles Tournier, Jean-Philippe Babau, Vincent Olive
Qinna, a Component-Based QoS Architecture. CBSE (2005)

Jean-Charles Tournier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean-Charles Tournier