Selected Publications

The following bibliography gives an overview over selected publications with PMSF involvement:

• Meta-S: A Strategy-Oriented Meta-Solver Framework, S. Frank, P. Hofstedt, P. R. Mai, In: Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, May 12-14, 2003, St. Augustine, Florida, USA.

• Incremental Development for Automotive Software in AutoMoDe, A. Bauer, J. Romberg, B. Schätz, P. Braun, U. Freund, P. Mai, and D. Ziegenbein, In: Proceedings of the 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER3), Volume 191 of HNI - Verlagsschriftenreihe, Paderborn, Germany, October 2005. Heinz-Nixdorf Institut.

• AutoMoDe - A Transformation Based Approach for the Model-based Design of Embedded Automotive Software, U. Freund, P. Braun, J. Romberg, A. Bauer, P. Mai, and D. Ziegenbein, In: Proceedings of the 3rd European Congress on Embedded Real Time Software (ERTS), Toulouse, France, January 2006. Société des Ingénieurs de l'Automobile.

• MISRA AC AGC: Guidelines for the application of MISRA-C:2004 in the context of automatic code generation, ISBN 978-906400-02-6 (PDF), November 2007.

• Safety of Compilers and Translation Techniques -- Status quo of Technology and Science, S. Frank, M. Grabmüller, P. Hofstedt, D. Kleeblatt, P. Pepper, P. R. Mai, St.-A. Schneider, Automotive Safety and Security, Stuttgart, 2008.

• The Validation Suite Approach to Safety Qualification of Tools, St.-A. Schneider, T. Lovric, and P. R. Mai, SAE Technical Paper (2009): 01-0746.

• A Modelica Sub- and Superset for Safety-Relevant Control Applications, B. Thiele, St.-A. Schneider and P. R. Mai, In: Proceedings of the 9th International Modelica Conference, September 3-5, 2012, Munich, Germany.