Jean Quilbeuf
Jean Quilbeuf
postdoc at fortiss gmbh, Munich, Germany
Verified email at fortiss.org
Title
Cited by
Cited by
Year
A framework for automated distributed implementation of component-based models
B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis
Distributed Computing 25 (5), 383-409, 2012
722012
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
652010
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
372016
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
362010
A logic for the statistical model checking of dynamic software architectures
J Quilbeuf, E Cavalcante, LM Traonouez, F Oquendo, T Batista, A Legay
International Symposium on Leveraging Applications of Formal Methods, 806-820, 2016
292016
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
242011
Scalable approximation of quantitative information flow in programs
F Biondi, MA Enescu, A Heuser, A Legay, KS Meel, J Quilbeuf
International Conference on Verification, Model Checking, and Abstract …, 2018
222018
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
222017
Model-based implementation of distributed systems with priorities
B Bonakdarpour, M Bozga, J Quilbeuf
Design Automation for Embedded Systems 17 (2), 251-276, 2013
162013
Statistical model checking for SystemC models
A Legay, J Quilbeuf
2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016
122016
Knowledge-based distributed conflict resolution for multiparty interactions and priorities
S Bensalem, M Bozga, J Quilbeuf, J Sifakis
Formal Techniques for Distributed Systems, 118-134, 2012
122012
An Application of SMC to continuous validation of heterogeneous systems
A Arnold, M Baleani, A Ferrari, M Marazza, V Senni, A Legay, J Quilbeuf, ...
112017
Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions. Application to the BIP Framework.
J Quilbeuf
112013
Distributed MILS architectural approach for secure smart grids
D Bytschkow, J Quilbeuf, G Igna, H Ruess
International Workshop on Smart Grid Security, 16-29, 2014
102014
Comparative analysis of leakage tools on scalable case studies
F Biondi, A Legay, J Quilbeuf
International SPIN Workshop on Model Checking of Software, 263-281, 2015
92015
The SosADL studio: an architecture development environment for software-intensive systems-of-systems
F Oquendo, J Buisson, E Leroux, G Moguérou, J Quilbeuf
Proceedings of the International Colloquium on Software-intensive Systems-of …, 2016
72016
Statistical model checking applied on perception and decision-making systems for autonomous driving
J Quilbeuf, M Barbier, L Rummelhard, C Laugier, A Legay, B Baudouin, ...
62018
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
52018
Optimized distributed implementation of multiparty interactions with observation
S Bensalem, M Bozga, J Quilbeuf, J Sifakis
Proceedings of the 2nd edition on Programming systems, languages and …, 2012
52012
Optimizing symbolic execution for malware behavior classification
S Sebastio, E Baranov, F Biondi, O Decourbe, T Given-Wilson, A Legay, ...
Computers & Security, 101775, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20