Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués. (Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems). - Nicolas Berthier (2012)

Synchronous programming of device drivers for global resource control in embedded operating systems. - Nicolas Berthier; Florence Maraninchi; Laurent Mounier (ACM Trans. Embed. Comput. Syst., 2013)

Discrete Controller Synthesis for Infinite State Systems with ReaX. - Nicolas Berthier; Hervé Marchand (WODES, 2014)

Coordinating self-sizing and self-repair managers for multi-tier systems. - Soguy Mak Karé Gueye; Noel De Palma; Éric Rutten; Alain Tchana; Nicolas Berthier (Future Gener. Comput. Syst., 2014)

Deadlock-free discrete controller synthesis for infinite state systems. - Nicolas Berthier; Hervé Marchand (CDC, 2015)

Designing Autonomic Management Systems by Using Reactive Control Techniques. - Nicolas Berthier; Éric Rutten; Noel De Palma; Soguy Mak Karé Gueye (IEEE Trans. Software Eng., 2016)

Gestion autonome de la réparation et du dimensionnement d'un système multiniveau par contrôle discret. - Soguy Mak Karé Gueye; Noël De Palma; Éric Rutten; Alain Tchana; Nicolas Berthier (Tech. Sci. Informatiques, 2016)

Logico-numerical control for software components reconfiguration. - Nicolas Berthier; Frederico Alvares; Hervé Marchand; Gwenaël Delaval; Éric Rutten (CCTA, 2017)

PranCS: A Protocol and Discrete Controller Synthesis Tool. - Idress Husien; Sven Schewe; Nicolas Berthier (SETTA, 2017)

A hot method for synthesising cool controllers. - Idress Husien; Nicolas Berthier; Sven Schewe (SPIN, 2017)

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. - Nicolas Berthier; Amany Alshareef; James Sharp; Sven Schewe; Xiaowei Huang 001 (CoRR, 2021)

Tutorials on Testing Neural Networks. - Nicolas Berthier; Youcheng Sun; Wei Huang 035; Yanghao Zhang; Wenjie Ruan; Xiaowei Huang 001 (CoRR, 2021)

Quantifying the Importance of Latent Features in Neural Networks. - Amany Alshareef; Nicolas Berthier; Sven Schewe; Xiaowei Huang 001 (SafeAI@AAAI, 2022)

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version). - Nicolas Berthier; Narges Khakpour (CoRR, 2022)

Weight-based Semantic Testing Approach for Deep Neural Networks. - Amany Alshareef; Nicolas Berthier; Sven Schewe; Xiaowei Huang 001 (AISafety/SafeRL@IJCAI, 2023)

Robust Bayesian Abstraction of Neural Networks. - Amany Alshareef; Nicolas Berthier; Sven Schewe; Xiaowei Huang 001 (ICMLC, 2023)

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. - Nicolas Berthier; Steven de Oliveira; Nikolai Kosmatov; Delphine Longuet; Romain Soulat (SAC, 2023)

Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. - Nicolas Berthier; Narges Khakpour (VMCAI, 2023)