output
20042026
most citedAn overview of deep learning in medical imaging focusing on MRI

2.1k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.SEShow all

8 papers · 1 filter

cs.SE2024★ 5 cited

Towards behavioral consistency in heterogeneous modeling scenarios

Tim Kräuter

Behavioral models play an essential role in Model-driven engineering (MDE). Keeping inter-related behavioral models consistent is critical to use them successfully in MDE. However,…

cs.SE2024★ 3 cited

The Visual Debugger Tool

Tim Kräuter, Harald König, Adrian Rutle +1

Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is requi…

cs.SE2023★ 6 cited

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

Tim Kräuter, Adrian Rutle, Harald König +1

The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BP…

cs.SE2022★ 30 cited

Agile Beyond Teams and Feedback Beyond Software in Automotive Systems

S. Magnus Ågren, Rogardt Heldal, Eric Knauss +1

In order to increase the ability to build complex, software-intensive systems, as well as to decrease time-to-market for new functionality, automotive companies aim to scale agile…

cs.SE2020★ 19 cited

How do Practitioners Perceive the Relevance of Requirements Engineering Research?

Xavier Franch, Daniel Mendez, Andreas Vogelsang +6

The relevance of Requirements Engineering (RE) research to practitioners is vital for a long-term dissemination of research results to everyday practice. Some authors have speculat…

cs.SE2020★ 3 cited

Multilevel Typed Graph Transformations

Uwe Wolter, Fernando Macías, Adrian Rutle

Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel t…

cs.SE2019★ 5 cited

On Distributed Runtime Verification by Aggregate Computing

Giorgio Audrito, Ferruccio Damiani, Volker Stolz +1

Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specificat…

cs.SE2019★ 13 cited

Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour

Fernando Macías, Uwe Wolter, Adrian Rutle +2

The use of Domain-Specific Languages (DSLs) is a promising field for the development of tools tailored to specific problem spaces, effectively diminishing the complexity of hand-ma…