• 2019-07-19[07.09]-Augmenting Stream Constraint Programming with Eventuality Conditions
• 2019-07-19[07.05]-Trustworthy Cyber-Physical Systems: Dream or Reality?
• 2019-07-19[07.03]-Formal Proofs of Tarjan’s Strongly Connected Components Algorithm in Why3, Coq and Isabelle
• 2019-07-18Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions