Elke Pulvermüller

发表

Time and memory-aware runtime monitoring for executing model-based test cases in embedded systems

Padma Iyenghar, Elke Pulvermüller, Michael Spieker, 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

Preface

Elke Pulvermüller, Noury Bouraqadi, Uwe Aßmann, 2002, Electron. Notes Theor. Comput. Sci..

Visualization of Checking Results for Graphical Validation Rules

Elke Pulvermüller, Andreas Speck, Sören Witt, 2015, SoMeT.

A UML Profile for Automatic Code Generation of Optimistic Graceful Degradation Features at the Application Level

Padma Iyenghar, Elke Pulvermüller, Lars Huning, 2020, MODELSWARD.

A Version Model for Aspect Dependency Management

James Coplien, Elke Pulvermüller, Andreas Speck, 2001, GCSE.

Integrating Validation Techniques for Process-based Models

Elke Pulvermüller, Andreas Speck, Sören Witt, 2013, ENASE.

Business Process Verification

Elke Pulvermüller, Andreas Speck, Sven Feja, 2009, GI Jahrestagung.

A novel approach towards model-driven reliability analysis of Simulink models

Padma Iyenghar, Elke Pulvermüller, Clemens Westerkamp, 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

Expanding Tracing Capabilities Using Dynamic Tracing Data

Elke Pulvermüller, Dennis Ziegenhagen, Andreas Speck, 2019, ENASE.

Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example

Marwane El Kharbili, Pierre Kelsen, Qin Ma, 2011, 2011 IEEE 13th Conference on Commerce and Enterprise Computing.

Integrated model-based approach and test framework for embedded systems

Padma Iyenghar, Elke Pulvermüller, Juergen Wuebbelmann, 2011, FDL 2011 Proceedings.

Policy‐enabled goal‐oriented requirements engineering for semantic Business Process Management

Geert Poels, Ken Decreus, Marwane El Kharbili, 2010, Int. J. Intell. Syst..

An Industrial Production Scenario as Prerequisite for Applying Intelligent Solutions

Elke Pulvermüller, Dennis Ziegenhagen, Andreas Speck, 2020, KES-HCIS.

Constructing higher-level Transformation Languages based on XML

Elke Pulvermüller, Daniel Fötsch, E. Pulvermüller, 2007, SoMeT.

Implementing collaboration-based designs using aspect-oriented programming

Elke Pulvermüller, Awais Rashid, Andreas Speck, 2000, Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34.

A Semantic Framework for Compliance Management in Business Process Management

Marwane El Kharbili, Elke Pulvermüller, 2009, BPSC.

Towards a Framework for Semantic Business Process Compliance Management

Marwane El Kharbili, Elke Pulvermüller, Ivan Markovic, 2008 .

A model-based workflow from specification until validation of timing requirements in embedded software systems

Padma Iyenghar, Elke Pulvermüller, Arne Noyer, 2015, 10th IEEE International Symposium on Industrial Embedded Systems (SIES).

UML Specification and Transformation of Safety Features for Memory Protection

Padma Iyenghar, Elke Pulvermüller, Lars Huning, 2019, ENASE.

Process Model Validation - Transforming Process Models to Extended Checking Models

Elke Pulvermüller, Andreas Speck, Sören Witt, 2010, ENASE.

A Workflow for Automatically Generating Application-level Safety Mechanisms from UML Stereotype Model Representations

Padma Iyenghar, Elke Pulvermüller, Lars Huning, 2020, ENASE.

Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement

Elke Pulvermüller, Katharina Mehner, Andreas Speck, 2002 .

Verification of e-Commerce Business Processes

Elke Pulvermüller, Andreas Speck, Marcel Schulz, 2011 .

A mechanism for data interchange between embedded software sub-systems developed using heterogenous modeling domains

Padma Iyenghar, Elke Pulvermüller, Michael Spieker, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Capturing Tracing Data Life Cycles for Supporting Traceability

Elke Pulvermüller, Dennis Ziegenhagen, Andreas Speck, 2020, ENASE.

Model-Based Test Case Generation by Reusing Models From Runtime Monitoring of Deeply Embedded Systems

Padma Iyenghar, Elke Pulvermüller, Juergen Wuebbelmann, 2013, IEEE Embedded Systems Letters.

Correctness of Model-based Software Composition (CMC)

Elke Pulvermüller, Ragnhild Van Der Straeten, Interner Bericht, 2003 .

Verification Support for Generative System Development

Elke Pulvermüller, Andreas Speck, 2009, SoMeT.

A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems

Padma Iyenghar, Elke Pulvermüller, Arne Noyer, 2016, Software Quality Journal.

Towards generative components

Elke Pulvermüller, Andreas Speck, 2000, SOEN.

Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems

Padma Iyenghar, Elke Pulvermüller, Lars Huning, 2020, MODELSWARD.

Aspect Composition Applying the Design by Contract Principle

Elke Pulvermüller, Andreas Speck, Awais Rashid, 2000, GCSE.

DEMOCLES: a tool for executable modeling of platform-independent systems

Pierre Kelsen, Elke Pulvermüller, Christian Glodt, 2007, OOPSLA '07.

Specifying Executable Platform-Independent Models using OCL

Pierre Kelsen, Elke Pulvermüller, Christian Glodt, 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Modellierung von Regeln für die Prüfung von Prozessmodellen

Elke Pulvermüller, Andreas Speck, Sören Witt, 2015, Wissenschaft und Kunst der Modellierung.

Model-Based Debugging of Embedded Software Systems

Padma Iyenghar, Elke Pulvermüller, Juergen Wuebbelmann, 2011, Softwaretechnik-Trends.

Rule Determination and Process Verification Using Business Capabilities

Elke Pulvermüller, Andreas Speck, Sören Witt, 2012, PoEM.

Infrastructure support to convey test data from state diagrams for executing MBT in embedded systems

Padma Iyenghar, Elke Pulvermüller, Juergen Wuebbelmann, 2013, Eurocon 2013.

CoReL: Policy-Based and Model-Driven Regulatory Compliance Management

Marwane El Kharbili, Pierre Kelsen, Qin Ma, 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference.

Tool-based checking of business process models

Elke Pulvermüller, Andreas Speck, Sören Witt, 2015, S-BPM ONE.

Component Composition Validation

Elke Pulvermüller, Andreas Speck, Sören Witt, 2011, SoMeT.

An Architecture for Deploying Model Based Testing in Embedded Systems

Padma Iyenghar, Elke Pulvermüller, Juergen Wuebbelmann, 2010, FDL.

Reducing the Gap between Verification Models and Software Development Models

Elke Pulvermüller, 2009, SoMeT.

Model-based co-engineering and NFP analysis in embedded software sub-systems developed using heterogeneous modeling domains

Padma Iyenghar, Elke Pulvermüller, Arne Noyer, 2016, 2016 IEEE 14th International Conference on Industrial Informatics (INDIN).

Composition and Correctness

Elke Pulvermüller, E. Pulvermüller, 2002, SC@ETAPS.

A Declarative Executable Language based on OCL for Specifying the Behaviour of Platform-Independent Models

Pierre Kelsen, Elke Pulvermüller, Christian Glodt, 2007 .

Early model-driven timing validation of IoT-compliant use cases

Padma Iyenghar, Elke Pulvermüller, Arne Noyer, 2017, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN).

EProMS: An E-commerce Based Process Model for Cooperative Software Development in Small Organisations

Ruzanna Chitchyan, Elke Pulvermüller, Andreas Speck, 2001, EC-Web.

Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees

Elke Pulvermüller, Stefan Sarstedt, Stefan Schonger, 2002 .

Service Contract Compliance Management in Business Process Management

Marwane El Kharbili, Elke Pulvermüller, 2008, WEWST@ECOWS.

Tool independent code generation for the UML closing the gap between proprietary models and the standardized UML model

Padma Iyenghar, Elke Pulvermüller, Arne Noyer, 2014, 2014 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

Automated End-to-End Timing Analysis of AUTOSAR-based Causal Event Chains

Padma Iyenghar, Elke Pulvermüller, Lars Huning, 2020, ENASE.

A Flexible Approach for Instance Adaptation During Class Versioning

Elke Pulvermüller, Peter Sawyer, Awais Rashid, 2000, Objects and Databases.

Framework for Business Process Verification

Elke Pulvermüller, Andreas Speck, Sören Witt, 2011, BIS.

Modeling and Verifying Workflow-based Regulations

Elke Pulvermüller, Wilhelm Rossak, Daniel Fötsch, 2006, ReMo2V.

Using Developer-tool-Interactions to Expand Tracing Capabilities

Elke Pulvermüller, Andreas Speck, Dennis Ziegenhagen, 2019, ENASE.

Graph-based Multi-Criteria Optimization for Business Processes

Elke Pulvermüller, Heiko Tapken, Ralf Tönjes, 2020, BMSD.

A concept and implementation of higher-level XML transformation languages

Elke Pulvermüller, Daniel Fötsch, E. Pulvermüller, 2009, Knowl. Based Syst..

Coupling of timing properties for embedded realtime systems using a hybrid tool integration approach

Padma Iyenghar, Elke Pulvermüller, Arne Noyer, 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

Towards Using Code Coverage Metrics for Performance Comparison on the Implementation Level

Elke Pulvermüller, Mathias Menninghaus, 2016, ICPE.

Monitoring data stream reliability in smart city environments

Ralf Tönjes, Elke Pulvermüller, Daniel Kümper, 2016, 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT).

A Capability Oriented Management Approach for Business Integration

Elke Pulvermüller, Roman Belter, André Ludwig, 2007, BPSC.

Resilient BPMN: Robust Process Modeling in Unreliable Communication Environments

Elke Pulvermüller, Ralf Tönjes, Frank Nordemann, 2020, MODELSWARD.

Model-Based Software Reuse

Elke Pulvermüller, Andreas Speck, Ralf H. Reussner, 2002, ECOOP Workshops.

End-to-end path delay estimation in embedded software involving heterogeneous models

Padma Iyenghar, Elke Pulvermüller, Clemens Westerkamp, 2016, 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES).

From Object-Oriented to Aspect-Oriented Databases

Elke Pulvermüller, Awais Rashid, A. Rashid, 2000, DEXA.

Feature Interaction in Composed Systems

James Coplien, Elke Pulvermüller, Wolfgang De Meuter, 2001, ECOOP Workshops.

Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens

Elke Pulvermüller, 2006 .

Framework of Software Design Patterns for Energy-Aware Embedded Systems

Elke Pulvermüller, Clemens Westerkamp, Michael Uelschen, 2020, ENASE.

Towards Model-Based Test automation for embedded systems using UML and UTP

Padma Iyenghar, Elke Pulvermüller, Clemens Westerkamp, 2011, ETFA2011.

Traceability and interfacing between requirements engineering and UML domains using the standardized ReqIF format

Padma Iyenghar, Elke Pulvermüller, Arne Noyer, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

From business modeling to verified applications

Elke Pulvermüller, Stephan Kleuker, Christian Ammann, 2011, GI-Jahrestagung.

Dependencies in business process rule hierarchies

Elke Pulvermüller, Andreas Speck, Sören Witt, 2013, 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT).

Formalizing business process specifications

Elke Pulvermüller, Andreas Speck, Marcel Schulz, 2011, Comput. Sci. Inf. Syst..

A Graph-based Approach for Process Robustness in Unreliable Communication Environments

Elke Pulvermüller, Heiko Tapken, Ralf Tönjes, 2020, ENASE.

Aspects in Distributed Environments

Elke Pulvermüller, Andreas Speck, Herbert Klaeren, 1999, GCSE.

Search based GUI Test Generation in Java - Comparing Code-based and EFG-based Optimization Goals

Elke Pulvermüller, Mathias Menninghaus, Falk Wilke, 2017, ENASE.

New software composition concepts

Gerhard Goos, Elke Pulvermüller, Uwe Aßmann, 2005, Sci. Comput. Program..

Preface - SC 2003: Workshop on Software Composition Affiliated with ETAPS 2003

Elke Pulvermüller, Noury Bouraqadi, Uwe Aßmann, 2003, Electron. Notes Theor. Comput. Sci..