| 2024 | ICSE | Integrating Canvas and GitLab to Enrich Learning Processes. | Laura Schauer, Robert J. Stewart, Manuel Maarek |
| 2020 | ESORICS | Tracking Mixed Bitcoins. | Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just |
| 2018 | OOPSLA | Observing the Uptake of a Language Change Making Strings Immutable. | Manuel Maarek |
| 2017 | SAFECOMP | Attack Modeling for System Security Analysis - (Position Paper). | Abdullah Altawairqi, Manuel Maarek |
| 2015 | ICSE | Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. | Damien Doligez, Christle Faure, Thrse Hardin, Manuel Maarek |
| 2015 | ICSE | Improving Predictability, Efficiency and Trust of Model-Based Proof Activity. | Jean-Frdric tienne, Manuel Maarek, Florent Anseaume, Vronique Delebarre |
| 2010 | ICSE | Liability in software engineering: overview of the LISE approach and illustration on a case study. | Daniel Le Mtayer, Manuel Maarek, Valrie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stphane Frnot, Ronan Hardouin |