Nicolas Berthier

21 papers B 2Misc 3Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Symmaries: Automatic Inference of Formal Security Summaries for Java Programs.
CoRR
Narges Khakpour, Nicolas Berthier
2023 Misc conf
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.
SAC
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
2023 Misc conf
Robust Bayesian Abstraction of Neural Networks.
ICMLC
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
2023 B conf
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference.
VMCAI
Nicolas Berthier, Narges Khakpour
2023 — conf
Weight-based Semantic Testing Approach for Deep Neural Networks.
AISafety/SafeRL@IJCAI
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
2022 J jnl
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.
CoRR
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
2022 — conf
Quantifying the Importance of Latent Features in Neural Networks.
SafeAI@AAAI
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
2022 J jnl
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version).
CoRR
Nicolas Berthier, Narges Khakpour
2021 J jnl
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features.
CoRR
Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang
2021 J jnl
Tutorials on Testing Neural Networks.
CoRR
Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang
2017 — conf
A hot method for synthesising cool controllers.
SPIN
Idress Husien, Nicolas Berthier, Sven Schewe
2017 — conf
Logico-numerical control for software components reconfiguration.
CCTA
Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Éric Rutten
2017 Misc conf
PranCS: A Protocol and Discrete Controller Synthesis Tool.
SETTA
Idress Husien, Sven Schewe, Nicolas Berthier
2016 J jnl
Designing Autonomic Management Systems by Using Reactive Control Techniques.
IEEE Trans. Software Eng.
Nicolas Berthier, Éric Rutten, Noel De Palma, Soguy Mak Karé Gueye
2016 J jnl
Gestion autonome de la réparation et du dimensionnement d'un système multiniveau par contrôle discret.
Tech. Sci. Informatiques
Soguy Mak Karé Gueye, Noël De Palma, Éric Rutten, Alain Tchana, Nicolas Berthier
2015 — conf
Deadlock-free discrete controller synthesis for infinite state systems.
CDC
Nicolas Berthier, Hervé Marchand
2014 J jnl
Coordinating self-sizing and self-repair managers for multi-tier systems.
Future Gener. Comput. Syst.
Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten, Alain Tchana, Nicolas Berthier
2014 — conf
Discrete Controller Synthesis for Infinite State Systems with ReaX.
WODES
Nicolas Berthier, Hervé Marchand
2013 J jnl
Synchronous programming of device drivers for global resource control in embedded operating systems.
ACM Trans. Embed. Comput. Syst.
Nicolas Berthier, Florence Maraninchi, Laurent Mounier
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
2011 B conf
Synchronous programming of device drivers for global resource control in embedded operating systems.
LCTES
Nicolas Berthier, Florence Maraninchi, Laurent Mounier