ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Zongnan Bao; Marcelo Forets; Goran Frehse; Daniel Freire; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp; et al. (ARCH, 2020)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. - Marcelo Forets; Daniel Freire; Christian Schilling 001 (MEMOCODE, 2020)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Erika Ábrahám; Marcelo Forets; Goran Frehse; Daniel Freire; Christian Schilling 001; Stefan Schupp; Mark Wetzlinger (ARCH@ADHS, 2021)

Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems. - Marcelo Forets; Daniel Freire Caporale; Jorge M. Pérez Zerpa (CoRR, 2021)