14 citations · 21 across the 4 of their papers we have counts for
4 papers
Semantically Reflected Programs
Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu +4
This paper addresses the dichotomy between the formalization of structural and the formalization of behavioral knowledge by means of semantically lifted programs, which explore an…
BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
Riccardo Sieve, Paul Kobialka, Laura Slaughter +3
Digital twins are emerging as a valuable tool for short-term decision-making as well as for long-term strategic planning across numerous domains, including process industry, energy…
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools
Jesús Doménech, Samir Genaim, Einar Broch Johnsen +1
In this paper we describe EasyInterface, an open-source toolkit for rapid development of web-based graphical user interfaces (GUIs). This toolkit addresses the need of researchers…
Lightweight Time Modeling in Timed Creol
Joakim Bjørk, Einar Broch Johnsen, Olaf Owe +1
Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-b…