Jutta A. Mülle

Inf. Syst., March, 2023

2022

Efficient Verification of Process Models Supporting Modifications of Data Values.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Conference on Business Informatics, 2022

Results from the Verification of Models of Spectrum Auctions.

[BibT_eX]

[DOI]

Elaheh Ordoni

Proceedings of the Business Modeling and Software Design - 12th International Symposium, 2022

2020

Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions.

[BibT_eX]

[DOI]

Elaheh Ordoni

Proceedings of the 22nd IEEE Conference on Business Informatics, 2020

2019

A practical data-flow verification scheme for business processes.

[BibT_eX]

[DOI]

Christine Tex

Inf. Syst., 2019

2016

Property specification, process verification, and reporting - A case study with vehicle-commissioning processes.

[BibT_eX]

[DOI]

Inf. Syst., 2016

Process Synthesis with Sequential and Parallel Constraints.

[BibT_eX]

[DOI]

Richard Mrasek

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

2015

A new verification technique for large processes based on identification of relevant tasks.

[BibT_eX]

[DOI]

Richard Mrasek

Inf. Syst., 2015

Automatic Generation of Optimized Process Models from Declarative Specifications.

[BibT_eX]

[DOI]

Richard Mrasek

Proceedings of the Advanced Information Systems Engineering, 2015

2014

Detecting Data-Flow Errors in BPMN 2.0.

[BibT_eX]

[DOI]

Susanne Putze

Open J. Inf. Syst., 2014

User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 12th International Conference, 2014

2011

Modelling and transforming security constraints in privacy-aware business processes.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Semantic Support for Security-Annotated Business Process Models.

[BibT_eX]

[DOI]

Ioana Ciuciu

Gang Zhao

Cristian Vasquez Paulus

Thorsten Haberecht

Robert Meersman

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011

2010

Secure Business Processes in Service-Oriented Architectures - A Requirements Analysis.

[BibT_eX]

[DOI]

Jens Müller

Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), 2010

2008

Automated derivation of executable business processes from choreographies in virtual organisations.

[BibT_eX]

[DOI]

Ingo Weber

Jochen Haller

Int. J. Bus. Process. Integr. Manag., 2008

2006

Building Conference Proceedings Requires Adaptable Workflow and Content Management.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 4th International Conference, 2006

2003

A Practical Strategy for the Modularization of Courseware.

[BibT_eX]

[DOI]

Proceedings of the WM 2003: Professionelles Wissensmanagement, 2003

2000

Modular Development of Multimedia Courseware.

[BibT_eX]

[DOI]

Khaldoun Ateyeh

Proceedings of the WISE 2000, 2000

Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung.

[BibT_eX]

[DOI]

Khaldoun Ateyeh

Proceedings of the Vernetztes Lernen mit digitalen Medien, 2000

1997

Collision of Constrained Work Spaces: A Unifying Concept for Design Interactions.

[BibT_eX]

[DOI]

Rose Sturm

Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, 1997

1995

Temporized and Localized Rule Sets.

[BibT_eX]

[DOI]

Rose Sturm

Proceedings of the Rules in Database Systems, Second International Workshop, 1995

Konsistenzüberwachung in Datenbanksystemen - Eine Anforderungsanalyse anhand der Entwurfsbereiche Architektur und Schiffsbau.

[BibT_eX]

[DOI]

Proceedings of the Datenbanksysteme in Büro, 1995

1988

Supporting Semantic Rules by a Generalized Event/Trigger Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 1988

1986

An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases.

[BibT_eX]

[DOI]

SIGMOD Rec., 1986

1985

Datenbankunterstützung für den ingenieurwissenschaftlichen Entwurf.

[BibT_eX]

[DOI]

Inform. Spektrum, 1985

Anforderungen technischer Anwendungen an Datenbanksysteme.

[BibT_eX]

[DOI]

Proceedings of the Datenbanksysteme für Büro, 1985

Basismechanismen für komplexe Konsistenzprobleme in Entwurfsdatenbanken.

[BibT_eX]

[DOI]

Proceedings of the Datenbanksysteme für Büro, 1985

DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf.

[BibT_eX]

[DOI]