Nicolas Berthier

According to our database, Nicolas Berthier authored at least 18 papers between 2012 and 2023.

Collaborative distances:

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

2023

Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference.

Nicolas Berthier, Narges Khakpour

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Robust Bayesian Abstraction of Neural Networks.

Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang

Proceedings of the International Conference on Machine Learning and Cybernetics, 2023

Weight-based Semantic Testing Approach for Deep Neural Networks.

Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang

Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), 2023

2022

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version).

Nicolas Berthier, Narges Khakpour

CoRR, 2022

Quantifying the Importance of Latent Features in Neural Networks.

Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

Tutorials on Testing Neural Networks.

Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang

CoRR, 2021

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features.

Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang

CoRR, 2021

2017

A hot method for synthesising cool controllers.

Idress Husien, Nicolas Berthier, Sven Schewe

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

PranCS: A Protocol and Discrete Controller Synthesis Tool.

Idress Husien, Sven Schewe, Nicolas Berthier

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Logico-numerical control for software components reconfiguration.

Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Éric Rutten

Proceedings of the IEEE Conference on Control Technology and Applications, 2017

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

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

2015

Deadlock-free discrete controller synthesis for infinite state systems.

Nicolas Berthier, Hervé Marchand

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

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

Discrete Controller Synthesis for Infinite State Systems with ReaX.

Nicolas Berthier, Hervé Marchand

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

2013

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

2012

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

PhD thesis, 2012