Publications

2012

Wolfgang Theilmann, Sergio Garcia Gomez, John Kennedy, Davide Lorenzoli, Christoph Rathfelder, Thomas Roeblitz, Gabriele Zacco
A Framework for Multi-level SLA Management
contribution to a book, Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions, pages 470-490. IGI Global, 2012.

Christoph Rathfelder, Benjamin Klatt, Franz Brosch, Samuel Kounev
Performence Modeling for Quality of Service Prediction in Service-Oriented Systems
contribution to a book, Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions, pages 258-279. IGI Global, 2012.

2011

Christoph Rathfelder, Benjamin Klatt, Giovanni Falcone
The Open Reference Case A Reference Use Case for the SLA@SOI Framework
contribution to a book, Service Level Agreements for Cloud Computing, pages 27-40. Springer New York, 2011.

Christoph Rathfelder, Samuel Kounev, David Evans
Capacity Planning for Event-based Systems using Automated Performance Predictions
proceeding, In 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), pages 352-361, Oread, Lawrence, Kansas, November 2011. Acceptance Rate (Full Paper): 14.7% (37/252).

Binish Tanveer, Axel Wickenkamp, Martin Blersch
Dynamic Identification, Extraction and Reuse of Software Components in Distributed Development Scenarios
proceeding,

Simon Schreiber (Betreuer: Martin Blersch)
Ein Ansatz zur Verbesserung der Bedienbarkeit von Webseiten auf mobilen Endgeräten durch dynamisches Nachladen von Inhalten
diploma thesis, Fakultät für Informatik, Karlsruher Institut für Technologie, 2011

Alexander Liebrich
Dynamische Lastverteilung für heterogene Systeme in stromorientierten Anwendungen
diploma thesis, Fakultät für Informatik, Karlsruher Institut für Technologie, 2011

Klaus-Martin Scheuer
Anwendung eines Metasuchansatzes für die Vorhersage von relevanten Codeartefakten
diploma thesis, Fakultät für Informatik, Karlsruher Institut für Technologie, 2011

Ralf Trunko
Kontextsensitive Ausnahmebehandlung in Geschäftsprozessen
dissertation,

Oliver Müller, Ralf Trunko (Betreuer)
Entwicklung einer leichtgewichtigen Methode für die Anforderungsanalyse bei kleinen und mittelständischen Unternehmen
diploma thesis,

Anne Koziolek, Heiko Koziolek, Ralf Reussner
PerOpteryx: Automated Application of Tactics in Multi-Objective Software Architecture Optimization
proceeding, Proceedings of the Seventh International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2011), Boulder, Colorado, USA, ACM.

Anne Koziolek, Ralf Reussner
Towards A Generic Quality Optimisation Framework for Component-Based System Models
proceeding, Proceedings of the 14th International Symposium on Component Based Software Engineering (CBSE 2011), Boulder, CO, USA. ACM.

Dominik Ernst, Henning Groenda (advisor)
Test case generation with performance model-based test coverage
assignment,

Christoph Rathfelder, Benjamin Klatt
Palladio Workbench: A Quality-Prediction Tool for Component-Based Architectures
proceeding, Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA)

Benjamin Klatt, Christoph Rathfelder, Samuel Kounev
Integration of Event-Based Communication in the Palladio Software Quality Prediction Framework
proceeding, In 7th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2011), Boulder, Colorado, USA, June 20-24 2011.

Stefan Becker (Betreuer: Christoph Rathfelder)
Performance-Modellierung des 1&1 Mail-Systems
diploma thesis,

Michael Hauck, Michael Kuperberg, Nikolaus Huber, Ralf Reussner
Ginpex: Deriving Performance-relevant Infrastructure Properties Through Goal-oriented Experiments
proceeding, Proceedings of the 7th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2011)

Michael Hauck, Jens Happe, Ralf Reussner
Towards Performance Prediction for Cloud Computing Environments Based on Goal-oriented Measurements
proceeding, Proceedings of the 1st International Conference on Cloud Computing and Service Science (CLOSER 2011)

Nikolaus Huber, Marcel von Quast, Michael Hauck, Samuel Kounev
Evaluating and Modeling Virtualization Performance Overhead for Cloud Environments
proceeding, Proceedings of the 1st International Conference on Cloud Computing and Service Science (CLOSER 2011)

Zoya Durdik
A Proposal on Validation of an Agile Architecture-Modelling Process
proceeding, In Proceedings of Software Engineering 2011 (SE2011), Doktoranden-Symposium, 2011.

Heiko Koziolek, Roland Weiss, Zoya Durdik, Johannes Stammel, Klaus Krogmann
Towards Software Sustainability Guidelines for Long-living Industrial Systems
proceeding, In Proceedings of Software Engineering 2011 (SE2011), 3rd Workshop of GI Working Group „Long-living Software Systems (L2S2)“ 2011.

Florian Behaim, David Karlin (Betreuer)
Entwicklung eines prozess- und kennzahlenbasierten Ansatzes zur Unternehmensbewertung und -beurteilung
diploma thesis, KIT, Institut AIFB

Heiko Koziolek, Bastian Schlich, Carlos Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola, Anne Koziolek
An Industrial Case Study on Quality Impact Prediction for Evolving Service-Oriented Software
proceeding, Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Software Engineering in Practice Track, ACM

2010

Henning Groenda
Usage profile and platform independent automated validation of service behavior specifications.
proceeding, Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, QUASOSS '10, pages 6:1-6:6, New York, NY, USA, 2010. ACM.

Roland Weiss, Heiko Koziolek, Johannes Stammel, Zoya Durdik
Evolution problems in the context of sustainable industrial software systems
proceeding, 2nd Workshop Design for Future (DFF2010), Bad Honnef, Germany, May 2-3, Softwaretechnik-Trends 30(2):52-53, Köllen, May 2010

Maik Herfurth, Peter Weiß, Christian Rudolf, Robert Kern
Reducing the Complexity of Services – A new Approach to Service e-Procurement
proceeding,

Maik Herfurth, Peter Weiß
Conceptual Design of Service Procurement for collaborative Service Networks
proceeding,

Maik Herfurth, Peter Weiß
Approach to E-Classification and E-Tradeability of Complex Industrial Services
proceeding,

Ayse Fulya Sengil
Katalogbasierte Beschreibung von hybriden Dienstleistungen im elektronischen Einkauf
diploma thesis,

Tanja Schragl
Modellierungssprachen zur Darstellung von Abwicklungsprozessen von Dienstleistungen
diploma thesis,

Dirk Hachenthal
Formale Beschreibung von Services in Servicetransaktionsprozessen
diploma thesis,

M. Trifu
The Q-ImPrESS Method - an Overview
lecture, Proceedings of the 1st Workshop on Software Services: Frameworks and Platforms, Timisoara, Sept. 2010

Zoya Durdik
Architectural modeling in agile methods.
proceeding, In Proceedings of the Fifteenth International Workshop on Component-Oriented Programming (WCOP) 2010, volume 2010-14 of Interne Berichte, pages 23-30, Karlsruhe, Germany, June 2010. Editors: Barbora Bühnová, Ralf H. Reussner, Clemens Szyperski, and Wolfgang Weck. Awarded with CompArch Young Investigator Award.

Igor Lankin, Franz Brosch (Betreuer)
Predicting the Reliability of Fault-Tolerant Software Systems with the PCM
diploma thesis,

Michael Hauck, Jens Happe, Ralf Reussner
Automatic Derivation of Performance Prediction Models for Load-balancing Properties Based on Goal-oriented Measurements
proceeding, In Proceedings of the 18th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'10), 2010.

Dennis Westermann, Jens Happe, Michael Hauck, Christian Heupel
The performance cockpit approach: A framework for systematic performance evaluations
proceeding, In Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010). IEEE Computer Society, 2010.

Jens Happe, Henning Groenda, Michael Hauck, Ralf Reussner
A prediction model for software performance in symmetric multiprocessing environments
proceeding, In Proceedings of the 2010 Seventh International Conference on the Quantitative Evaluation of Systems, QEST '10, pages 59-68, Washington, DC, USA, 2010. IEEE Computer Society.

M. Trifu
Tool-supported identification of functional concerns in object-oriented code
dissertation, Dissertation, Karlsruher Institut für Technologie, Fakultät für Informatik

Monika Tavas
Spezifikation und Implementierung einer XML-basierten Sprache zur Beschreibung von wiederverwendbaren Softwarekomponenten
diploma thesis, Diplomarbeit, Karlsruher Institut für Technologie, Fakultät für Informatik, 2010

Michael Gebhart, Marc Baumgartner, Stephan Oehlert, Martin Blersch, Sebastian Abeck
Evaluation of Service Designs Based on SoaML
proceeding,

Benjamin Klatt, Christoph Rathfelder (Betreuuer), Samuel Kounev (Betreuuer)
Modelling and Prediction of Event-Based Communication in Component-Based Architectures
diploma thesis,

