Nicolas Berthier

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 14

Top Venues

CoRR

ACM Trans. Embed. Comput. Syst.

VMCAI

SAC

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

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

Nicolas Berthier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicolas Berthier