3 citations · 4 across the 4 of their papers we have counts for
5 papers
Threat Repair with Optimization Modulo Theories
Thorsten Tarrach, Masoud Ebrahimi, Sandra König +3
We propose a model-based procedure for automatically preventing security threats using formal models. We encode system models and potential threats as satisfiability modulo theory…
Correct-by-Construction Runtime Enforcement in AI -- A Survey
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers +1
Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior with respect to a formal specification of systems at runtime. In this paper, we are…
Conformance Testing of Mealy Machines Under Input Restrictions
Alberto Larrauri, Roderick Bloem
We introduce a grey-box conformance testing method for networks of interconnected Mealy Machines. This approach addresses the scenario where all interfaces of the component under t…
Reactive Synthesis Modulo Theories Using Abstraction Refinement
Benedikt Maderbacher, Roderick Bloem
Reactive synthesis builds a system from a specification given as a temporal logic formula. Traditionally, reactive synthesis is defined for systems with Boolean input and output va…
Minimization and Synthesis of the Tail in Sequential Compositions of Mealy Machines
Alberto Larrauri, Roderick Bloem
We consider a system consisting of a sequential composition of Mealy machines, called head and tail. We study two problems related to these systems. In the first problem, models of…