Marcelo Forets

41 papers A* 1B 1C 1Journal 16Unranked 22

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