2006
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, and Daniela Schilling, 'Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation', in Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, pp. 72--81, ACM Press, 2006.
2005
Basil Becker, Holger Giese, and Daniela Schilling, 'A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns', in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 1--4, September 2005.
Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, and Matthias Tichy, 'The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems', in Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, pp. 670--671, ACM Press, May 2005.
Matthias Tichy, Holger Giese, Daniela Schilling, and Wladimir Pauls, 'Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time', in Proc. of the ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, Missouri, USA (Rogério de Lemos and Alexander Romanovsky, eds.), pp. 1--6, ACM Press, May 2005.
2004
Holger Giese and Daniela Schilling, 'Towards the Automatic Verification of Inductive Invariants for Infinite State UML Models', Tech. Rep. tr-ri-04-252, University of Paderborn, Paderborn, Germany, December 2004.
Daniela Schilling, 'Verifying Networked Mechatronic Systems', November 2004. Accepted to the FSE/SIGSOFT2004 Student Research Forum.
Matthias Tichy, Daniela Schilling, and Holger Giese, 'Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns', in Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA, October 2004.
Sven Burmester, Holger Giese, Martin Hirsch, and Daniela Schilling, 'Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite', in Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004, pp. 1--20, October 2004.
Holger Giese, Matthias Tichy, and Daniela Schilling, 'Compositional Hazard Analysis of UML Components and Deployment Models', in Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany, vol. 3219 of Lecture Notes in Computer Science (LNCS), Springer Verlag, September 2004.
2003
Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, and Matthias Tichy, 'Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML', in OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies (B Henderson-Sellers and J Debenham, eds.), (Anaheim, CA, USA, Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia), pp. 21--32, October 2003.
Holger Giese, D. Schilling, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, and S. Flake, 'Towards the Compositional Verification of Real-Time UML Designs', Tech. Rep. tr-ri-03-241, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland, July 2003.
2002
Andreas Schilling, 'Modellierung zeitkritischer Systeme mit der UML', Master's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, August 2002.

---