| Off-line test case generation for timed symbolic model-based conformance testing B Bannour, JP Escobedo, C Gaston, P Le Gall Testing Software and Systems: 24th IFIP WG 6.1 International Conference …, 2012 | 33 | 2012 |
| A reconfiguration framework for distributed components B Bennour, L Henrio, M Rivera SINTER '09: Proceedings of the 2009 ESEC/FSE workshop on Software …, 2009 | 21 | 2009 |
| Eliciting unitary constraints from timed Sequence Diagram with symbolic techniques: application to testing B Bannour, C Gaston, D Servat 2011 18th Asia-Pacific Software Engineering Conference, 219-226, 2011 | 17 | 2011 |
| Representative safety assessment of autonomous vehicle for public transportation M Adedjouma, G Pedroza, B Bannour 2018 IEEE 21st International Symposium on Real-Time Distributed Computing …, 2018 | 13 | 2018 |
| An illustrative use case of the DIVERSITY platform based on UML interaction scenarios M Arnaud, B Bannour, A Lapitre Electronic Notes in Theoretical Computer Science 320, 21-34, 2016 | 12 | 2016 |
| A small-step approach to multi-trace checking against interactions E Mahe, B Bannour, C Gaston, A Lapitre, PL Gall Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1815-1822, 2021 | 10 | 2021 |
| Incremental symbolic conformance testing from UML MARTE sequence diagrams: railway use case B Bannour, C Gaston, A Lapitre, JP Escobedo 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012 | 9 | 2012 |
| Results for compositional timed testing B Bannour, C Gaston, M Aiguier, A Lapitre 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 559-564, 2013 | 7 | 2013 |
| Symbolic model-based design and generation of logical scenarios for autonomous vehicles validation B Bannour, J Niol, P Crisafulli 2021 IEEE Intelligent Vehicles Symposium (IV), 215-222, 2021 | 5 | 2021 |
| Behavioral models and scenario selection for testing IoT Trickle-based lossy multicast networks NMT Nguyen, B Bannour, A Lapitre, P Le Gall 2019 IEEE International Conference on Software Testing, Verification and …, 2019 | 5 | 2019 |
| Timed symbolic testing framework for executable models using high-level scenarios M Arnaud, B Bannour, A Cuccuru, C Gaston, S Gerard, A Lapitre Complex Systems Design & Management: Proceedings of the Fifth International …, 2015 | 5 | 2015 |
| Designing sequence diagram models for robustness to attacks B Bannour, J Escobedo, C Gaston, P Le Gall, G Pedroza 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 5 | 2014 |
| Symbolic analysis of scenario based timed models for component based systems: Compositionality results for testing B Bannour Ecole Centrale Paris, 2012 | 5 | 2012 |
| Interaction-based offline runtime verification of distributed systems E Mahe, B Bannour, C Gaston, A Lapitre, PL Gall International Conference on Fundamentals of Software Engineering, 88-103, 2023 | 4 | 2023 |
| Security weaknesses detection by symbolic analysis of scenarios B Bannour, J Escobedo, C Gaston, P Le Gall, G Pedroza 2014 21st Asia-Pacific Software Engineering Conference 1, 367-374, 2014 | 4 | 2014 |
| Finite Automata synthesis from interactions E Mahe, B Bannour, C Gaston, A Lapitre, P Le Gall Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024 | 3 | 2024 |
| Investigating process algebra models to represent structured requirements for time-sensitive CPS M Arnaud, B Bannour, A Lapitre, G Giraud SEKE 2021-THe 33rd International Conference Software Engineering & Knowledge …, 2021 | 3 | 2021 |
| Model-driven consistency verification for service-oriented applications F Rekik, B Bannour, S Dhouib, S Gérard 2015 IEEE 8th International Conference on Service-Oriented Computing and …, 2015 | 3 | 2015 |
| Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation E Mahe, B Bannour, C Gaston, A Lapitre, PL Gall arXiv preprint arXiv:2403.03083, 2024 | 2 | 2024 |
| A term-based approach for generating finite automata from interaction diagrams E Mahe, B Bannour, C Gaston, A Lapitre, PL Gall arXiv preprint arXiv:2306.02983, 2023 | 2 | 2023 |
