## 2022

##### A Formal CHERI-C Memory Model

by Seung Hoon Park
Nov 25

##### Verified Complete Test Strategies for Finite State Machines

by Robert Sachtleben
Aug 09

##### First-Order Query Evaluation

by Martin Raszyk
Feb 15

##### Multi-Head Monitoring of Metric Dynamic Logic

by Martin Raszyk
Feb 13

## 2020

##### AI Planning Languages Semantics

by Mohammad Abdulaziz and Peter Lammich
Oct 29

## 2019

##### Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic

by Joshua Schneider and Dmitriy Traytel
Jul 04

## 2016

##### Polynomial Factorization

by René Thiemann and Akihisa Yamada
Jan 29

## 2009

##### Collections Framework

by Peter Lammich
Nov 25