Erhard Plödereder

Affiliations:
  • University of Stuttgart, Germany


According to our database1, Erhard Plödereder authored at least 30 papers between 1979 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Sicherheit trotz KI.
Datenschutz und Datensicherheit, 2023

2013
Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E)
Lecture Notes in Computer Science 8339, Springer, ISBN: 978-3-642-45418-9, 2013

2011
Detecting High-Level Synchronization Errors in Parallel Programs.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

Programming Languages Meet Multicore.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2007
Optimization of Variability in Software Product Lines.
Proceedings of the Software Product Lines, 11th International Conference, 2007

Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations.
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2006
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering.
Proceedings of the Reliable Software Technologies, 2006

Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
Lecture Notes in Computer Science 4348, Springer, ISBN: 978-3-540-69335-2, 2006

2005
Teaching Software Engineering with Ada 95.
Proceedings of the Reliable Software Technology, 2005

2003
The Dagstuhl Middle Metamodel: A Schema For Reverse Engineering.
Proceedings of the International Workshop on Meta-Models and Schemas for Reverse Engineering, 2003

2002
Codeanalysen.
Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002

2001
Demonstrating the usage of single-case designs in experimental software engineering.
Inf. Softw. Technol., 2001

Panel: the making of ISO/IEC 8652: Ada 2005.
Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

Parameter-Induced Aliasing in Ada.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Data Exchange in Bauhaus.
Proceedings of the Seventh Working Conference on Reverse Engineering, 2000

1999
The Evolution of GOTO Usage and its Effects on Software Quality.
Proceedings of the Informatik '99, 1999

1998
Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis.
Proceedings of the Compiler Construction, 7th International Conference, 1998

1997
Finite Unions for Ada 95.
Proceedings of the Reliable Software Technologies, 1997

: Parameter-Induced Aliasing and Related Problems can be Avoided.
Proceedings of the Reliable Software Technologies, 1997

1996
Where Does GOTO Go to?
Proceedings of the Reliable Software Technologies, 1996

Ansätze des Programmverstehens.
Proceedings of the Softwarewartung und Reengineering, 1996

1992
Building Consensus for Ada 9X.
Commun. ACM, 1992

1990
Status of Ada then and now (panel).
Proceedings of the conference on TRI-ADA 1990, 1990

1989
Panel: software reuse - is it working?
Proceedings of the Conference on Tri-Ada 1989, 1989

Issues in Designing Object Management Systems.
Proceedings of the Software Engineering Environments, 1989

The Data Model of the Configuration Management Assistant (CMA).
Proceedings of the 2nd International Workshop on Software Configuration Management, 1989

1988
Tool interfaces.
Proceedings of the Conference on TRI-Ada 1988, 1988

Object Management Issues for Software Engineering Environments: Workshop Report.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

An Overview of DOD-STD-1838A (proposed), The Common APSE Interface Set, Revision A.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

1979
Pragmatic Techniques for Program Analysis and Verification.
Proceedings of the 4th International Conference on Software Engineering, 1979


  Loading...