Institute of Software Technology | Publications : Articles in Proceedings

uni

suche

sitemap

kontakt

Universität Stuttgart

Institute of Software Technology : Publications

Articles in Proceedings

Year 2018

Stach, Christoph; Alpers, Sascha; Betz, Stefanie; Dürr, Frank; Fritsch, Andreas; Mindermann, Kai; Murthy Palanisamy, Saravana; Schiefer, Gunther; Wagner, Manuela; Mitschang, Bernhard; Oberweis, Andreas; Wagner, Stefan: The AVARE PATRON: A Holistic Privacy Approach for the Internet of Things. In: Proceedings of the 15th International Conference on Security and Cryptography (SECRYPT '18), 2018.
Stach, Christoph; Dürr, Frank; Mindermann, Kai; Palanisamy, Saravana Murthy; Wagner, Stefan: How a Pattern-based Privacy System Contributes to Improve Context Recognition. In: Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (CoMoRea).

Year 2017

Stach, Christoph; Dürr, Frank; Mindermann, Kai; Palanisamy, Saravana Murthy; Tariq, Muhammad Adnan; Mitschang, Bernhard; Wagner, Stefan: PATRON - Datenschutz in Datenstromverarbeitungssystemen. In: Informatik 2017: Digitale Kulturen, Tagungsband der 47. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 25.09. - 29.09.2017, Technische Universität Chemnitz.

Year 2015

Wagner, Stefan; Pflüger, Dirk; Mehl, Miriam: Simulation Software Engineering: Experiences and Challenges. In: Proceedings of the 3rd International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2015.

Year 2012

Görg, Torsten: A Model-Based Approach to Type-3 Clone Elimination. In: 14. Workshop Software-Reengineering (WSR 2012) der GI-Fachgruppe Software-Reengineering, Bad-Honnef, 02.-04. Mai 2012, Proceedings.
Prokharau, Mikhail: Aspects of Code Pattern Removal. In: 14. Workshop Software-Reengineering (WSR 2012) der GI-Fachgruppe Software-Reengineering, Bad-Honnef, 02.-04. Mai 2012, Proceedings.

Year 2011

Görg, Torsten: Detection of Intentions in Context-Free Grammars. In: 13. Workshop Software-Reengineering (WSR 2011), Bad Honnef, 2.-4. Mai 2011, Softwaretechnik-Trends, Band 31, Heft 2.
von Hanxleden, Reinhard; Holsti, Niklas; Lisper, Björn; Plödereder, Erhard; Wilhelm, Reinhard et.al.: WCET Tool Challenge 2011: Report. In: Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis; Porto, Portugal.
Keul, Steffen: Tuning Static Data Race Analysis for Automotive Control Software. In: Proceedings of the 11th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 25-26 September, Williamsburg, VA, USA, 2011.
Plödereder, Erhard: Programming Languages Meet Multicore. In: Reliable Software Technologies, Ada-Europe 2011:16th International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24., 2011, Proceedings.
Prokharau, Mikhail; Gerlach, Daniel; Keul, Steffen: Static Analysis of Predicate-based Synchronisation. In: 13. Workshop Software-Reengineering (WSR 2011), Bad Honnef, 2.-4. Mai 2011, Softwaretechnik-Trends, Band 31, Heft 2.
Raza, Aoun; Franke, Stefan; Plödereder, Erhard: Detecting High-Level Synchronization Errors in Parallel Programs. In: Reliable Software Technologies, Ada-Europe 2011:16th International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24., 2011, Proceedings.

Year 2010

Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun: RaceVis: Ein Werkzeug zur Visualisierung von Data Races. In: 12. Workshop Software-Reengineering, Bad Honnef, 03. -05. Mai 2010, Softwaretechnik Trends, Band 30, Heft 2.
Keul, Steffen: Static Versioning of Global State for Race Condition Detection. In: Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings.
Raza, Aoun: Thinking Beyond Race Conditions. In: 12. Workshop Software Reengineering (WSR 2010), Bad Honnef, 3.-5. Mai 2010, Softwaretechnik-Trends, Band 30, Heft 2.

Year 2008

Raza, Aoun; Vogel, Gunther: RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. In: Kordon, Fabrice (ed.); Vardanega, Tullio (ed.): Proceedings: Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008.
Wiebe, Eduard; Keul, Steffen; Staiger, Stefan; Vogel, Gunther; Haufler, Andreas; Scherer, Wolfgang: Entwurfsmuster-Erkennung mit Bauhaus. In: Gimnich, Rainer (ed.); Kaiser, Uwe (ed.); Quante, Jochen (ed.); Winter, Andreas (ed.): Proceedings of the 10th Workshop Software Reengineering (WSR 2008), 5. - 7. May 2008, Bad Honnef.

Year 2007

Lösch, Felix; Plödereder, Erhard: Optimization of Variability in Software Product Lines. In: IEEE Computer Society (ed.): Proceedings of the 11th International Software Product Line Conference (SPLC 2007), Kyoto, Japan, 10.-14. September 2007.
Lösch, Felix; Plödereder, Erhard: 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, 21.-23. März 2007.
Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form. In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada.
Staiger, Stefan: Reverse Engineering Graphical User Interfaces using Static Analyses. In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada.
Staiger, Stefan: Statische Analyse von graphischen Oberflächen. In: Proceedings of the Workshop on Applied Program Analysis, Bremen September 2007.
Staiger, Stefan: Static Analysis of Programs with Graphical User Interface. In: Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), 21-23 March 2007, Amsterdam.
Vogel, Gunther: Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen. In: Proceedings of the Workshop on Applied Program Analysis, Bremen, September 2007.

