A Coordination Model Agents Based on Secure Spaces. - Ciarán Bryce; Manuel Oriol; Jan Vitek (COORDINATION, 1999)

Peer Services: From Description to Invocation. - Manuel Oriol (AP2PC, 2002)

Coordinating processes with secure spaces. - Jan Vitek; Ciarán Bryce; Manuel Oriol (Sci. Comput. Program., 2003)

Hot-Swapping Communication Models in P2P Networks. - Manuel Oriol; Michel Pawlak (HICSS, 2004)

Disconnected service architecture for unanticipated run-time evolution of code. - Manuel Oriol; Giovanna Di Marzo Serugendo (IEE Proc. Softw., 2004)

An approach to the dynamic evolution of software systems. - Manuel Oriol (2004)

Tagged Sets: A Secure and Transparent Coordination Medium. - Manuel Oriol; Michael W. Hicks (COORDINATION, 2005)

Generic Component Lookup. - Till G. Bay; Patrick Th. Eugster; Manuel Oriol (CBSE, 2006)

Object distance and its application to adaptive random testing of object-oriented programs. - Ilinca Ciupa; Andreas Leitner; Manuel Oriol; Bertrand Meyer 001 (Random Testing, 2006)

Practical dynamic software updating for C. - Iulian Neamtiu; Michael W. Hicks; Gareth Paul Stoyle; Manuel Oriol (PLDI, 2006)

IDE-integrated Support for Schema Evolution in Object-Oriented Applications. - Marco Piccioni; Manuel Oriol; Bertrand Meyer 001 (RAM-SE, 2007)

Enabling Software Evolution Via AOP and Reflection. - Manuel Oriol; Walter Cazzola; Shigeru Chiba; Gunter Saake; Yvonne Coady; Stéphane Ducasse; Günter Kniesel (ECOOP Workshops, 2007)

Experimental assessment of random testing for object-oriented software. - Ilinca Ciupa; Andreas Leitner; Manuel Oriol; Bertrand Meyer 001 (ISSTA, 2007)

A framework for describing and comparing courses and curricula. - Michela Pedroni; Manuel Oriol; Bertrand Meyer 001 (ITiCSE, 2007)

Efficient unit test case minimization. - Andreas Leitner; Manuel Oriol; Andreas Zeller; Ilinca Ciupa; Bertrand Meyer 001 (ASE, 2007)

Primitives for the dynamic evolution of component-based applications. - Manuel Oriol (SAC, 2007)

Open source projects in programming courses. - Michela Pedroni; Till G. Bay; Manuel Oriol; Andreas Pedroni (SIGCSE, 2007)

Contract driven development = test driven development - writing test cases. - Andreas Leitner; Ilinca Ciupa; Manuel Oriol; Bertrand Meyer 001; Arno Fiva (ESEC/SIGSOFT FSE, 2007)

Reflecting on an Existing Programming Language . - Andreas Leitner; Patrick Th. Eugster; Manuel Oriol; Ilinca Ciupa (J. Object Technol., 2007)

Getting Farther on Software Evolution via AOP and Reflection. - Manuel Oriol; Walter Cazzola; Shigeru Chiba; Gunter Saake (ECOOP Workshops, 2008)

ARTOO: adaptive random testing for object-oriented software. - Ilinca Ciupa; Andreas Leitner; Manuel Oriol; Bertrand Meyer 001 (ICSE, 2008)

On the Predictability of Random Tests for Object-Oriented Software. - Ilinca Ciupa; Alexander Pretschner; Andreas Leitner; Manuel Oriol; Bertrand Meyer 001 (ICST, 2008)

Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. - Ilinca Ciupa; Bertrand Meyer 001; Manuel Oriol; Alexander Pretschner (ISSRE, 2008)

Course management with TrucStudio. - Michela Pedroni; Manuel Oriol; Bertrand Meyer 001; Enrico Albonico; Lukas Angerer (ITiCSE, 2008)

Automatic extraction of notions from course material. - Michela Pedroni; Manuel Oriol; Bertrand Meyer 001; Lukas Angerer (SIGCSE, 2008)

Dynamic Software Updates for Real-Time Systems. - Michael Wahler; Stefan Richter 006; Manuel Oriol (HotSWUp, 2009)

