Publikationen

PS

2018

Felden,T., Krause, F.
Migration von Bauhaus-Werkzeugen auf eine SKilL-Zwischendarstellung​
In: 20. Workshop Software-Reengineering & -Evolution (WSRE) der GI-Fachgruppe Software-Reengineering (SRE) und 9. Workshop "Design for Future" des GI-Arbeitskreises "Langlebige Softwaresysteme" (L2S2), 02.-04. Mai 2018, Bad Honnef, Softwaretechnik-Trends, Band 38, Heft 2, GI, Mai 2018

Wittiger, M.
Analyse expliziter Zustandsverwaltung als Mittel der Synchronisation
Dissertation, Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2018
[http://dx.doi.org/10.18419/opus-9954]

2017

Felden,T.
Änderungstolerante Serialisierung großer Datensätze für mehrsprachige Programmanalysen
Dissertation, Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2017 [http://dx.doi.org/10.18419/opus-9661]

Dencker, P., Klenk, H., Keller, H. B., Plödereder, E. (Hrsg.)
Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Bonn, Köllen Druck + Verlag GmbH, 2017, volume P-269 of Lecture Notes in Informatics, ISBN 978-3-88579-663-3, Mai 2017

Felden, T.
Evolution of a Program Analysis Toolchain
In 4th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS'17), 21. Februar 2017, Hannover, Softwaretechnik-Trends, Band 37, Heft 2, GI, Februar 2017

Felden, T.
The SkilL Language V 1.0
Technischer Bericht Informatik Nr. 2017/01, Universität Stuttgart, 2017

2016

Wittiger, M.
Eliminating Data Race Warnings Using CSP
In Proceedings of the 21. Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016
https://www.springer.com/us/book/9783319390826

Felden, T., Wittiger, M.
Migrating Bauhaus from IML to SKilL
In: 18. Workshop Software-Reengineering & -Evolution (WSRE), 02.-04. Mai 2016, Bad Honnef, Softwaretechnik-Trends, Band 36, Heft 2, GI, Mai 2016

Görg, T.
Interprocedural PDG-based Code Clone Detection
In 18. Workshop Software-Reengineering & -Evolution (WSRE), 02.-04. Mai 2016, Bad Honnef, Softwaretechnik-Trends, Band 36, Heft 2, GI, Mai 2016

2015

Koutsopoulos, N., Northover, M., Felden, T.,Wittiger, M.
Advancing Data Race investigation and Classification through Visualization
In 3rd IEEE Working Conference on Software Visualization (VISSOFT 2015), September 27-28 2015, Bremen

Wittiger, M., Felden, T.
Recognition of Real-World State-Based Synchronization
In 17. Workshop Software-Reengineering & -Evolution (WSRE), 04.-06. Mai 2015, Bad Honnef, Softwaretechnik-Trends, Band 35, Heft 2, GI, Mai 2015

Görg, T.
Performance Tuning of PDG-based Code Clone Detection
In 17. Workshop Software-Reengineering & -Evolution (WSRE), 04.-06. Mai 2015, Bad Honnef, Softwaretechnik-Trends, Band 35, Heft 2, GI, Mai 2015

Klenk, H., Keller, H. B., Plödereder, E., Dencker, P. (Hrsg.)
Automotive - Safety & Security 2015 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Bonn, Köllen Druck + Verlag GmbH, 2015, volume P-240 of Lecture Notes in Informatics, ISBN 978-3-88579-634-3, April 2015

Felden, T.
Improving Lava Flow Based Software Development
In 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015), Canada, Montreal, 2 - 6 March 2015

Felden, T.
SKilLed Communication for Toolchains
In 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015), Canada, Montreal, 2 - 6 March 2015

1992 - 2014

Plödereder, E., Grunske, L., Schneider, E., Ull, D. (Hrsg.)
INFORMATIK 2014 - Big Data - Komplexität meistern, 22.-26. September 2014 in Stuttgart
Bonn, Köllen Druck + Verlag GmbH, 2014, GI-Edition - Lecture Notes in Informatics (LNI), P-232, ISBN 978-3-88579-626-8, ISSN 1617-5468, September 2014

