Login / Signup
Daniel Freire
ORCID
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 5
Top Topics
Hybrid Systems
Knowledge Base
Reachability Analysis
Naive Bayes
Top Venues
ARCH
CoRR
MEMOCODE
ARCH@ADHS
</>
Publications
</>
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)
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)
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)