17 citations · 49 across the 21 of their papers we have counts for
23 papers
Continuous Ontology Assurance through External Resources -- An Ontology Engineering Method with a Case Study in Software Language Engineering
Ralf Lämmel
Domain ontologies require review against knowledge recorded in evolving external resources. We propose COATER, a method that manages executable review components called arrows. Eac…
Diagnosing Generalization Boundaries in AI-Based Vulnerability Detection via Calibrated Embedding Distances
Konstantin Ievtushenko, Ralf Lämmel, Jan Jürjens
High benchmark scores in learning-based vulnerability detection mask severe degradation under distribution shifts. This paper demonstrates that calibrated embedding geometry expose…
Transforming Shape Schemas with Composable Property-Graph Queries (Extended Version)
Philipp Seifer, Daniel Hernández, Ralf Lämmel +1
Property graphs may be constrained by schemas that inform both query engines and human users about the shape of valid data, enforcing a contract between data provider and consumer.…
Web-Native Graphical EMF Model Editors
Susanne Göbel, Ralf Lämmel
Graphical model editing is shifting from desktop applications to web-based tools. We analyze the characteristics of existing frameworks and, based on this analysis, we derive a set…
Towards an Ontology for the Foundations of Software Languages
Ralf Lämmel
The notion of software languages subsumes programming languages, modeling languages, and yet many other types of languages used in software engineering. The emerging ontology `Foun…
eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs
Xinyi Pan, Daniel Hernández, Philipp Seifer +2
Over the past few years, we have seen the emergence of large knowledge graphs combining information from multiple sources. Sometimes, this information is provided in the form of as…
From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
Philipp Seifer, Daniel Hernández, Ralf Lämmel +1
SPARQL CONSTRUCT queries allow for the specification of data processing pipelines that transform given input graphs into new output graphs. It is now common to constrain graphs thr…
AutArch: An AI-assisted workflow for object detection and automated recording in archaeological catalogues
Kevin Klein, Antoine Muller, Alyssa Wohde +5
The context of this paper is the creation of large uniform archaeological datasets from heterogeneous published resources, such as find catalogues - with the help of AI and Big Dat…
ProGS: Property Graph Shapes Language (Extended Version)
Philipp Seifer, Ralf Lämmel, Steffen Staab
Property graphs constitute data models for representing knowledge graphs. They allow for the convenient representation of facts, including facts about facts, represented by triples…
Seamless Variability Management With the Virtual Platform
Wardah Mahmood, Daniel Strüber, Thorsten Berger +2
Customization is a general trend in software engineering, demanding systems that support variable stakeholder requirements. Two opposing strategies are commonly used to create vari…
Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)
Martin Leinberger, Philipp Seifer, Tjitze Rienstra +2
The Shapes Constraint Language (SHACL) allows for formalizing constraints over RDF data graphs. A shape groups a set of constraints that may be fulfilled by nodes in the RDF graph.…
Ownership at Large -- Open Problems and Challenges in Ownership Management
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk +10
Software-intensive organizations rely on large numbers of software assets of different types, e.g., source-code files, tables in the data warehouse, and software configurations. Wh…
Understanding What Software Engineers Are Working on -- The Work-Item Prediction Challenge
Ralf Lämmel, Alvin Kerber, Liane Praza
Understanding what a software engineer (a developer, an incident responder, a production engineer, etc.) is working on is a challenging problem -- especially when considering the m…
WES: Agent-based User Interaction Simulation on Real Infrastructure
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk +9
We introduce the Web-Enabled Simulation (WES) research agenda, and describe FACEBOOK's WW system. We describe the application of WW to reliability, integrity and privacy at FACEBOO…
Type Checking Program Code using SHACL (Extended Version)
Martin Leinberger, Philipp Seifer, Claudia Schon +2
It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible da…
Relationship Maintenance in Software Language Repositories
Ralf Lämmel
The context of this research is testing and building software systems and, specifically, software language repositories (SLRs), i.e., repositories with components for language proc…
LambdaDL: Syntax and Semantics (Preliminary Report)
Martin Leinberger, Ralf Lämmel, Steffen Staab
Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone while mapping approaches cannot f…
Programming errors in traversal programs over structured data
Ralf Laemmel, Simon Thompson, Markus Kaiser
Traversal strategies á la Stratego (also á la Strafunski and 'Scrap Your Boilerplate') provide an exceptionally versatile and uniform means of querying and transforming deeply nest…
Tutorial on Online Partial Evaluation
William R. Cook, Ralf Lämmel
This paper is a short tutorial introduction to online partial evaluation. We show how to write a simple online partial evaluator for a simple, pure, first-order, functional program…
Recovering Grammar Relationships for the Java Language Specification
Ralf Lämmel, Vadim Zaytsev
Grammar convergence is a method that helps discovering relationships between different grammars of the same language or different language versions. The key element of the method i…
Automated co-evolution of GMF editor models
Davide Di Ruscio, Ralf Lämmel, Alfonso Pierantonio
The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of modeling lang…
Typed Generic Traversal With Term Rewriting Strategies
Ralf Laemmel
A typed model of strategic term rewriting is developed. The key innovation is that generic traversal is covered. To this end, we define a typed rewriting calculus S'_{gamma}. The c…
A Framework for Datatype Transformation
Jan Kort, Ralf Laemmel
We study one dimension in program evolution, namely the evolution of the datatype declarations in a program. To this end, a suite of basic transformation operators is designed. We…