Martin Simons

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