Elke Pulvermüller

CoRR, 2024

The Lifecycle of Data Clumps: A Longitudinal Case Study in Open-Source Projects.

[BibT_eX]

Nils Baumgartner

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023

Experimentation on NN Models for Hazard Identification in Machinery Functional Safety.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

A Chatbot Assistant for Reducing Risk in Machinery Design.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Live Code Smell Detection of Data Clumps in an Integrated Development Environment.

[BibT_eX]

[DOI]

Nils Baumgartner

Firas Adleh

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

Business Process Modeling in a Virtual 3D World.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2022

AI-guided Model-Driven Embedded Software Engineering.

[BibT_eX]

[DOI]

Friedrich Otte

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

AI-Based Assistant for Determining the Required Performance Level for a Safety Function.

[BibT_eX]

[DOI]

Proceedings of the IECON 2022, 2022

2021

Towards Power Consumption Optimization for Embedded Systems from a Model-driven Software Development Perspective.

[BibT_eX]

[DOI]

Marco Schaarschmidt

Michael Uelschen

Proceedings of the Software Technologies - 16th International Conference, 2021

Power Consumption Estimation in Model Driven Software Development for Embedded Systems.

[BibT_eX]

[DOI]

Marco Schaarschmidt

Michael Uelschen

Proceedings of the 16th International Conference on Software Technologies, 2021

Seamless Integration of Hardware Interfaces in UML-based MDSE Tools.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Technologies, 2021

2020

Resilient Business Process Modeling and Execution Using BPMN and Microservices.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2020

Resilient BPMN: Robust Process Modeling in Unreliable Communication Environments.

[BibT_eX]

[DOI]

Frank Nordemann

Ralf Tönjes

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

An Industrial Production Scenario as Prerequisite for Applying Intelligent Solutions.

[BibT_eX]

[DOI]

Proceedings of the Human Centred Intelligent Systems, 2020

Capturing Tracing Data Life Cycles for Supporting Traceability.

[BibT_eX]

[DOI]

Dennis Ziegenhagen

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

Energy-Aware Pattern Framework: The Energy-Efficiency Challenge for Embedded Systems from a Software Design Perspective.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2020

Framework of Software Design Patterns for Energy-Aware Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

Resilient Process Modeling and Execution Using Process Graphs.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

Model-Based Timing Analysis of Automotive Use Case Developed in UML.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

A Workflow for Automatic Code Generation of Safety Mechanisms via Model-Driven Development.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

Integrated Performance Tuning of an IIoT Digital Twin: Work-in-Progress.

[BibT_eX]

[DOI]

Sakthivel M. Sundharam

Proceedings of the 20th International Conference on Embedded Software, 2020

Graph-based Multi-Criteria Optimization for Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Modeling and Software Design - 10th International Symposium, 2020

2019

Expanding Tracing Capabilities Using Dynamic Tracing Data.

[BibT_eX]

[DOI]

Dennis Ziegenhagen

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019

Using Developer-tool-Interactions to Expand Tracing Capabilities.

[BibT_eX]

[DOI]

Dennis Ziegenhagen

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

UML Specification and Transformation of Safety Features for Memory Protection.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Early Model-Driven Timing Validation of Embedded Soware Systems Developed Using Matlab/Simulink.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2018

A Model-Driven Workflow for Energy-Aware Scheduling Analysis of IoT-Enabled Use Cases.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2018

Valid.IoT: a framework for sensor data quality analysis and interpolation.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Multimedia Systems Conference, 2018

2017

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

[BibT_eX]

[DOI]

Softw. Qual. J., 2017

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

[BibT_eX]

[DOI]

Arne Noyer

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

An infrastructure-based interpolation and propagation approach for IoT data analytics.

[BibT_eX]

[DOI]

Daniel Kümper

Ralf Tönjes

Proceedings of the 20th Conference on Innovations in Clouds, Internet and Networks, 2017

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

[BibT_eX]

[DOI]

Mathias Menninghaus

Falk Wilke

Jan-Philipp Schleutker

Proceedings of the ENASE 2017, 2017

2016

High-Dimensional Spatio-Temporal Indexing.

[BibT_eX]

[DOI]

Mathias Menninghaus

Martin Breunig

Open J. Databases, 2016

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

[BibT_eX]

[DOI]

Mathias Menninghaus

Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering, 2016

Monitoring data stream reliability in smart city environments.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Translating timing requirements of Embedded Software systems modeled in Simulink to a timing analysis model.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Visualization of Checking Results for Graphical Validation Rules.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Tool-based checking of business process models.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, 2015

Traceability and Interfacing Between Requirements Engineering and UML Domains using the Standardized ReqIF Format.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2015, 2015

A Mechanism for Data Interchange Between Embedded Software Sub-systems Developed using Heterogenous Modeling Domains.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2015, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Wissenschaft und Kunst der Modellierung, 2015