Year 2006

Koschke, Rainer; Canfora, Gerarde; Czeranski, Jörg: Revisiting the Delta-IC Approach. In: Journal of Science of Computer Programming 60 (2006), Nr. 2.
Raza, Aoun; Vogel, Gunther; Plödereder, Erhard: Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. In: Reliable Software Technologies -- Ada-Europe 2006: 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9,2006.
Raza, Aoun: A Review of Race Detection Mechanisms. In: Proceedings of the First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006.
Vogel, Gunther: Statische Extraktion von Protokollen. In: 8. Workshop Software-Reengineering, 2006.

Year 2005

Christl, Andreas; Koschke, Rainer; Storey, Margaret-Anne: Equipping the Reflexion Method with Automated Clustering. In: Working Conference on Reverse Engineering, 2005.

Year 2004

Bellon, Stefan; Czeranski, Jörg; Eisenbarth, Thomas; Simon, Daniel: A Product Line Asset Management Tool. In: Technical Report: Workshop on Software Variability Management: Software Product Families and Populations, 2004.
Koschke, Rainer; Simon, Daniel: Symphony Fallstudie: Hierarchische Reflexion Modelle. In: 6. Workshop Software-Reengineering, WSR 2004, Bad Honnef, Germany, Mai 2004. Softwaretechnik-Trends, Band 24, Heft 2.
Vrandecic, Zdenko; Simon, Daniel; Bellon, Stefan: XML4Ada95: DOM-Zugriff auf die XML in Ada95. In: Zuverlässige Softwaresysteme, Ada Deutschland Tagung 2004.
Vrandecic, Zdenko; Simon, Daniel: XML4Ada95 Accessing XML Using the DOM in Ada95. In: Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings.

Year 2003

Bellon, Stefan; Simon, Daniel: Vergleich von Klonerkennungstechniken. In: Softwaretechnik-Trends, Band 23, Heft 2, 2003.
Koschke, Rainer; Simon, Daniel: Hierarchical Reflexion Models. In: proceedings of the 10th Working Conference on Reverse Engineering, Nov. 13.-16., 2003.1.
Vogel, Gunther: Extraktion statischer Objekt-Prozess-Graphen. In: 5. Workshop Software Reengineering, Universität Koblenz-Landau, 2003.

Year 2002

