Marches quantiques et mécanique quantique relativiste. (Quantum walks and relativistic quantum mechanics). - Marcelo Alejandro Forets Irurtia (2015)

Quantum walking in curved spacetime. - Pablo Arrighi; Stefano Facchini; Marcelo Forets (Quantum Inf. Process., 2016)

Constructing verification models of nonlinear Simulink systems via syntactic hybridization. - Nikolaos Kekatos; Marcelo Forets; Goran Frehse (CDC, 2017)

Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. - Nikolaos Kekatos; Marcelo Forets; Goran Frehse (ARCH@CPSWeek, 2017)

Occupation measure methods for modelling and analysis of biological hybrid automata. - Thao Dang 001; Eric Fanchon; Marcelo Forets; Victor Magron; Alexandre Rocca (CoRR, 2017)

Explicit Error Bounds for Carleman Linearization. - Marcelo Forets; Amaury Pouly (CoRR, 2017)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Xin Chen 002; Chuchu Fan; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@ADHS, 2018)

Occupation measure methods for modelling and analysis of biological hybrid systems. - Alexandre Rocca; Marcelo Forets; Victor Magron; Eric Fanchon; Thao Dang 001 (ADHS, 2018)

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Frédéric Viry; Andreas Podelski; Christian Schilling 001 (HSCC, 2018)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@CPSIoTWeek, 2019)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling 001 (ARCH@CPSIoTWeek, 2019)

JuliaReach: a toolbox for set-based reachability. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (HSCC, 2019)

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)

Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model. - Sergiy Bogomolov; Marcelo Forets; Kostiantyn Potomkin (RP, 2020)

Reachability Analysis of Linear Hybrid Systems via Block Decomposition. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Uziel Linares; David P. Sanders; Christian Schilling 001; et al. (ARCH@ADHS, 2021)

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Taylor T. Johnson; Diego Manzanas Lopez; Luis Benet; Marcelo Forets; Sebastián Guadalupe; Christian Schilling 001; Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Insup Lee 001 (ARCH@ADHS, 2021)

Reachability of Weakly Nonlinear Systems Using Carleman Linearization. - Marcelo Forets; Christian Schilling 001 (RP, 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)

LazySets.jl: Scalable Symbolic-Numeric Set Computations. - Marcelo Forets; Christian Schilling 001 (CoRR, 2021)

Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. - Christian Schilling 001; Marcelo Forets; Sebastián Guadalupe (AAAI, 2022)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Marcelo Forets; Christian Schilling 001; Mark Wetzlinger (ARCH@SAFECOMP, 2022)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger (ARCH@SAFECOMP, 2022)

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Diego Manzanas Lopez; Matthias Althoff; Luis Benet; Xin Chen 002; Jiameng Fan; Marcelo Forets; Chao Huang 015; Taylor T. Johnson; Tobias Ladner; Wenchao Li 001; Christian Schilling 001; Qi Zhu 002 (ARCH@SAFECOMP, 2022)

Conservative Time Discretization: A Comparative Study. - Marcelo Forets; Christian Schilling 001 (IFM, 2022)

Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Andreas Podelski; Christian Schilling 001 (Inf. Comput., 2022)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Marcelo Forets; Yangge Li; Sayan Mitra; Christian Schilling 001; Mark Wetzlinger; Daniel Zhuang (ARCH, 2023)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Elena Ivanova; Yangge Li; Sayan Mitra; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger; et al. (ARCH, 2023)

ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Diego Manzanas Lopez; Matthias Althoff; Marcelo Forets; Taylor T. Johnson; Tobias Ladner; Christian Schilling 001 (ARCH, 2023)

The Inverse Problem for Neural Networks. - Marcelo Forets; Christian Schilling 001 (AISoLA, 2023)

Verified propagation of imprecise probabilities in non-linear ODEs. - Ander Gray; Marcelo Forets; Christian Schilling 001; Scott Ferson; Luis Benet (Int. J. Approx. Reason., 2024)