Qinna, a Component-Based QoS Architecture. - Jean-Charles Tournier; Jean-Philippe Babau; Vincent Olive (CBSE, 2005)

An evaluation of Qinna, a component-based QoS architecture for embedded systems. - Jean-Charles Tournier; Jean-Philippe Babau; Vincent Olive (SAC, 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 (2005)

Kaizen: improving sensor network operating systems. - James Horey; Jean-Charles Tournier; Arthur B. Maccabe (SenSys, 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)

Influences of SIMD architectures for scattered data interpolation algorithm. - Jean-Charles Tournier; Martin Naef (ISPASS, 2010)

Potential of General Purpose Graphic Processing Unit for Energy Management System. - Jean-Charles Tournier; Vaibhav Donde; Zhao Li (PARELEC, 2011)

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)

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 (WODES, 2014)

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)

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 (MEMOCODE, 2021)

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)

PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller. - Ignacio D. Lopez-Miguel; Jean-Charles Tournier; Borja Fernandez Adiego (CoRR, 2022)

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 (NFM, 2023)