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 | 79 | 2012 |
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 | 67 | 2010 |
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 | 49 | 2018 |
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 | 48 | 2016 |
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 | 43 | 2018 |
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 | 41 | 2020 |
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 | 39 | 2010 |
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 | 38 | 2017 |
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 | 37 | 2016 |
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 | 31 | 2018 |
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 | 28 | 2019 |
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 | 22 | 2011 |
Model-based implementation of distributed systems with priorities B Bonakdarpour, M Bozga, J Quilbeuf Design Automation for Embedded Systems 17 (2), 251-276, 2013 | 17 | 2013 |
Statistical model checking for SystemC models A Legay, J Quilbeuf 2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016 | 16 | 2016 |
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 | 14 | 2017 |
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 | 14 | 2014 |
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 | 13 | 2018 |
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 | 12 | 2012 |
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 | 10 | 2015 |
Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions. Application to the BIP Framework. J Quilbeuf Université de Grenoble, 2013 | 10 | 2013 |