Martin Simons

Publication Activity (10 Years)

Years Active: 1994-2018
Publications (10 Years): 1

Top Venues

DATE

Int. J. Commun. Networks Distributed Syst.

Dagstuhl Reports

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons
The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092). Dagstuhl Reports 8 (2) (2018)
Christoph Schmutzler, Martin Simons, Jürgen Becker
On demand dependent deactivation of automotive ECUs. DATE (2012)
Christoph Schmutzler, Andreas Krüger, Fred Schuster, Martin Simons
Energy efficient automotive networks: state of the art and challenges ahead. Int. J. Commun. Networks Distributed Syst. 9 (3/4) (2012)
Christoph Schmutzler, Abdallah Lakhtel, Martin Simons, Jürgen Becker
Increasing energy efficiency of automotive E/E-architectures with Intelligent Communication Controllers for FlexRay. SoC (2011)
Christoph Schmutzler, Andreas Krüger, Martin Simons, Jürgen Becker
Ansätze zur Integration von energieeffizienten Intelligenten Kommunikationskontrollern für FlexRay in Autosar. GI-Jahrestagung (2011)
Christoph Schmutzler, Andreas Krüger, Fred Schuster, Martin Simons
Energy efficiency in automotive networks: Assessment and concepts. HPCS (2010)
Cornelia Heinisch, Martin Simons
Adaptierbare Software-Architektur für den Software-Download in Kfz-Steuergerate. GI Jahrestagung (1) (2003)
Xuejun Chen, Martin Simons
A Component Framework for Dynamic Reconfiguration of Distributed Systems. Component Deployment (2002)
Jan F. Prins, Siddhartha Chatterjee, Martin Simons
Irregular computations in Fortran - expression and implementation strategies. Sci. Program. 7 (3-4) (1999)
Jan F. Prins, Jan Hermans, Geoffrey Mann, Lars S. Nyland, Martin Simons
A virtual environment for steered molecular dynamics. Future Gener. Comput. Syst. 15 (4) (1999)
Jan F. Prins, Siddhartha Chatterjee, Martin Simons
Expressing Irregular Computations in Modern Fortran Dialects. LCR (1998)
Martin Simons, Michel Sintzoff
Algebraic Composition and Refinement of Proofs. AMAST (1997)
K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, Wolf Pfannenstiel, Martin Simons
Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. APDC (1997)
Martin Simons
Proof Presentation for Isabelle. TPHOLs (1997)
Martin Simons, Matthias Weber
An Approach to Literate and Structured Formal Developments. Formal Aspects Comput. 8 (1) (1996)
Martin Simons
Darstellung formaler Beweise. Ausgezeichnete Informatikdissertationen (1996)
Gabriele Keller, Martin Simons
A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. ASIAN (1996)
Martin Simons, Maya Biersack, Robert Raschke
Literate and Structured Presentation of Formal Proofs. PROCOMET (1994)
Matthias Anlauff, Stefan Jähnichen, Martin Simons
An experimental support system for formal mathematical reasoning. FME (1994)

Martin Simons.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Simons