E-LIB Suche - Ergebnisse für: Oriol, Manuel

1

C4Q: A Chatbot for Quantum:

, In: Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering,

Aragonés-Soria, Yaiza ; Oriol, Manuel - p. 29-36 , 2024

Link: https://dl.acm.org/doi/1..

2

Execution-Free Program Repair:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,

Huang, Li ; Meyer, Bertrand ; Mustafin, Ilgiz. - p. 517-521 , 2024

Link: https://dl.acm.org/doi/1..

3

Quantum types: going beyond qubits and quantum gates:

, In: Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering,

Varga, Tamás ; Aragonés-Soria, Yaiza ; Oriol, Manuel - p. 49-52 , 2024

Link: https://dl.acm.org/doi/1..

4

Tribal Capstone Project Course:

, In: Frontiers in Software Engineering Education; Lecture Notes in Computer Science,

Oriol, Manuel - p. 32-41 , 2023

Link: https://doi.org/10.1007/..

5

Seeding Contradiction: A Fast Method for Generating Full-Co..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,

Huang, Li ; Meyer, Bertrand ; Oriol, Manuel - p. 52-70 , 2023

Link: https://doi.org/10.1007/..

6

Is ChatGPT 3 Safe for Students?:

, In: Frontiers in Software Engineering Education; Lecture Notes in Computer Science,

Kotovich, Julia ; Oriol, Manuel - p. 100-107 , 2023

Link: https://doi.org/10.1007/..

7

Improving Counterexample Quality from Failed Program Verifi..:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Huang, Li ; Meyer, Bertrand ; Oriol, Manuel - p. 268-273 , 2022

Link: https://doi.org/10.1109/..

8

SP755IMPACT OF CYTOMEGALOVIRUS INFECTION ON LONG-TERM ALLOG..:

Halfon, Matthieu ; Tison, Roxanne ; Pascual, Manuel.
Nephrology Dialysis Transplantation. 32 (2017) suppl_3 - p. iii398-iii398 , 2017

Link: https://doi.org/10.1093/..

9

Subdomain-based test data generation:

Patrick, Matthew ; Alexander, Rob ; Oriol, Manuel.
Journal of Systems and Software. 103 (2015) - p. 328-342 , 2015

Link: https://doi.org/10.1016/..

10

SANCS 2015 : 1st International Workshop on Software Arch..:

, In: Proceedings of the 2015 European Conference on Software Architecture Workshops,

Oriol, Manuel ; Carlson, Jan ; Wahler, Michael - p. 1 ff. , 2015

Link: https://dl.acm.org/doi/1..

11

Real-time Multi-core Components for Cyber-physical Systems:

, In: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering,

Wahler, Michael ; Oriol, Manuel ; Monot, Aurélien - p. 37-42 , 2015

Link: https://dl.acm.org/doi/1..

12

Stochastic Contracts for Runtime Checking of Component-base..:

, In: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering,

Nandi, Chandrakana ; Monot, Aurélien ; Oriol, Manuel - p. 111-116 , 2015

Link: https://dl.acm.org/doi/1..

13

FASA: A software architecture and runtime framework for fle..:

Wahler, Michael ; Gamer, Thomas ; Kumar, Atul.
Journal of Systems Architecture. 61 (2015) 2 - p. 82-111 , 2015

Link: https://doi.org/10.1016/..

14

Fault-tolerant fault tolerance for component-based automati..:

, In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems,

Oriol, Manuel ; Gamer, Thomas ; de Gooijer, Thijmen.. - p. 49-58 , 2013

Link: https://dl.acm.org/doi/1..

15

The search for the laws of automatic random testing:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,

Furia, Carlo A. ; Meyer, Bertrand ; Oriol, Manuel.. - p. 1211-1216 , 2013

Link: https://dl.acm.org/doi/1..