2014

Tool Independent Code Generation for the UML - Closing the Gap Between Proprietary Models and the Standardized UML Model.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2014, 2014

2013

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

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2013

Dependencies in business process rule hierarchies.

[BibT_eX]

[DOI]

Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

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

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

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

[BibT_eX]

[DOI]

Proceedings of Eurocon 2013, 2013

Integrating Validation Techniques for Process-based Models.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2013, 2013

2012

Rule Determination and Process Verification Using Business Capabilities.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling - 5th IFIP WG 8.1 Working Conference, 2012

2011

Model-Based Debugging of Embedded Software Systems.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2011

Formalizing business process specifications.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2011

Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing, 2011

Component Composition Validation.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

From business modeling to verified applications.

[BibT_eX]

[DOI]

Christian Ammann

Stephan Kleuker

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Integrated model-based approach and test framework for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

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

[BibT_eX]

[DOI]

Clemens Westerkamp

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

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

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

Framework for Business Process Verification.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems - 14th International Conference, 2011

2010

Developer-friendly verification of process-based systems.

[BibT_eX]

[DOI]

Sven Feja

Knowl. Based Syst., 2010

Policy-enabled goal-oriented requirements engineering for semantic Business Process Management.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2010

An Architecture for Deploying Model Based Testing in Embedded Systems.

[BibT_eX]

Proceedings of the 2010 Forum on specification & Design Languages, 2010

Process Model Validation - Transforming Process Models to Extended Checking Models.

[BibT_eX]

Proceedings of the ENASE 2010, 2010

A model based approach for debugging embedded systems in real-time.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

2009

A concept and implementation of higher-level XML transformation languages.

[BibT_eX]

[DOI]

Daniel Fötsch

Knowl. Based Syst., 2009

Verification Support for Generative System Development.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Reducing the Gap between Verification Models and Software Development Models.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Bridging Requirements Engineering and Business Process Management.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2009, 2009

Business Process Verification.

[BibT_eX]

[DOI]

Sven Feja

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

A Semantic Framework for Compliance Management in Business Process Management.

[BibT_eX]

[DOI]

Marwane El Kharbili

Proceedings of the Business Process, 2009

2008

Specifying Executable Platform-Independent Models using OCL.

[BibT_eX]

[DOI]

Pierre Kelsen

Christian Glodt

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Service Contract Compliance Management in Business Process Management.

[BibT_eX]

[DOI]

Marwane El Kharbili

Proceedings of the Emerging Web Services Technology Volume III, 2008

2007

Constructing higher-level Transformation Languages based on XML.

[BibT_eX]

[DOI]

Daniel Fötsch

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

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

[BibT_eX]

[DOI]

Christian Glodt

Pierre Kelsen

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

A Capability Oriented Management Approach for Business Integration.

[BibT_eX]

[DOI]

Proceedings of the Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, 2007

2006

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

[BibT_eX]

[DOI]

PhD thesis, 2006

Modeling and Verifying Workflow-based Regulations.

[BibT_eX]

[DOI]

Daniel Fötsch

Wilhelm R. Rossak

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2005

New software composition concepts.

[BibT_eX]

[DOI]

Gerhard Goos

Uwe Aßmann

Sci. Comput. Program., 2005

2003

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

[BibT_eX]

[DOI]

Proceedings of the 2003 Workshop on Software Composition, 2003

2002

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Software Composition, 2002

Composition and Correctness.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Software Composition, 2002

Model-Based Software Reuse.

[BibT_eX]

[DOI]

Ragnhild Van Der Straeten

Ralf H. Reussner

Matthias Clauß

Proceedings of the Object-Oriented Technology, 2002

2001

A Version Model for Aspect Dependency Management.

[BibT_eX]

[DOI]

James Coplien

Proceedings of the Generative and Component-Based Software Engineering, 2001

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

[BibT_eX]

[DOI]

Proceedings of the Electronic Commerce and Web Technologies, 2001

Feature Interaction in Composed Systems.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

Position Paper: Feature Interaction in Composed Systems.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2001 Workshop on Feature Interaction in Composed Systems (FICS 2001), 2001

2000

Towards generative components.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

Implementing Collaboration-Based Designs Using Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Awais Rashid

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

A Flexible Approach for Instance Adaptation During Class Versioning.

[BibT_eX]

[DOI]

Awais Rashid

Peter Sawyer

Proceedings of the Objects and Databases, 2000

Aspect Composition Applying the Design by Contract Principle.

[BibT_eX]

[DOI]

Proceedings of the Generative and Component-Based Software Engineering, 2000

From Object-Oriented to Aspect-Oriented Databases.

[BibT_eX]

[DOI]

Awais Rashid

Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

1999

Aspects in Distributed Environments.

[BibT_eX]

[DOI]

Herbert Klaeren