| 2022 |
B |
conf |
ITP
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
|
| 2022 |
J |
jnl |
CoRR
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
|
| 2022 |
J |
jnl |
Dagstuhl Artifacts Ser.
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
|
| 2022 |
A |
conf |
ECOOP
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
|
| 2022 |
— |
— |
Heiko Becker
|
| 2021 |
J |
jnl |
CoRR
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
|
| 2021 |
B |
conf |
CPP
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
|
| 2019 |
B |
conf |
FM
Joachim Bard, Heiko Becker, Eva Darulova
|
| 2019 |
— |
conf |
CAV (2)
Heiko Becker, Eva Darulova, Magnus O. Myreen, Zachary Tatlock
|
| 2018 |
B |
conf |
FMCAD
Heiko Becker, Nikita Zyuzin, Raphaël Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox
|
| 2018 |
B |
conf |
FM
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
|
| 2018 |
J |
jnl |
CoRR
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
|
| 2018 |
— |
conf |
TACAS (1)
Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian
|
| 2017 |
A |
conf |
CADE
Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
|
| 2017 |
J |
jnl |
CoRR
Heiko Becker, Eva Darulova, Magnus O. Myreen
|
| 2016 |
A |
conf |
MSR
Daniel Rozenberg, Ivan Beschastnikh, Fabian Kosmale, Valerie Poser, Heiko Becker, Marc Palyart, Gail C. Murphy
|
| 2016 |
J |
jnl |
Arch. Formal Proofs
Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
|