Research

My research interest is in self-healing software systems, requirements engineering and model-driven software development. Currently I focus on developing automatic or semi-automatic techniques for the creation and deployment of runtime failure detectors. For this I am collaborating with Alession Gambi and Alessandra Gorla under the guidance of Mauro Pezzè.

For my master's degree I worked on applying model checking to verify model consistency. Check out these projects if you want to know more:

Upcoming:

RESERVOIR

Older projects:

PLASTIC
The PLASTIC project develops a comprehensive provisioning platform for software services deployed over B3G networks. The project will build upon both Web services and more standard component-based technologies. Such a project poses its first challenges during the requirements elicitation phase. I am following the requirements elicitation and the ensuing use, maintenance, and change of the gathered requirements throughout the project.
Hugo/RT
Hugo/RT is a UML model translator for model checking, theorem proving, and code generation: A UML model can be translated into the system languages of various model checkers, of the theorem prover KIV, and into Java code.
Professional

Ihr Browser versucht gerade eine Seite aus dem sogenannten Internet auszudrucken. Das Internet ist ein weltweites Netzwerk von Computern, das den Menschen ganz neue Möglichkeiten der Kommunikation bietet.

Da Politiker im Regelfall von neuen Dingen nichts verstehen, halten wir es für notwendig, sie davor zu schützen. Dies ist im beidseitigen Interesse, da unnötige Angstzustände bei Ihnen verhindert werden, ebenso wie es uns vor profilierungs- und machtsüchtigen Politikern schützt.

Sollten Sie der Meinung sein, dass Sie diese Internetseite dennoch sehen sollten, so können Sie jederzeit durch normalen Gebrauch eines Internetbrowsers darauf zugreifen. Dazu sind aber minimale Computerkenntnisse erforderlich. Sollten Sie diese nicht haben, vergessen Sie einfach dieses Internet und lassen uns in Ruhe.

Die Umgehung dieser Ausdrucksperre ist nach §95a UrhG verboten.

Mehr Informationen unter www.politiker-stopp.de.