Követés
Jean Quilbeuf
Jean Quilbeuf
postdoc at fortiss gmbh, Munich, Germany
E-mail megerősítve itt: fortiss.org
Cím
Hivatkozott rá
Hivatkozott rá
Év
A framework for automated distributed implementation of component-based models
B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis
Distributed Computing 25, 383-409, 2012
772012
From high-level component-based models to distributed implementations
B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis
Proceedings of the tenth ACM international conference on Embedded software …, 2010
682010
Statistical model checking of dynamic software architectures
E Cavalcante, J Quilbeuf, LM Traonouez, F Oquendo, T Batista, A Legay
European Conference on Software Architecture, 185-200, 2016
482016
Scalable approximation of quantitative information flow in programs
F Biondi, MA Enescu, A Heuser, A Legay, KS Meel, J Quilbeuf
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
462018
Automated conflict-free distributed implementation of component-based models
B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis
International Symposium on Industrial Embedded System (SIES), 108-117, 2010
392010
A logic for the statistical model checking of dynamic software architectures
J Quilbeuf, E Cavalcante, LM Traonouez, F Oquendo, T Batista, A Legay
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
362016
Verification of interlocking systems using statistical model checking
Q Cappart, C Limbrée, P Schaus, J Quilbeuf, LM Traonouez, A Legay
2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017
332017
Tutorial: An overview of malware detection and evasion techniques
F Biondi, T Given-Wilson, A Legay, C Puodzius, J Quilbeuf
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
322018
Optimizing symbolic execution for malware behavior classification
S Sebastio, E Baranov, F Biondi, O Decourbe, T Given-Wilson, A Legay, ...
Computers & Security 93, 101775, 2020
312020
Detection of mirai by syntactic and behavioral analysis
NB Said, F Biondi, V Bontchev, O Decourbe, T Given-Wilson, A Legay, ...
2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018
272018
Validation of perception and decision-making systems for autonomous driving via statistical model checking
M Barbier, A Renzaglia, J Quilbeuf, L Rummelhard, A Paigwar, C Laugier, ...
2019 IEEE Intelligent Vehicles Symposium (IV), 252-259, 2019
232019
Automated distributed implementation of component-based models with priorities
B Bonakdarpour, M Bozga, J Quilbeuf
Proceedings of the ninth ACM international conference on Embedded software …, 2011
232011
Model-based implementation of distributed systems with priorities
B Bonakdarpour, M Bozga, J Quilbeuf
Design Automation for Embedded Systems 17 (2), 251-276, 2013
182013
An Application of SMC to continuous validation of heterogeneous systems
A Arnold, M Beleani, A Ferrari, M Marazza, V Senni, A Legay, J Quilbeuf, ...
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 4 …, 2017
152017
Statistical model checking for SystemC models
A Legay, J Quilbeuf
2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016
152016
Distributed MILS architectural approach for secure smart grids
D Bytschkow, J Quilbeuf, G Igna, H Ruess
Smart Grid Security: Second International Workshop, SmartGridSec 2014 …, 2014
122014
Knowledge-based distributed conflict resolution for multiparty interactions and priorities
S Bensalem, M Bozga, J Quilbeuf, J Sifakis
International Conference on Formal Methods for Open Object-Based Distributed …, 2012
122012
A language for analyzing security of IoT systems
D Beaulaton, NB Said, I Cristescu, R Fleurquin, A Legay, J Quilbeuf, ...
2018 13th Annual Conference on System of Systems Engineering (SoSE), 37-44, 2018
112018
Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions. Application to the BIP Framework.
J Quilbeuf
Université de Grenoble, 2013
112013
Detection of mirai by syntactic and semantic analysis
NB Said, F Biondi, V Bontchev, O Decourbe, T Given-Wilson, A Legay, ...
92017
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20