Czeranski, Jörg; Eisenbarth, Thomas; Simon, Daniel: Softwarevisualisierungstool Gravis. In: 4. Workshop Software Reengineering (Bad Honnef, 29./30. April 2002).
Czeranski, Jörg; Eisenbarth, Thomas; Simon, Daniel: Softwarevisualisierungstool Gravis. In: 4. Workshop Software Reengineering (Bad Honnef, 29./30. April 2002).
Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel: Incremental Location of Combined Features for Large-Scale Programs. In: Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada.
Eisenbarth, Thomas; Koschke, Rainer; Vogel, Gunther: Static Trace Extraction. In: Proceedins of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA.
Koschke, Rainer; Zhang, Yan: 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.
Koschke, Rainer: Atomic Architectural Component Recovery for Program Understanding and Evolution. In: Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 3-6 October 2002, Montreal, Quebec, Canada.
Koschke, Rainer: Software Visualization for Reverse Engineering. In: Diehl, Stephan (ed.): Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures, 2002.
Simon, Daniel; Eisenbarth, Thomas: Evolutionary Introduction of Software Product Lines. In: Proceedings of the Second International Software Product Line Conference, SPLC 2, San Diego, CA, USA, August 2002.
Simon, Daniel; Eisenbarth, Thomas: Feature Location and Connector Recovery: New Approaches for Software Understanding. In: 3. Workshop Software Reengineering (Bad Honnef, 10./11. Mai 2001), 2002.

Year 2001

Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel: Aiding Program Comprehension by Static and Dynamic Feature Analysis. In: Proceedings of the International Conference on Software Maintenance, Florence, Italy, 2001.
Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel: Feature-Driven Program Understanding Using Concept Analysis of Execution Traces. In: Proceedings of the International Workshop on Program Comprehension, Toronto, Canada, May 12-13, 2001.
Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel: Derivation of the Feature Component Map by means of Concept Analysis. In: Proceedings of the Conference on Software Maintenance and Reengineering, Lisbon, Portugal, March 2001.
Eisenbarth, Thomas; Simon, Daniel: Guiding Feature Asset Mining for Software Product Line Development. In: Proceedings of the First International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling and Managing (PLEES'01), Erfurt, Germany, September 2001.
Ferenc, Rudolf; Gyimothy, Tibor; Sim, Susan Elliott; Holt, Richard C.; Koschke, Rainer: Toward a standard schema for C/C++. In: Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01), 2-5 October 2001, Suttgart, Germany.
Koschke, Rainer; Zhang, Yan: Component Recovery, Protocol Recovery and Validation. In: 3. Workshop Software-Reengineering, 2001.

Year 2000

Canfora, Gerard; Czeranski, Jörg; Koschke, Rainer: Revisiting the Delta-IC Approach to Component Recovery. In: Proceedings of the Working Conference on Reverse Engineering (WCRE 2000).
Czeranski, Jörg; Eisenbarth, Thomas; Kienle, Holger; Koschke, Rainer; Plödereder, Erhard; Simon, Daniel; Girard, Jean-Francois; Würthner, Martin: 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.
Czeranski, Jörg; Eisenbarth, Thomas; Kienle, Holger; Koschke, Rainer; Simon, Daniel: Analysing xfig Using the Bauhaus Tool. In: proceedings of the Working Conference on Reverse Engineering (WCRE 2000).
Czeranski, Jörg; Eisenbarth, Thomas; Kienle, Holger; Koschke, Rainer; Simon, Daniel: Wiedergewinnung von Architekturinformationen: Ausblicke. In: 2. Workshop Software-Reengineering, Bad Honnef 2000.
Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel: Herleitung der Feature-Komponenten-Korrespondenz mittels Begriffsanalyse. In: Proceedings of 1. Deutscher Software-Produktlinien Workshop (DSPL-1), Kaiserslautern, November 2000.
Kienle, Holger; Czeranski, Jörg; Eisenbarth, Thomas: Exchange Format Bibliography. In: Workshop on Standard Exchange Format, Juni 2000.
Kienle, Holger; Czeranski, Jörg; Eisenbarth, Thomas: The API Perspective of Exchange Formats. In: Workshop on Standard Exchange Format, Juni 2000.
Koschke, Rainer; Eisenbarth, Thomas: A Framework for Experimental Evaluation of Clustering Techniques. In: International Workshop on Program Comprehension, 2000.
Koschke, Rainer: Vorlesungen zum Thema Software-Reengineering. In: 2. Workshop Software-Reengineering, Bad Honnef 2000.
Sim, Susan Elliot; Holt, Ric; Koschke, Rainer: Workshop on Standard Exchange Format (workshop session). In: Proceedings of the 22nd International Conference on Software Engineering, 2000, ACM.

