default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuel Oriol
Person information
- affiliation: Constructor Institute, Schaffhausen, Switzerland
- affiliation (former): University of York, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c66]Yaiza Aragonés-Soria
, Manuel Oriol:
C4Q: A Chatbot for Quantum. Q-SE@ICSE 2024: 29-36- [c65]Tamás Varga, Yaiza Aragonés-Soria, Manuel Oriol:
Quantum types: going beyond qubits and quantum gates. Q-SE@ICSE 2024: 49-52 - [c64]Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol:
Execution-Free Program Repair. SIGSOFT FSE Companion 2024: 517-521 - [c63]Li Huang, Bertrand Meyer, Manuel Oriol:
Is MCDC Really Better? Lessons from Combining Tests and Proofs. TAP 2024: 25-44 - [i9]Yaiza Aragonés-Soria, Manuel Oriol:
C4Q: A Chatbot for Quantum. CoRR abs/2402.01738 (2024) - [i8]Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol:
Execution-free Program Repair. CoRR abs/2405.01309 (2024) - 2023
- [c62]Manuel Oriol:
Tribal Capstone Project Course. FISEE 2023: 32-41 - [c61]Julia Kotovich, Manuel Oriol:
Is ChatGPT 3 Safe for Students? FISEE 2023: 100-107 - [c60]Li Huang, Bertrand Meyer, Manuel Oriol:
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ICTSS 2023: 52-70 - [i7]Li Huang, Bertrand Meyer, Manuel Oriol:
Seeding Contradiction: a fast method for generating full-coverage test suites. CoRR abs/2309.04232 (2023) - 2022
- [c59]Li Huang, Bertrand Meyer, Manuel Oriol:
Improving Counterexample Quality from Failed Program Verification. ISSRE Workshops 2022: 268-273 - [i6]Li Huang, Bertrand Meyer, Manuel Oriol:
Improving Counterexample Quality from Failed Program Verification. CoRR abs/2208.10492 (2022)
2010 – 2019
- 2018
- [c58]Apala Ray, Vipin Raj, Manuel Oriol, Aurelien Monot, Sebastian Obermeier:
Bluetooth Low Energy Devices Security Testing Framework. ICST 2018: 384-393 - 2017
- [c57]Michael Wahler, Raphael Eidenbenz, Aurelien Monot, Manuel Oriol, Thanikesavan Sivanthi:
Quality Attribute Trade-Offs in Industrial Software Systems. ICSA Workshops 2017: 251-254 - 2016
- [c56]Rachid Guerraoui, David Kozhaya, Manuel Oriol, Yvonne-Anne Pignolet:
Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems. SRDS 2016: 167-176 - [c55]Aurelien Monot, Manuel Oriol, Camille Schneider, Michael Wahler:
Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead. WICSA 2016: 201-210 - 2015
- [j7]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): 82-111 (2015) - [j6]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Subdomain-based test data generation. J. Syst. Softw. 103: 328-342 (2015) - [c54]Michael Wahler, Manuel Oriol, Aurelien Monot:
Real-time Multi-core Components for Cyber-physical Systems. CBSE 2015: 37-42 - [c53]Chandrakana Nandi, Aurelien Monot, Manuel Oriol:
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. CBSE 2015: 111-116 - [c52]Manuel Oriol, Jan Carlson, Michael Wahler:
SANCS 2015: 1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems. ECSA Workshops 2015: 14:1 - [c51]Manuel Oriol:
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island. ICST 2015: 1-2 - [p1]Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler:
RADAR: Dynamic Analysis of Upgrades in C/C++ Software. Validation of Evolving Software 2015: 85-105 - [i5]Chandrakana Nandi, Aurelien Monot, Manuel Oriol:
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. CoRR abs/1501.02336 (2015) - 2014
- [c50]Thomas Gamer, Manuel Oriol, Michael Wahler:
Increasing efficiency of M-out-of-N redundancy. ETFA 2014: 1-8 - [c49]Michael Wahler, Manuel Oriol:
Disruption-free software updates in automation systems. ETFA 2014: 1-8 - [c48]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Probability-Based Semantic Interpretation of Mutants. ICST Workshops 2014: 186-195 - [c47]Stefan Stattelmann, Manuel Oriol, Thomas Gamer:
Execution Time Analysis for Industrial Control Applications. FESCA 2014: 16-31 - 2013
- [j5]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): 184-196 (2013) - [c46]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. APSEC (1) 2013: 91-98 - [c45]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: 461-464 - [c44]Michael Wahler, Manuel Oriol, Ettore Ferranti, Aurelien Monot:
Reconciling flexibility and robustness in industrial automation systems, and living happily ever after. ETFA 2013: 1-8 - [c43]Afnan Ullah Khan, Manuel Oriol, Mariam Kiran:
Threat methodology for securing scalable video in the Cloud. ICITST 2013: 428-436 - [c42]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Using Mutation Analysis to Evolve Subdomains for Random Testing. ICST Workshops 2013: 53-62 - [c41]Manuel Oriol, Thomas Gamer, Thijmen de Gooijer, Michael Wahler, Ettore Ferranti:
Fault-tolerant fault tolerance for component-based automation systems. ISARCS 2013: 49-58 - [c40]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The search for the laws of automatic random testing. SAC 2013: 1211-1216 - [c39]Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Efficient Subdomains for Random Testing. SSBSE 2013: 251-256 - 2012
- [c38]Afnan Ullah Khan, Manuel Oriol, Mariam Kiran, Ming Jiang, Karim Djemame:
Security risks and their management in cloud computing. CloudCom 2012: 121-128 - [c37]Manuel Oriol:
Random Testing: Evaluation of a Law Describing the Number of Faults Found. ICST 2012: 201-210 - [c36]Matthew Patrick, Manuel Oriol, John A. Clark:
MESSI: Mutant Evaluation by Static Semantic Interpretation. ICST 2012: 711-719 - [c35]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: 51-60 - [c34]Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler:
Dynamic Analysis of Upgrades in C/C++ Software. ISSRE 2012: 91-100 - [c33]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol:
C to O-O Translation: Beyond the Easy Stuff. WCRE 2012: 19-28 - [e5]Walter Cazzola, Shigeru Chiba, Manuel Oriol, Gunter Saake:
Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution, RAM-SE 2012, Beijing, China, June 13, 2012. ACM 2012, ISBN 978-1-4503-1277-6 [contents] - [i4]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol:
Automatic Translation of C Source Code to Eiffel. CoRR abs/1206.5648 (2012) - [i3]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The Search for the Laws of Automatic Random Testing. CoRR abs/1211.3257 (2012) - 2011
- [j4]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): 3-28 (2011) - [c32]Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol:
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. APSEC 2011: 290-297 - [c31]Michael Wahler, Stefan Richter, Sumit Kumar, Manuel Oriol:
Non-disruptive large-scale component updates for real-time controllers. ICDE Workshops 2011: 174-178 - [c30]Stéphane Ducasse, Manuel Oriol, Alexandre Bergel:
Challenges to support automated random testing for dynamically typed languages. IWST 2011: 9:1-9:6 - [c29]Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio:
Automated Translation of Java Source Code to Eiffel. TOOLS (49) 2011: 20-35 - [i2]Marco Piccioni, Manuel Oriol, Bertrand Meyer:
Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. CoRR abs/1103.0711 (2011) - 2010
- [c28]Manuel Oriol, Sotirios Tassis:
Testing .NET Code with YETI. ICECCS 2010: 264-265 - [c27]Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol:
Satisfying Test Preconditions through Guided Object Selection. ICST 2010: 303-312 - [c26]Manuel Oriol, Faheem Ullah:
YETI on the Cloud. ICST Workshops 2010: 434-437 - [c25]Yi Wei, Bertrand Meyer, Manuel Oriol:
Is Branch Coverage a Good Measure of Testing Effectiveness? LASER Summer School 2010: 194-212
2000 – 2009
- 2009
- [c24]Michael Wahler, Stefan Richter, Manuel Oriol:
Dynamic Software Updates for Real-Time Systems. HotSWUp 2009 - [c23]Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol:
On the Effectiveness of Test Extraction without Overhead. ICST 2009: 416-425 - [c22]Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider:
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. ASE 2009: 650-654 - [e4]Manuel Oriol, Walter Cazzola, Shigeru Chiba, Gunter Saake:
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution, RAM-SE 2009, Genova, Italy, July 7, 2009. ACM 2009, ISBN 978-1-60558-548-2 [contents] - [e3]Manuel Oriol, Bertrand Meyer:
Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Lecture Notes in Business Information Processing 33, Springer 2009, ISBN 978-3-642-02570-9 [contents] - [i1]Manuel Oriol:
The Business of Selling Electronic Documents. CoRR abs/0904.3243 (2009) - 2008
- [c21]Manuel Oriol, Walter Cazzola, Shigeru Chiba, Gunter Saake:
Getting Farther on Software Evolution via AOP and Reflection. ECOOP Workshops 2008: 63-69 - [c20]Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
ARTOO: adaptive random testing for object-oriented software. ICSE 2008: 71-80 - [c19]Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81 - [c18]Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner:
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE 2008: 157-166 - [c17]Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer:
Course management with TrucStudio. ITiCSE 2008: 260-264 - [c16]Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer:
Automatic extraction of notions from course material. SIGCSE 2008: 251-255 - [e2]Walter Cazzola, Shigeru Chiba, Manuel Oriol, Gunter Saake:
RAM-SE'08-ECOOP'08 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Paphos, Cyprus, July 7, 2008. Fakultät für Informatik, Universität Magdeburg 2008 [contents] - 2007
- [j3]Andreas Leitner, Patrick Th. Eugster, Manuel Oriol, Ilinca Ciupa:
Reflecting on an Existing Programming Language . J. Object Technol. 6(9): 319-339 (2007) - [c15]Marco Piccioni, Manuel Oriol, Bertrand Meyer:
IDE-integrated Support for Schema Evolution in Object-Oriented Applications. RAM-SE 2007: 27-36 - [c14]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: 91-98 - [c13]Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Experimental assessment of random testing for object-oriented software. ISSTA 2007: 84-94 - [c12]Michela Pedroni, Manuel Oriol, Bertrand Meyer:
A framework for describing and comparing courses and curricula. ITiCSE 2007: 131-135 - [c11]Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer:
Efficient unit test case minimization. ASE 2007: 417-420 - [c10]Manuel Oriol:
Primitives for the dynamic evolution of component-based applications. SAC 2007: 1122-1123 - [c9]Michela Pedroni, Till G. Bay, Manuel Oriol, Andreas Pedroni:
Open source projects in programming courses. SIGCSE 2007: 454-458 - [c8]Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva:
Contract driven development = test driven development - writing test cases. ESEC/SIGSOFT FSE 2007: 425-434 - [e1]Walter Cazzola, Shigeru Chiba, Yvonne Coady, Stéphane Ducasse, Günter Kniesel, Manuel Oriol, Gunter Saake:
RAM-SE'07-ECOOP'07 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Berlin, Germany, July 31, 2007. Fakultät für Informatik, Universität Magdeburg 2007 [contents] - 2006
- [c7]Till G. Bay, Patrick Th. Eugster, Manuel Oriol:
Generic Component Lookup. CBSE 2006: 182-197 - [c6]Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Object distance and its application to adaptive random testing of object-oriented programs. Random Testing 2006: 55-63 - [c5]Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol:
Practical dynamic software updating for C. PLDI 2006: 72-83 - 2005
- [c4]Manuel Oriol, Michael W. Hicks:
Tagged Sets: A Secure and Transparent Coordination Medium. COORDINATION 2005: 252-267 - 2004
- [b1]Manuel Oriol:
An approach to the dynamic evolution of software systems. University of Geneva, Switzerland, 2004 - [j2]Manuel Oriol, Giovanna Di Marzo Serugendo:
Disconnected service architecture for unanticipated run-time evolution of code. IEE Proc. Softw. 151(2): 95-108 (2004) - [c3]Manuel Oriol, Michel Pawlak:
Hot-Swapping Communication Models in P2P Networks. HICSS 2004 - 2003
- [j1]Jan Vitek, Ciarán Bryce, Manuel Oriol:
Coordinating processes with secure spaces. Sci. Comput. Program. 46(1-2): 163-193 (2003) - 2002
- [c2]Manuel Oriol:
Peer Services: From Description to Invocation. AP2PC 2002: 21-32
1990 – 1999
- 1999
- [c1]Ciarán Bryce, Manuel Oriol, Jan Vitek:
A Coordination Model Agents Based on Secure Spaces. COORDINATION 1999: 4-20
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
