Manuel Oriol - RankMe

95 papers A* 4A 12B 5C 9Misc 2Journal 22Unranked 34

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