Dr. Luis Manuel Carril Rodriguez
- Wissenschaftlicher Mitarbeiter
- Sprechstunden: Nach Vereinbarung
Dissertation (2017): Predicting Errors in Concurrent Systems
| Titel | Autor | Arbeitsstatus |
|---|---|---|
| Automatische Generierung von CharakterisierungenTests | Mohamed Aymen Srasra | abgeschlossen |
| Automatische Generierung von parallelen Testfällen | Johannes Sailer | abgeschlossen |
| Filterung zur Minimierung unkritischer Operationen und false positives in Programmabläufen | Christoph Hennebold | abgeschlossen |
| Modellbasierte Generierung von Nebenläufigkeitstests | Sven Meisinger | abgeschlossen |
| Wettlauferkennung mittels Symbolischer Ausführung | Philipp Schmurr | abgeschlossen |
| Extraktion von Verhaltensmodell von Multithread-Programm | veraltet |
| Titel | Kurzbeschreibung |
|---|---|
| Forschungsprojekt AParT - Entwurfsmustergestütze Anwendungsparallelisierung | Entwurfsmustergestützte Anwendungsparallelisierung |
| QualiCore | Sicherung der Softwarequalität von Multicore-Anwendungen |