.- A Multi Agent Model for Opinion Evolution under Cognitive Biases.
.- Weak Simplicial Bisimilarity for Polyhedral Models and SLCS?.
.- Noninterference Analysis of Reversible Probabilistic Systems.
.- JustAct Actions Universally Justified by Partial Dynamic Policies.
.- Synthesis for Prefix FirstOrder Logic on Data Words.
.- MAGp The Role of Replication in Typing Failure Prone Communication.
.- Leaf First Zipper Semantics.
.- Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimized Timed Scenarios.
.- Formally Verifying a Rollback Prevention Protocol for TEEs.
.- Network Simulator centric Compositional Testing.
.- Adaptable configuration of decentralized monitors.
.- AuDaLa is Turing Complete.
.- Guess and then Check Controller Synthesis for Safe and Secure Cyber Physical Systems.