Year 1999

Eisenbarth, Thomas; Koschke, Rainer; Plödereder, Erhard; Girard, Jean-Francois; Würthner, Martin: Interaktive und inkrementelle Wiedergewinnung von SW-Architekturen. In: 1. Workshop Software Reengeneering, 1999.
Gellerich, Wolfgang; Plödereder, Erhard: The Evolution of GOTO Usage and its Effects on Software Quality. In: 29. Jahrestagung der Gesellschaft für Informatik, Paderborn, 5.-9. Oktober 1999.
Koschke, Rainer: An Incremental Semi-Automatic Method for Component Recovery. In: Proceedings of the 6th Working Conference on Reverse Engineering, Atlanta, Georgia, USA, 1999.

Year 1998

Brouwer, Klaus; Gellerich, Wolfgang; Plödereder, Erhard: Myths and Facts about Efficient Implementation of Finite Automata and Lexical Analysis. In: Compiler Construction - 7th International Conference , CC'98, Lisbon, Portugal, 1998.
Holzmüller, Bernd: On Polymorphic Type Systems for Imperative Languages: An Approach using Sets of Types and Subprograms. In: Object-Oriented Technology. ECOOP'98, 1998.
Koschke, Rainer; Girard, Jean-Francois; Würthner, Martin: An Intermediate Representation for Reverse Engineering Analyses. In: Proceedings of the 5th Working Conference for Reverse Engineering - WCRE '98, 1998.

Year 1997

Gellerich, Wolfgang; Plödereder, Erhard: Parameter-Induces 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,London, UK, June 2-6, 1997.
Girard, Jean-Francois; Koschke, Rainer; Schied, Georg: A Metric-based Approach to Detect Abstract Data Types and State Encapsulation. In: Proceedings of the Conference on Automated Software Engineering - ASE'97, November 2-5, 1997, Lake Tahoe, CA, USA.
Girard, Jean-Francois; Koschke, Rainer; Schied, Georg: 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, October 6-8, 1997, Amsterdam, The Netherlands.
Girard, Jean-Francois; Koschke, Rainer: Finding Components in a Hierarchy of Modules: A Step towards Architectural Understanding. In: Proceedings of the International Conference on Software Maintenance - ICSM'97, 1-3 October 1997, Bari, Italy,.
Holzmüller, Bernd; Plödereder, Erhard: Finite Unions for Ada 95. In: Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies,London, UK, June 2-6, 1997.
Holzmüller, Bernd: Finite Unions for Ada 95. In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997.

Year 1996

Gellerich, Wolfgang; Gutzmann, Michael M.: Massively Parallel Programming Languages - A Classification of Design Approaches. In: Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems 1996, Vol. I.
Gellerich, Wolfgang; Kosiol, Markus; Plödereder, Erhard: Where does GOTO go to?. In: Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies.
Holzmüller, Bernd: Extending the Object-Orientedness of Ada95. In: Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies.

Year 1995

Schied, Georg; Barthelmann, Klaus: Linear Types for Higher Order Processes with First Class Directed Channels. In: Proceedings: Workshop on Graph Rewriting and Computation (SEGRAGRA'95), Electronic Notes in Theoretical Computer Science, Vol. 2, 1995.
Schied, Georg; Barthelmann, Klaus: Linear Types for Higher Order Processes with First Class Directed Channels. In: Proceedings of the Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Electronic Notes in Theoretical Computer Science, Vol. 2.
Schied, Georg: Programmieren mit Prozessen höherer Ordnung und mit linearen Typen. In: Proceedings des 12. Workshop GI-FG 2.1.4 'Alternative Konzepte für Sprachen und Rechner, Bad Honnef, 1995.

Year 1994

Barthelmann, Klaus; Schied, Georg: Graph-Grammar Semantics of a Higher-Order Programming Language for distributed Systems. In: Proceedings of the Workshop on Graph Transformations in Computer Science, 1993, 1994.
Schied, Georg: On Relating Rewriting Systems and Graph Grammars to Event Structures. In: Proceedings of the Workshop on Graph Transformations in Computer Science 1993, 1994.