المؤلفون: Fathiyeh Faghih, Borzoo Bonakdarpour, Sebastien Tixeuil, Sandeep Kulkarni

المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)

مصطلحات موضوعية: computer science - software engineering, computer science - distributed, parallel, and cluster computing, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/2567/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/8cff492646444b85aaaa4ea94f51b68f

المؤلفون: Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 14, Iss Proc. PDMC 2009, Pp 92-106 (2009)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/0912.2554v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/69330b36c7bc45f28b471f42fe16059c

المؤلفون: George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka

المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/1587/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/7a563f6580e441cb9df06a7cbf3adcf8

المؤلفون: Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour

المصدر: IEEE Transactions on Dependable and Secure Computing. :1-15

مصطلحات موضوعية: Electrical and Electronic Engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1653bf1ed5d2aeee418abdbaa22cf10e
https://doi.org/10.1109/tdsc.2023.3265566

المؤلفون: Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour

المصدر: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::297c987ec42d632c8230c5ab944bad3a
https://doi.org/10.1145/3576841.3585937

المؤلفون: Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::be268995810133352800d11f85c11754
https://doi.org/10.1007/978-3-031-30823-9_2

المؤلفون: Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::af7cddef93ddd2e366eb5babdb4bbc12
https://doi.org/10.1007/978-3-031-30823-9_4

المؤلفون: Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis

المصدر: 2022 IEEE 35th Computer Security Foundations Symposium (CSF).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::64052c97d08ec2a80492d9d8201f6936
https://doi.org/10.1109/csf54842.2022.9919679

المؤلفون: Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Distributed, Parallel, and Cluster Computing (cs.DC)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::73e33de95278f25d4413224d31da868f
http://arxiv.org/abs/2204.09796

المؤلفون: Gerardo Schneider, César Sánchez, Sandro Stucki, Borzoo Bonakdarpour

المصدر: Formal Methods in System Design. 58:126-159

مصطلحات موضوعية: Model checking, Gray box testing, Theoretical computer science, business.industry, Computer science, Computability, Runtime verification, 020207 software engineering, 02 engineering and technology, Oracle, Theoretical Computer Science, Software, Hardware and Architecture, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Minification, business, TRACE (psycholinguistics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2b708697792decdc2881e14b25704a11
https://doi.org/10.1007/s10703-020-00358-w