Eva Darulova
发表
Mattias Ulbrich,
Wolfgang Ahrendt,
Eva Darulova,
2021,
TACAS.
Jonas Schiffl,
Eva Darulova,
Mattias Ulbrich,
2021
.
Eva Darulova,
2017
.
Jean-Baptiste Jeannin,
Eva Darulova,
Anastasia Volkova,
2022,
ITP.
R. Majumdar,
Viktor Kuncak,
Eva Darulova,
2013
.
Eva Darulova,
2009
.
Eva Darulova,
Heiko Becker,
Joachim Bard,
2019
.
Magnus O. Myreen,
Heiko Becker,
Eva Darulova,
2019,
CAV.
Magnus O. Myreen,
Yong Kiam Tan,
Eva Darulova,
2022,
Dagstuhl Artifacts Ser..
Eva Darulova,
Mattias Ulbrich,
Lionel Blatter,
2022,
TACAS.
Viktor Kuncak,
Eva Darulova,
Viktor Kuncak,
2013,
ACM-SIGACT Symposium on Principles of Programming Languages.
Rupak Majumdar,
Eva Darulova,
Sadegh Soudjani,
2019,
ACM Trans. Embed. Comput. Syst..
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2014,
ACM Trans. Program. Lang. Syst..
Eva Darulova,
Eva Darulova,
2014
.
Viktor Kuncak,
Rupak Majumdar,
Indranil Saha,
2013,
2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
James R. Wilcox,
D. Grossman,
Eva Darulova,
2019,
PLDI.
Heiko Becker,
Eva Darulova,
Fabian Ritter,
2018,
TACAS.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2014,
ArXiv.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2013,
POPL.
Eva Darulova,
Saksham Sharma,
Einar Horn,
2017,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Alexander J. Summers,
Eva Darulova,
Niki Vazou,
2022,
ArXiv.
Alexander J. Summers,
Eva Darulova,
Niki Vazou,
2022,
ECOOP.
Eva Darulova,
Anastasiia Izycheva,
Eva Darulova,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Eric Goubault,
Eva Darulova,
Sylvie Putot,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jonas Schiffl,
Eva Darulova,
Mattias Ulbrich,
2023,
International Journal on Software Tools for Technology Transfer.
Eva Darulova,
Helmut Seidl,
Anastasiia Izycheva,
2020,
SAS.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2010
.
Natalie D. Enright Jerger,
Lara Dolecek,
Babak Falsafi,
2018,
ArXiv.
Natalie D. Enright Jerger,
Lara Dolecek,
Babak Falsafi,
2018
.
Eva Darulova,
Maria Christakis,
Debasmita Lohar,
2021,
TACAS.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2011,
OOPSLA '11.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2011
.
Rupak Majumdar,
Heiko Becker,
Eva Darulova,
2021,
CPP.
Dan Grossman,
Eva Darulova,
Zachary Tatlock,
2019,
ArXiv.
RUPAK MAJUMDAR,
IVAN GAVRAN,
EVA DARULOVA,
2020,
Proc. ACM Program. Lang..
Helmut Seidl,
Eva Darulova,
Anastasiia Izycheva,
2019,
ATVA.
Eva Darulova,
Christoph Lauter,
Clothilde Jeangoudoux,
2021,
ISSTA.
Eva Darulova,
Milos Prokop,
Debasmita Lohar,
2019,
IFM.
Anastasia Volkova,
Eva Darulova,
Eva Darulova,
2018,
CAV.
Magnus O. Myreen,
Heiko Becker,
Eva Darulova,
2017,
2018 Formal Methods in Computer Aided Design (FMCAD).
Eva Darulova,
D. Lohar,
Clothilde Jeangoudoux,
2023,
ACM Trans. Embed. Comput. Syst..