Borzoo Bonakdarpour

发表

S. Fischmeister, R. Medhat, Yogi Joshi, 2014 .
Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone, 2014, RV.
Borzoo Bonakdarpour, Mojtaba Zarei, Yu Wang, 2019 .
M. Herlihy, Borzoo Bonakdarpour, R. Ganguly, 2022, 2022 IEEE 42nd International Conference on Distributed Computing Systems (ICDCS).
G. Schneider, Borzoo Bonakdarpour, Sandro Stucki, 2022 .
S. Tripakis, Borzoo Bonakdarpour, Eunsuk Kang, 2022, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).
S. Fischmeister, Borzoo Bonakdarpour, S. Navabpour, 2013, Formal Methods in System Design.
Sebastian Fischmeister, S. Ramesh, Borzoo Bonakdarpour, 2015, 2015 International Conference on Embedded Software (EMSOFT).
Borzoo Bonakdarpour, Akhil Krishnan, Mikhail Markov, 2017, 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Yiyan Lin, 2013, SSS.
Bernd Finkbeiner, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2019, ATVA.
Bernd Finkbeiner, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Joseph Sifakis, Borzoo Bonakdarpour, Marius Bozga, 2012, Distributed Computing.
Joseph Sifakis, Borzoo Bonakdarpour, Marius Bozga, 2010, EMSOFT '10.
Sebastian Fischmeister, Borzoo Bonakdarpour, Ramy Medhat, 2019, IEEE Transactions on Parallel and Distributed Systems.
S. Kulkarni, Borzoo Bonakdarpour, Yiyan Lin, 2015, Distributed Computing.
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2012, Distributed Computing.
Borzoo Bonakdarpour, Sandeep S. Kalkarni, Borzoo Bonakdarpour, 2009 .
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2007, 27th International Conference on Distributed Computing Systems (ICDCS '07).
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, 2016, ISoLA.
Borzoo Bonakdarpour, Menna Mostafa, Borzoo Bonakdarpour, 2015, 2015 IEEE International Parallel and Distributed Processing Symposium.
Yu Wang, Borzoo Bonakdarpour, Miroslav Pajic, 2020, ICCPS.
Sébastien Tixeuil, Borzoo Bonakdarpour, Narges Fallahi, 2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems.
Erika Ábrahám, Borzoo Bonakdarpour, E. Ábrahám, 2018, QEST.
K. Havelund, Yogi Joshi, Borzoo Bonakdarpour, 2019, International Journal on Software Tools for Technology Transfer.
Yu Wang, Miroslav Pajic, Borzoo Bonakdarpour, 2019, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Yu Wang, Miroslav Pajic, Borzoo Bonakdarpour, 2019, ACM Trans. Embed. Comput. Syst..
Yu Wang, Miroslav Pajic, Borzoo Bonakdarpour, 2019, ArXiv.
Borzoo Bonakdarpour, B. Finkbeiner, César Sánchez, 2021, CAV.
Scott A. Smolka, Panagiotis Katsaros, Borzoo Bonakdarpour, 2012, NASA Formal Methods.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2011, SSS.
Sebastian Fischmeister, Deepak Kumar, Borzoo Bonakdarpour, 2015, ACM Trans. Embed. Comput. Syst..
Bernd Finkbeiner, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Sébastien Tixeuil, Borzoo Bonakdarpour, Saba Aflaki, 2015, SSS.
Joseph Sifakis, Borzoo Bonakdarpour, Marius Bozga, 2010, International Symposium on Industrial Embedded System (SIES).
César Sánchez, Borzoo Bonakdarpour, Gerardo Schneider, 2018, ISoLA.
Bernd Finkbeiner, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2016, RV.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2012, SIGA.
Borzoo Bonakdarpour, Sarai Sheinvald, Borzoo Bonakdarpour, 2022, LATA.
Borzoo Bonakdarpour, C. S'anchez, Tzu-Han Hsu, 2021, 2109.12989.
Borzoo Bonakdarpour, César Sánchez, T. Hsu, 2020, TACAS.
Ezio Bartocci, Borzoo Bonakdarpour, Erika Abraham, 2020, ATVA.
César Sánchez, Borzoo Bonakdarpour, Pavithra Prabhakar, 2020, NFM.
Borzoo Bonakdarpour, Sarai Sheinvald, Borzoo Bonakdarpour, 2020, ArXiv.
Umair Siddique, Borzoo Bonakdarpour, Noel Brett, 2017, TACAS.
Borzoo Bonakdarpour, Shreya Agrawal, Borzoo Bonakdarpour, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf, 2013, Des. Autom. Embed. Syst..
Borzoo Bonakdarpour, M. Bozga, Borzoo Bonakdarpour, 2012, Design Automation for Embedded Systems.
Doron A. Peled, Borzoo Bonakdarpour, Marius Bozga, 2013, Haifa Verification Conference.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2009, FM.
Ali Ebnenasir, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2009, TAAS.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2008, FM.
Ali Ebnenasir, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2005, OPODIS.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2014, Formal Aspects of Computing.
S. Kulkarni, Borzoo Bonakdarpour, 2013 .
Borzoo Bonakdarpour, R. Ganguly, 2023, ArXiv.
Borzoo Bonakdarpour, Fathiyeh Faghih, Borzoo Bonakdarpour, 2014, SSS.
Borzoo Bonakdarpour, E. Bartocci, Oyendrila Dobe, 2022 .
Borzoo Bonakdarpour, J. Katoen, Matthias Volk, 2021, Distributed Computing.
Joost-Pieter Katoen, Borzoo Bonakdarpour, Arne Storjohann, 2017, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).
Sébastien Tixeuil, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2015, Log. Methods Comput. Sci..
Sébastien Tixeuil, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2015, FORTE.
Borzoo Bonakdarpour, Fathiyeh Faghih, Saba Aflaki, 2015, 2015 IEEE 35th International Conference on Distributed Computing Systems.
Borzoo Bonakdarpour, Narges Fallahi, Borzoo Bonakdarpour, 2013, SSS.
E. Ábrahám, Borzoo Bonakdarpour, E. Bartocci, 2022, NFM.
Franck Petit, Stéphane Devismes, Borzoo Bonakdarpour, 2011, 2011 IEEE International Parallel & Distributed Processing Symposium.
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour, 2020, OPODIS.
Anh-Duy Vu, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2021, 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Miroslav Pajic, Jyotirmoy V. Deshmukh, Borzoo Bonakdarpour, 2018, ISoLA.
Borzoo Bonakdarpour, Anik Momtaz, Ritam Ganguly, 2024, Formal Methods in System Design.