Publikationen

2011

• The Model Analysis Framework - An IDE for Static Model Analysis
  Christian Saad, Bernhard Bauer

2010

• Analyzing Dynamic Models using a Data-flow based Approach
  Christian Saad and Bernhard Bauer
  Proc. of 1st Doctoral Symposium at SLE, Eindhoven, The Netherlands, October 11, 2010. CEUR-WS.org, ISSN 1613-0073
• Data-flow Based Model Analysis
  Christian Saad and Bernhard Bauer
  Proceedings of the Second NASA Formal Methods Symposium (NFM 2010)
• Applying Data-flow Analysis to Models - A Novel Approach for Model Analysis
  Christian Saad and Bernhard Bauer
  Spring Simulation Multi-Conference (SpringSim 2010), Poster Session

2009

• Sichten auf Prozessmodelle
  Florian Lautenbacher und Christian Saad
  Eclipse Magazin, 6.09, S. 80-83.
• Geschäftsprozesse ausführen mit Eclipse JWT
  Florian Lautenbacher, Christian Saad and Bernhard Bauer
  Eclipse Magazin, 4.09, S. 89-92.
• An Attribute-based Approach to the Analysis of Model Characteristics
  Christian Saad, Florian Lautenbacher and Bernhard Bauer
  Proceedings of the First International Workshop on Future Trends of Model-Driven Development (FTMDD) in the context of the 11th International Conference on Enterprise Information Systems (ICEIS), 6-10th May 2009, Milan, Italy.

2008

• Ein Verfahren zur Struktur- und Verhaltensanalyse von UML-Modellen durch Attribute
  Christian Saad
  Technischer Bericht, Institut für Informatik, Universität Augsburg, August 2008
  2008-17