Felden, T.
Efficient and Change-Tolerant Serialization for Program Analysis
In 16. Workshop Software-Reengineering & -Evolution (WSRE), 28.-30. April 2014, Bad Honnef, Softwaretechnik-Trends, Band 34, Heft 2, GI, April 2014

Görg, T., Northover, M.
A Canonical Form of Arithmetic and Conditional Expression
In 16. Workshop Software-Reengineering & -Evolution (WSRE), 28.-30. April 2014, Bad Honnef, Softwaretechnik-Trends, Band 34, Heft 2, GI, April 2014

Tucker Taft, S., Duff, R. A., Brukardt, R., Plödereder, E., Leroy, P., Schonberg, E.
Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E). Lecture Notes in Computer Science 8339, Springer 2013, ISBN 978-3-642-45418-9
http://www.springer.com/978-3-642-45418-9

Keller, H. B., Plödereder, E., Dencker, P., Klenk, H. (eds.)
Reliable Software Technologies - Ada-Europe 2013 18th Ada-Europe International Conference, Berlin, Germany, June 10 - 14, 2013, (Springer LNCS 7896, 2013.)

Felden, T.
The SKilL Language
Technischer Bericht Informatik Nr. 2013/06, Universität Stuttgart, 2013

Felden, T., Görg, T.
Werkzeugunterstützte Eliminierung von Data-Races in Eclipse
In 15. Workshop Software-Reengineering (WSR 2013) , Softwaretechnik-Trends, Band 33, Heft 2. GI, Mai 2013

Görg, T.
Incremental Detection of Parameterized Code Clones
In 15. Workshop Software-Reengineering (WSR 2013) , Softwaretechnik-Trends, Band 33, Heft 2. GI, Mai 2013

Degiorgi, S., Wittiger, M.
Ergebnisbewertung konservativer statischer Data-Race-Analysen
In 15. Workshop Software-Reengineering (WSR 2013) , Softwaretechnik-Trends, Band 33, Heft 2. GI, Mai 2013

Staiger-Stöhr, Stefan
Practical Integrated Analysis of Pointers, Dataflow and Control Flow
ACM Transactions on Programming Languages and Systems , April 2013

Plödereder, E., Dencker, P., Klenk, H., Keller, H. B., Spitzer, S. (Hrsg.)
Automotive - Safety & Security 2012 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Bonn, Köllen Druck + Verlag GmbH, 2012, volume P-210 of Lecture Notes in Informatics, ISBN 978-3-8857-9604-4, November 2012

Wittiger, M., Keul, S.
Extraktion von Interthread-Kommunikation in eingebetteten Systemen
In Automotive - Safety & Security 2012, Lecture Notes in Informatics, volume P-210, pages 55-67, Nov. 2012
Received Best Paper Award.

Prokharau, M.
Aspects of Code Pattern Removal
In 14. Workshop Software-Reengineering (WSR 2012), Softwaretechnik-Trends, Band 32, Heft 2. GI, Mai 2012

Görg, T.
A Model-Based Approach to Type-3 Clone Elimination
In 14. Workshop Software-Reengineering (WSR 2012) , Softwaretechnik-Trends, Band 32, Heft 2. GI, Mai 2012

