![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Nicolas Berthier
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c11]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Weight-based Semantic Testing Approach for Deep Neural Networks. AISafety/SafeRL@IJCAI 2023 - [c10]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Robust Bayesian Abstraction of Neural Networks. ICMLC 2023: 276-283 - [c9]Nicolas Berthier
, Steven de Oliveira
, Nikolai Kosmatov
, Delphine Longuet
, Romain Soulat
:
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. SAC 2023: 1706-1715 - [c8]Nicolas Berthier, Narges Khakpour
:
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. VMCAI 2023: 66-90 - 2022
- [c7]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Quantifying the Importance of Latent Features in Neural Networks. SafeAI@AAAI 2022 - [i4]Nicolas Berthier, Narges Khakpour
:
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version). CoRR abs/2211.03450 (2022) - [i3]Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat:
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. CoRR abs/2211.14592 (2022) - 2021
- [i2]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 abs/2103.03704 (2021) - [i1]Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang:
Tutorials on Testing Neural Networks. CoRR abs/2108.01734 (2021)
2010 – 2019
- 2017
- [c6]Nicolas Berthier
, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Éric Rutten:
Logico-numerical control for software components reconfiguration. CCTA 2017: 1599-1606 - [c5]Idress Husien, Sven Schewe
, Nicolas Berthier
:
PranCS: A Protocol and Discrete Controller Synthesis Tool. SETTA 2017: 337-349 - [c4]Idress Husien, Nicolas Berthier
, Sven Schewe
:
A hot method for synthesising cool controllers. SPIN 2017: 122-131 - 2016
- [j4]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): 640-657 (2016) - [j3]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): 525-555 (2016) - 2015
- [c3]Nicolas Berthier
, Hervé Marchand:
Deadlock-free discrete controller synthesis for infinite state systems. CDC 2015: 1000-1007 - 2014
- [j2]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: 14-26 (2014) - [c2]Nicolas Berthier
, Hervé Marchand:
Discrete Controller Synthesis for Infinite State Systems with ReaX. WODES 2014: 46-53 - 2013
- [j1]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): 39:1-39:26 (2013) - 2012
- [b1]Nicolas Berthier:
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). Grenoble Alpes University, France, 2012 - 2011
- [c1]Nicolas Berthier
, Florence Maraninchi, Laurent Mounier:
Synchronous programming of device drivers for global resource control in embedded operating systems. LCTES 2011: 81-90
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint