Jean-Charles Tournier

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