OC-Mitglied QuoMBaT 2013
stellv. Sprecher des GI-Arbeitskreises TOOP/MBT
Im Team der Model-Based-Testing-Community
(Das Forum über den Modellprüfer SPIN wird nun von spinroot (Gerard Holzmann) betreut) 
 |
|
|
|
wiss. Mitarbeiter Room: 308 Phone: +49 721 608-47322 Fax: +49 721 608-44211 faragoHxr0∂kit edu |
Am Fasanengarten 5 Gebäude 50.34 D-76131 Karlsruhe |
|
Aktivitäten in der Wissenschaftlichen Gesellschaft
Projekte
FYS: Combining formal verification with testing
| Title | Image | Source | Date |
|---|---|---|---|
| Wann lohnt sich modellbasiertes Testen? | OBJEKTspektrum, Ausgabe 04/13 |
Juli 2013 | |
| Improved On-The-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for DFS-FIFO | 5th NASA Formal Methods Symposium (NFM 201) | May 14-16, 2013 | |
| Modellbasiertes Testen: Hype oder Realität? | Objekt Spektrum, Ausgabe 06/2011, Aktuelle Trends. |
28.10.2011 | |
| Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing | 31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), am 3. und 4. Februar 2011 in Paderborn. Testing in modern IT-Contexts, ROI und KPIs des Testens. |
03. Februar 2011 | |
| Improved Underspecification for Model-based Testing in Agile Development | Lecture Notes in Informatics (LNI) Volume P-179 - Proceedings of the Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). |
17. September 2010 | |
| Coverage Criteria for Nondeterministic Systems | testing experience, The Magazine for Professional Testers; 3/2010: Metrics, pages 104-106; Díaz & Hilterscheid, September 2010; ISSN 1866-5705. |
September 2010 | |
| Correctness of Sensor Network Applications by Software Bounded Model Checking | Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. LNCS 6371, Springer, 2010. |
September 20-21, 2010. | |
| Model-based Testing in Agile Software Development | 30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), Testing meets Agility |
17.06.2010 | |
| Improving Non-Progress Cycle Checks | Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. LNCS, vol. 5578, pp. 50-67. Springer, Heidelberg (2009). |
| Title | Research topic | Supervisor | Author |
|---|---|---|---|
| Average-Case Analyse randomisierter Algorithmen | Dr. Thomas Worsch |
||
| Model Checking of Randomized Leader Election Algorithms |
| Titel | Typ | Autor | Jahr |
|---|---|---|---|
| Eine Fallstudie zu modellbasiertem Testen von Webservices | Diplomarbeit | Alexander Pascanu |
2010 |
| Title | Type | Place | Time |
|---|---|---|---|
| Praktikum Formale Entwicklung objektorientierter Software | Praktikum (P) | 17.10.2012 17:30-19:00 50.34 Raum 301 24.10.2012 17:30-19:00 50.34 Raum 301 31.10.2012 17:30-19:00 50.34 Raum 301 07.11.2012 17:30-19:00 50.34 Raum 301 14.11.2012 17:30-19:00 50.34 Raum 301 21.11.2012 17:30-19:00 50.34 Raum 301 28.11.2012 17:30-19:00 50.34 Raum 301 05.12.2012 17:30-19:00 50.34 Raum 301 12.12.2012 17:30-19:00 50.34 Raum 301 19.12.2012 17:30-19:00 50.34 Raum 301 02.01.2013 17:30-19:00 50.34 Raum 301 09.01.2013 17:30-19:00 50.34 Raum 301 16.01.2013 17:30-19:00 50.34 Raum 301 23.01.2013 17:30-19:00 50.34 Raum 301 30.01.2013 17:30-19:00 50.34 Raum 301 06.02.2013 17:30-19:00 50.34 Raum 301 |
|
| Formale Systeme | Vorlesung / Übung (VÜ) | 18.10.2012 14:00-15:30 30.22 Gaede 19.10.2012 11:30-13:00 30.22 Gaede 25.10.2012 14:00-15:30 30.22 Gaede 26.10.2012 11:30-13:00 30.22 Gaede 02.11.2012 11:30-13:00 30.22 Gaede 08.11.2012 14:00-15:30 30.22 Gaede 09.11.2012 11:30-13:00 30.22 Gaede 15.11.2012 14:00-15:30 30.22 Gaede 16.11.2012 11:30-13:00 30.22 Gaede 22.11.2012 14:00-15:30 30.22 Gaede 23.11.2012 11:30-13:00 30.22 Gaede 29.11.2012 14:00-15:30 30.22 Gaede 30.11.2012 11:30-13:00 30.22 Gaede 06.12.2012 14:00-15:30 30.22 Gaede 07.12.2012 11:30-13:00 30.22 Gaede 13.12.2012 14:00-15:30 30.22 Gaede 14.12.2012 11:30-13:00 30.22 Gaede 20.12.2012 14:00-15:30 30.22 Gaede 21.12.2012 11:30-13:00 30.22 Gaede 27.12.2012 14:00-15:30 30.22 Gaede 28.12.2012 11:30-13:00 30.22 Gaede 03.01.2013 14:00-15:30 30.22 Gaede 04.01.2013 11:30-13:00 30.22 Gaede 10.01.2013 14:00-15:30 30.22 Gaede 11.01.2013 11:30-13:00 30.22 Gaede 17.01.2013 14:00-15:30 30.22 Gaede 18.01.2013 11:30-13:00 30.22 Gaede 24.01.2013 14:00-15:30 30.22 Gaede 25.01.2013 11:30-13:00 30.22 Gaede 31.01.2013 14:00-15:30 30.22 Gaede 01.02.2013 11:30-13:00 30.22 Gaede 07.02.2013 14:00-15:30 30.22 Gaede 08.02.2013 11:30-13:00 30.22 Gaede |
|
| Praktikum Formale Entwicklung objektorientierter Software | Praktikum (P) | 26.10.2011 13:00-14:00 Raum 211 |
|
| Seminar Formale Systeme und Methoden | Seminar (S) | ||
| Formale Systeme | Vorlesung / Übung (VÜ) | Do, 14:00-15:30 |
|
| Formal Methods: Best of 2010 | Seminar | Blockveranstaltung am Semesterende |
|
| Formale Entwicklung objektorientierter Software (WS 10/11) | Praktikum | Raum 305 |
Fr, 14.00 - 15.30 |
| Formale Programmentwicklung (SS 10) | Seminar | Blockveranstaltung am Semesterende |
|
| Formale Entwicklung objektorientierter Software (WS 09/10) | Praktikum | Raum 305 | Mo, 14.00 - 15.30 |
| Modellprüfung und modellbasiertes Testen (SS 09) | Seminar | Blockveranstaltung am Semesterende |
|
| Formale Modellierung in Sensornetzen (SS 08) | Seminar | ||
| Formale Systeme (WS 07/08) | Vorlesung |
