| 2024 | PST | Privbench: A Benchmark Capturing Privilege Escalation Vulnerabilities in Android. | Mohammed El Amin Tebib, Oum-El-Kheir Aktouf, Pascal Andr, Mariem Graa |
| 2023 | DASC | PrivDroid: Android Security Code Smells Tool for Privilege Escalation Prevention. | Mohammed El Amin Tebib, Pascal Andr, Mariem Graa, Oum-El-Kheir Aktouf |
| 2023 | ISSRE | DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. | Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal Andr, Yves Ledru |
| 2021 | EDCC | Assisting Developers in Preventing Permissions Related Security Issues in Android Applications. | Mohammed El Amin Tebib, Pascal Andr, Oum-El-Kheir Aktouf, Mariem Graa |
| 2021 | MEDI | More Automation in Model Driven Development. | Pascal Andr, Mohammed El Amin Tebib |
| 2020 | MODELSWARD | Refining Automation System Control with MDE. | Pascal Andr, Mohammed El Amin Tebib |
| 2019 | MODELS | Shall We Test Service-Based Models or Generated Code? | Jean-Marie Mottu, Pascal Andr, Maxence Coutant, Tom Le Berre |
| 2019 | MODELSWARD | Case Studies in Model-Driven Reverse Engineering. | Pascal Andr |
| 2018 | MEDI | Systematic Construction of Critical Embedded Systems Using Event-B. | Pascal Andr, J. Christian Attiogb, Arnaud Lanoix |
| 2018 | MODELSWARD | Virtual Extension of Meta-models with Facet Tools. | Jonathan Pepin, Pascal Andr, J. Christian Attiogb, Erwan Breton |
| 2018 | MODELSWARD | Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. | Jonathan Pepin, Pascal Andr, J. Christian Attiogb, Erwan Breton |
| 2017 | MODELSWARD | Combining Techniques to Verify Service-based Components. | Pascal Andr, J. Christian Attiogb, Jean-Marie Mottu |
| 2016 | CaiSE | A Facet-based Model Mapping Method for EA Alignment and Evolution. | Jonathan Pepin, Pascal Andr, J. Christian Attiogb, Erwan Breton |
| 2016 | ISSTA | COSTOTest: a tool for building and running test harness for service-based component models (demo). | Pascal Andr, Jean-Marie Mottu, Gerson Suny |
| 2013 | MODELS | Building Test Harness From Service-based Component Models. | Pascal Andr, Jean-Marie Mottu, Gilles Ardourel |
| 1992 | OOPSLA | Optimizing Method Search with Lookup Caches and Incremental Coloring. | Pascal Andr, Jean-Claude Royer |