Dr. rer. nat. Patrick Michel

Photo of Dr. rer. nat. Patrick Michel
Email p_michel@cs.uni-kl.de
Phone +49 - 631 - 205 - 26 46
Fax +49 - 631 - 205 - 34 20
Postal address TU Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
D-67653 Kaiserslautern
Visitor address Gebäude 34, Raum 408
Gottlieb-Daimler-Str.
Zugang über Paul-Ehrlich-Str.
D-67653 Kaiserslautern
Google-Karte
 

Publications

  • J.-M. Gaillourdet, P. Michel, A. Poetzsch-Heffter, N. Rauch: A Generic Functional Representation of Sorted Trees Supporting Attribution, DOI, 2013, in Programming Logics, Essays in Memory of Harald Ganzinger, LNCS 7797, pp. 72-89, Springer

  • P. Michel, A. Poetzsch-Heffter: Verifying and Generating WP Transformers for Procedures on Complex Data, (pdf) ITP 2012, August 13-15, 2012, Princeton, New Jersey, USA

  • P. Michel, A. Poetzsch-Heffter: Maintaining XML Data Integrity in Programs - An Abstract Datatype Approach (pdf), SOFSEM 2010, January 23-29, 2010, Špindleruv Mlýn, Czech Republic

  • P. Michel, A. Poetzsch-Heffter: Assertion Support for Manipulating Constrained Data-Centric XML (pdf), PLAN-X 2009, January 24, 2009, Savannah, Georgia, USA

Reports

  • P. Michel: Redesign and Enhancement of the Katja System (pdf), Technical Report (354/06), University of Kaiserslautern, October, 2006

  • P. Michel: Adding Position Structures to Katja (pdf),Technical Report (353/06), University of Kaiserslautern, June, 2005

Theses

  • P. Michel: A Formal Framework for Maintaining the Integrity of Structured Data (submitted), PhD thesis, University of Kaiserslautern, July, 2013

  • P. Michel: Specification and Analysis of Constrained XML Documents (pdf), Master’s Thesis (Diplomarbeit), University of Kaiserslautern, July, 2007

  • P. Michel: Static Guarantees for Algorithms on Constrained XML Documents (pdf), Project Report, University of Kaiserslautern, December, 2006

Projects & Tools

  • Creator of the XCend approach, theory and tool stack

  • Main developer and maintainer of the Katja tool for “the generation of rich Java libraries for order-sorted, immutable datatypes from concise specifications”.

Teaching

  • Main teaching assistant for the beginners course “Software-Entwicklung I” in the winter terms 2008/09, 2009/10, 2010/11, 2011/12 and 2012/13. Responsible for exercise planning and execution, as well as 10 student teaching assistants.

  • Main teaching assistant for the Master’s course “Specification and Verification with Higher-Order Logic” in the summer terms 2010, 2011 and 2012. Responsible for exercise planning and execution, as well as assisting the creation and improvement of the course.

  • Teaching assistant for the Master’s course “Compiler and Language-Processing Tools” in the summer term 2013.

  • Supervisor of the Bachelor’s Thesis “Self-contained digital forms based on web browser technologies”, by Sebastian Fuchs.
  • Supervisor of the Master’s Thesis “A Principle Language for Object-Oriented Design”, April 15, 2013, by Christian Rehn.
  • Supervisor of the Bachelor’s Thesis “Eine leichtgewichtige Schnittstelle zwischen digitalen Formularen und heterogenen Datenbeständen”, February 7, 2013, by Mark Müller.
  • Supervisor of the Bachelor’s Thesis “Simplification of Safe Kleene Predicate Logic Formulas”, February 7, 2013, by Sebastian Wolff.
  • Supervisor of the Master’s Thesis “Verification of Software Architectures using Static Code Analysis for Java”, September 26, 2012, by Malte Brunnlieb.
  • Supervisor of the Master’s Thesis “Data Binding for Schemata with Integrity Constraints and Atomic Procedures - A Generative Approach for Object-Oriented Languages”, August 30, 2012, by Thomas Fischer.
  • Supervisor of the Bachelor’s Thesis “Systematische Beschreibung und Werkzeugunterstützung textueller Produktlinien”, March 2012, by Marc Dahlem.
  • Supervisor of the Bachelor’s Thesis “Digital Structured Forms Supporting Flexible Workflows”, March 30, 2012, by Christian Fillibeck.
  • Supervisor of the Master’s Thesis “Specification and Generation of User Interfaces Based on Method-Oriented Dialog Flows”, March 29, 2011, by Artun Subasi.
  • Supervisor of the Bachelor’s Thesis “Katja/XML Data Binding”, August 24, 2010, by Thomas Fischer.
  • Supervisor of the Bachelor’s Thesis “Generierung der Services der Registerarchitektur”, April 30, 2010, by Florian Strauß.