book chapters and journal articles

• Michael Wahler, David Basin, Achim D. Brucker, and Jana Koehler. Efficient Analysis of Pattern-Based Constraint Specifications. In Software and Systems Modeling, 9 (2), pages 225-255, 2010.
  (BibTeX entry) (PDF)
• Michael Wahler. A Pattern Approach to Increasing the Maturity Level of Class Models. In: J. Rech, C. Bunse, editors, Model-Driven Software Development: Integrating Quality Assurance. Idea Group, 2008.
  (BibTeX entry) (PDF)
• Jana Koehler, Rainer Hauser, Jochen Malte Küster, Ksenia Ryndina, Jussi Vanhatalo, Michael Wahler. The Role of Visual Modeling and Model Transformations in Business-driven Development. Electr. Notes Theor. Comput. Sci. 211: 5-15 (2008)
  (BibTeX entry) (pdf)
• Michael Wahler and Jana Koehler and Achim D. Brucker. Model-Driven Constraint Engineering. In Electronic Communications of the EASST, 5, 2006.
  (BibTeX entry) (URL) (PDF)
  
• S.-K. Chen and H. Lei and M. Wahler and H. Chang and K. Bhaskaran and J. Frank. A model driven XML transformation framework for Business Performance Management model creation. In International Journal of Electronic Business, 4 (3/4), pages 281-301, 2006.
  (abstract) (BibTeX entry) (URL)
  
• Jana Koehler and Rainer Hauser and Shane Sendall and Michael Wahler. Declarative Techniques for Model-Driven Business Process Integration. In IBM Systems Journal, 44 (1), pages 47-65, 2005.
  (BibTeX entry) (PDF)
  

conference and workshop articles

• Michael Wahler, Ettore Ferranti, Robin Steiger, Rahul Jain, and Kristian Nagy. CAST: Automating Software Tests for Embedded Systems. Fifth International Conference on Software Testing, Verification and Validation (ICST), Montreal, Canada, 2012.
  (PDF)
• Stefan Richter, Michael Wahler, and Atul Kumar. A Framework for Component-Based Real-Time Control Applications. 13th Real-Time Linux Workshop, 2011.
  (PDF)
• Michael Wahler, Stefan Richter, Sumit Kumar, and Manuel Oriol. Non-disruptive Large-scale Component Updates for Real-Time Controllers. Third Workshop on Hot Topics in Software Upgrades (HotSWUp'11).
  (PDF)
• Michael Wahler, Stefan Richter, and Manuel Oriol. Dynamic Software Updates for Real-Time Systems. Second ACM Workshop on Hot Topics in Software Upgrades, Orlando, FL, USA, 2009.
  (BibTeX entry) (PDF)
• S.-K. Chen and H. Lei and M. Wahler and H. Chang and K. Bhaskaran and J. Frank. A Model Driven XML Transformation Framework for Business Performance Management. In Proceedings of the IEEE Conference on e-Business Engineering.IEEE Computer Society, 2005.
  (BibTeX entry)
  
• Jochen Küster and Shane Sendall and Michael Wahler. Comparing two Model Transformation Approaches. In UML 2004. Workshop: OCL and Model Driven Engineering., 2004.
  (BibTeX entry) (PDF)
  
• Shane Sendall and Rainer Hauser and Jana Koehler and Jochen Küster and Michael Wahler. Understanding Model Transformation by Classification and Formalization. In Conference on Generative Programming and Component Engineering: Software Transformation Systems Workshop., 2004.
  (BibTeX entry) (PDF)
  

technical reports and online articles

• Michael Wahler, Stefan Richter. Modern RTOS Features for Increasing the Availability of IEDs. ABB Technical Report CH-RD 2009-145, 2009.
• Michael Wahler, Lee Ackerman, and Scott Schneider. Using IBM Constraint Patterns and Consistency Analysis. An Overview. Online document, May 2008.
  (BibTeX entry) (HTML)
• Michael Wahler, Lee Ackerman, and Scott Schneider. Using the IBM Constraint Patterns and Consistency Analysis Extension. A Step by Step Guide. Online document, May 2008.
  (BibTeX entry) (HTML)
• J. M. Küster and J. Koehler and R. Hauser and K. Ryndina and J. Vanhatalo and M. Wahler. Methodology and Tooling to Combine an Existing Legacy Business Process Model with Best-Practice Industry Reference Models for Business Transformation. IBM Research technical report RZ 3663, 2006.
  (BibTeX entry) (PDF)
  

theses

• Michael Wahler. Using Patterns to Develop Consistent Design Constraints. PhD Thesis, ETH Zurich, Switzerland, 2008.
  (BibTeX entry) (PDF)
• Michael Wahler. Certifying Code Generation in Model-based Development. Diploma Thesis, Technical University of Munich, Germany, 2003.
  (BibTeX entry) (PDF)