by Gehr, Timon, Mirman, Matthew, Drachsler-Cohen, Dana, Tsankov, Petar, Chaudhuri, Swarat, Vechev, Martin
Published in 2018 IEEE Symposium on Security and Privacy (SP) (01.05.2018)

by Permenev, Anton, Dimitrov, Dimitar, Tsankov, Petar, Drachsler-Cohen, Dana, Vechev, Martin
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)

by Tsankov, Petar
Published in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

by El-Hassany, Ahmed, Tsankov, Petar, Vanbever, Laurent, Vechev, Martin
Published in Computer Aided Verification

by Tsankov, Petar, Dashti, Mohammad Torabi, Basin, David
Published in 2016 IEEE 29th Computer Security Foundations Symposium (CSF) (01.06.2016)

by Tsankov, Petar, Marinovic, Srdjan, Dashti, Mohammad Torabi, Basin, David
Published in Principles of Security and Trust

by Yao, Chengyuan, Bielik, Pavol, Tsankov, Petar, Vechev, Martin
Year of Publication 23.02.2021

by Berghoff, Christian, Bielik, Pavol, Neu, Matthias, Tsankov, Petar, von Twickel, Arndt
Published in Artificial Intelligence Applications and Innovations

by Baumann, Nick, Steffen, Samuel, Bichsel, Benjamin, Tsankov, Petar, Vechev, Martin
Year of Publication 02.09.2020

by Berghoff, Christian, Bielik, Pavol, Neu, Matthias, Tsankov, Petar, Arndt von Twickel
Published in arXiv.org (13.08.2021)

by Linkov, Igor, Stoddard, Kelsey, Strelzoff, Andrew, Galaitsi, S.E., Keisler, Jeffrey, Trump, Benjamin D., Kott, Alexander, Bielik, Pavol, Tsankov, Petar
Published in 2023 15th International Conference on Cyber Conflict: Meeting Reality (CyCon) (29.05.2023)

by Tsankov, Petar, Torabi-Dashti, Mohammad, Basin, David
Published in Principles of Distributed Systems

by Wüst, Karl, Tsankov, Petar, Radomirović, Saša, Torabi Dashti, Mohammad
Published in Digital investigation (01.03.2017)

by Tsankov, Petar, Dashti, Mohammad Torabi, Basin, David
Year of Publication 05.05.2016

by Yao, Chengyuan, Bielik, Pavol, Tsankov, Petar, Vechev, Martin
Published in arXiv.org (27.10.2021)

by Ferrara, Pietro, Pistoia, Marco, Tsankov, Petar, Tripp, Omer
Year of Publication 05.10.2021

by Tsankov, P., Dashti, M. T., Basin, D.
Published in 2012 7th International Workshop on Automation of Software Test (AST) (01.06.2012)

by El-Hassany, Ahmed, Tsankov, Petar, Vanbever, Laurent, Vechev, Martin
Year of Publication 08.11.2016

by Baumann, Nick, Steffen, Samuel, Bichsel, Benjamin, Tsankov, Petar, Vechev, Martin
Published in arXiv.org (09.09.2020)

by Tsankov, Petar, Dan, Andrei, Cohen, Dana Drachsler, Gervais, Arthur, Buenzli, Florian, Vechev, Martin
Year of Publication 04.06.2018