my research

I am a scientist at ABB Corporate Research in Baden-Dättwil, Switzerland, investigating in sustainable software technologies for real-time embedded systems.

Before joining ABB, I was a researcher in the Business Integration Technologies team at the IBM Zurich Research Laboratory, working on constraints for object-oriented data models and analysis of their consistency. In February 2008, I successfully defended my Ph.D. thesis, Using Patterns to Develop Consistent Design Constraints, which was supervised by Prof. David Basin, head of the Information Security Group at ETH Zurich.

events

We have open positions for internships and master's thesis projects at ABB Corporate Research in Baden, Switzerland. The job advertisement can be found here. Note that your university must certify that an internship is an obligatory part of your curriculum in order to be eligible for an internship in Switzerland.

Past events:

IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009)
Track Information Technology in Automation (call for papers)

Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA '09)

publications

2009

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)

Michael Wahler, David Basin, Achim D. Brucker, and Jana Koehler. Efficient Analysis of Pattern-Based Constraint Specifications. In Software and Systems Modeling. DOI 10.1007/s10270-009-0123-6.
(BibTeX entry) (PDF)

Michael Wahler, Stefan Richter. Modern RTOS Features for Increasing the Availability of IEDs. ABB Technical Report CH-RD 2009-145, 2009.

2008

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)

Michael Wahler. Using Patterns to Develop Consistent Design Constraints. PhD Thesis, ETH Zurich, Switzerland, 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, 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)

2006

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)

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)

2005

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)

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)

2004

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)

2003

Michael Wahler. Certifying Code Generation in Model-based Development. Diploma Thesis, Technical University of Munich, Germany, 2003.
(BibTeX entry) (PDF)

Check out my academic family.

my research

events

publications

2009

2008

2006

2005

2004

2003

Home

Research

Music