Containers Dependents

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