Universität Karlsruhe
Dr.-Ing. Elke Pulvermüller

Research interests

Software Engineering, Component-based Systems and Composition, Formal Verification, Model Checking, Separation of Concerns, Generative Programming, Feature Interaction



Advised thesis subjects

Diploma thesis
Identifying and Modeling Components in the SawMill Operating System (closed)
Object Oriented Concepts in Model Checking Tools (closed)
Realisation and integration of an OBDD with a model checker (closed)
Studien thesis
Transformation Java/XML (closed)
XML-based Transformation Tool (closed)


Pulvermüller, Speck, XOpT - XML-Based Composition Concept
Van Der Straeten, Speck, Pulvermüller, Clauß, Correctness of Model-Based Software Composition - Proceedings
Speck, Pulvermüller, Heuzeroth, Validation of Business Process Models
Speck, Pulvermüller, Jerger, Franczyk, Component Composition Validation
Speck, Robak, Pulvermüller, Clauß, Version-based Approach for Modelling Software Systems
Speck, Pulvermüller, Clauß, Van Der Straeten, Reussner, Model-Based Software Reuse
Costanza, Kniesel, Mehner, Pulvermüller, Speck, Second German Workshop on Aspect-Oriented Software Development
Schonger, Pulvermüller, Sarstedt, Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees
Pulvermüller, Composition and Correctness
Speck, Pulvermüller, Clauß, Versioning in Software Modeling
Goerigk, Pulvermüller, Speck, Sprachen, Architekturen und neue objektorientierte Softwaretechniken, TR No. 2018
Pulvermüller, Speck, D'Hondt, DeMeuter, Coplien, Feature Interaction in Composed Systems, ECOOP 2001 - Proceedings, TR No. 2001-14
Speck, Pulvermüller, Versioning in Software Engineering
Mehner, Mezini, Pulvermüller, Speck, Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung
Pulvermüller, Speck, Coplien, A Version Model for Aspect Dependency Management
Pulvermüller, Speck, Coplien, D'Hondt, DeMeuter, Position Paper: Feature Interaction in Composed Systems
Rashid, Chitchyan, Speck, Pulvermüller, EProMS: An E-Commerce based Process Model for Cooperative SoftwareDevelopment in Small Organisations
Speck, Pulvermüller, Feature Modeling
Speck, Pulvermüller, Component Frameworks for Software Generators
Pulvermüller, Generative and Component-Based Software Engineering
Speck, Pulvermüller, Mezini, Reusability of Concerns
Pulvermüller, Rashid, Speck, Supporting Composition using Assertions
Klaeren, Pulvermüller, Rashid, Speck, Aspect Composition applying the Design by Contract Principle
Rashid, Pulvermüller, From Object-Oriented to Aspect-Oriented Databases
Pulvermüller, Speck, Rashid, Implementing collaboration-based Designs using Aspect-Oriented Programming
Rashid, Sawyer, Pulvermüller, A Flexible Approach for Instance Adaptation during Class Versioning
Speck, Rashid, Pulvermüller, Chitchyan, Individual Software Development in Generative Programming
Pulvermüller, Aspekte in verteilten Umgebungen
Pulvermüller, Klaeren, Speck, Aspects in Distributed Environments