Manuel Oriol

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 15

Top Topics

Semantic Interpretation

Anytime Algorithms

Software Architecture

Top Venues

Publications

Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
Execution-free Program Repair. CoRR (2024)
Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
Execution-Free Program Repair. SIGSOFT FSE Companion (2024)
Yaiza Aragonés-Soria, Manuel Oriol
C4Q: A Chatbot for Quantum. CoRR (2024)
Tamás Varga, Yaiza Aragonés-Soria, Manuel Oriol
Quantum types: going beyond qubits and quantum gates. Q-SE@ICSE (2024)
Yaiza Aragonés-Soria, Manuel Oriol
C4Q: A Chatbot for Quantum. Q-SE@ICSE (2024)
Manuel Oriol
Tribal Capstone Project Course. FISEE (2023)
Julia Kotovich, Manuel Oriol
Is ChatGPT 3 Safe for Students? FISEE (2023)
Li Huang, Bertrand Meyer, Manuel Oriol
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ICTSS (2023)
Li Huang, Bertrand Meyer, Manuel Oriol
Seeding Contradiction: a fast method for generating full-coverage test suites. CoRR (2023)
Li Huang, Bertrand Meyer, Manuel Oriol
Improving Counterexample Quality from Failed Program Verification. ISSRE Workshops (2022)
Li Huang, Bertrand Meyer, Manuel Oriol
Improving Counterexample Quality from Failed Program Verification. CoRR (2022)
Apala Ray, Vipin Raj, Manuel Oriol, Aurelien Monot, Sebastian Obermeier
Bluetooth Low Energy Devices Security Testing Framework. ICST (2018)
Michael Wahler, Raphael Eidenbenz, Aurelien Monot, Manuel Oriol, Thanikesavan Sivanthi
Quality Attribute Trade-Offs in Industrial Software Systems. ICSA Workshops (2017)
Aurelien Monot, Manuel Oriol, Camille Schneider, Michael Wahler
Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead. WICSA (2016)
Rachid Guerraoui, David Kozhaya, Manuel Oriol, Yvonne-Anne Pignolet
Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems. SRDS (2016)
Michael Wahler, Thomas Gamer, Atul Kumar, Manuel Oriol
FASA: A software architecture and runtime framework for flexible distributed automation systems. J. Syst. Archit. 61 (2) (2015)
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. CoRR (2015)
Manuel Oriol, Jan Carlson, Michael Wahler
SANCS 2015: 1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems. ECSA Workshops (2015)
Manuel Oriol
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island. ICST (2015)
Michael Wahler, Manuel Oriol, Aurelien Monot
Real-time Multi-core Components for Cyber-physical Systems. CBSE (2015)
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. CBSE (2015)
Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
Subdomain-based test data generation. J. Syst. Softw. 103 (2015)
Stefan Stattelmann, Manuel Oriol, Thomas Gamer
Execution Time Analysis for Industrial Control Applications. FESCA (2014)
Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
Probability-Based Semantic Interpretation of Mutants. ICST Workshops (2014)
Michael Wahler, Manuel Oriol
Disruption-free software updates in automation systems. ETFA (2014)
Thomas Gamer, Manuel Oriol, Michael Wahler
Increasing efficiency of M-out-of-N redundancy. ETFA (2014)
Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
Using Mutation Analysis to Evolve Subdomains for Random Testing. ICST Workshops (2013)
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
The search for the laws of automatic random testing. SAC (2013)
Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
Efficient Subdomains for Random Testing. SSBSE (2013)
Manuel Oriol, Thomas Gamer, Thijmen de Gooijer, Michael Wahler, Ettore Ferranti
Fault-tolerant fault tolerance for component-based automation systems. ISARCS (2013)
Marco Piccioni, Manuel Oriol, Bertrand Meyer
Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. IEEE Trans. Software Eng. 39 (2) (2013)
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
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR (2013)
Michael Wahler, Manuel Oriol, Ettore Ferranti, Aurelien Monot
Reconciling flexibility and robustness in industrial automation systems, and living happily ever after. ETFA (2013)
Afnan Ullah Khan, Manuel Oriol, Mariam Kiran
Threat methodology for securing scalable video in the Cloud. ICITST (2013)
Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. APSEC (1) (2013)
Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler
Dynamic Analysis of Upgrades in C/C++ Software. ISSRE (2012)
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
C to O-O Translation: Beyond the Easy Stuff. WCRE (2012)
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
The Search for the Laws of Automatic Random Testing CoRR (2012)
Manuel Oriol, Michael Wahler, Robin Steiger, Sascha Stoeter, Egemen Vardar, Heiko Koziolek, Atul Kumar
FASA: a scalable software framework for distributed control systems. ISARCS (2012)
Matthew Patrick, Manuel Oriol, John A. Clark
MESSI: Mutant Evaluation by Static Semantic Interpretation. ICST (2012)
Afnan Ullah Khan, Manuel Oriol, Mariam Kiran, Ming Jiang, Karim Djemame
Security risks and their management in cloud computing. CloudCom (2012)
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
Automatic Translation of C Source Code to Eiffel CoRR (2012)
Manuel Oriol
Random Testing: Evaluation of a Law Describing the Number of Faults Found. ICST (2012)
Stéphane Ducasse, Manuel Oriol, Alexandre Bergel
Challenges to support automated random testing for dynamically typed languages. IWST (2011)
Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. APSEC (2011)
Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio
Automated Translation of Java Source Code to Eiffel. TOOLS (49) (2011)
Michael Wahler, Stefan Richter, Sumit Kumar, Manuel Oriol
Non-disruptive large-scale component updates for real-time controllers. ICDE Workshops (2011)
Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer
On the number and nature of faults found by random testing. Softw. Test. Verification Reliab. 21 (1) (2011)
Marco Piccioni, Manuel Oriol, Bertrand Meyer
Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support CoRR (2011)
Yi Wei, Bertrand Meyer, Manuel Oriol
Is Branch Coverage a Good Measure of Testing Effectiveness? LASER Summer School (2010)
Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol
Satisfying Test Preconditions through Guided Object Selection. ICST (2010)
Manuel Oriol, Faheem Ullah
YETI on the Cloud. ICST Workshops (2010)
Manuel Oriol, Sotirios Tassis
Testing .NET Code with YETI. ICECCS (2010)
Manuel Oriol
The Business of Selling Electronic Documents CoRR (2009)
Michael Wahler, Stefan Richter, Manuel Oriol
Dynamic Software Updates for Real-Time Systems. HotSWUp (2009)
Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol
On the Effectiveness of Test Extraction without Overhead. ICST (2009)
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. ASE (2009)
Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE (2008)
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer
Course management with TrucStudio. ITiCSE (2008)
Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer
On the Predictability of Random Tests for Object-Oriented Software. ICST (2008)
Manuel Oriol, Walter Cazzola, Shigeru Chiba, Gunter Saake
Getting Farther on Software Evolution via AOP and Reflection. ECOOP Workshops (2008)
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer
Automatic extraction of notions from course material. SIGCSE (2008)
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
ARTOO: adaptive random testing for object-oriented software. ICSE (2008)
Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva
Contract driven development = test driven development - writing test cases. ESEC/SIGSOFT FSE (2007)
Michela Pedroni, Manuel Oriol, Bertrand Meyer
A framework for describing and comparing courses and curricula. ITiCSE (2007)
Andreas Leitner, Patrick Th. Eugster, Manuel Oriol, Ilinca Ciupa
Reflecting on an Existing Programming Language . J. Object Technol. 6 (9) (2007)
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
Experimental assessment of random testing for object-oriented software. ISSTA (2007)
Manuel Oriol, Walter Cazzola, Shigeru Chiba, Gunter Saake, Yvonne Coady, Stéphane Ducasse, Günter Kniesel
Enabling Software Evolution Via AOP and Reflection. ECOOP Workshops (2007)
Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer
Efficient unit test case minimization. ASE (2007)
Manuel Oriol
Primitives for the dynamic evolution of component-based applications. SAC (2007)
Marco Piccioni, Manuel Oriol, Bertrand Meyer
IDE-integrated Support for Schema Evolution in Object-Oriented Applications. RAM-SE (2007)
Michela Pedroni, Till G. Bay, Manuel Oriol, Andreas Pedroni
Open source projects in programming courses. SIGCSE (2007)
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
Object distance and its application to adaptive random testing of object-oriented programs. Random Testing (2006)
Till G. Bay, Patrick Th. Eugster, Manuel Oriol
Generic Component Lookup. CBSE (2006)
Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol
Practical dynamic software updating for C. PLDI (2006)
Manuel Oriol, Michael W. Hicks
Tagged Sets: A Secure and Transparent Coordination Medium. COORDINATION (2005)
Manuel Oriol, Michel Pawlak
Hot-Swapping Communication Models in P2P Networks. HICSS (2004)
Manuel Oriol, Giovanna Di Marzo Serugendo
Disconnected service architecture for unanticipated run-time evolution of code. IEE Proc. Softw. 151 (2) (2004)
Jan Vitek, Ciarán Bryce, Manuel Oriol
Coordinating processes with secure spaces. Sci. Comput. Program. 46 (1-2) (2003)
Manuel Oriol
Peer Services: From Description to Invocation. AP2PC (2002)
Ciarán Bryce, Manuel Oriol, Jan Vitek
A Coordination Model Agents Based on Secure Spaces. COORDINATION (1999)