E-LIB Suche - Ergebnisse für: Berthier, Nicolas

1

An Efficient Black-Box Support of Advanced Coverage Criteri..:

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

Berthier, Nicolas ; De Oliveira, Steven ; Kosmatov, Nikolai.. - p. 1706-1715 , 2023

Link: https://dl.acm.org/doi/1..

2

Robust Bayesian Abstraction of Neural Networks:

, In: 2023 International Conference on Machine Learning and Cybernetics (ICMLC),

Alshareef, Amany ; Berthier, Nicolas ; Schewe, Sven. - p. 276-283 , 2023

Link: https://doi.org/10.1109/..

3

Symbolic Abstract Heaps for Polymorphic Information-Flow Gu..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Berthier, Nicolas ; Khakpour, Narges - p. 66-90 , 2023

Link: https://doi.org/10.1007/..

4

A hot method for synthesising cool controllers:

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

Husien, Idress ; Berthier, Nicolas ; Schewe, Sven - p. 122-131 , 2017

Link: https://dl.acm.org/doi/1..

5

Designing Autonomic Management Systems by Using Reactive Co..:

Berthier, Nicolas ; Rutten, Eric ; De Palma, Noel.
IEEE Transactions on Software Engineering. 42 (2016) 7 - p. 640-657 , 2016

Link: https://doi.org/10.1109/..

6

Coordinating self-sizing and self-repair managers for multi..:

Gueye, Soguy Mak-Karé ; De Palma, Noël ; Rutten, Éric..
Future Generation Computer Systems. 35 (2014) - p. 14-26 , 2014

Link: https://doi.org/10.1016/..

7

Synchronous programming of device drivers for global resour..:

Berthier, Nicolas ; Maraninchi, Florence ; Mounier, Laurent
ACM Transactions on Embedded Computing Systems (TECS). 12 (2013) 1s - p. 1-26 , 2013

Link: https://dl.acm.org/doi/1..

8

Synchronous programming of device drivers for global resour..:

Berthier, Nicolas ; Maraninchi, Florence ; Mounier, Laurent
ACM Transactions on Embedded Computing Systems. 12 (2013) 1s - p. 1-26 , 2013

Link: https://doi.org/10.1145/..

9

Synchronous programming of device drivers for global resour..:

Berthier, Nicolas ; Maraninchi, Florence ; Mounier, Laurent
ACM SIGPLAN Notices. 47 (2012) 5 - p. 81 , 2012

Link: https://doi.org/10.1145/..

10

Synchronous programming of device drivers for global resour..:

, In: Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems,

Berthier, Nicolas ; Maraninchi, Florence ; Mounier, Laurent - p. 81-90 , 2011

Link: https://dl.acm.org/doi/1..

11

Synchronous programming of device drivers for global resour..:

Berthier, Nicolas ; Maraninchi, Florence ; Mounier, Laurent
ACM SIGPLAN Notices. 46 (2011) 5 - p. 81-90 , 2011

Link: https://doi.org/10.1145/..

12

Symbolic Abstract Heaps for Polymorphic Information-flow Gu..:

Berthier, Nicolas ; Khakpour, Narges
http://arxiv.org/abs/2211.03450. , 2022

Link: http://arxiv.org/abs/221..

13

An Efficient Black-Box Support of Advanced Coverage Criteri..:

Berthier, Nicolas ; De Oliveira, Steven ; Kosmatov, Nikolai..
http://arxiv.org/abs/2211.14592. , 2022

Link: http://arxiv.org/abs/221..

14

Tutorials on Testing Neural Networks:

Berthier, Nicolas ; Sun, Youcheng ; Huang, Wei...
http://arxiv.org/abs/2108.01734. , 2021

Link: http://arxiv.org/abs/210..

15

Abstraction and Symbolic Execution of Deep Neural Networks ..:

Berthier, Nicolas ; Alshareef, Amany ; Sharp, James..
http://arxiv.org/abs/2103.03704. , 2021

Link: http://arxiv.org/abs/210..