On the Effectiveness of Test Extraction without Overhead. - Andreas Leitner; Alexander Pretschner; Stefan Mori; Bertrand Meyer 001; Manuel Oriol (ICST, 2009)

An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. - Marco Piccioni; Manuel Oriol; Bertrand Meyer 001; Teseo Schneider (ASE, 2009)

The Business of Selling Electronic Documents - Manuel Oriol (CoRR, 2009)

Testing .NET Code with YETI. - Manuel Oriol; Sotirios Tassis (ICECCS, 2010)

YETI on the Cloud. - Manuel Oriol; Faheem Ullah (ICST Workshops, 2010)

Satisfying Test Preconditions through Guided Object Selection. - Yi Wei 001; Serge Gebhardt; Bertrand Meyer 001; Manuel Oriol (ICST, 2010)

Is Branch Coverage a Good Measure of Testing Effectiveness? - Yi Wei 001; Bertrand Meyer 001; Manuel Oriol (LASER Summer School, 2010)

Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. - Lucas Serpa Silva; Yi Wei 001; Bertrand Meyer 001; Manuel Oriol (APSEC, 2011)

Non-disruptive large-scale component updates for real-time controllers. - Michael Wahler; Stefan Richter 006; Sumit Kumar; Manuel Oriol (ICDE Workshops, 2011)

Challenges to support automated random testing for dynamically typed languages. - Stéphane Ducasse; Manuel Oriol; Alexandre Bergel (IWST, 2011)

Automated Translation of Java Source Code to Eiffel. - Marco Trudel; Manuel Oriol; Carlo A. Furia; Martin Nordio (TOOLS (49), 2011)

Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support - Marco Piccioni; Manuel Oriol; Bertrand Meyer 001 (CoRR, 2011)

On the number and nature of faults found by random testing. - Ilinca Ciupa; Alexander Pretschner; Manuel Oriol; Andreas Leitner; Bertrand Meyer 001 (Softw. Test. Verification Reliab., 2011)

Security risks and their management in cloud computing. - Afnan Ullah Khan; Manuel Oriol; Mariam Kiran; Ming Jiang; Karim Djemame (CloudCom, 2012)

Random Testing: Evaluation of a Law Describing the Number of Faults Found. - Manuel Oriol (ICST, 2012)

MESSI: Mutant Evaluation by Static Semantic Interpretation. - Matthew Patrick; Manuel Oriol; John A. Clark (ICST, 2012)

FASA: a scalable software framework for distributed control systems. - Manuel Oriol; Michael Wahler; Robin Steiger; Sascha Stoeter; Egemen Vardar; Heiko Koziolek; Atul Kumar (ISARCS, 2012)

Dynamic Analysis of Upgrades in C/C++ Software. - Fabrizio Pastore; Leonardo Mariani; Alberto Goffi; Manuel Oriol; Michael Wahler (ISSRE, 2012)

C to O-O Translation: Beyond the Easy Stuff. - Marco Trudel; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001; Manuel Oriol (WCRE, 2012)

Automatic Translation of C Source Code to Eiffel - Marco Trudel; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001; Manuel Oriol (CoRR, 2012)

Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (APSEC (1), 2013)

PINCETTE - Validating Changes and Upgrades in Networked Software. - Hana Chockler; Giovanni Denaro; Meijia Ling; Grigory Fedyukovich; Antti Eero Johannes Hyvärinen; Leonardo Mariani; Ali Muhammad; Manuel Oriol; Ajitha Rajan; Ondrej Sery; Natasha Sharygina; Michael Tautschnig (CSMR, 2013)

Reconciling flexibility and robustness in industrial automation systems, and living happily ever after. - Michael Wahler; Manuel Oriol; Ettore Ferranti; Aurelien Monot (ETFA, 2013)

Threat methodology for securing scalable video in the Cloud. - Afnan Ullah Khan; Manuel Oriol; Mariam Kiran (ICITST, 2013)

Using Mutation Analysis to Evolve Subdomains for Random Testing. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (ICST Workshops, 2013)

Fault-tolerant fault tolerance for component-based automation systems. - Manuel Oriol; Thomas Gamer; Thijmen de Gooijer; Michael Wahler; Ettore Ferranti (ISARCS, 2013)