Christoph Rathfelder, David Evans, Samuel Kounev
Predictive Modelling of Peer-to-Peer Event-driven Communication in Component-based Systems
proceeding, In Alessandro Aldini, Marco Bernardo, Luciano Bononi, and Vittorio Cortellessa, editors, Proceedings of the 7th European Performance Engineering Workshop (EPEW'10), University Residential Center of Bertinoro, Italy, volume 6342 of Lecture Notes in Computer Science, pages 219-235. Springer-Verlag Berlin Heidelberg, 2010.

Christian Bartsch, Marco Mevius
Analyse der Auswirkungen der Verfügbarkeit von IT-Dienstleistungen auf Geschäftsprozesse
proceeding, Schmietendorf, A.; Bartsch, C.; Dumke, R. R. (Hrsg.): BSOA 2010 - 5. Workshop Bewertungsaspekte serviceorientierter Architekturen, S.31-43, Shaker Verlag, Aachen, 2010.

Martin Küster, Thomas Goldschmidt (advisor)
Modularization of Text-to-Model Mapping Specifications
diploma thesis,

Oliver Denninger
Case study: Parallel depth map generation from stereo images [Poster]
proceeding, ERIC 2010, Intel European Research & Innovation Conference, Braunschweig, Germany, September 21-22, 2010

Johannes Franz
StreamCpp: Stromprogrammierung für C++ auf Mehrkern-Architekturen
diploma thesis, Fakultät für Informatik, Karlsruher Institut für Technologie, 2010

Christoph Rathfelder, Benjamin Klatt, Samuel Kounev, David Evans
Towards Middleware-aware Integration of Event-based Communication into the Palladio Component Model
proceeding, roceedings of the 4th ACM International Conference on Distributed Event-Based Systems (DEBS-2010), Cambridge, United Kingdom, July 2010. ACM, New York, USA

Nikolaus Huber, Steffen Becker, Christoph Rathfelder, Jochen Schweflinghaus, Ralf Reussner
Performance Modeling in Industry: A Case Study on Storage Virtualization
proceeding, ACM/IEEE 32nd International Conference on Software Engineering, Software Engineering in Practice Track, Capetown, South Africa, pages 1-10, New York, NY, USA, 2010. ACM

Christoph Rathfelder, David Evans, Samuel Kounev
Predictive Modelling of Peer-to-Peer Event-driven Communication in Component-based Systems
proceeding, Proceedings of the 7th European Performance Engineering Workshop (EPEW'10), University Residential Center of Bertinoro, Italy, volume 6342 of Lecture Notes in Computer Science, pages 219-235. Springer-Verlag Berlin Heidelberg

Oliver Denninger
Fallstudie: Parallelisierung der Erstellung von Tiefenkarten aus Stereobildern
FZI internal, Karlsruhe Reports in Informatics (früher: Interner Bericht. Fakultät für Informatik, Karlsruher Institut für Technologie) ; 2010,16 / ISSN: 2190-4782

Klaus-Martin Scheuer
Indexierung natürlichsprachiger Texte aus Software-Repositorys
assignment, Karlsruher Institut für Technologie, Fakultät für Informatik, 2010

Franz Brosch, Heiko Koziolek, Bara Buhnova, Ralf Reussner
Parameterized Reliability Prediction for Component-based Software Architectures
proceeding, Proceedings of the 6th International Conference on the Quality of Software Architectures (QoSA), volume To Appear, LNCS. Springer, 2010.

Franz Brosch, Ralf Gitzel, Heiko Koziolek, Simone Krug
Combining architecture-based software reliability predictions with financial impact calculations
proceeding, Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), volume To Appear, ENTCS. Elsevier, 2010

Christian Bartsch
Modellierung und Simulation von IT-Dienstleistungsprozessen
dissertation, KIT Scientific Publishing, Karlsruhe, 2010.

Marc Essinger
Entwurf einer Datenstruktur zur Abbildung von Änderungsanforderungen auf Codeartefakte
assignment, Karlsruher Institut für Technologie, Fakultät für Informatik, 2010

S. Becker, M. Hauck, M. Trifu, K. Krogmann, J. Kofron
Reverse Engineering Component Models for Quality Predictions
proceeding, Proceedings of the 14th European Conference on Software Maintenance and Reengineering, European Projects Track, pages 199-202. IEEE, 2010.

Christian Bartsch, Marco Mevius, Andreas Oberweis
Simulation environment for IT service support processes
proceeding, Proceedings of the 2nd International Conference on Information, Process, and Knowledge Management (eKNOW'10), pp.23-31, IEEE Computer Society, 2010.

2009

Stefan Hellfeld, Marco Mevius, Andreas Oberweis
Management kontextgenerierender, mobiler Dienste in Geschäftsprozessen
proceeding, 6. GI/ITG KuVS Fachgespräch “Ortsbezogene Anwendungen und Dienste“

Nicolas Geoffray, Gael Thomas, Gilles Muller, Pierre Parrend, Stephane Frenot, Bertil Folliot
I-JVM: a Java Virtual Machine for Component Isolation in OSGi
proceeding, 39th IEEE/IFIP Conference on Dependable Systems and Networks (DSN), Lisbon, Portugal

Maik Herfurth, Axel Meinhardt, Jörg Schumacher, Peter Weiß
eProcurement for Industrial Maintenance Services
proceeding,

Maik Herfurth, Peter Weiß
E-Procurement for Industrial Maintenance Services
proceeding,

Maik Herfurth, Peter Weiß, Christian Rudolf, Robert Kern
Reducing the Complexity of Services - A new Approach to Service e-Procurement
proceeding,

Ismail Batuhan Cavus
Ansatz zur integrativen Referenzmodellierung im Dienstleistungssektor
diploma thesis,

Katja Lehmann
Geschäftsprozessanalyse der FMEA in der Karosserieentwicklung
diploma thesis,

Michael Stübs
Integrative Analyse von Stammdaten und Geschäftsprozessen bei der Einführung eines ERP-Systems bei der Daimler AG
diploma thesis,

Florian Spormann
E-Procurement von Dienstleistungen - Konzeption einer Referenzlösung zur einheitlichen elektronischen Abwicklung
diploma thesis,

Tobias Renth
Prozessorientiertes Stammdatenmanagement im Dienstleistungssektor
diploma thesis,

Thu Ha Vu Thi
Make-or-Buy-Entscheidungen bei der Vergabe von Instandhaltungsdienstleistungen
diploma thesis,

Axel Meinhardt
Informationsmanagement bei der elektronischen Beschaffung von Dienstleistungen
diploma thesis,

Dominik Leonhardt
Konzeption und Implementieurng einer Workflow Engine für das Modellierungstool INCOME2010
diploma thesis,

Yuangang Sheng
Conceptual Design and Realization of Web Service Repositories for INCOME2010
diploma thesis,

Johannes Stammel, Ralf Reussner
KAMP: Karlsruhe Architectural Maintainability Prediction
proceeding, Proceedings des 1. Workshop des GI-Arbeitskreises Langlebige Softwaresysteme (L2S2): "Design for Future - Langlebige Softwaresysteme", Karlsruhe, Germany, October 15-16, 2009

Anne Martens, Franz Brosch, Ralf Reussner
Optimising multiple quality criteria of service-oriented software architectures
proceeding, Proceedings of the 1st international workshop on Quality of service-oriented software systems (QUASOSS), pages 25-32

Heiko Koziolek, Franz Brosch
Parameter dependencies for component reliability specifications
proceeding, 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), volume 253 of Electronic Notes in Theoretical Computer Science, pages 23 - 38

Franz Brosch, Barbora Zimmerova
Design-Time Reliability Prediction for Software Systems
proceeding, Proceedings of the International Workshop on Software Quality and Maintainability (SQM'09)

Nikolaus Huber
Performance Modeling of Storage Virtualization
diploma thesis,

Marco Comuzzi, Constantinos Kotsokalis, Christoph Rathfelder, Wolfgang Theilmann, Ulrich Winkler, Gabriele Zacco
A Framework for Multi-level SLA Management
proceeding, Proc. of The 3rd Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing NFPSLAM-SOC'09

Gábor Szeder
Unit Testing for Multi-Threaded Java Programs
proceeding, PADTAD'09: Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

Henning Groenda, Christoph Rathfelder, Ralph Mueller
Best of Eclipse DemoCamps - Ein Erfahrungsbericht vom dritten Karlsruher Eclipse DemoCamp
article, Eclipse Magazin

Franz Brosch, Henning Groenda, Lucia Kapova, Klaus Krogmann, Michael Kuperberg, Anne Martens, Pierre Parrend, Ralf H. Reussner, Johannes Stammel, Emre
Software-Industrialisierung
seminar/workshop, Bericht. Fakultät für Informatik, Universität Karlsruhe

Jens Happe, Henning Groenda, Ralf H. Reussner
Performance Evaluation of Scheduling Policies in Symmetric Multiprocessing Environments
proceeding, Proceedings of the 17th IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'09)

Henning Groenda
Certification of Software Component Performance Specifications
proceeding, Proceedings of the Fourteenth International Workshop on Component-Oriented Programming (WCOP) 2009

Christoph Rathfelder, Henning Groenda
The Architecture Documentation Maturity Model ADM2
proceeding, Proc. of 3rd Workshop: MDD, SOA and IT-Management (MSI 2009), Oldenburg

Erik Hofmann, David Karlin
Der Schweizer Logistikmarkt im Zeichen der Finanz- und Wirtschaftskrise
article, Hofmann, Erik ; Karlin, David: Der Schweizer Logistikmarkt im Zeichen der Finanz- und Wirtschaftskrise. In: GS1 Network 24 (2009), Nr. 3, S. 72-74.

Pierre Parrend
Enhancing Automated Detection of Vulnerabilities in Java Components
proceeding, Forth International Conference on Availability, Reliability and Security (AReS 2009), 16th – 19th March 2009, Fukuoka, Japan.

Pierre Parrend
Security for Java Platforms
contribution to a book, Chapter in `Java Software', Nova Publishers, New York, 2009, To appear.

Thomas Goldschmidt, Steffen Becker, and Axel Uhl
Textual Views in Model Driven Engineering
proceeding, In Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Patras, Greece

Jens Kübler,Thomas Goldschmidt
A Pattern Mining Approach Using QVT
proceeding, 5th European Conference on Model Driven Architecture - Foundations and Applications (ECMDA 2009), Enschede, The Netherlands

M. Trifu
Improving the Dataflow-based Concern Identification Approach
proceeding, Proceedings of the 13-th European Conference on Software Maintenance and Reengineering, Kaiserslautern 2009

Thomas Goldschmidt, Steffen Becker, Axel Uhl
FURCAS: View Based Textual Modelling
proceeding, In Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA 2009) -- Tools and Consultancy Track, Enschede, The Netherlands

Lucia Kapova, Thomas Goldschmidt
Automated Feature Model-based Generation of Refinement Transformations
proceeding, In Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Patras, Greece

Daniel Eichhorn, Agnes Koschmider, Yu Li, Peter Stürzel, Andreas Oberweis, Ralf Trunko
3D Support for Business Process Simulation
proceeding, Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC). Seattle, Washington, July 2009

Ralf Trunko, Kevin Podratz, Christoph Loeser, Thilo Steckel, Frieder Swoboda, Emanuel Georgiew
Kontextsensitive Konfiguration und Ausführung verteilter Geschäftsprozesse
article, Electronic Communications of the EASST 17. March 2009. KOMMUNIKATION in Verteilten Systemen 2009 http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/viewFile/215/208

Christian Bartsch, Marco Mevius, Thiemo Doleski, Robin Steuerwald
Intelligentes Management von ausgelagerten IT-Prozessen
contribution to a book, (to appear, Herbst 2009) BITKOM-Buch "Industrialisierung im Outsourcing"

Christa Larsen, Marco Mevius, Alfons Schmid (Hersg.)
Informationsystems for Regional Labour Markets in Operation
book,

Marco Mevius
Green & Lean Excellence - Einbindung grüner Kennzahlen in das Corporate Performance Management
contribution to a book,

Marco Mevius, Andreas Oberweis, Wolffried Stucky
Neue Ansätze bei der Modellierung eines kennzahlenbasierten Managements von Geschäftsprozessen
article,

Michael Hauck, Michael Kuperberg, Klaus Krogmann, Ralf Reussner
Modelling Layered Component Execution Environments for Performance Prediction
proceeding, In Proceedings of the 12th International Symposium on Component Based Software Engineering (CBSE 2009), LNCS 5582, pp. 191-208. Springer, 2009.

Christoph Rathfelder, Samuel Kounev
Model-based Performance Prediction for Event-driven Systems
proceeding, In 3rd ACM International Conference on Distributed Event-Based Systems (DEBS2009), Nashville, TN, USA, July 2009.

Christoph Rathfelder, Samuel Kounev
Modeling Event-Driven Service-Oriented Systems using the Palladio Component Model
proceeding, Proceedings of the 1st International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS). ACM, New York, NY, USA, 2009.

2008

Wolfgang Gallo, Stefan Hellfeld (Betreuer)
Modellierung einer dreidimensionalen Darstellung geografischer Daten für mobile Geräte
diploma thesis,

Benjamin Klatt, Klaus Krogmann
Software Extension Mechanisms
proceeding, Proceedings of the Thirteenth International Workshop on Component-Oriented Programming (WCOP'08), Karlsruhe, Germany, number 2008-12

Landry Chouambe, Benjamin Klatt, Klaus Krogmann
Reverse Engineering Software-Models of Component-Based Systems
proceeding, In Kostas Kontogiannis, Christos Tjortjis, and Andreas Winter, editors, 12th European Conference on Software Maintenance and Reengineering, pages 93-102, Athens, Greece, April 1-4 2008. IEEE Computer Society

Pierre Parrend, Stephane Frenot, Yvan Royon and Denis Beras
Monitoring Scheduling for Home Gateways
book, IEEE/IFIP Network Operations and Management Symposium (NOMS), Salvador de Bahia, Brazil, 7-11 April 2008

Pierre Parrend, Stéphane Frénot
Vérification automatique pour l’exécution sécurisée de composants Java
book, Numéro spécial de la revue L'Objet Composants, Services et Aspects : techniques et outils pour la vérification, VOL 14/4 - 2008 - pp.103-127 - doi:10.3166/obj.14.4.103-127

Pierre Parrend
Software Security Models for Service-Oriented Programming (SOP) Platforms
dissertation, INSA de Lyon. 2008/12/09

Christof Momm, Christoph Rathfelder
Model-based Management of Web Service Compositions in Service-Oriented Architectures
proceeding, MDD, SOA und IT-Management (MSI 2008), pages 25-40, Oldenburg, 2008. GITO-Verlag

Maik Herfurth, Marco Mevius
Modellgetriebene Implementierung von adaptiven Geschäftsprozessen in Service-orientierten Architekturen
proceeding, DOAG Anwenderkonferenz 2008, Nürnberg

Juho Mäkiö
Offshore Outsourcing Software Development Projects
book, Proceedings of Economy, Ecology and Society in 21. century Russia, 2008

Juho Mäkiö, Stefanie Betz, Rafael Prikladnicki
Distributed Software Development - Methods and Tools for Risk Management
proceeding, Third International Conference on Global Software Engineering, Bangalore, India, August 2008

Stefanie Betz, Juho Mäkiö, Andreas Oberweis
OUTSHORE Maturity Model: Assistance of Software Offshore Outsourcing Decisions
proceeding, Proceedings of APMS 2008 Innovations in Networks

Stefanie Betz, Juho Mäkiö
Erfolgsfaktoren verteilter Softwareentwicklung
article, OBJEKTspektrum, 02/2008

Stefanie Betz, Juho Mäkiö
Applying the OUTSHORE approach for risk minimisation in offshore outsourcing of Software Development projects
proceeding, Proceedings of MKWI 2008

Oliver Denninger, Tom Gelhausen, Rubino Geiß
Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD
contribution to a book, Applications of Graph Transformations with Industrial Relevance, LNCS 5088, Seiten 168-183, Springer 2008

Christoph Rathfelder, Henningen Groenda
Towards an Architecture Maintainability Maturity Model (AM3)
article, Softwaretechnik-Trends, 28(4):3-7, November 2008

Christian Bartsch, Marco Mevius, Andreas Oberweis
Simulation of IT Service Processes with Petri-Nets
proceeding, In: Proceedings of the 4th International Workshop on Engineering Service-Oriented Applications: Analysis and Design (WESOA'08), held in conjunction with the 6th International Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australien, 2008.

Kapova, Lucia, Bures, Tomas and Hnetynka, Petr
Preserving Intentions in SOA Business Process development
contribution to a book, Springer Verlag, Heildenberg

M. Trifu, S. Schürle
Process and Software Quality Control with an Eclipse Plug-In for SISSy and ISIS
lecture, Eclipse DemoCamp, November 2008, Karlsruhe

S. Becker, M. Trifu, R. Reussner
Towards Supporting Evolution of Service Oriented Architectures through Quality Impact Prediction
proceeding, Proceedings of the 1-st Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems (ARAMIS 2008), IEEE, Sept. 2008

Pierre Parrend, Stéphane Frénot
Component-based Access Control: Secure Software Composition through Static Analysis
book, In Software Composition (SC'2008), volume 4954/2008 of LNCS, pages 68-83. Springer Berlin / Heidelberg, March 2008.

Pierre Parrend, Stéphane Frénot
More Vulnerabilities in the Java/OSGi Platform: A Focus on Bundle Interactions
other, INRIA Technical Report n° 6649.

Pierre Parrend, Stéphane Frénot
Security Benchmarks of OSGi Platforms: Toward Hardened OSGi
article, Software - Practice and Experience, Wiley Interscience. Accepted for publication.

Pierre Parrend, Stéphane Frénot
Classification of component vulnerabilities in Java service oriented programming (SOP) platforms
proceeding, Conference on Component-based Software Engineering (CBSE'2008), volume 5282/2008 of LNCS, Karlsruhe, Germany, October 2008. Springer Berlin / Heidelberg.

Thomas Goldschmidt, Axel Uhl
Retainment Rules for Model Transformations
proceeding, 1st International Workshop on Model Co-Evolution and Consistency Management

Thomas Goldschmidt
Towards an incremental update approach for concrete textual syntaxes for UUID-based model repositories
proceeding, 1st International Conference on Software Language Engineering (SLE)

Christian Bartsch, Larisa Shwartz, Christopher Ward, Genady Grabarnik, Melissa J. Buco (IBM Research, USA)
Decomposition of IT service processes and identification of alternatives using ontogoly
proceeding, In: Proceedings of IEEE/IFIP Network Operations and Management Symposium (NOMS 2008), Salvador, Brazil, April 7-11, 2008.

Peter Szulman, Thomas Schuster, Hans-Jörg Happel
Leveraging source code search for reuse
proceeding, ICSR 2008, 10th International Conference on Software Reuse

Christoph Rathfelder, Henning Groenda, Ralf Reussner
Software Industrialization and Architecture Certification
proceeding, Industrialisierung des Software-Managements - Proccedings of Fachtagung Software-Management 2008

Maik Herfurth, Thomas Karle, Ralf Trunko
Model Driven Implementation of Business Processes Based on Web Service Nets
proceeding, 2008 SIWN Congress, 2nd International Conference on Adaptive Business Systems (ABS 2008)

Maik Herfurth, Thomas Karle, Frank Schönthaler
Reference Model for service oriented Business Software based on Web Service Nets
proceeding, SIGSAND-EUROPE 2008, Third AIS SIGSAND European Symposium, GI-Edition 2008 Lecture Notes in Informatics (LNI)

V. Kuttruff, M. Trifu, P. Szulman
Von der Problemerkennung zur Problembehebung: 12 Jahre Softwaresanierung am FZI
proceeding, Proceedings of the 10th German Workshop on Software-Reengineering, LNI, May 2008

Steffen Becker, Tobias Dencker, Jens Happe
Model-Driven Generation of Performance Prototypes
proceeding, Proceeding of the SPEC International Performance Evaluation Workshop 2008, To Appear

Holger Friedrich, Jens Happe, Steffen Becker, Ralf Reussner
A JMS Performance Completion for the Palladio Component Model
proceeding, Proceedings of the 7th International Workshop on Software and Performance (WOSP2008), ACM Sigsoft, To Appear

Steffen Becker
Coupled Model Transformations
proceeding, Proceedings of the 7th International Workshop on Software and Performance (WOSP2008), ACM Sigsoft, To Appear

Thomas Goldschmidt, Steffen Becker, Axel Uhl
Classification of Concrete Textual Syntax Mapping Approaches
proceeding, ECMDA 2008, Fourth European Conference on Model Driven Architecture Foundations and Applications

Steffen Becker
Coupled Model Transformations for QoS Enabled Component-Based Software Design
dissertation, University of Oldenburg

M. Trifu
Using Dataflow Information for Concern Identification in Object-Oriented Software Systems
proceeding, Proceedings of the European Conference on Software Maintenance and Reengineering (CSMR 2008), Athens, Greece, Pages 193-202, IEEE Computer Society, April 2008.

Oliver Denninger, Jochen Schimmel
Game Programming and XNA in Software Engineering Education
proceeding, In Proceedings of Computer Games & Allied Technology 2008 (CGAT08)

Christoph Rathfelder, Henning Groenda
iSOAMM: An independent SOA Maturity Model
proceeding, in Proc. of 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'08)

Wolfgang Gallo, Stefan Hellfeld (Betreuer)
Modellierung einer dreidimensionalen Darstellung geografischer Daten für mobile Geräte
diploma thesis,

Thomas Goldschmidt, Jens Kuebler
Towards Evaluating Maintainability Within Model-Driven Environments
book, In Proc. of Software Engineering 2008, Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration

Christof Momm, Christoph Rathfelder, Ignacio Pérez Hallerbach, Sebastian Abeck
Manageability Design for an Autonomic Management of Semi-Dynamic Web Service Compositions
proceeding, In Proc. of the 11th IEEE/IFIP Network Operations and Management Symposium NOMS 2008

Thomas Goldschmidt, Ralf Reussner, Jochen Winzen
A Case Study Evaluation of Maintainability and Performance of Persistency Techniques
proceeding, In Proc. of the 30th International Conference on Software Engineering ICSE '08

Marco Mevius
A Novel Modeling Language for Tool-based Business Process Engineering
proceeding, In: Proc. of the 5th ORGANIZATIONAL ENGINEERING Track at the 23rd ACM Symposium on Applied Computing, ACM SAC 2008, March 16 - 20, 2008, Fortaleza, Ceará, Brazil. (to appear)

Thomas Goldschmidt, Guido Wachsmuth
Refinement transformation support for QVT Relational transformations
proceeding, 3rd Workshop on Model Driven Software Engineering (MDSE 2008)

Stefanie Betz, Daniel Eichhorn, Susan Hickl, Stefan Klink, Agnes Koschmider, Yu Li, Andreas Oberweis, Ralf Trunko
3D Representation of Business Process Models
proceeding, Loos, Peter; Nüttgens, Markus; Turowski, Klaus; Werth, Dirk (Hrsg.), Proceedings of Modellierung betrieblicher Informationssysteme (MobIS 2008). Köllen Verlag, Saarbrücken, November 2008.

Ralf Trunko, Thilo Steckel, Frieder Swoboda, Kevin Podratz, Emanuel Gregoriew, Christoph Loeser
IT-Supported Integration of Semi-Autonomous Mobile Machines and Processes into Business and Service Models
proceeding, Proceedings of the iiWAS/MoMM 2008. ACM, November 2008

2007

Steffen Becker, Thomas Goldschmidt, Henning Groenda, Jens Happe, Henning Jacobs, Christian Janz, Konrad Jünemann, Benjamin Klatt, Christopher Köker, H
Transformationen in der Modellgetriebenen Software-Entwicklung
seminar/workshop, Technical report, Karlsruhe, 2007. Interner Bericht. Fakultät für Informatik, Universität Karlsruhe

Pierre Parrend, Stéphane Frénot
Supporting the Secure Deployment of OSGi Bundles
proceeding, In First IEEE WoWMoM Workshop on Adaptive and DependAble Mission- and bUsiness-critical mobile Systems, Helsinki, Finland, June 2007.

Pierre Parrend, Stéphane Frénot
Java Components Vulnerabilities - An Experimental Classification Targeted at the OSGi Platform
other, INRIA Technical Report n° 6231.

Christoph Rathfelder
Management in serviceorientierten Architekturen
book, VDM Verlag Dr. Müller

Oliver Denninger, Tom Gelhausen, Rubino Geiß
Supergraphs - Simplifying Model Transformation for Advanced UML Structures
proceeding, Applications of Graph Transformation with Industrial releVancE (AGTIVE 2007)

Marco Mevius
Performance Indicator-based Business Process Engineering with Performance Nets
proceeding, In: Proc. of the IADIS e-Commerce conference 2007, 7-9 December, Algave, Portugal. (to appear)

Andreas Schmietendorf, Marco Mevius, Reiner R. Dumke (Hrsg.)
Proc. BSOA 2007 2. Workshop Bewertungsaspekte serviceorientierter Architekturen,
book, November 2007, Karlsruhe, Shaker Verlag.

Christoph Rathfelder, Henning Groenda
Geschäftsprozessorientierte Kategorisierung von SOA
proceeding, Proc. 2. Workshop Bewertungsaspekte Serviceorientierter Architekturen, Karlsruhe

Christof Momm, Christian Mayerl, Christoph Rathfelder, Sebastian Abeck
A Manageability Infrastructure for the Monitoring of Web Service
proceeding, 14th Annual Workshop of HP Software University Association, July 8-11, 2007, pp. 103-114

Volker Kuttruff
Realisierung von Produktlinien durch Komposition modularer Belangimplementierungen
article, WIRTSCHAFTSINFORMATIK 49 (2007) 3, S. 171-179

Marco Mevius, Christoph Rathfelder
SOA@FZI-Reifegradmodell - Wie servicereif ist ihr Unternehmen? -
proceeding, In 5. Deutsche ORACLE Business-Software Anwenderkonferenz, November 2007

Marco Mevius
Business Process Intelligence mit Performance-Netzen
proceeding, SID Datawarehouse, Juni 2007, Düsseldorf

Marco Mevius, Wolffried Stucky, Haiying Che, Yanbing Ju, Ralf Trunko
A Method for Inter-organizational Business Process Management
proceeding, IEEE International Conference on Automation and Logistics( ICAL 2007). Jinan, Shandong, China., pp. 354-358. IEEE Computer Society, August 2007.

Marco Mevius, Agnes Koschmider
Management of Interorganizational Business Processes on the Basis of Composition Rules
proceeding, In Horst Kremers, Second International Symposium on Generalization of Information. CODATA, Geneva (Carouge) Switzerland, October 2007.

Boris Gruschko, Steffen Becker, Thomas Goldschmidt, Heiko Koziolek
A Process Model and Classification Scheme for Semi-Automatic Meta-Model Evolution
proceeding, Workshop "MDD, SOA and IT-Management 2007"

Thomas Goldschmidt, Jochen Winzen
Evaluierung von Persistenztechnologien bezüglich ihrer Performanz und Wartbarkeit
lecture, Entwicklertag 2007, Karlsruhe

A. Trifu, U. Reupke
Towards Automated Restructuring of Object Oriented Systems
proceeding, Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR), Amsterdam, the Netherlands

Thomas Goldschmidt, Ralf Reussner, Jochen Winzen
Evaluation of Maintainability of Model-driven Persistency Techniques
proceeding, Proceedings of the MoDSE, 2007, Amsterdam

2006

J. Anderer, R. Bloch, T. Mohaupt, R. Neumann, A. Schumacher, O. Seng, F. Simon, A. Trifu, M. Trifu
Methoden und Werkzeuge zur Sicherung der inneren Qualität bei der Evolution objektorientierter Softwaresysteme
other, Forschungszentrum Informatik (FZI), Karlsruhe, FZI-Publication 1-6-6/06, ISSN 0944-3037

Pierre Parrend, Stéphane Frénot
Secure Component Deployment in the OSGi(tm) Release 4 Platform
other, INRIA Technical Report n° 0323.

M. Trifu
SISSy - Ein Werkzeug zur Untersuchung von OO-Systemen
lecture, Entwicklertag 2006, Karlsruhe

Marco Mevius, Andreas Oberweis, Yu Li
Simulation von Supply Chains mit Petri-Netzen
proceeding, In M. Becker, H. Szczerbicka, Proceedings of the 19th Symposium on Simulationstechnique (ASIM'2006), pp. 165-170. Arbeitsgemeinschaft Simulation (ASIM), SCS Publishing House e.V., Hannover, September 2006.

Marco Mevius, Jan Wiesenberger
Prozessorientiertes Management und Visualisierung von Supply Chains
proceeding, In 4. Deutsche ORACLE Business-Software Anwenderkonferenz, pp. 166-168. November 2006.

Marco Mevius, Stefanie Betz, Thomas Karle, Stefan Klink, Agnes Koschmider, Yu Li, Andreas Oberweis, Daniel Ried, Ralf Trunko, Markus Zaich
Ein Framework zur Modellierung und Analyse von XML-Netzen
proceeding, In Daniel Moldt, Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze (AWPN'06), pp. 18-24

Marco Mevius, Christa Larsen
Labour Market Monitoring in the Region Rhine-Main in Germany. An Information and Communication Approach
contribution to a book, In Schmid, A.; Larsen, C.; Mathejczyk, W., Monitoring of Regional Labour Markets in European States. Concepts, Experiences and Perspectives, pp. 70-81, Hampp Verlag

Marco Mevius
Kennzahlenbasiertes Management von Geschäftsprozessen mit Petri-Netzen
dissertation, Verlag Dr. Hut, München

Marc Schanne, Dr. Andreas Judt
Application Development for Safety Critical distributed embedded Systems with Model Verification
proceeding, In Proceedings of SAE World Congress & Exhibition, 2006

J. Mäkiö
Towards Structured Market Modeling With Market Modeling Language MML
proceeding, Ekonomika, Ekologiya i Obschestvo Rossii v 21-M Ctoletii, p. 431-437, Publisher: Politehnicheskii universitet Sankt-Petersburg, 2006

J. Mäkiö
Designing and Modelling B2B-markets
proceeding, Frontiers of e-Business Research 2005. p. 292-303, Publisher: Tampere University of Technology (TUT) and University of Tampere (UTA), 2006

J. Mäkiö, X. Chen
A Simulation Approach for Analyzing the Competition among e-Auction Marketplaces
proceeding, Proceedings of IEEE International Conference on e-Business Engineering. p.17-24, Shanghai, China. Publisher: IEEE Computer Society, 2006

C. Weinhardt, C. van Dinther, M. Grunenberg, K. Kolitz, M. Kunzelmann, J. Mäkiö, I. Weber, H. Weltzien
CAME-Toolsuite meet2trade - auf dem Weg zum Computer Aided Market Engineering
book, Universitätsverlag Karlsruhe, 2006

J. Mäkiö, H. Gimbel,
Towards Multi-Attribute Double Auctions for Financial Markets
article, International Journal of Electronic Markets. Vol 16, No 2, p. 130-139, 2006

Juho Mäkiö
Parametric Design of Electronic Markets - Composing Markets with Market Modeling Language
dissertation,

O. Seng, Frank Simon, Thomas Mohaupt
Code Quality Management
book, DPunkt Verlag

David Burkhart
Restrukturierung von Klassenstrukturen als Suchproblem unter Verwendung von Softwaremetriken und -heuristiken
diploma thesis, Diplomarbeit, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2006

O. Seng, Frank Simon, Thomas Mohaupt
Code-Sünden-Index zum Benchmarking technischer Qualität
proceeding, Proceedings of the International Conference on Software Testing, Düsseldorf, 2006

O. Seng, Johannes Stammel, David Burkhart
Search-based determination of refactorings for improving the class structure of object-oriented systems
proceeding, Proceedings of the Genetic and Evolutionary Computation Conference, Seattle, 2006, ACM Press

O. Seng, Johannes Stammel, David Burkhart
Search-based determination of refactorings for improving the class structure of object-oriented systems
proceeding, Proceedings of the Genetic and Evolutionary Computation Conference, Seattle, 2006, ACM Press

D. Heutzeroth, U. Assmann, M. Trifu, V. Kuttruff
The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition: Invasive Composition with COMPASS Aspect-Oriented Connectors
proceeding, Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), Braga, Portugal

Stefan Klink, Andreas Oberweis, Daniel Ried, Ralf Trunko
A Service-oriented Information System for Collaborative Research and Doctoral Education
proceeding, Wei-Tek Tsai, Jen-Yao Chung, and Muhammad Younas (Hrsg.), Proceedings of the IEEE International Conference on e-Business Engineering (ICEBE 2006), pp. 670-673. IEEE Computer Society, Shanghai, China, October 2006

Stefanie Betz, Stefan Klink, Yu Li, Andreas Oberweis, Daniel Ried, Ralf Trunko
Prozessorientierte Komposition von Diensten in der Doktorandenausbildung
proceeding, Mathias Weske, Markus Nüttgens (Hrsg.), EMISA 2006: Methoden, Konzepte und Technologien für die Entwicklung von dienstbasierten Informationssystemen, volume P-95 of Lecture Notes in Informatics, pp. 91-104. Gesellschaft für Informatik e.V., October 2006

2005

Pierre Parrend, Bertrand David.
Use of Ontologies as a Way to Automate MDE Processes
book, In IEEE EuroCon 2005, Belgrad, Serbia-Montenegro, 2005.

Volker Kuttruff
Invasive Komponentenkonfiguration
proceeding, Proceedings of the GI Workshop Object-Oriented Software Engineerinf (OOSE'05), Organisatoren Net.ObjectDays, 2005

Volker Kuttruff, Thomas Genssler
Invasive Configuration of Generic Components
proceeding, Proceedings of the Workshop Software Composition SC/ETAPS, Springer LNCS 3628, 2005

Marc Schanne
Real-Time Communication with a Receiver Collective, Activity Manager, and Queues
proceeding, In Pro ceedings of IADIS Internatonal Conference Applied Computing 2005, Algarve, 2005

Marc Schanne
Anforderungsanalyse für asynchrone Kommunikation beim Entwurf von objektorientierten, verte ilten Systemen unter Echtzeitbedingungen
proceeding, Workshop zu Zuverlässigkeit in eingebetteten Systemen. Ada Deutschland Tagung 2005

Marc Schanne
Real-Time Communication with Direct Publish/Subscribe Event Service
proceeding, 3rd Workshop on Java Technologies for Real-time and Embedded Systms (JTRES) OOPSLA 2005

Marc Schanne
Asynchrone Kommunikation bei objektorientierten verteilten Systemen mit Echtzeitbedingungen
article, In GI Softwaretechnik-Trends, Band 25, Heft 4, November 2005

Georg Müller
Werkzeuggestützte Quelltexttransformation zur Behebung von Strukturproblemen
diploma thesis, Diplomarbeit, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2005

Johannes Stammel
Klassifikation von Strukturelementen zur suchbasierten Optimierung interner Software-Qualität
assignment, Studienarbeit, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2005

T. Mohaupt, O. Seng, F. Simon
Bidirectional Quality Models
proceeding, Proceedings of the ICSTEST 2005

O. Seng, M. Bauer, M. Biehl, G. Pache
Search-based improvement of subsystem decompositions
proceeding, Proceedings of the GECCO 2005: Washington, DC, USA

Philipp Haller, V. Kuttruff, O. Seng
Ein Faktenextractor für C++ mit Unterstützung für Typrekonstruktion
proceeding, 7. Workshop Software-Reengineering der GI-Fachgruppe Software-Reengineering (SRE)

M. Trifu, P. Szulman
Language Independent Abstract Metamodel for Quality Analysis and Improvement of OO Systems
proceeding, Proceedings of the 7th German Workshop on Software-Reengineering (WSR 2005), Bad Honnef, Germany

M. Trifu, V. Kuttruff
Capturing Nontrivial Concerns in Object-Oriented Software
proceeding, Proceedings of the Working Conference on Reverse Engineering (WCRE 2005), Pittsburgh PA, US, Seiten 99-108, IEEE Computer Society, November 2005.

M. Hefke, P. Szulman, A. Trifu
An Ontology-Based Reference Model for Semantic Data Integration in Digital Production Engineering
proceeding, Proceedings of the 15th eChallenges Conference, Ljubljana

M. Hefke, P. Szulman, A. Trifu
A Methodological Approach for Constructing Ontology-Based Reference Models in Digital Production Engineering
proceeding, Proceedings of the 6th International Conference on Knowledge Management, I-KNOW 2005, Graz, Austria

P. Szulman, M. Hefke, A. Trifu, M. Soto, D. Assmann, J. Doerr, M. Eisenbarth
Using Ontology-Based Reference Models in Digital Production Engineering Integration
proceeding, Proceedings of the 16th IFAC World Congress, Prague 2005

A. Trifu, R. Marinescu
Diagnosing Design Problems in Object Oriented Systems
proceeding, Proceedings of the Working Conference on Reverse Engineering, WCRE 2005, Pittsburgh USA

A. Trifu
Automated Strategy Based Restructuring of Object Oriented Code
proceeding, Proceedings of the 7th German Workshop on Software-Reengineering, WSR 2005, Bad Honnef

Gert Pache
Ein metrikbasiertes Suchverfahren zur automatischen Strukturverbesserung
diploma thesis, Diplomarbeit, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2005

Philipp Haller
Ein Faktenextraktor für C++ mit Unterstützung für Typinferenz"
assignment, Studienarbeit, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2005

2004

Marc Schanne, Dr. James J. Hunt
Remote Event Service Design
other, Technical Report. Deliverable D4.2 d escribing the HIDOORS event channel network. FZI Forschungszentrum Informatik

O. Seng, G. Pache
Search based structure improvement
proceeding, 1st International Workshop on Software Evolution Transformations (SET 2004)

O. Seng, A. Trifu, T. Genssler
Automatisierte Behebung von Strukturproblemen in objekt-orientierten Systemen
proceeding, Proceedings of the sixth German Workshop on Software-Reengineering

A. Trifu, O. Seng, T. Genssler
Automated Design Flaw Correction in Object-Oriented Systems
proceeding, Proceedings of the Eighth European Conference on Software Maintenance and Reengineering (CSMR 2004)

M. Bauer, M. Trifu
Combining Clustering with Pattern Matching for the Architecture Recovery of OO Systems
proceeding, Proceedings of the 6th German Workshop on Software-Reengineering (WSR), Bad Honnef, Germany, May 2004.

M. Bauer
Werkzeuggestützte Softwarebewertung -- Grundlagen und Fallbeispiele
lecture, Vortrag zum Workshop "Softwarequalität" des Födervereins FZI, Karlsruhe, März 2004.

M. Bauer, M. Trifu
Architecture-aware adaptive Clustering of OO systems
proceeding, Proceedings of the Eighth European Conference on Software Maintenance and Reengineering (CSMR 2004), Seiten 3-14. IEEE Computer Society, März 2004.

Wolffried Stucky, Peter Weiß, Ralf Trunko, Peter Bumann
Filling IT-Skills Gap and Shortage
proceeding, W. Stucky, P. Weiß (Hrsg.), eEurope - IT Skills: Challenging Europe's Economic Future, pp. 9-19. CEPIS Council of European Informatics Professionals, April 2004. Workshop Proceedings eChallenges e-2003 Conference

2003

Marc Schanne, Tom Gelhausen, Walter F. Tichy
Adding Autonomic Functionality to Object-Oriented Applications
proceeding, In Proceedings of the 14th International Conference on Database and Expert Systems Applications (DEXA 2003)

A. Trifu, Iulian Dragos
Strategy Based Restructuring of Object Oriented Systems
proceeding, Proceedings of the ECOOP '03 Workshop on Object Oriented Reengineering (WOOR 2003), Technical Report, university of Antwerp, Dep. of Mathematics and Computer Science, June 2003

M. Trifu
Architecture-Aware, Adaptive Clustering of Object-Oriented Systems
diploma thesis, Univerität Timisoara, Rumänien bzw. Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2003

M. Bauer, O. Seng
Tool-Supported Software Quality Assessments
lecture, Industry seminar at VTT, Oulu, Finland, July 2003.

G. Kis, J. Orosz, M. Pinter, Z. Laszlo, T. Genssler,
Metaprogramming Library for the C# Programming Language
proceeding, Proceedings of the Joint Modular Language Conference, Springer LNCS, august 2003 (To appear)

M. Bauer, O. Seng
Werkzeuggestützte Qualitätsuntersuchung -- Ein Erfahrungsbericht
proceeding, Proceedings of the 5th German Workshop on Software-Reengineering, Bad Honnef, Germany, May 2003.

T. Genssler, V. Kuttruff, M. Bauer, O. Seng
Werkzeuggestützte Problemidentifikation und -behebung
proceeding, Proceedings of the 5th German Workshop on Software-Reengineering, Bad Honnef, Germany, May 2003.

T. Genssler, V. Kuttruff
Source-to-Source Transformation In The Large
proceeding, Proceedings of the Joint Modular Language Conference, Springer LNCS, August 2003 (To appear)

T. Genssler, V. Kuttruff
Source-to-Source Transformation In The Large
proceeding, Proceedings of the Joint Modular Language Conference, Springer LNCS, August 2003 (To appear)

F. Müller
Eine Analyse der Model Driven Architecture anhand des Entwicklungswerkzeuges Arcstyler
diploma thesis, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2003

2002

Marc Schanne (ed)
Java und Security
other, Technical Report. Am Forschungszentrum Informatik an der Universität Karlsruhe (TH), Forschungsbereich Softwaretechnik, September 2002

E. Bilgin
Systematisches Entwickeln von EJB-Anwendungen
diploma thesis, Forschungszentrum Informatik und Institut für Rechneranwendung in Planung und Konstruktion, Universität Karlsruhe, 2002.

C. Schäfer
Migration zu Web-Anwendungen
diploma thesis, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2002

V. Kuttruff
Ein Modell für invasive Softwareadaption
diploma thesis, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2002

T. Genßler, O. Nierstrasz, B. Schönhage, A. Christoph, M. Winter, S. Ducasse, R. Wuyts, G. Arévalo, P. Müller, C. Stich
Components for Embedded Software - The PECOS Approach (CASES 2002)
proceeding, CASES 2002, International Conference on Compiler, Architectures, and Synthesis for Embedded Systems, Grenoble, France, October 2002

O. Nierstrasz, G. Arévalo, S. Ducasse, R. Wuyts, A. Black, P. Müller, C. Zeidler, T. Genssler, R. van den Born
A Component Model for Field Devices
proceeding, In Proceedings of the First International IFIP/ACM Working Conference on Component Deployment, Berlin, Germany, June 2002, LNCS2370, Springer Verlag, pp. 200-209

T. Genssler, A. Christoph, M. Winter, B. Schulz
Components for Embedded Devices: The PECOS Approach
contribution to a book, Components for Embedded Devices: The PECOS Approach, In: Franck Barbier, Business Component-Based Software Engineering, Kluwer, 2002, ISBN 1-4020-7207-4

T. Genssler, A. Christoph, M. Winter, B. Schulz
Components for Embedded Devices: The PECOS Approach
contribution to a book, Components for Embedded Devices: The PECOS Approach, In: Franck Barbier, Business Component-Based Software Engineering, Kluwer, 2002, ISBN 1-4020-7207-4

M. Winter, T. Genssler, A. Christoph, O. Nierstrasz, S. Ducasse, R. Wuyts, G. Arévalo, P. Müller, C. Stich, B. Schönhage
Components for Embedded Software - The PECOS Approach (ECOOP 2002)
proceeding, Second International Workshop on Composition Languages, In conjunction with 16th European Conference on Object-Oriented Programming (ECOOP) Málaga, Spain, June 11, 2002.

M. Winter, C. Zeidler, C. Stich
The PECOS Software Process
proceeding, Workshop on Components-based Software Development Processes, ICSR 7, Austin, Texas, 2002

O. Seng, T. Genssler, B. Schulz
Adaptive Extensions of Object-Oriented Systems
proceeding, Proceedings of the IFIP TC2 Working Conference on Generic Programming

M. Bauer, T. Genssler, V. Kuttruff, O. Seng
Werkzeugunterstützung für evolutionäre Softwareentwicklung
proceeding, In: Proceedings of the fourth German Workshop on Software-Reengineering, Bad Honnef, April 2002

2001

A. Trifu
Using Cluster Analysis in the Architecture Recovery of Object-Oriented Systems
diploma thesis, Institut für Programmstrukturen und Datenorganisation, Universtät Karlsruhe, 2001

T. Genßler, Ch. Zeidler
Rule-driven component composition for embedded systems
proceeding, In Ivica Crnkovic, Heinz Schmidt, Judith Stafford and Kurt Wallnau, Editors, Proceedings of the 4th ICSE Workshop on Component-Based Software Engineering (Component Certification and System Prediction) , IEEE Computer, May 2001

T. Genßler, V. Kuttruff
Werkzeugunterstützte Softwareadaption mit Inject/J
proceeding, In Jürgen Ebert, Bernt Kullbach and Franz Lehner, Editors, Proceedings of the 3th German Workshop on Software-Reengeneering, Universität Koblenz-Landau, Institut für Informatik, July 2001

M. Bauer, O. Ciupke
Objektorientierte Systeme unter der Lupe
proceeding, In: Proceedings of the third German Workshop on Software-Reengineering, 2001, Universität Koblenz-Landau, Institut für Informatik, 2001

O. Seng
Adaptive Erweiterungen objektorientierter Systeme
diploma thesis, Diplomarbeit, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, 2001

O. Seng, T. Genssler, V. Kuttruff, B. Schulz,
Adaptives Programmieren mit Inject/J
seminar/workshop, In: Workshop Software-Reengineering, 2001

2000

Marc Schanne
Software-Architekturen für lokalitätsabhängige Dienstleistungserbringung auf mobilen Endgeräten
diploma thesis, Diplomarbeit. Am Forschungszentrum Informatik an der Universität Karlsruhe (TH), Forschungsbereich Softwaretechnik, Oktober 2000

O. Seng
Untersuchung von Rotationssymmetrien zur Distraktionsvorbereitung
other, Tagungsband der GI-Informatiktage 2000, Bad Schussenried, Oktober 2000

U. Aßmann, H. Bär, T. Genssler
Meta-programming Greybox Connectors
proceeding, In: Jan Bosch, Jean-Marc Jézéquel, Bertrand Meyer, Richard Mitchell, Alan Cameron Wills and Mark Woodman (Eds.) Proceedings of the 33th TOOLS (Europe) conference, 2000

M. Bauer, R. Neumann, B. Schulz
Von Anwendungen zu Komponentensystemen
proceeding, In: Proceedings of the 2nd German Workshop on Software-Reengineering, 2000

1999

J. Eisenbiegler
Optimierung von SIMD-Programmen auf verteilten Systemen
book, Logos Verlag, Berlin, 1999

M. Bauer, H. Bär, O. Ciupke, T. Genssler, R. Marinescu, B. Schulz, J. Weisbrod
Sanierung objektorientierter Systeme
proceeding, In: Jürgen Ebert, Bernt Kullbach and Franz Lehner (Eds.) Proceedings of the 1st German Workshop on Software-Reengineering, Fachberichte Informatik , 1999

M. Bauer
Analysing Software Systems Using Combinations of Metrics
proceeding, In: Proceedings of the ECOOP Workshop on Experiences in Object-Oriented Re-Engineering, FZI Report , 1999

M. Bauer
Supporting Reengineering by Type Inference - A Reengineering Pattern
proceeding, In: Proceedings of the 4th European Conference on Pattern Languages of Programming and Computing, 1999

T. Genssler, B. Schulz
Reorganisation objektorientierter Systeme mit Entwurfsmustern
proceeding, In: Jürgen Ebert, Bernt Kullbach and Franz Lehner (Eds.) Proceedings of the 1st German Workshop on Software-Reengineering, Fachberichte Informatik , 1999

R. Neumann, B. Schulz, W. Zimmermann
Vererbung bei der Sanierung objektorientierter Systeme
proceeding, In: Jürgen Ebert, Bernt Kullbach and Franz Lehner (Eds.) Proceedings of the 1st German Workshop on Software-Reengineering, Fachberichte Informatik , 1999

T. Genssler, B. Schulz
Transforming Inheritance into Composition - A reengineering Pattern
proceeding, In: Proceedings of the 4th European Conference on Pattern Languages of Programming and Computing, 1999

O. Ciupke, S. Ducasse
ECOOP '99 Workshop on Experiences in Object-Oriented Reengineering
seminar/workshop, In: Serge Demeyer, Ana Moreira (Eds.) Object-Oriented Technology - Ecoop'99 Workshop Reader, Lecture Notes in Computer Science 1743, 1999

O. Ciupke, S. Ducasse
ECOOP '99 Workshop on Experiences in Object-Oriented Reengineering
seminar/workshop, In: Serge Demeyer, Ana Moreira (Eds.) Object-Oriented Technology - Ecoop'99 Workshop Reader, Lecture Notes in Computer Science 1743, 1999

O. Ciupke
Automatic Detection of Design Problems in Object-Oriented Reengineering
proceeding, In: Donald Firesmith, Bertrand Meyer, Gilda Pour and Richard Riehle (Eds.) Technology of Object-Oriented Languages and Systems - TOOLS 30, 1999

T. Genssler, B. Schulz
Tool-supported Component Evolution
seminar/workshop, In: Workshop Reader of the 13th ECOOP, Lecture Notes in Computer Science , 1999

T. Genssler, T. Löwe, W. Löwe
Correct Composition of Distributed Systems
proceeding, In: Proceedings of the 31st TOOLS conference, 1999

C. Andriessens
Modellierung von Interaktionsstrukturen zur kompositionalen Synthese synchroner Steuerungen
diploma thesis, Diplomarbeit, Universität Karlsruhe, 1999

O. Ciupke
Improved Usability of Tool Prototypes
FZI internal, Forschungszentrum Informatik, 1999

O. Ciupke
Refined Grouping
other, Forschungszentrum Informatik, 1999

M. Bauer, O. Ciupke
An Introduction to Goose
other, Forschungszentrum Informatik (FZI), 1999

U. Aßmann, H. Bär, T. Genssler
Meta-programming Grey-box Connectors
other, University of Karlsruhe and FZI, 1999

O. Ciupke, St. Ducasse (Eds.)
ECOOP '99 Workshop on Experiences in Object-Oriented Reengineering
seminar/workshop, In: FZI-Report 2-6-6/99, 1999

O. Ciupke, St. Ducasse (Eds.)
ECOOP '99 Workshop on Experiences in Object-Oriented Reengineering
seminar/workshop, In: FZI-Report 2-6-6/99, 1999

1998

D. Genius, J. Eisenbiegler
Implications of memory mappings on cache misses
other, Technical Report TR 1998 - 16, Universität Karlsruhe, June 1998

J. Eisenbiegler, W. Löwe, W. Zimmermann
BSp, LogP and oblivious programs
other, In Europar '98, number 1470 in Lecture Notes in Computer Science, Springer, 1998

J. Eisenbiegler, W. Löwe, W. Zimmermann
BSp, LogP and oblivious programs
other, In Europar '98, number 1470 in Lecture Notes in Computer Science, Springer, 1998

J. Eisenbiegler, J. Gottlieb, W. Löwe, St. Schlaeger, Monika Thüel, W. Zimmermann
Parallel cg - methods - automatically optimized for pc - and workstation clusters
contribution to a book, In P. Arbenz, Editor, Parallel Algorithms for Structured Matirx Problems, Advances in the Theory of Computation and Computational Mathematics, Nova Science Books, 1998

J. Eisenbiegler
Optimising SIMD Ppograms using redundant parametrized data distributions
other, In Europar '98 , Number 1470 in Lecture Notes in Computer Science, Springer, 1998

J. Eisenbiegler
Optimising SIMD Ppograms using redundant parametrized data distributions
other, In Europar '98 , Number 1470 in Lecture Notes in Computer Science, Springer, 1998

H. Melcher, H. Winkelmann, K. Winkelmann
Controller Synthesis for the Production Cell Case Study
proceeding, In: Proceedings of FMSP'98, 1998

H. Melcher, H. Winkelmann, K. Winkelmann
Controller Synthesis for the Production Cell Case Study
proceeding, In: Proceedings of FMSP'98, 1998

H. Bär, O. Ciupke
Exploiting design heuristics for automatic problem detection
proceeding, In: Stephane Ducasse, Joachim Weisbrod (Eds.) Proceedings of the ECOOP Workshop on Experiences in Object-Oriented Re-Engineering, FZI Report 6/7/98, 1998

T. Genssler, B. Schulz
Design Patterns as Operators Implemented with Refactorings
FZI internal, In: Ducasse, Stephane and Weisbrod, Joachim (Eds.) Proceedings of the ECOOP Workshop on Experiences in Object-Oriented Re-Engineering, FZI Report 6/7/98, 1998

H. Bär, O. Ciupke
Exploiting design heuristics for automatic problem detection
other, In: Jan Bosch, Serge Demeyer (Eds.) Object-Oriented Technology (ECOOP'98 Workshop Reader), Lecture Notes in Computer Science 1543, 1998

T. Genssler, B. Mohr, B. Schulz, W. Zimmer
On the Computer Aided Introduction of Design Patterns into Object-Oriented Systems
proceeding, In: Chen Jian, Mingshu Li, Bertrand Meyer and Christine Mingins (Eds.) Proceedings of the 27th TOOLS conference, 1998

H. Bär
Automatische Suche von Designproblemen in objektorientierten Systemen
diploma thesis, Diplomarbeit, Universität Karlsruhe, 1998

M. Bauer
Reengineering von Smalltalk nach Java
diploma thesis, Institut für Programmstrukturen und Datenorganisation, Universtät Karlsruhe, 1998

O. Ciupke
Tool Support for Automatic Problem Detection
FZI internal, Forschungszentrum Informatik, 1998

H. Melcher
Hierarchical compositional synthesis and causality
lecture, Vortrag, 5th Workshop on Synchronous Programming, Gandia, Spain, 7-Dec-1998

1997

W. Zimmer
Frameworks und Entwurfsmuster
other, PhD thesis, Universität Karlsruhe, 1997

T. Lindner, J. Weisbrod
Sanierung von Software-Altsystemen
other, In H. J. Scheibl, Editor, 7. Kolloquium Software-Entwicklung: Methoden, Werkzeuge, Erfahrungen, Volume 2, Pages 563-568, Deutsche Bibliothek, Frankfurt, 1997

N. L. Fantana, J. Weisbrod
Approximate reasoning using different types of knowledge representation
proceeding, In 5th European Congress on Fuzzy and Intelligent Technologies (EUFIT '97) , volume 2, Pages 871-876, Aachen, ELITE foundation, 1997

N. L. Fantana, J. Weisbrod
Approximate reasoning using different types of knowledge representation
proceeding, In 5th European Congress on Fuzzy and Intelligent Technologies (EUFIT '97) , volume 2, Pages 871-876, Aachen, ELITE foundation, 1997

B. Schulz
Behaviour preserving reorganisation of object-oriented systems and Adaptive Programming
seminar/workshop, In: ESEC/FSE'97 Workshop on Object-Oriented Reengineering, 1997

B. Schulz
Behaviour preserving reorganisation of object-oriented systems and Adaptive Programming
seminar/workshop, In: ESEC/FSE'97 Workshop on Object-Oriented Reengineering, 1997

O. Ciupke
Analysis of Object-Oriented Programs Using Graphs
other, In: Jan Bosch, Stuart Mitchell (Eds.) Object-Oriented Technology - Ecoop'97 Workshop Reader, Lecture Notes in Computer Science 1357, 1997

O. Ciupke
Analysis of Object-Oriented Programs Using Graphs
other, In: Jan Bosch, Stuart Mitchell (Eds.) Object-Oriented Technology - Ecoop'97 Workshop Reader, Lecture Notes in Computer Science 1357, 1997

O. Ciupke
Grouping
seminar/workshop, In: ESEC/FSE'97 Workshop on Object-Oriented Reengineering, 1997

O. Ciupke, T. Genssler
Toolgestützte Codeanalyse von Telekommunikationssoftware in Chill
FZI internal, Forschungszentrum Informatik, 1997

O. Ciupke
Documentation and Module Capture Method (Grouping)
FZI internal, Forschungszentrum Informatik, 1997

H. Melcher
Component Oriented Synthesis
seminar/workshop, presentation at the workshop 'Langages synchrones', Roscoff, 1997

H. Melcher
Verification of Model Checkers
other, presentation at the ProCoS meeting in Reading, 1997

O. Ciupke
Qualitätssicherung im objektorientierten Softwareengineering
lecture, Vortrag, ObjektForum Karlsruhe, Germany, May 1997

1996

C. Andriessens, T. Lindner
Using FOCUS, LUSTRE and Probability Theory for the Design of a Reliable Control Program
contribution to a book, In: J.-R. Abrial, E. Börger, H. Langmaack (Eds.): "Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control", LNCS 1165, Springer 1996

J. Weisbrod
A combined approach to fuzzy reasoning
proceeding, In 4th European Congress on Fuzzy and Intelligent Technologies, (EUFIT'96), Volume1, Pages 554 - 557, Aachen, Elite Foundation, Invited Paper, 1996

M. Spott, J. Weisbrod
A new approach to the adaptation of fuzzy relations
other, In 4th European Congress on Fuzzy and Intelligent Technologies (EUFIT'96), Volume2, Pages 782 - 786, Aachen, ELITE Foundation, 1996

M. Spott, J. Weisbrod
A new approach to the adaptation of fuzzy relations
other, In 4th European Congress on Fuzzy and Intelligent Technologies (EUFIT'96), Volume2, Pages 782 - 786, Aachen, ELITE Foundation, 1996

A. Rösel, M. Wilcke, W. Zimmer
Dokumentation objektorientierter frameworks
FZI internal, Technical Report 8/96, Forschungszentrum Informatik (FZI) , Karlsruhe, Okt 1996

A. Rösel, M. Wilcke, W. Zimmer
Semantic Graphics Framework - Conceptbook
other, ABB Corporate Research Heidelberg, Internal Dokument, Jan 1996

W. Löwe, W. Zimmermann, J. Eisenbiegler
Optimizing parallel programs on machines with expensive communication
other, In EUROPAR '96, Parallel Processing, Volume 1124 of Lecture Notes in Computer Science, pages 602-610, 1996

W. Löwe, W. Zimmermann, J. Eisenbiegler
Optimizing parallel programs on machines with expensive communication
other, In EUROPAR '96, Parallel Processing, Volume 1124 of Lecture Notes in Computer Science, pages 602-610, 1996

W. Löwe, J. Eisenbiegler, W. Zimmermann
Optimizing of parallel programs with fast communicaton
proceeding, In Proceedings of the PDCS-96, ISCA, Sept 1996

A. Lötzbeyer
Spezifikation, Modellierung und Verifikation von Realzeitsysthemen
FZI internal, FZI Report 6/96, Juliv1996

A. Lötzbeyer
Simulation of a Steam-Boiler
other, Volume 1165 of Lecture Notes in Computer Science, Springer-Verlag, 1996

H. - A. Jacobsen, J. Weisbrod
Reinforcement-driven adaptation of control relations
other, In New Frontiers in Soft Computing, pages 484-489, Berkeley, CA, 1996, 1996 Biennial of the North American Fuzzy Information Processing Society (NAFIPS)

N. L. Fantana, J. Weisbrod
Detecting local inconsistency and incompleteness in fuzzy rule bases
proceeding, In 4th European Congress on Fuzzy and Intelligent Technologies (EUFIT'96) , volume1, Pages 656-660, Aachen, ELITE foundation, 1996

N. L. Fantana, J. Weisbrod
Detecting local inconsistency and incompleteness in fuzzy rule bases
proceeding, In 4th European Congress on Fuzzy and Intelligent Technologies (EUFIT'96) , volume1, Pages 656-660, Aachen, ELITE foundation, 1996

J. Eisenbiegler
Datenverteilung als Konfigurationsproblem
other, Technical Report TR 1996-22, Universität Karlsruhe, Fakultät für Informatik, 1996

O. Ciupke, D. Kottmann, H.- D. Walter
Object migration in non-monolithic dirtributed applications
proceeding, In Proceedings of the 16th International Conference on Distributed Computing, pages 529-536, Hong-Kong, 1996

O. Ciupke, R. Schmidt
Components as Contextindependent Units of Software
seminar/workshop, In: Workshops ECOOP '96

O. Ciupke, A. Rösel, M. Wilcke, W. Zimmer
Testen interaktiver Anwendungen mit Frameworks
FZI internal, Forschungszentrum Informatik, 1996

H. Melcher
Program Synthesis With CSLxt for the Case Study 'Production Cell'
seminar/workshop, presentation at the workshop 'Langages synchrones', Dagstuhl, 1996

1995

W. Zimmermann
Automatic complexity analysis of parallel programs
other, Internal Report 749, Ulm 11, IFIP Working Group 2.1, 1995

W. Zimmer
Relationships between design patterns
contribution to a book, In James O. Coplien, Douglas C. Schmidt, Editors, Patterns Languages of Program Design, Pages 345 - 364, Addison-Wesley, 1995

W. Zimmer
Entwurfsmuster - Wiederverwendung von objektorientierten Entwürfen
other, FFI - Mitteilungen des Freundeskreises der Fakultät für Informatik, Rubrik FFI - Radar, Nov 1995

J. Weisbrod
Fuzzy control revisited - why is it working?
contribution to a book, In P. P. Wang, Editor, Advances in Fuzzy Theory and Technologie, Vol.3, Pages 219 - 244, Bookwrights, Durham (NC), 1995

J. Weisbrod
Unscharfes Schließen
dissertation, (Dissertation, Universität Karlsruhe, 22.11.1995) infix Verlag, Sankt Augustin, 1996

M. Weinhardt
Integer programming for partitioning in software oriented codesign
other, In W. R. Moore, W. Luk, Editors, Field-programmable Logic and applications, 5th International Workshop, Volume 975 of Lecture Notes in Computer Science, Pages 227 - 234, Springer Verlag, Sept 1995

J. Vollmer
Data flow analysis of parallel programs
proceeding, In Proceedings of the IFIP WG 10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT'95, Limassol, Cyprus, pages 186 - 177, June 1995

J. Vollmer
Data flow analysis of parallel programs
proceeding, In Proceedings of the IFIP WG 10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT'95, Limassol, Cyprus, pages 186 - 177, June 1995

J. Vollmer
Data flow analysis of parallel programs
other, Interner Bericht 19/95, Universität Karlsruhe, Fakultät für Informatik, March 1995

A. Rüping
Framework patterns
proceeding, In Proceedings of the Second Annual Conference on the Pattern Languages of Programs, Urbana-Champaign, IL, Sept 1995

W. Löwe, W. Zimmermann
Upper time-bounds for executing PRAM-programs on the logP-machine
proceeding, In 1995 International Conference on Supercomputing, Pages 41-50, Barcelona, ACM Press, 1995

W.Löwe, W. Zimmermann
Programming data-parallel - executing process-parallel
other, In P. Fritzson and L. Finmo, Editors, Parallel programming and Applications, number 45 in Transputer and Occam Engeneering, Pages 50 - 64, IOS Press, Amsterdam, 1995

W. Löwe, W. Zimmermann
On finding optimal clusterings in task graphs
other, In Parallel Algorithms/Architecture Synthesis pAs'95, Pages 241-247, Aizu-Wakamatsu, 1995

W. Löwe, W. Zimmermann
On finding optimal clusterings in task graphs
other, In Parallel Algorithms/Architecture Synthesis pAs'95, Pages 241-247, Aizu-Wakamatsu, 1995

T. Lindner, A. Rüping
How formal object-oriented design supports reuse
FZI internal, In E. Casais, Editor, Architectures and Processes for Systematic Software Construction, number 1/95 in FZI Publication, Pages 5-25, Forschungszentrum Informatik, Karlsruhe, 1995

C. Lewerentz, T. Lindner, A. Rüping, E. Sekerinski
On object-oriented design and verification
book, In M. Bory and St. Jähnchen, Editors, KORSO: Methods, Languages and Tools for the construction of Correct Software, number 1009 in Lectures Notes in Computer Science, Pages 92-111, Springer Verlag, 1995

J. Knoop, B. Steffen, J. Vollmer
Parallelism for free: Bitvektor analyses - no state explosion!
proceeding, In Proceedings of the International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, Aarhus, Denmark, Volume 1019 of Lecture Noted of Computer Science, pages 264--289, Springer Verlag, 1995

J. Knoop, B. Steffen, J. Vollmer
Parallelism for free: Bitvektor analyses - no state explosion!
proceeding, In Proceedings of the International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, Aarhus, Denmark, Volume 1019 of Lecture Noted of Computer Science, pages 264--289, Springer Verlag, 1995

J. Koop, B. Steffen, J. Vollmer
Optimal code motion for parallel programs - extended abstract
proceeding, In Proceedings of the 12th GI Workshop on Alternative Konzepte für Sprachen und Rechner, Physikzentrum Bad Honnef, May 2-4 1995, Technical Report University of Koblenz, May 1995

J. Knoop, B. Steffen, J. Vollmer
Optimal code motion for parallel programs
other, Interner Bericht MIP-9511, Universität Passau, Fakultät für Mathematik und Informatik, Sept 1995

A. K. Frick, W. Zimmer, W. Zimmermann
On the design of reliable libaries
other, In R. Ege, M. Singh and B. Meyers, Editors, TOOLS 17 - Technology of Object-Orieted Programming, Pages 13-23, Prentice hall, August 1995

A. K. Frick, W. Zimmer, W. Zimmermann
Über die Konstruktion robuster objektorientierter Klassenbibliotheken
proceeding, In GI-Fachtagung Software-Technik, Pages 35-46, Okt 1995

N. L. Fantana, J. Weisbrod
Deductive approximate reasoning - a comparison of two approaches
proceeding, In 3rd European Congress on Fuzzy and Intelligent Technologies (EUFIT'95), volume1, Pages 191-197, Achen, ELITE foundation, 1995

E. Casais, T. Lindner, A. Rüping
Formal object oriented methods
contribution to a book, In I. Graham, B. Magnusson, B. Meyer and J.-M. Nerson, Editors, TOOLS 16: Technology of Object-Oriented Languages and Systems, Pages 353-364, versailles, Prentice Hall, March 1995

I. Bruss, A. Frick
gem3ddraw - eine monomediale Datenvisualisierungskomponente in Multimediasystemem
other, Wettbewerb Multimediatransfer'95, Teilnahme an der Endausscheidung, Nov 1995

I. Bruss, A. Frick
Fast interactive 3-d graph visualization
other, In Farnz Brandenburg, Editor, Proceedings of Graph Drawing'95, volume 1034 of Lecture Notes in Computer Science, Pages 99-110, Passau, Sept 1995

I. Bruss, A. Frick
Fast interactive 3-d graph visualization
other, In Farnz Brandenburg, Editor, Proceedings of Graph Drawing'95, volume 1034 of Lecture Notes in Computer Science, Pages 99-110, Passau, Sept 1995

U. Amann
Parallel EARS
contribution to a book, In W. K- Gioli, S. Jähnchen and B. D. Shriver, Editors, Massively Parallel programming Models (MPPM), IEEE Press, Okt 1995

U. Amann
OPTIMIX language report for OPTIMIX 7.0.
other, Interner Bericht 31/95, Universität Karlsruhe, Fakultät füt Informatik, July 1995

U. Amann
On Edge Addition Rewrite Systems and Their Relevance to Program Analysis
other, in C. Cuny, editor, 5th Workshop on Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science, Springer Verlag, 1995

U. Amann
Generierung von Programmoptimierungen mit Graphersetzungssystemen
other, PhD thesis, Universität Karlsruhe, Fakultät für Informatik, Juli 1995

Grabowski, H.; Grein, G.; Milde, P.
Zukunftsorientiertes Qualitätsmanagement nach DIN ISO 9000 ff.
other, CIM Management 3/95. R. Oldenbourg Verlag, München.

Grabowski, H.; Krug, W.; Schmid, C.
Prozessmodellierung und Simulation im Produktlebenszyklus
other, VDI-Bericht Nr. 1215. VDI-Gesellschaft.

O. Ciupke
Allianzbasierte Migrationssteuerung in verteilten Objektsystemen
diploma thesis, Diplomarbeit, Universität Karlsruhe, 1995

H. Melcher
Compiling Argos into a Mu-calculus - Experiences with the instantiation of a model checker framework for a synchronous language
seminar/workshop, paper and presentation at the workshop 'Langages synchrones', Marseille, 1995

H. Melcher
Compiling Argos into a Mu-calculus - Experiences with the instantiation of a model checker framework for a synchronous language
seminar/workshop, paper and presentation at the workshop 'Langages synchrones', Marseille, 1995

1994

H. W. Schmidt, W. Zimmermann
A complexity calculus for object-oriented programs
article, Journal of Object-Oriented Systems, 1(2): 117-147, 1994