Jean Quilbeuf
According to our database1,
Jean Quilbeuf
authored at least 32 papers
between 2010 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
2
1
1
3
1
2
1
1
5
1
4
1
1
1
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2020
Comput. Secur., 2020
2019
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018
2017
EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
The sosADL studio: an architecture development environment for software-intensive systems-of-systems.
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016
Proceedings of the Software Architecture - 10th European Conference, 2016
2015
Sci. Comput. Program., 2015
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking.
CoRR, 2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
2014
Proceedings of the Smart Grid Security - Second International Workshop, 2014
2013
Implantations distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP. (Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.).
PhD thesis, 2013
Des. Autom. Embed. Syst., 2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
2012
Distributed Comput., 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.
Proceedings of the Formal Techniques for Distributed Systems, 2012
Proceedings of the 2nd edition on Programming systems, 2012
2011
Proceedings of the 11th International Conference on Embedded Software, 2011
2010
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010
Proceedings of the 10th International conference on Embedded software, 2010