Keul, S.
Tuning Static Data Race Analysis for Automotive Control Software.
In 11th IEEE International Working Conference on Source Code Analysis and Manipulation, pages 45-54, IEEE, Sept 2011
[dblp2.uni.trier.de/db/conf/scam/scam2011.html#Keul11]

von Hanxleden, R., Holsti, N., Lisper, B., Plödereder, E., Wilhelm, R. et.al.
WCET Tool Challenge 2011: Report
In Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis, July 2011, Porto, Portugal

Raza, A., Franke, S., Plödereder, E.
Detecting High-Level Synchronization Errors in Parallel Programs
In Reliable Software Technologies, Ada-Europe 2011, LNCS(6652), Juni 2011, S.17-30
Received Best Paper Award.
[dblp2.uni-trier.de/db/conf/adaEurope/adaEurope2011.html#RazaFP11]

Plödereder, E.
Programming Languages Meet Multicore
In Reliable Software Technologies, Ada-Europe 2011, LNCS(6652), Juni 2011, S.189-192
[dblp2.uni-trier.de/db/conf/adaEurope/adaEurope2011.html#Ploedereder11]

Prokharau, M., Gerlach, D., Keul, S.
Static Analysis of Predicate-based Synchronisation
In: 13. Workshop Software-Reengineering (WSR 2011), Softwaretechnik-Trends, Band 31, Heft 2, S.16-17. GI, Mai 2011

Görg, T.
Detection of Intentions in Context-Free Grammars
In 13. Workshop Software-Reengineering (WSR 2011), Softwaretechnik-Trends, Band 31, Heft 2, S.20-21. GI, Mai 2011

Burns, A., Tokar, J. L., Baird, S., Barnes, J., Chapman, R., Dismukes, G., Gonzales-Harbour, M., Michell, S., Moore, B., Pinho M., Ploedereder, E., Real, J., Rosen, J. P., Schonberg, E. Taft, S. T., Vardanega, T.
Ada and the Software Vulnerabilities Project
In Ada Lett., volume 30, number 2, pages 27 - 52, ACM, New York, ISSN 1094-3641, DOI 10.1145/2593988.2593992 [http://doi.acm.org/10.1145/2593988.2593992], August 2010)

Keller, H. B., Plödereder, E., Dencker, P., Klenk, H. (Hrsg.)
Automotive - Safety & Security 2010 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Stuttgart, Shaker Verlag, ISBN 978-3-8322-9172-3, ISSN 1433-9986, Juni 2010

Keul, S.
Static Versioning of Global State for Race Condition Detection
In Ada-Europe 2010, volume 6106 of LNCS, pages 111-124. Springer, 2010

Keul, S., Prokharau, M., Gerlach, D., Jenke, C. Raza, A.
RaceVis: Ein Werkzeug zur Visualisierung von Data Races
In 12. Workshop Software-Reengineering, Softwaretechnik-Trends, Band 30, Heft 2. S. 82-83. GI, Mai 2010

Aoun R.
Thinking Beyond Race Conditions
In 12. Workshop Software Reengineering, Softwaretechnik-Trends, Band 30, Heft 2, S. 80-81. GI, Mai 2010

Staiger-Stöhr, S.
Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss
Dissertation, Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2009

Staiger-Stöhr, S.
Implementing Sparse Flow-Sensitive Andersen Analysis
Technischer Bericht TR-2009-03, Universität Stuttgart, Februar 2009

Klenk, H., Keller, H. B., Plödereder, E., Dencker, P. (Hrsg.)
Automotive - Safety & Security 2008 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Stuttgart, Shaker Verlag, ISBN 978-3-8322-7681-2, Nov. 2008

Lösch, F.
Optimization of Variability in Software Product Lines: A Semi-Automatic Method for Visualization, Analysis, and Restructuring of Variability in Product Lines
Dissertation, Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2008
Logos Verlag, Berlin, ISBN 978-3-8325-2105-9, 2008

Raza, A., Vogel, G.
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs
In Reliable Software Technologies, Ada-Europe 2008, LNCS(5026), Juni 2008, S.226-239
[dblp2.uni-trier.de/conf/adaEurope/adaEurope2008.html#RazaV08]

Wiebe, E., Keul, S., Staiger, S., Vogel, G., Haufler, A., Scherer, W.
Entwurfsmuster-Erkennung mit Bauhaus
In Lecture Notes in Informatics (LNI), Proceedings of the 10th Workshop Software Reengineering (P-126), S. 181-185, 2008

Staiger, S., Vogel, G., Keul, S., Wiebe, E.
Interprocedural Static Single Assignment Form
In Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), p. 1-10, IEEE Computer Society, 2007
[dblp2.uni-trier.de/db/conf/wcre/wcre2007.html]

Staiger, S.
Reverse Engineering Graphical User Interfaces using Static Analyses
In Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), p. 189-198, IEEE Computer Society, 2007
[dblp2.uni-trier.de/db/conf/wcre/wcre2007.html]

Staiger, S.
Statische Analyse von graphischen Oberflächen
In Proceedings of the Workshop on Applied Program Analysis, p. 247-253, Gesellschaft für Informatik: GI Lecture Notes in Informatics, 2007

Vogel, G.
Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen
In Proceedings of the Workshop on Applied Program Analysis, p. 268-274, Gesellschaft für Informatik: GI Lecture Notes in Informatics, 2007

Lösch, F., Plödereder, E.
Optimization of Variability in Software Product Lines
In Proceedings of the 11th International Software Product Line Conference (SPLC 2007) , p. 151-162, Kyoto, Japan, 10.-14. September 2007

Lösch, F., Plödereder, E.
Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations
In Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), Amsterdam, p. 159-170, 21-23. März 2007

Staiger, S.
Static Analysis of Programs with Graphical User Interface
In Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), Amsterdam, p. 252 - 261

Plödereder, E., Keller, H. B., Dencker, P., Tonndorf M. (Hrsg.)
Automotive - Safety & Security 2006 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Stuttgart, Shaker Verlag, ISBN 3-8322-5551-6, Okt. 2006

Simon, D.
Lokalisierung von Merkmalen in Softwaresystemen
Dissertation, Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006, Logos Verlag, Berlin, ISBN 978-3-8325-1176-8, 2006

Taft, T., Duff, R., Brukardt, R.L.; Plödereder, E., Leroy, P. (Eds.):
Ada 2005 Reference Manual, Language and Standard Libraries
Springer LNCS 4348, 2006

Koschke, R., Canfora, G., Czeranski, J.
Revisiting the Delta-IC Approach
In Journal of Science of Computer Programming 70 (2006), Nr. 2, S. 171-188

Raza, A.
A Review of Race Detection Mechanisms
In First International Computer Science Symposium in Russia CSR 2006, 2006, S. 534-543

Raza, A., Vogel, G., Plödereder, E.
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering
In Reliable Software Technologies, Ada-Europe 2006, LNCS(4006), Juni 2006, S.71-82

Vogel, G.
Statische Extraktion von Protokollen
In 8. Workshop Software-Reengineering, Universität Koblenz-Landau, Mai 2006

Keller, H. B., Dencker, P., Plödereder, E., Klenk, H., Tonndorf M. (Hrsg.)
Zuverlässigkeit in eingebetteten Systemen
Ada Deutschland Tagung 2005, Aachen, Shaker Verlag, ISBN 3-8322-4522-7, Okt. 2005

Christl, A., Koschke, R., Storey, M.-A.
Equipping the Reflexion Method with Automated Clustering.
In Working Conference on Reverse Engineering, IEEE Computer Society Press, November 2005, S.89-98

Eisenbarth, T., Koschke, R., Vogel, G.
Static Object Trace Extraction for Programs with Pointers
In Journal of Systems and Software 77 (2005), Nr. 3, S. 263-284

Simon, D., Vogel, G., Plödereder, E.
Teaching Software Engineering with Ada95
In Reliable Software Technologies - Ada-Europe 2005, Springer LNCS 3555, S. 115-128, 2005

Plödereder, E., Keller, H. B., von Sommerfeld, H., Dencker P., Tonndorf M., Saglietti, F. (Hrsg.):
Automotive - Safety & Security 2004 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Zuverlässige Softwaresysteme, Ada Deutschland Tagung 2004
Stuttgart, Shaker Verlag, ISBN 3-8322-3283-4, Okt. 2004

Lethbridge, T., Tichelaar, S., Plödereder, E.
The Dagstuhl Middle Metamodel: A Schema for Reverse Engineering
In Electr. Notes Theor. Compu.Sci. 94, 7-18, 2004

Bellon, S., Czeranski, J., Eisenbarth, T., Simon, D.
A Product Line Asset Management Tool
In Workshop on Software Variability Management: Software Product Families and Populations. Groningen, Dezember 2004

Vrandecic, Z., Simon, D., Bellon S.
XML4Ada95: DOM-Zugriff auf die XML in Ada95
Ada Deutschland Tagung, Oktober 2004.

Vrandecic, Z., Simon, D.
XML4Ada95 Accessing XML Using the DOM in Ada95
Realiable Software Technologies: Ada-Europe 2004, June, pages 178-189

Koschke, R., Simon, D.
Symphony Fallstudie: Hierarchische Reflexion Modelle
Workshop Software-Reengineering, Mai 2004, Bad Honnef

Koschke, R.
Rekonstruktion von Software-Architekturen: Blickwinkel, Sichten, Ansichten und Aussichten
In Informatik - Forschung und Entwicklung, Springer Verlag. 2004

Koschke, R., Simon, D.
Hierarchical Reflexion Models
In Proc. of the Working Conference on Reverse Engineering, IEEE Computer Society Press, 2003

Koschke, R.
Software Visualization in Software Maintenance, Reverse Engineering, and Reengineering: A Research Survey
Journal on Software Maintenance and Evolution, John Wiley & Sons, Ltd., Vol. 15, No. 2, March/April 2003, pages 87-109.

Bellon, S., Simon, D.
Vergleich von Klonerkennungstechniken
Workshop Software-Reengineering, Mai 2003, Bad Honnef, Germany
In Softwaretechnik-Trends, Band 23, Heft 2, S. 10-11, GI

Vogel, G.
Extraktion statischer Objekt-Prozess-Graphen
In 5. Workshop Software-Reengineering, Universität Koblenz-Landau, Mai 2003, S.25-26

Eisenbarth, T., Koschke, R., Simon, D.
Locating Features in Source Code
IEEE Transactions on Software Engineering, Vol. 29, No. 3, March 2003, pages 195-209

Koschke, R., Zhang, Y.
Component Recovery, Protocol Recovery and Validation
In 3. Workshop Software-Reengineering, Bad Honnef (10./11.Mai 2001), Fachberichte Informatik, Universität Koblenz-Landau, Nr. 1/2002, pages 73-76, Januar 2002

Koschke, R.
Software Visualization for Reverse Engineering
In Springer Lecture Notes on Computer Science (LNCS) 2269: Software Visualization, State-of-the-Art Survey (Herausgeber: Stephan Diehl), 2002

Eisenbarth, T,. Koschke, R., Vogel, G.
Static Trace Extraction
In Proceedings of the Working Conference on Reverse Engineering, IEEE Computer Society Press, Oktober 2002

Eisenbarth, T., Koschke, R., Simon, D.
Incremental Location of Combined Features for Large-Scale Programs
In Proceedings of the International Conference on Software Maintenance, Montreal, Canada, October 2002

Koschke, R.
Atomic Architectural Component Recovery for Program Understanding and Evolution
In Proceedings of the International Conference on Software Maintenance, Montreal, Canada, October 2002

Eisenbarth, T., Koschke, R., Simon, D.
A Formal Method for the Analysis of Product Maps
Requirements Engineering for Product Lines Workshop, Essen, Germany, September 2002

Simon, D. Eisenbarth, T.
Evolutionary Introduction of Software Product Lines
In Proceedings of the Second International Software Product Line Conference, Springer LNCS 2379, pages 272-283), August 2002, San Diego, CA, USA

