Martin Simons

According to our database, Martin Simons authored at least 21 papers between 1993 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092).

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons

Dagstuhl Reports, 2018

2012

Energy efficient automotive networks: state of the art and challenges ahead.

Christoph Schmutzler, Andreas Krüger, Fred Schuster, Martin Simons

Int. J. Commun. Networks Distributed Syst., 2012

On demand dependent deactivation of automotive ECUs.

Christoph Schmutzler, Martin Simons, Jürgen Becker

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Increasing energy efficiency of automotive E/E-architectures with Intelligent Communication Controllers for FlexRay.

Christoph Schmutzler, Abdallah Lakhtel, Martin Simons, Jürgen Becker

Proceedings of the 2011 International Symposium on System on Chip, 2011

Ansätze zur Integration von energieeffizienten Intelligenten Kommunikationskontrollern für FlexRay in Autosar.

Christoph Schmutzler, Andreas Krüger, Martin Simons, Jürgen Becker

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010

Energy efficiency in automotive networks: Assessment and concepts.

Christoph Schmutzler, Andreas Krüger, Fred Schuster, Martin Simons

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

2003

Adaptierbare Software-Architektur für den Software-Download in Kfz-Steuergerate.

Cornelia Heinisch, Martin Simons

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

2002

A Component Framework for Dynamic Reconfiguration of Distributed Systems.

Xuejun Chen, Martin Simons

Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

1999

Irregular computations in Fortran - expression and implementation strategies.

Jan F. Prins, Siddhartha Chatterjee, Martin Simons

Sci. Program., 1999

A virtual environment for steered molecular dynamics.

Jan F. Prins, Jan Hermans, Geoffrey Mann, Lars S. Nyland, Martin Simons

Future Gener. Comput. Syst., 1999

1998

Expressing Irregular Computations in Modern Fortran Dialects.

Jan F. Prins, Siddhartha Chatterjee, Martin Simons

Proceedings of the Languages, 1998

1997

The presentation of formal proofs.

Martin Simons

PhD thesis, 1997

Proof Presentation for Isabelle.

Martin Simons

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 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

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

Algebraic Composition and Refinement of Proofs.

Martin Simons, Michel Sintzoff

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

An Approach to Literate and Structured Formal Developments.

Martin Simons, Matthias Weber

Formal Aspects Comput., 1996

Darstellung formaler Beweise.

Martin Simons

Proceedings of the Ausgezeichnete Informatikdissertationen 1996, 1996

A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages.

Gabriele Keller, Martin Simons

Proceedings of the Concurrency and Parallelism, 1996

1994

Literate and Structured Presentation of Formal Proofs.

Martin Simons, Maya Biersack, Robert Raschke

Proceedings of the Programming Concepts, 1994

An experimental support system for formal mathematical reasoning.

Matthias Anlauff, Stefan Jähnichen, Martin Simons

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

The Generic Development Language Deva: Presentation and Case Studies

Matthias Weber, Martin Simons, Christine Lafontaine

Lecture Notes in Computer Science 738, Springer, ISBN: 3-540-57335-6, 1993