[Programmkomitees] [Frühere Lehre] [Frühere Projekte] [Frühere Organisation] [Publikationen]
Forschungsinteressen
Sicherheit verteilter Daten und Systeme, Systems&Software Engineering, Nutzungskontrolle (Demo-Videos), Datenschutz, Modellbasiertes Testen, Automatisierte Testfallerzeugung, Modellbasierte Entwicklung
- Programmieren
- Übungen zum Modul Programmieren
- Security Engineering
- Seminar Sichere IT-Systeme
- Oberseminar
- Internet Privacy (BMBF, 2011-2013)
- Peer Energy Cloud (BMWi, 2011-2014)
- Kompetenzzentrum für Angewandte Sicherheitsforschung (BMBF, 2011-2015)
- System-wide cross-layer data-driven usage control (DFG, 2010-2012)
- Secure Provision and Consumption in the Internet of Services (EU-STREP, 2010-2013)
- Towards Operational Privacy (Google Research Award, 2010-2011)
- Distributed Usage Control for the Cloud (Google Focused Research Award, 2010-2011)
- Distributed Usage Control (Fraunhofer Attract, 2008-2013)
- Co-Organisation Workshop Data Usage Management on the Web
- Professor in Karlsruhe seit 2010
- Mitherausgeber, IEEE Transactions on Dependable and Secure Computing, seit 2011
- Mitherausgeber, The Journal of Software Testing, Verification and Reliability, seit 2011
- Mitherausgeber, The Journal of Software and Systems Modeling, seit 2007
- Mitglied des Steering Committee der Workshops zum Security Testing, seit 2010
- Mitglied des Conference Board, Swiss Testing Day, 2007-2009
- Mitglied des Steering Committee der Workshops zu Advances in Model-based Software Testing, seit 2008
- Mitglied des Steering Committee der Workshops zu Model-Driven Engineering, Verification and Validation, 2006-2008
- Google Focused Research Award “Usage Control in the Cloud”, 2010, 2012
- Google Research Award “Towards Operational Privacy”, 2010
- Fraunhofer Attract-Projekt “Distributed Usage Control”, seit 2008
- Outstanding Paper Award, CODASPY 2012
Best paper award, Periode 2010/2011 des DFG SPP 1496
Best paper award, ICST 2008
Best paper award, ICSNC 2006 - Mitherausgeber IEEE Transactions on Dependable and Secure Computing seit 2011, The Journal of Software Testing, Verification and Reliability seit 2011, The Journal of Software and Systems Modeling seit 2007
- Gastprofessuren in Rennes, Innsbruck, Trento, 2007
Anerkennung für Studierende
- ObjektForum Förderpreis 2011, Tobias Wüchner
- Beste Masterarbeit am Fraunhofer IESE 2011, Cornelius Moucha
- Wissenschaftspreis des Landesbeauftragten für Datenschutz Rheinland-Pfalz 2009, Stefan Willenbrock
Programmkomitees seit 2011 (Auswahl)
- MODELS 2012, SERE 2012, TAIC-PART 2012, SACMAT 2012, CODASPY 2012, ICST 2012, ICSE 2012 tutorial track, QSIC 2012, SE 2012, German Testing Day 2011, OGK 2011, ESEC/FSE 2011 technical briefings, STM 2011, ICST 2011, ASIACCS 2011, QSIC 2011, SACMAT 2011, AST 2011, VG+ODRL 2011, SE 2011, TAIC-PART 2011, SSIRI 2011
- SS 11: Security Engineering Lab
- SS 11: Advanced Topics of Software Testing
- SS 11: Übungen zum Modul Programmieren
- SS 11: Seminar Sichere IT-Systeme
- SS 11:Oberseminar
- WS 10/11: Programmieren, KIT
- WS 10/11: Security Engineering, KIT
- SS 10: Security Engineering, TU Kaiserslautern
- WS 09/10: Security Engineering Lab, TU Kaiserslautern
- WS 09/10: Advanced Topics of Software Testing, TU Kaiserslautern
- SS 09: Security Engineering, TU Kaiserslautern
- WS 08: Advanced Topics of Software Testing, TU Kaiserslautern
- WS08: Software Engineering Seminar, TU Kaiserslautern
- FS 08: Software Testing, ETH Zürich
- HS 07: Security Engineering, ETH Zürich; mit David Basin
- SS 07: Software Testing, ETH Zürich
- WS 06/07: Security Engineering, ETH Zürich; mit David Basin
- WS 04/05: Security Engineering, ETH Zürich; mit Heiko Mantel
- SS 03: Hauptseminar "Modellbasierte Implementierung eingebetteter SW-Systeme", TU München
- SS 02:Hauptseminar"Software-Test", TU München
- SS 01:Hauptseminar"Design hybrider, eingebetteter Systeme", TU München
Am Fraunhofer IESE und an der TU Kaiserslautern:
- Distributed Usage Control (Fraunhofer Attract, 2008-2013)
- Managing Assurance, Security and Trust for Services (MASTER); EU FP7 Integrated Project; läuft
- Distributed Usage Control Enforcement, with DoCoMo Euro-Labs; abeschlossen
An der ETH Zürich:
- Managing Assurance, Security and Trust for Services (MASTER); EU FP7 Integrated Project; läuft
- Distributed Usage Control Enforcement, with DoCoMo Euro-Labs; abgeschlossen
- Enforcement for Usage Control, with DoCoMo Euro-Labs; läuft
This project is concerned with understanding and modeling client-side enforcement mechanisms for usage control requirements, and with developing a server-side architecture that is capable of applying a wide range of such mechanisms. Results include this survey of control mechanisms and the definition of a specification language for obligations together with a system model for distributed usage control. - Usage Control Requirements in Mobile and Ubiquitous Computing Applications, with DoCoMo Euro-Labs; abgeschlossen
This project was concerned with understanding usage control requirements in mobile and ubiquitous computing applications. Requirements elicitation was done on the grounds of structured interviews and a literature survey. - Requirements for Distributed Usage Control, with Siemens (CH); abgeschlossen
This project was concerned with the understanding of general usage control requirements. Requirements elicitation was done on the grounds of structured interviews and a literature survey.
An der TU München:
- AutoFocus Model and Model-Based Testing of the MOST Network Master, with BMW; abgeschlossen
- Formal Smartcard Testing, with Giesecke&Devrient and Validas AG; abgeschlossen
- Incremental Design of Reactive Systems, funded by DFG; abgeschlossen
- Model based development of safety critical systems, with Validas and EADS-M; abgeschlossen
- Continuous-discrete systems: Integrated Mathematical Modeling of Machines (DFG-Schwerpunktprogramm KONDISK); abgeschlossen
An der University of Kansas:
- Ontology Based Informing Web Agent Navigation, funded by NSF; completed. I was working on distribution/communication issues and personalization.
An der RWTH Aachen:
- Functional Logic Programming: TasteCurry; completed; now PAKCS. I was working on the module system. Check out my (German) thesis on Higher Order Narrowing, Curry's operational semantics!
- Octree-based hexahedral mesh generation: HexaMesh; completed. My contribution was an optimized version of the octree generator.
- German Testing Day 2011
- General Co-Chair der 4th International Conference on Software Testing, Verification, and Validation, 2011 (mit Ina Schieferdecker)
- General Co-Chair des 6th Workshop on Security and Trust Management (mit Gilles Barthe)
- Co-Organisator eines Dagstuhl seminars zu Model-Based Testing in Practice, 2010 (mit Rob Hierons und Wolfgang Grieskamp)
- Organisation eines Dagstuhl-Seminars über Distributed Usage Control, 2010 (mit Marianne Winslett, Sandro Etalle, Ravi Sandhu)
- Organisation des 2nd Workshop on Constraints in Software Testing, Verification and Analysis
- Organisation des ZISC-Workshops über Advanced Topics of Access and Usage Control, 2008
- Organisation von Doktorandensymposien bei Software Engineering 2010, Models 2008 (link) und Modellierung 2008
- Co-organisation des ersten, zweiten, dritten und vierten ICSE International Workshops über Software Engineering for Automotive Systems
[summaries of the workshops in Edinburgh in 2004; in St. Louis in 2005; in Shanghai in 2006] - Co-Organisation des 1st Intl. workshop on Security Testing, Lillehammer, 2008
- Co-Organisation des vierten und fünften workshops on Model-Driven Engineering, Verification, and Validation, 2007, 2008
- Co-Organisation eines workshops über Model-Based Trustworthy Health Information Systems
- Co-Organisation eines Workshops zur Modellbasierten Qualitätssicherung, Informatik 2005, Bonn, September 2005
- Co-Organisation eines GI/Dagstuhl-Seminars zum modellbasierten Testen, Januar 2004
- Organisation Workshop Testprozeß, Testfallgenerierung, Testfallspezifikation, München, Januar 2002; Folien (nur für Teilnehmer)