Czeranski, J., Eisenbarth, T., Simon, D.
Softwarevisualisierungstool Gravis
In 4. Workshop Software-Reengineering, Universität Koblenz-Landau, April 2002

Eisenbarth, T., Koschke, R., Simon, D.
Inkrementelle Lokalisierung funktionaler Eigenschaften
In 4. Workshop Software-Reengineering, Universität Koblenz-Landau, April 2002

Eisenbarth, T., Koschke, R., Simon, D.
Aiding Program Comprehension by Static and Dynamic Feature Analysis
In Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, November 2001. Pages 602-611
Received Best Paper Award.
Received 2011 Most Influential Paper Award.

Ferenc, R., Gyimóthy, T., Sim, S., Holt, R. C., Koschke, R.
Towards a standard schema for C/C++
Working Conference on Reverse Engineering, October 2-5, Stuttgart, Germany, pages 49-58, IEEE Computer Society Press, 2001

Eisenbarth, T., Simon, D.
Guiding Feature Asset Mining for Software Product Line Developement
In Proceedings of the First International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling, and Managing (PLEES'01), Erfurt, Germany, Fraunhofer IESE, September 2001

Eisenbarth, T., Koschke, R., Simon, D.
Feature-Driven Program Understanding Using Concept Analysis of Execution Traces
International Workshop on Program Comprehension, Toronto, Canada, IEEE Computer Society Press, May 12-13, 2001

Simon, D., Eisenbarth, T.
Feature Location and Connector Recovery: New Approaches for Software Understanding
In 3. Workshop Software-Reengineering, Bad Honnef, Deutschland, Fachberichte Informatik Universität Koblenz, May 2001

Eisenbarth, T., Koschke, R., Simon, D.
Derivation of the Feature Component Map by means of Concept Analysis
In Proceedings of the Conference on Software Maintenance and Reengineering, IEEE Computer Society Press, pages 176-179, March 2001

Sim, S., Koschke, R.
WoSEF: Workshop on Standard Exchange Format,
ACM SIGSOFT Software Engineering Notes, Vol 26, No 1, pages 44-49, January, 2001

Koschke, R., Zhang, Y.
Component Recovery, Protocol Recovery and Validation in Bauhaus
In: 3. Workshop Software-Reengineering, Universität Koblenz- Landau, Mai 2001, S. 73-76

Plödereder E., Brukardt, R. (Project Editors)
ISO/IEC 8652:1995/Cor.1:2001, Programming Languages - Ada,
International Organization for Standardization (ISO), Geneva, 2001

Taft T., Duff, R., Brukardt, R., Plödereder, E. (Eds.)
Consolidated Ada Reference Manual, Language and Standard Libraries, (Springer LNCS 2219, 2001.)

Zendler, A., Horn, E., Schwärtzel, H., Plödereder, E.
Demonstrating the usage of single-case designs in experimental software engineering
In Information & Software Technology 43(12), S. 681-691, 2001

Plödereder, E.
Informatikunterricht an Schulen - Sicherheitstraining oder Schleuderkurs
91. MNU, Kongress, Stuttgart, April 2000
Anregungen für die Gestaltung des Informatikunterrichts, insbesondere auch hinsichtlich des Umgangs mit fehlerhalter Software und programmiersprachlicher Massnahmen zur Minimierung von Softwarefehlern und deren Auswirkungen

Keller, H. B., Plödereder, E. (eds.)
Proceedings of Reliable Software Technologies - Ada-Europe 2000
5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, (Springer LNCS 1845, 2000)

Czeranski, J., Eisenbarth, T., Kienle, H., Koschke, R., Plödereder, E., Simon, D., Girard, J.-F., Würthner, M.
Data Exchange in Bauhaus
In Proceedings of the Interoperability Workshop at the Working Conference on Reverse Engineering, WCRE'00, 23.-25. November 2000, Brisbane, Australia, pages 293-295, IEEE Computer Society Press, 2000

Koschke, R.
Atomic Architectural Component Recovery for Program Understanding and Evolution
Ph.D. Thesis, Institute for Computer Science, University of Stuttgart, 2000

Gellerich, W.
Ein datengesteuertes Ausführungsmodell für Programmiersprachen mit mehrfacher Wertzuweisung
Dissertation
Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2000
Shaker Verlag, Aachen, ISBN 3-8265-7900-3, ISSN 0945-0807, 2000

Gellerich, W., Plödereder, E.
The Evolution of GOTO Usage and its Effects on Software Quality
In GI Jahrestagung 1999, S. 380-389, 1999

Plödereder, E. (Project Editor)
International Standard ISO/IEC 18009:1999, Ada: Conformity assessment of a language processor.
International Organization for Standardization (ISO), Genf, 1999

Brouwer, K., Gellerich, W., Plödereder, E.
Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis
In Compiler Construction - 7th International Conference, CC'98, Lecture Notes in Computer Science 1383, Springer 1998, S. 1-15

Plödereder, E.
A Readers' Guide to the Ada Issues
In ACM SIGAda Letters 18(3), S 20-112, Mai 1998

Plödereder, E.
Ada im praktischen Einsatz
Ada-Deutschland, Bremen, 23. 4. 1998
Beitragstext mit Überlegungen zur Technologieentwicklung im Bereich des industriellen Einsatzes von Programmiersprachen im allgemeinen und speziell von Ada

Holzmüller, B.
On Polymorphic Type Systems for Imperative Languages: An Approach using Sets of Types and Subprograms
In Object-Oriented Technology. ECOOP'98 Workshop Reader, lncs series, vol. 1543, 1998, S. 31

Holzmüller, B., Plödereder, E.
Finite Unions for Ada 95
In Reliable Software Technologies - Ada-Europe 1997, Springer LNCS 1251, S. 1-12, 1997

Girard, J.-F., Koschke, R., Schied, G.
A Metric-based Approach to Detect Abstract Data Types and State Encapsulations
In Proceedings of the Conference on Automated Software Engineering - ASE'97, IEEE Computer Society 1997, S. 82-89

Girard, J.-F., Koschke, R.,  Schied, G.
Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding
In Proceedings of the Working Conference on Reverse Engineering - WCRE'97, IEEE Computer Society 1997, S. 66-75

Girard, J.-F., Koschke, R.
Finding Components in a Hierarchy of Modules: A Step towards Architectural Understanding
In Proceedings of the International Conference on Software Maintenance - ICSM'97, IEEE Computer Society 1997, S. 58-65

Gellerich, W., Plödereder, E.
Parameter-Induced Aliasing and Related Problems can be Avoided (Towards a More Abstract View of Variables)
In Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, Lecture Notes in Computer Science, Vol. 1251, Springer 1997, S. 161-172

Betz, H., Holzmüller, B., Koschke, R.
Experiences in Adjusting a Compiler Toolkit to Generate Ada 95 Code
In Ada User Journal, Vol. 18, No. 1, March 1997, Ada Language UK Ltd., S. 29-40; nachgedruckt in: SpAda, Vol. 34, Sept. 1997, Ada-Spain, Madrid, S. 12-23

Gellerich, W., Kosiol, M., Plödereder, E.
Where does GOTO go to?
In Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, Lecture Notes in Computer Science, Vol. 1088, Springer 1996, S. 385-395

Holzmüller, B.
Extending the Object-Orientedness of Ada 95
In Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, Lecture Notes in Computer Science, Vol. 1088, Springer 1996, S. 357-369

Koschke, R., Plödereder, E.
Ansätze des Programmverstehens
In Franz Lehner (Hrsg.): Softwarewartung und Reengineering - Erfahrungen und Entwicklungen, Deutscher Universitätsverlag / Gabler Vieweg Westdeutscher Verlag 1996,S. 159-176

Gellerich, W., Gutzmann, M.
Massively Parallel Programming Languages - A Classification of Design Approaches
In Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems 1996, published by the International Society for Computers and Their Applications (ISCA) in cooperation with the IEEE Computer Society 1996, Vol. I, S. 110-118

Schied, G., Barthelmann, K.
Linear Types for Higher Order Processes with First Class Directed Channels
In Proc. Workshop on Graph Rewriting and Computation (SEGRAGRA '95), Electronic Notes in Theoretical Computer Science, Vol. 2, Elsevier Science B.V. 1995

Schied, G.
Programmieren mit Prozessen höherer Ordnung und mit linearen Typen
In Proc. 12. Workshop GI-FG 2.1.4 "Alternative Konzepte für Sprachen und Rechner", Bad Honnef, 1995

Barthelmann,K., Schied, G.
Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems
In Proc. Workshop on Graph Transformations in Computer Science 1993, LNCS 776, Springer 1994, S. 71-85

Schied, G.
On Relating Rewriting Systems and Graph Grammars to Event Structures
In Proc. Workshop on Graph Transformations in Computer Science 1993, LNCS 776, Springer 1994, S. 326-340

Schied, G.
Konstruktive Spezifikation verteilter Systeme mit Graphgrammatiken
In Verteilte Systeme - Grundlagen und zukünftige Entwicklungen aus der Sicht des Sonderforschungsbereichs 182 "Multiprozessor- und Netzwerkkonfigurationen", H. Wedekind (Hrsg.), BI-Wissenschaftsverlag 1994, S. 475-493

Plödereder, E.
Software-Wiederverwendung als Wunderwaffe?
In Technische Rundschau 85 (2), Bern, Januar 1993; auch in: SAQ Bulletin, 1/93, Olten, Schweiz

Plödereder, E.
Building Consensus for Ada 9X
In Communications of the ACM, Vol. 35, Nr. 11, p. 85-88, November 1992

Plödereder, E.
How to Program in Ada 9X, Using Ada 83
In Ada Letters, Vol XII, Nr. 6, p. 50-58, ACM Press, November 1992

Zum Seitenanfang