Jan Sürmeli

According to our database, Jan Sürmeli authored at least 21 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Epistemic Logic in Ensemble Specification.

Jan Sürmeli

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.

Pnina Soffer, Annika Hinze, Agnes Koschmider, Holger Ziekow, Claudio Di Ciccio, Boris Koldehofe, Oliver Kopp, Hans-Arno Jacobsen, Jan Sürmeli, Wei Song

Inf. Syst., 2019

2018

Know Your Customer Well - Selbstverwaltete, Authentische Digitale Identitäten.

Jan Sürmeli, Stefan Jähnichen

Wirtschaftsinformatik Manag., 2018

Interleaving isotactics - An equivalence notion on behaviour abstractions.

Artem Polyvyanyy, Jan Sürmeli, Matthias Weidlich

Theor. Comput. Sci., 2018

Modelling the Transition to Distributed Ledgers.

Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders

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.

Uwe Der, Stefan Jähnichen, Jan Sürmeli

Proceedings of the Digitalisierung im Spannungsfeld von Politik, 2018

2017

Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers.

Jan Sürmeli, Uwe Der, Stefan Jähnichen, Andreas Vogelsang

Inform. Spektrum, 2017

Self-sovereign Identity - Opportunities and Challenges for the Digital Revolution.

Uwe Der, Stefan Jähnichen, Jan Sürmeli

CoRR, 2017

2016

Characterizing Stable and Deriving Valid Inequalities of Petri Nets.

Marvin Triebel, Jan Sürmeli

Fundam. Informaticae, 2016

Homogeneous Equations of Algebraic Petri Nets.

Marvin Triebel, Jan Sürmeli

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Optimale Partner offener Systeme: Modellierung, Analyse, Synthese.

Jan Sürmeli

PhD thesis, 2015

Characterizing Stable Inequalities of Petri Nets.

Marvin Triebel, Jan Sürmeli

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Introducing Configurability into Scenario-Based Specification of Business Processes.

Robert Prüfer, Jan Sürmeli

Proceedings of the 6th Central-European Workshop on Services and their Composition, 2014

2013

Synthesizing Cost-Minimal Partners for Services.

Jan Sürmeli, Marvin Triebel

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2012

Cost-minimal Adapters for Services.

Jan Sürmeli

Proceedings of the 4^th Central-European Workshop on Services and their Composition, 2012

Service Discovery with Cost Thresholds.

Jan Sürmeli

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

2011

Towards Deciding Policy Violation During Service Discovery.

Jan Sürmeli

Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011

Dienstgüte-basierte Service-Selektion für Zustandsbehaftete Services.

Dieter Schuller, Jan Sürmeli

Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011

2010

Estimating costs of a service.

Christian Gierds, Jan Sürmeli

Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010

Service Discovery Using Communication Fingerprints.

Olivia Oanea, Jan Sürmeli, Karsten Wolf

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009

Creating a message profile for open nets.

Jan Sürmeli, Daniela Weinberg

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009