Luis Benet

14 papers Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2024 J jnl
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance.
Concurr. Comput. Pract. Exp.
Luis Benet, Luca Ferranti, Nathalie Revol
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 J jnl
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance.
CoRR
Luis Benet, Luca Ferranti, Nathalie Revol
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
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 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 — conf
Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance.
PPAM (2)
Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin
2022 J jnl
Testing interval arithmetic libraries, including their IEEE-1788 compliance.
CoRR
Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin
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 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
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
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
TaylorSeries.jl: Taylor expansions in one and several variables in Julia.
J. Open Source Softw.
Luis Benet, David P. Sanders
2014 — conf
Validated numerics with Python: the ValidiPy package.
SciPy
David P. Sanders, Luis Benet