74 citations · 212 across the 19 of their papers we have counts for
19 papers
How to Value Open Source Contributions? An Institutional Perspective from CERN
Julie Skoven Hinge, Micha Moskovic, Axel Naumann +2
We present a methodology to systematically assess the scale and impact of an organization's contributions to open source software (OSS). The methodology combines the archival data…
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen +4
We present Uppaal Coshy, a tool for automatic synthesis of a safety strategy -- or shield -- for Markov decision processes over continuous state spaces and complex hybrid dynamics.…
Symbolic Semantics for Probabilistic Programs (extended version)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva +2
We present a new symbolic execution semantics of probabilistic programs that include observe statements and sampling from continuous distributions. Building on Kozen's seminal work…
MROS: A framework for robot self-adaptation
Gustavo Rezende Silva, Darko Bozhinoski, Mario Garzon Oviedo +5
Self-adaptation can be used in robotics to increase system robustness and reliability. This work describes the Metacontrol method for self-adaptation in robotics. Particularly, it…
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Amir Ghorbani, Nathan Cassee, Derek Robinson +4
Software bots fulfill an important role in collective software development, and their adoption by developers promises increased productivity. Past research has identified that bots…
Timed I/O Automata: It is never too late to complete your timed specification theory
Martijn A. Goorden, Kim G. Larsen, Axel Legay +3
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design.…