2025
A case study of the MEUSec method to enhance user experience and information security of digital identity wallets.
i-com, April, 2025
2024
Selbstbestimmte Identitäten im E-Commerce.
HMD Prax. Wirtsch., June, 2024
MEUSec - Method for Enhancing User Experience and Information Security.
Proceedings of the Advances in Mobile Computing and Multimedia Intelligence, 2024
Matching Expectations in Ensembles: Connecting Verifiable Credentials and the Semantic Web.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
User Experience and Information Security Implications of Digital Identity Wallets.
Proceedings of the 14th International Conference on Information Communication and Management, 2024
User Experience and Information Security Heuristics for Digital Identity Wallets.
Proceedings of the Computer-Human Interaction Research and Applications, 2024
2020
Epistemic Logic in Ensemble Specification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
2019
From event streams to process models and back: Challenges and opportunities.
Inf. Syst., 2019
2018
Know Your Customer Well - Selbstverwaltete, Authentische Digitale Identitäten.
Wirtschaftsinformatik Manag., 2018
Interleaving isotactics - An equivalence notion on behaviour abstractions.
Theor. Comput. Sci., 2018
Modelling the Transition to Distributed Ledgers.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Selbstverwaltete digitale Identitäten - Chancen und Herausforderungen für die weltweite Digitalisierung.
Proceedings of the Digitalisierung im Spannungsfeld von Politik, 2018
2017
Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers.
Inform. Spektrum, 2017
Self-sovereign Identity - Opportunities and Challenges for the Digital Revolution.
CoRR, 2017
2016
Characterizing Stable and Deriving Valid Inequalities of Petri Nets.
Fundam. Informaticae, 2016
Homogeneous Equations of Algebraic Petri Nets.
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Optimale Partner offener Systeme: Modellierung, Analyse, Synthese.
PhD thesis, 2015
Characterizing Stable Inequalities of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015
2014
Introducing Configurability into Scenario-Based Specification of Business Processes.
Proceedings of the 6th Central-European Workshop on Services and their Composition, 2014
2013
Synthesizing Cost-Minimal Partners for Services.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013
2012
Cost-minimal Adapters for Services.
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012
Service Discovery with Cost Thresholds.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012
2011
Towards Deciding Policy Violation During Service Discovery.
Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011
Dienstgüte-basierte Service-Selektion für Zustandsbehaftete Services.
Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011
2010
Estimating costs of a service.
Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010
Service Discovery Using Communication Fingerprints.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010
2009
Creating a message profile for open nets.
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009