The search for the laws of automatic random testing. - Carlo A. Furia; Bertrand Meyer 001; Manuel Oriol; Andrey Tikhomirov; Yi Wei 001 (SAC, 2013)

Efficient Subdomains for Random Testing. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (SSBSE, 2013)

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. - Marco Piccioni; Manuel Oriol; Bertrand Meyer 001 (IEEE Trans. Software Eng., 2013)

Increasing efficiency of M-out-of-N redundancy. - Thomas Gamer; Manuel Oriol; Michael Wahler (ETFA, 2014)

Disruption-free software updates in automation systems. - Michael Wahler; Manuel Oriol (ETFA, 2014)

Probability-Based Semantic Interpretation of Mutants. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (ICST Workshops, 2014)

Execution Time Analysis for Industrial Control Applications. - Stefan Stattelmann; Manuel Oriol; Thomas Gamer (FESCA, 2014)

RADAR: Dynamic Analysis of Upgrades in C/C++ Software. - Fabrizio Pastore; Leonardo Mariani; Alberto Goffi; Manuel Oriol; Michael Wahler (Validation of Evolving Software, 2015)

Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. - Chandrakana Nandi; Aurelien Monot; Manuel Oriol (CBSE, 2015)

Real-time Multi-core Components for Cyber-physical Systems. - Michael Wahler; Manuel Oriol; Aurelien Monot (CBSE, 2015)

SANCS 2015: 1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems. - Manuel Oriol; Jan Carlson; Michael Wahler (ECSA Workshops, 2015)

Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island. - Manuel Oriol (ICST, 2015)

FASA: A software architecture and runtime framework for flexible distributed automation systems. - Michael Wahler; Thomas Gamer; Atul Kumar; Manuel Oriol (J. Syst. Archit., 2015)

Subdomain-based test data generation. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (J. Syst. Softw., 2015)

Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems. - Rachid Guerraoui; David Kozhaya; Manuel Oriol; Yvonne-Anne Pignolet (SRDS, 2016)

Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead. - Aurelien Monot; Manuel Oriol; Camille Schneider; Michael Wahler (WICSA, 2016)

Quality Attribute Trade-Offs in Industrial Software Systems. - Michael Wahler; Raphael Eidenbenz; Aurelien Monot; Manuel Oriol; Thanikesavan Sivanthi (ICSA Workshops, 2017)

Bluetooth Low Energy Devices Security Testing Framework. - Apala Ray; Vipin Raj; Manuel Oriol; Aurelien Monot; Sebastian Obermeier 001 (ICST, 2018)

Improving Counterexample Quality from Failed Program Verification. - Li Huang 001; Bertrand Meyer 001; Manuel Oriol (ISSRE Workshops, 2022)

Is ChatGPT 3 Safe for Students? - Julia Kotovich; Manuel Oriol (FISEE, 2023)

Tribal Capstone Project Course. - Manuel Oriol (FISEE, 2023)

C4Q: A Chatbot for Quantum. - Yaiza Aragonés-Soria; Manuel Oriol (Q-SE@ICSE, 2024)

Quantum types: going beyond qubits and quantum gates. - Tamás Varga; Yaiza Aragonés-Soria; Manuel Oriol (Q-SE@ICSE, 2024)

Execution-Free Program Repair. - Li Huang 001; Bertrand Meyer 001; Ilgiz Mustafin; Manuel Oriol (SIGSOFT FSE Companion, 2024)

Is MCDC Really Better? Lessons from Combining Tests and Proofs. - Li Huang 001; Bertrand Meyer 001; Manuel Oriol (TAP, 2024)

Benefits and Risks of Using ChatGPT4 as a Teaching Assistant for Computer Science Students. - Yaiza Aragonés-Soria; Julia Kotovich; Chitsutha Soomlek; Manuel Oriol (CoRR, 2024)

Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites. - Li Huang 001; Bertrand Meyer 001; Manuel Oriol (SN Comput. Sci., 2025)

Architecture for a Trustworthy Quantum Chatbot. - Yaiza Aragonés-Soria; Manuel Oriol (CoRR, 2025)