Jutta A. Mülle

30 papers A* 1A 3B 2Misc 4Journal 8Unranked 12

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Reduction of data-value-aware process models: A relevance-based approach. Inf. Syst. Elaheh Ordoni, Jutta A. Mülle, Klemens Böhm
2022	—	`conf`	Efficient Verification of Process Models Supporting Modifications of Data Values. CBI (1) Elaheh Ordoni, Jutta A. Mülle, Kuan Yang, Klemens Böhm
2022	—	`conf`	Results from the Verification of Models of Spectrum Auctions. BMSD Elaheh Ordoni, Jutta A. Mülle, Klemens Böhm
2020	—	`conf`	Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions. CBI (1) Elaheh Ordoni, Jutta A. Mülle, Klemens Böhm
2019	J	`jnl`	A practical data-flow verification scheme for business processes. Inf. Syst. Jutta A. Mülle, Christine Tex, Klemens Böhm
2016	—	`conf`	Process Synthesis with Sequential and Parallel Constraints. OTM Conferences Richard Mrasek, Jutta A. Mülle, Klemens Böhm
2016	J	`jnl`	Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. Inf. Syst. Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann
2015	J	`jnl`	A new verification technique for large processes based on identification of relevant tasks. Inf. Syst. Richard Mrasek, Jutta A. Mülle, Klemens Böhm
2015	A	`conf`	Automatic Generation of Optimized Process Models from Declarative Specifications. CAiSE Richard Mrasek, Jutta A. Mülle, Klemens Böhm
2014	J	`jnl`	Detecting Data-Flow Errors in BPMN 2.0. Open J. Inf. Syst. Silvia von Stackelberg, Susanne Putze, Jutta A. Mülle, Klemens Böhm
2014	A	`conf`	User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes. BPM Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann
2011	—	`conf`	Modelling and transforming security constraints in privacy-aware business processes. SOCA Jutta A. Mülle, Silvia von Stackelberg, Klemens Böhm
2011	—	`conf`	Semantic Support for Security-Annotated Business Process Models. BMMDS/EMMSAD Ioana Ciuciu, Gang Zhao, Jutta A. Mülle, Silvia von Stackelberg, Cristian Vasquez Paulus, Thorsten Haberecht, Robert Meersman, Klemens Böhm
2010	—	`conf`	Secure Business Processes in Service-Oriented Architectures - A Requirements Analysis. ECOWS Jens Müller, Jutta A. Mülle, Silvia von Stackelberg, Klemens Böhm
2008	J	`jnl`	Automated derivation of executable business processes from choreographies in virtual organisations. Int. J. Bus. Process. Integr. Manag. Ingo Weber, Jochen Haller, Jutta A. Mülle
2006	A	`conf`	A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. Business Process Management Simon Moser, Axel Martens, Marc Häbich, Jutta A. Mülle
2006	A*	`conf`	Building Conference Proceedings Requires Adaptable Workflow and Content Management. VLDB Jutta A. Mülle, Klemens Böhm, Nicolas Roper, Tobias Sunder
2003	—	`conf`	A Practical Strategy for the Modularization of Courseware. Wissensmanagement Khaldoun Ateyeh, Michael Klein, Birgitta König-Ries, Jutta A. Mülle
2000	—	`conf`	Modular Development of Multimedia Courseware. WISE (2) Khaldoun Ateyeh, Jutta A. Mülle, Peter C. Lockemann
2000	—	`conf`	Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung. D-CSCL Khaldoun Ateyeh, Jutta A. Mülle, Peter C. Lockemann
1997	B	`conf`	Collision of Constrained Work Spaces: A Unifying Concept for Design Interactions. CoopIS Rose Sturm, Jutta A. Mülle, Peter C. Lockemann
1995	Misc	`conf`	Konsistenzüberwachung in Datenbanksystemen - Eine Anforderungsanalyse anhand der Entwurfsbereiche Architektur und Schiffsbau. BTW Karol Abramowicz, Birgit Boss, Volkmar Hovestadt, Jutta A. Mülle, Rose Sturm, Peter C. Lockemann
1995	—	`conf`	Temporized and Localized Rule Sets. Rules in Database Systems Rose Sturm, Jutta A. Mülle, Peter C. Lockemann
1988	B	`conf`	Supporting Semantic Rules by a Generalized Event/Trigger Mechanism. EDBT Angelika M. Kotz, Klaus R. Dittrich, Jutta A. Mülle
1986	J	`jnl`	An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases. SIGMOD Rec. Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle
1985	Misc	`conf`	Anforderungen technischer Anwendungen an Datenbanksysteme. BTW Peter C. Lockemann, Marcus Adams, Martin Bever, Klaus R. Dittrich, Barbara Ferkinghoff, Willi Gotthard, Angelika M. Kotz, Rolf-Peter Liedtke, Birgit Lüke, Jutta A. Mülle
1985	Misc	`conf`	Basismechanismen für komplexe Konsistenzprobleme in Entwurfsdatenbanken. BTW Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle
1985	Misc	`conf`	DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf. BTW Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle
1985	J	`jnl`	Datenbankunterstützung für den ingenieurwissenschaftlichen Entwurf. Inform. Spektrum Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle, Peter C. Lockemann
1984	—	`conf`	Datenbankkonzepte für Ingenieuranwendungen: ein Übersicht über den Stand der Entwicklung. GI Jahrestagung Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle, Peter C. Lockemann