Martin Simons

According to our database1, Martin Simons authored at least 21 papers between 1983 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

On demand dependent deactivation of automotive ECUs.
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.
Proceedings of the 2011 International Symposium on System on Chip, 2011

Ansätze zur Integration von energieeffizienten Intelligenten Kommunikationskontrollern für FlexRay in Autosar.
Proceedings of the Informatik 2011: Informatik schafft Communities, 2011

2010
Energy efficiency in automotive networks: Assessment and concepts.
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

2003
Adaptierbare Software-Architektur für den Software-Download in Kfz-Steuergerate.
Proceedings of the INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September, 2003

2002
A Component Framework for Dynamic Reconfiguration of Distributed Systems.
Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

1999
Irregular computations in Fortran - expression and implementation strategies.
Scientific Programming, 1999

A virtual environment for steered molecular dynamics.
Future Generation Comp. Syst., 1999

1998
Expressing Irregular Computations in Modern Fortran Dialects.
Proceedings of the Languages, 1998

1997
The presentation of formal proofs.
PhD thesis, 1997

Proof Presentation for Isabelle.
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.
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

Algebraic Composition and Refinement of Proofs.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
An Approach to Literate and Structured Formal Developments.
Formal Asp. Comput., 1996

A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages.
Proceedings of the Concurrency and Parallelism, 1996

1994
Literate and Structured Presentation of Formal Proofs.
Proceedings of the Programming Concepts, 1994

An experimental support system for formal mathematical reasoning.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993
The Generic Development Language Deva: Presentation and Case Studies
Lecture Notes in Computer Science 738, Springer, ISBN: 3-540-57335-6, 1993

1983
Abtasttest von Mikroprozessoren und Mikroprozessorsystemen.
PhD thesis, 1983


  Loading...