| 2024 | TAP | Is MCDC Really Better? Lessons from Combining Tests and Proofs. | Li Huang, Bertrand Meyer, Manuel Oriol |
| 2022 | ISSRE | Improving Counterexample Quality from Failed Program Verification. | Li Huang, Bertrand Meyer, Manuel Oriol |
| 2018 | ICST | Bluetooth Low Energy Devices Security Testing Framework. | Apala Ray, Vipin Raj, Manuel Oriol, Aurelien Monot, Sebastian Obermeier |
| 2017 | ICSA | Quality Attribute Trade-Offs in Industrial Software Systems. | Michael Wahler, Raphael Eidenbenz, Aurelien Monot, Manuel Oriol, Thanikesavan Sivanthi |
| 2016 | SRDS | Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems. | Rachid Guerraoui, David Kozhaya, Manuel Oriol, Yvonne-Anne Pignolet |
| 2015 | ECSA | SANCS 2015: 1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems. | Manuel Oriol, Jan Carlson, Michael Wahler |
| 2015 | ICST | Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island. | Manuel Oriol |
| 2014 | ETFA | Increasing efficiency of M-out-of-N redundancy. | Thomas Gamer, Manuel Oriol, Michael Wahler |
| 2014 | ETFA | Disruption-free software updates in automation systems. | Michael Wahler, Manuel Oriol |
| 2014 | ICST | Probability-Based Semantic Interpretation of Mutants. | Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark |
| 2013 | APSEC | Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. | Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark |
| 2013 | ETFA | Reconciling flexibility and robustness in industrial automation systems, and living happily ever after. | Michael Wahler, Manuel Oriol, Ettore Ferranti, Aurelien Monot |
| 2013 | ICST | Using Mutation Analysis to Evolve Subdomains for Random Testing. | Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark |
| 2013 | SAC | The search for the laws of automatic random testing. | Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei |
| 2013 | SSBSE | Efficient Subdomains for Random Testing. | Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark |
| 2012 | CloudCom | Security risks and their management in cloud computing. | Afnan Ullah Khan, Manuel Oriol, Mariam Kiran, Ming Jiang, Karim Djemame |
| 2012 | ICST | Random Testing: Evaluation of a Law Describing the Number of Faults Found. | Manuel Oriol |
| 2012 | ICST | MESSI: Mutant Evaluation by Static Semantic Interpretation. | Matthew Patrick, Manuel Oriol, John A. Clark |
| 2012 | ISSRE | Dynamic Analysis of Upgrades in C/C++ Software. | Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler |
| 2011 | APSEC | Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. | Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol |
| 2011 | ICDE | Non-disruptive large-scale component updates for real-time controllers. | Michael Wahler, Stefan Richter, Sumit Kumar, Manuel Oriol |
| 2010 | ICECCS | Testing .NET Code with YETI. | Manuel Oriol, Sotirios Tassis |
| 2010 | ICST | YETI on the Cloud. | Manuel Oriol, Faheem Ullah |
| 2010 | ICST | Satisfying Test Preconditions through Guided Object Selection. | Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol |
| 2009 | ICST | On the Effectiveness of Test Extraction without Overhead. | Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol |
| 2008 | ICSE | ARTOO: adaptive random testing for object-oriented software. | Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2008 | ICST | On the Predictability of Random Tests for Object-Oriented Software. | Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2008 | ISSRE | Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. | Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner |
| 2008 | ITiCSE | Course management with TrucStudio. | Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer |
| 2008 | SIGCSE | Automatic extraction of notions from course material. | Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer |
| 2007 | ECOOP | IDE-integrated Support for Schema Evolution in Object-Oriented Applications. | Marco Piccioni, Manuel Oriol, Bertrand Meyer |
| 2007 | ISSTA | Experimental assessment of random testing for object-oriented software. | Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2007 | ITiCSE | A framework for describing and comparing courses and curricula. | Michela Pedroni, Manuel Oriol, Bertrand Meyer |
| 2007 | SAC | Primitives for the dynamic evolution of component-based applications. | Manuel Oriol |
| 2007 | SIGCSE | Open source projects in programming courses. | Michela Pedroni, Till G. Bay, Manuel Oriol, Andreas Pedroni |
| 2006 | ISSTA | Object distance and its application to adaptive random testing of object-oriented programs. | Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2006 | PLDI | Practical dynamic software updating for C. | Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol |
| 2005 | Coordination | Tagged Sets: A Secure and Transparent Coordination Medium. | Manuel Oriol, Michael W. Hicks |
| 1999 | Coordination | A Coordination Model Agents Based on Secure Spaces. | Ciarn Bryce, Manuel Oriol, Jan Vitek |