Marcelo Forets

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 41

Top Topics

Wavelet Synopses

Reachability Analysis

Top Venues

Publications

Ander Gray, Marcelo Forets, Christian Schilling, Scott Ferson, Luis Benet
Verified propagation of imprecise probabilities in non-linear ODEs. Int. J. Approx. Reason. 164 (2024)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Marcelo Forets, Christian Schilling
The inverse problem for neural networks. CoRR (2023)
Marcelo Forets, Christian Schilling
The Inverse Problem for Neural Networks. AISoLA (2023)
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2023)
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2023)
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP (2022)
Marcelo Forets, Christian Schilling
Conservative Time Discretization: A Comparative Study. IFM (2022)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). Inf. Comput. 289 (Part) (2022)
Christian Schilling, Marcelo Forets, Sebastián Guadalupe
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. AAAI (2022)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP (2022)
Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@SAFECOMP (2022)
Marcelo Forets, Christian Schilling
Conservative Time Discretization: A Comparative Study. CoRR (2021)
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2021)
Christian Schilling, Marcelo Forets, Sebastián Guadalupe
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. CoRR (2021)
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS (2021)
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, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
Marcelo Forets, Christian Schilling
Reachability of weakly nonlinear systems using Carleman linearization. CoRR (2021)
Marcelo Forets, Daniel Freire Caporale, Jorge M. Pérez Zerpa
Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems. CoRR (2021)
Marcelo Forets, Christian Schilling
Reachability of Weakly Nonlinear Systems Using Carleman Linearization. RP (2021)
Marcelo Forets, Christian Schilling
LazySets.jl: Scalable Symbolic-Numeric Set Computations. CoRR (2021)
Marcelo Forets, Daniel Freire, Christian Schilling
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. CoRR (2020)
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2020)
Sergiy Bogomolov, Marcelo Forets, Kostiantyn Potomkin
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model. RP (2020)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability Analysis of Linear Hybrid Systems via Block Decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2020)
Marcelo Forets, Daniel Freire, Christian Schilling
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. MEMOCODE (2020)
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a toolbox for set-based reachability. HSCC (2019)
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability analysis of linear hybrid systems via block decomposition. CoRR (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a Toolbox for Set-Based Reachability. CoRR (2019)
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2018)
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang
Occupation measure methods for modelling and analysis of biological hybrid systems. ADHS (2018)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. CoRR (2018)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. HSCC (2018)
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
Constructing verification models of nonlinear Simulink systems via syntactic hybridization. CDC (2017)
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. ARCH@CPSWeek (2017)
Thao Dang, Eric Fanchon, Marcelo Forets, Victor Magron, Alexandre Rocca
Occupation measure methods for modelling and analysis of biological hybrid automata. CoRR (2017)
Marcelo Forets, Amaury Pouly
Explicit Error Bounds for Carleman Linearization. CoRR (2017)
Pablo Arrighi, Stefano Facchini, Marcelo Forets
Quantum walking in curved spacetime. Quantum Inf. Process. 15 (8) (2016)