Borzoo Bonakdarpour

发表

Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008, OPODIS.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008 .
Sebastian Fischmeister, Borzoo Bonakdarpour, Michael O. Lam, 2017, ACM Trans. Embed. Comput. Syst..
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Reza Hajisheykhi, 2014, FM.
Sébastien Tixeuil, Borzoo Bonakdarpour, Saba Aflaki, 2015, SSS.
Borzoo Bonakdarpour, Swen Jacobs, Fathiyeh Faghih, 2019, Acta Informatica.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2006 .
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, 2016, ISoLA.
Franck Petit, Stéphane Devismes, Borzoo Bonakdarpour, 2016, J. Parallel Distributed Comput..
Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008, CONCUR.
Ezio Bartocci, Borzoo Bonakdarpour, Erika Abraham, 2020, ATVA.
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2014, Distributed Computing.
Sebastian Fischmeister, Deepak Kumar, Borzoo Bonakdarpour, 2013, RV.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2009, FM.
César Sánchez, Borzoo Bonakdarpour, Pavithra Prabhakar, 2020, NFM.
Sebastian Fischmeister, Deepak Kumar, Borzoo Bonakdarpour, 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Ali Ebnenasir, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2009, TAAS.
Borzoo Bonakdarpour, Fathiyeh Faghih, Borzoo Bonakdarpour, 2014, SSS.
Borzoo Bonakdarpour, Fathiyeh Faghih, 2014, SSS.
Sebastian Fischmeister, Borzoo Bonakdarpour, Samaneh Navabpour, 2012, RV.
Joost-Pieter Katoen, Borzoo Bonakdarpour, Arne Storjohann, 2017, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).
Sebastian Fischmeister, Borzoo Bonakdarpour, Samaneh Navabpour, 2011, OPODIS.
Sebastian Fischmeister, Borzoo Bonakdarpour, Samaneh Navabpour, 2011, FM.
Ali Ebnenasir, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2004, LOPSTR.
Bernd Finkbeiner, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2012, Distributed Computing.
Sebastian Fischmeister, Borzoo Bonakdarpour, Samaneh Navabpour, 2011, LCTES '11.
Ezio Bartocci, Erika Ábrahám, Borzoo Bonakdarpour, 2020, LPAR.
Bernd Finkbeiner, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2016, RV.
Scott A. Smolka, Borzoo Bonakdarpour, 2014, Lecture Notes in Computer Science.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2009 .
Bernd Finkbeiner, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2019, ATVA.
Scott A. Smolka, Panagiotis Katsaros, Borzoo Bonakdarpour, 2012, NASA Formal Methods.
Miroslav Pajic, Jyotirmoy V. Deshmukh, Borzoo Bonakdarpour, 2018, ISoLA.
Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone, 2014, RV.
Sebastian Fischmeister, Borzoo Bonakdarpour, Ramy Medhat, 2016, RV.
Anh-Duy Vu, Borzoo Bonakdarpour, Ramy Medhat, 2019, ICCPS.
Joseph Sifakis, Borzoo Bonakdarpour, Marius Bozga, 2010, EMSOFT '10.
Borzoo Bonakdarpour, Shreya Agrawal, Borzoo Bonakdarpour, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Borzoo Bonakdarpour, Menna Mostafa, Borzoo Bonakdarpour, 2015, 2015 IEEE International Parallel and Distributed Processing Symposium.
Joseph Sifakis, Borzoo Bonakdarpour, Marius Bozga, 2010, SSS.
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf, 2013, Des. Autom. Embed. Syst..
Yu Wang, Miroslav Pajic, Borzoo Bonakdarpour, 2019, ACM Trans. Embed. Comput. Syst..
Sebastian Fischmeister, Borzoo Bonakdarpour, 2011, RV.
Borzoo Bonakdarpour, Sarai Sheinvald, Borzoo Bonakdarpour, 2020, ArXiv.
Borzoo Bonakdarpour, Narges Fallahi, Borzoo Bonakdarpour, 2013, SSS.
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2007, SSS.
Doron A. Peled, Borzoo Bonakdarpour, Marius Bozga, 2013, Haifa Verification Conference.
Erika Ábrahám, Borzoo Bonakdarpour, E. Ábrahám, 2018, QEST.
Yu Wang, Borzoo Bonakdarpour, Miroslav Pajic, 2020, ICCPS.
Sebastian Fischmeister, Borzoo Bonakdarpour, Ramy Medhat, 2014, 2014 IEEE 28th International Parallel and Distributed Processing Symposium.
Sebastian Fischmeister, Borzoo Bonakdarpour, Ramy Medhat, 2013, ESEC/FSE 2013.
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, 2016, CONCUR.
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2009, PDMC.
Sebastian Fischmeister, Borzoo Bonakdarpour, Shay Berkovich, 2015, Formal Methods Syst. Des..
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2006, SSS.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2012, SIGA.
Sebastian Fischmeister, S. Ramesh, Borzoo Bonakdarpour, 2015, 2015 International Conference on Embedded Software (EMSOFT).
Borzoo Bonakdarpour, Fathiyeh Faghih, 2013, SSS.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2008, FM.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2009, EMSOFT '09.
Sebastian Fischmeister, Borzoo Bonakdarpour, Johnson J. Thomas, 2012, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
Anish Arora, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2007 .
Franck Petit, Stéphane Devismes, Borzoo Bonakdarpour, 2011, 2011 IEEE International Parallel & Distributed Processing Symposium.
Borzoo Bonakdarpour, Fathiyeh Faghih, 2018, IEEE Transactions on Dependable and Secure Computing.
Sebastian Fischmeister, Borzoo Bonakdarpour, 2012, EMSOFT '12.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2014, Formal Aspects of Computing.
Sebastian Fischmeister, Borzoo Bonakdarpour, Samaneh Navabpour, 2015, RV.
Sebastian Fischmeister, Borzoo Bonakdarpour, Ramy Medhat, 2019, IEEE Transactions on Parallel and Distributed Systems.
Bernd Finkbeiner, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Borzoo Bonakdarpour, Fathiyeh Faghih, Saba Aflaki, 2015, 2015 IEEE 35th International Conference on Distributed Computing Systems.
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008 .
Borzoo Bonakdarpour, Cesar Sanchez, Tzu-Han Hsu, 2020, ArXiv.
Sébastien Tixeuil, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2015, Log. Methods Comput. Sci..
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Sebastian Fischmeister, Deepak Kumar, Borzoo Bonakdarpour, 2015, ACM Trans. Embed. Comput. Syst..
Borzoo Bonakdarpour, Sandeep S. Kalkarni, Borzoo Bonakdarpour, 2009 .
Scott A. Smolka, Panagiotis Katsaros, Borzoo Bonakdarpour, 2012, NASA Formal Methods.
Gregor Gößler, Borzoo Bonakdarpour, Marius Bozga, 2011, 2011 IEEE 30th International Symposium on Reliable Distributed Systems.
Sebastian Fischmeister, Borzoo Bonakdarpour, Samaneh Navabpour, 2011 .
Sebastian Fischmeister, Borzoo Bonakdarpour, Shay Berkovich, 2013, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing.
Borzoo Bonakdarpour, Akhil Krishnan, Mikhail Markov, 2017, 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Yu Wang, Miroslav Pajic, Borzoo Bonakdarpour, 2019, ArXiv.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Yiyan Lin, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Yu Wang, Miroslav Pajic, Borzoo Bonakdarpour, 2019, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Sebastian Fischmeister, Borzoo Bonakdarpour, Samaneh Navabpour, 2013, Formal Methods Syst. Des..
Gregor Gößler, Borzoo Bonakdarpour, Marius Bozga, 2012, SSS.
Borzoo Bonakdarpour, Fathiyeh Faghih, Swen Jacobs, 2018, OPODIS.
Sebastian Fischmeister, Borzoo Bonakdarpour, Ramy Medhat, 2014, ArXiv.
César Sánchez, Borzoo Bonakdarpour, Gerardo Schneider, 2019, FM.
Umair Siddique, Borzoo Bonakdarpour, Noel Brett, 2017, TACAS.
Joseph Sifakis, Borzoo Bonakdarpour, Marius Bozga, 2012, Distributed Computing.
Ali Ebnenasir, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2005, OPODIS.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2007, 27th International Conference on Distributed Computing Systems (ICDCS '07).
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Yiyan Lin, 2013, SSS.
Borzoo Bonakdarpour, Saddek Bensalem, Jacques Combaz, 2015, NFM.
César Sánchez, Borzoo Bonakdarpour, Gerardo Schneider, 2018, ISoLA.
Borzoo Bonakdarpour, Shokoufeh Kazemlou, 2018, 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS).
Anish Arora, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008, EMSOFT '08.
Sébastien Tixeuil, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2015, FORTE.
Sebastian Fischmeister, Borzoo Bonakdarpour, Chun Wah Wallace Wu, 2011, RV.
Sébastien Tixeuil, Borzoo Bonakdarpour, Narges Fallahi, 2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems.
Joseph Sifakis, Borzoo Bonakdarpour, Marius Bozga, 2010, International Symposium on Industrial Embedded System (SIES).
Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2006, FMICS/PDMC.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2011, SSS.
Ezio Bartocci, Yi Zhang, Felix Klaedtke, 2017, International Journal on Software Tools for Technology Transfer.
Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2006, SSS.
Bernd Finkbeiner, Borzoo Bonakdarpour, Jan Baumeister, 2021, CAV.
Houssam Abbas, Borzoo Bonakdarpour, Niraj Basnet, 2021, RV.
Borzoo Bonakdarpour, Tzu-Han Hsu, C'esar S'anchez, 2021, ArXiv.
Borzoo Bonakdarpour, Sarai Sheinvald, Borzoo Bonakdarpour, 2022, LATA.
Ezio Bartocci, Erika Ábrahám, Borzoo Bonakdarpour, 2021, FM.
César Sánchez, Borzoo Bonakdarpour, Gerardo Schneider, 2021 .
Anh-Duy Vu, Borzoo Bonakdarpour, Borzoo Bonakdarpour, 2021, 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).