scispace - formally typeset
R

Rudolf Schlatte

Researcher at University of Oslo

Publications -  55
Citations -  1283

Rudolf Schlatte is an academic researcher from University of Oslo. The author has contributed to research in topics: Modeling language & Executable. The author has an hindex of 18, co-authored 50 publications receiving 1183 citations. Previous affiliations of Rudolf Schlatte include Joanneum Research & Graz University of Technology.

Papers
More filters
Book ChapterDOI

ABS: a core language for abstract behavioral specification

TL;DR: A subject reduction property is proved which shows that well-typedness is preserved during execution; in particular, "method not understood" errors do not occur at runtime for well-TYped ABS models.
Journal ArticleDOI

OptiqueVQS: a Visual Query System over Ontologies for Industry

TL;DR: This work presents OptiqueVQS, a query formulation tool designed based on the experience with OBDA applications in Statoil and Siemens and on best HCI practices for interdisciplinary engineering environments, which implements a number of unique techniques distinguishing it from analogous query formulation systems.
Book ChapterDOI

Scalable End-User Access to Big Data

TL;DR: In this paper, the turnaround time for information requests is in the range of days, possibly weeks, due to the involvement of the IT personnel in the process of processing information requests.
Journal ArticleDOI

User-defined schedulers for real-time concurrent objects

TL;DR: This paper integrates support for application-level scheduling control in a high-level object-oriented modeling language, Real-Time ABS, in which executable specifications of method calls are given deadlines and real-time computational constraints.