Demo Data from SIGIR 2026 / reviewers in the wild / expert
Sebastian Thöne
dblp:30/2288
· DBLP profile ↗
7ranked-venue papers
0as first author
3since 2021 · last 2026
0009-0002-0812-8140ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 5 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 70% Services computing and microservices · 30% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design
model-driven engineering |
0.0 | 1 | 2003 | Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003 |
Services computing and microservices
service-oriented architecture |
0.0 | 1 | 2003 | Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003 |
Requirements engineering and software design
software architecture |
0.0 | 1 | 2003 | Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003 |
Requirements engineering and software design › model-driven engineering › UML
UML models |
0.0 | 1 | 2003 | Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003 |
Services computing and microservices
middleware |
0.0 | 1 | 2003 | Modeling and validation of service-oriented architectures: application vs. style · ESEC / SIGSOFT FSE 2003 |
Methods — techniques the papers use, named apart from their topics
graph transformation · 0.0formal validation · 0.0UML modeling · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Domain-Driven Modeling of Combinatorial Constraint Satisfaction Problems for Quantum Solvers
Marc Uphues, Sebastian Thöne, Herbert Kuchen |
ENASE (1) | 2 |
| 2022 | Semi-automated Test Migration for BPMN-Based Process-Driven Applications
Konrad Schneid, Sebastian Thöne, Herbert Kuchen |
EDOC | 2 |
| 2021 | Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven ApplicationsabstractBPMN-based Process-Driven Applications (PDA) require less coding since they are not only based on source code, but also on executable process models. Automated testing of such model-driven applications gains growing relevance, and it becomes a key enabler if we want to found their development on continuous integration (CI) techniques.While process analysts are typically responsible for test case specifications from a business perspective, technically skilled process engineers take the responsibility for implementing the required test code. This is time-consuming and, due to their often different skills and backgrounds, might result in communication problems such as information losses and misunderstandings. This paper presents a new approach which enables an analyst to generate executable tests for PDAs without the need for manual coding. It consists of a sophisticated model analysis, a wizard-based specification of test cases, and a subsequent code generation. The resulting tests can easily be integrated into CI pipelines.The concept is underpinned by a user-friendly tool which has been evaluated in case studies and in real-world implementation projects from different industry sectors. During the evaluation, the prototype proved a more efficient test creation process and a higher test quality. Konrad Schneid, Leon Stapper, Sebastian Thöne, Herbert Kuchen |
EDOC | 3 |
| 2006 | Style-based modeling and refinement of service-oriented architectures
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró |
Softw. Syst. Model. | 3 |
| 2004 | Style-Based Refinement of Dynamic Software ArchitecturesabstractIn this paper, we address the correct refinement of abstract architectural models into more platform-specific representations. We consider the challenging case of dynamic architectures which can perform run-time reconfigurations. For this purpose, the underlying platform has to provide the necessary reconfiguration mechanisms. To conceptually model such platforms including provided reconfiguration mechanisms, we use architectural styles formalized by graph transformation rules. Based on formal refinement relations between abstract and platform-specific styles, we can then investigate how to realize business-specific scenarios on a certain platform by automatically deriving refined, platform-specific reconfiguration scenarios. Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró |
WICSA | 3 |
| 2003 | Modeling and validation of service-oriented architectures: application vs. styleabstractMost applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is suitable for a given application (or more generally, to understand the interaction between application and platform), we propose UML models of both the architectural style of the platform and the application scenario. Based on a formal interpretation of these as graphs and graph transformation systems, we are able to validate the consistency between platform and application. Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró |
ESEC / SIGSOFT FSE | 3 |
| 2002 | Process-Oriented, Consistent Integration of Software ComponentsabstractThe integration of software components becomes a more and more important issue in software engineering. Process-oriented approaches should provide automated information processes. Therefore, the software components have to be integrated in a consistent way, i.e., their export interfaces have to be respected by the importing components. Furthermore, the type system of component interfaces has to support a tunable degree of freedom. This allows the insertion of components with interfaces of restricted but sufficient degree of compatibility. In this paper, we develop a concept for consistent and flexible integration of components. We present a process modeling language that combines UML and XML in order to support consistent, flexible, and executable processes. Finally, we provide a formalization of the proposed component type system. Ralph Depke, Gregor Engels, Sebastian Thöne, M. Langham, B. Lütkemeier |
COMPSAC | 3 |