Leonardo Alt

18 papers A 1B 3Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Nat. Comput.
Everton R. Lira, Heverton B. de Macêdo, Danielli A. Lima, Leonardo Alt, Gina M. B. Oliveira
2024 conf
CAV (1)
Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina
2023 J jnl
ACM Trans. Priv. Secur.
Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2022 conf
SMT
Lucas Clemente Vella, Leonardo Alt
2022 conf
CAV (1)
Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina
2021 J jnl
CoRR
Everton R. Lira, Heverton B. de Macêdo, Danielli A. Lima, Leonardo Alt, Gina M. B. Oliveira
2020 conf
ISoLA (3)
Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2019 J jnl
Formal Methods Syst. Des.
Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2018 conf
ISoLA (4)
Leonardo Alt, Christian Reitwießner
2017 B conf
FMCAD
Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina
2017 conf
TACAS (2)
Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2017 conf
Haifa Verification Conference
Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina
2016 A conf
SAT
Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
2016 B conf
FASE
Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2015 conf
VSTTE
Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2015 conf
MEMICS
Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
2015 ch.
Validation of Evolving Software
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
2013 B conf
LPAR
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina