The Generic Development Language Deva: Presentation and Case Studies - Matthias Weber 001; Martin Simons 001; Christine Lafontaine (Springer, 1993)

An experimental support system for formal mathematical reasoning. - Matthias Anlauff; Stefan Jähnichen; Martin Simons 001 (FME, 1994)

Literate and Structured Presentation of Formal Proofs. - Martin Simons 001; Maya Biersack; Robert Raschke (PROCOMET, 1994)

A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. - Gabriele Keller; Martin Simons 001 (ASIAN, 1996)

Darstellung formaler Beweise. - Martin Simons 001 (Ausgezeichnete Informatikdissertationen, 1996)

An Approach to Literate and Structured Formal Developments. - Martin Simons 001; Matthias Weber 001 (Formal Aspects Comput., 1996)

Algebraic Composition and Refinement of Proofs. - Martin Simons 001; Michel Sintzoff (AMAST, 1997)

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. - K. T. P. Au; Manuel M. T. Chakravarty; John Darlington; Yike Guo; Stefan Jähnichen; Martin Köhler; Gabriele Keller; Wolf Pfannenstiel; Martin Simons 001 (APDC, 1997)

Proof Presentation for Isabelle. - Martin Simons 001 (TPHOLs, 1997)

The presentation of formal proofs. - Martin Simons 001 (Oldenbourg, 1997)

Expressing Irregular Computations in Modern Fortran Dialects. - Jan F. Prins; Siddhartha Chatterjee; Martin Simons 001 (LCR, 1998)

A virtual environment for steered molecular dynamics. - Jan F. Prins; Jan Hermans; Geoffrey Mann; Lars S. Nyland; Martin Simons 001 (Future Gener. Comput. Syst., 1999)

Irregular computations in Fortran - expression and implementation strategies. - Jan F. Prins; Siddhartha Chatterjee; Martin Simons 001 (Sci. Program., 1999)

A Component Framework for Dynamic Reconfiguration of Distributed Systems. - Xuejun Chen; Martin Simons 001 (Component Deployment, 2002)

Adaptierbare Software-Architektur für den Software-Download in Kfz-Steuergerate. - Cornelia Heinisch; Martin Simons 001 (GI Jahrestagung (1), 2003)

Energy efficiency in automotive networks: Assessment and concepts. - Christoph Schmutzler; Andreas Krüger; Fred Schuster; Martin Simons 001 (HPCS, 2010)

Ansätze zur Integration von energieeffizienten Intelligenten Kommunikationskontrollern für FlexRay in Autosar. - Christoph Schmutzler; Andreas Krüger; Martin Simons 001; Jürgen Becker 001 (GI-Jahrestagung, 2011)

Increasing energy efficiency of automotive E/E-architectures with Intelligent Communication Controllers for FlexRay. - Christoph Schmutzler; Abdallah Lakhtel; Martin Simons 001; Jürgen Becker 001 (SoC, 2011)

On demand dependent deactivation of automotive ECUs. - Christoph Schmutzler; Martin Simons 001; Jürgen Becker 001 (DATE, 2012)

Energy efficient automotive networks: state of the art and challenges ahead. - Christoph Schmutzler; Andreas Krüger; Fred Schuster; Martin Simons 001 (Int. J. Commun. Networks Distributed Syst., 2012)

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092). - Rolf Ernst; Stefan Kuntz; Sophie Quinton; Martin Simons 001 (Dagstuhl Reports, 2018)