The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Borzoo Bonakdarpour" ( http://dblp.L3S.de/Authors/Borzoo_Bonakdarpour )

URL (Homepage):  http://www.cas.mcmaster.ca/borzoo/  Author page on DBLP  Author page in RDF  Community of Borzoo Bonakdarpour in ASPL-2

Publication years (Num. hits)
2004-2009 (17) 2010-2012 (21) 2013-2014 (18) 2015-2016 (21) 2017-2018 (15) 2019 (7)
Publication types (Num. hits)
article(27) inproceedings(70) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 18 keywords

Results
Found 100 publication records. Showing 99 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister Energy-Efficient Multiple Producer-Consumer. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour Gray-box Monitoring of Hyperproperties (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yu Wang 0044, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic Statistical Model Checking for Probabilistic Hyperproperties. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yu Wang 0044, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic Statistical Verification of Hyperproperties for Cyber-Physical System. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour Gray-Box Monitoring of Hyperproperties. Search on Bibsonomy FM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour Managing the security-energy tradeoff in distributed cyber-physical systems. Search on Bibsonomy ICCPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wei Zhao, Borzoo Bonakdarpour Decentralized Multi-UAV Routing in the Presence of Disturbances. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Erika Ábrahám, Borzoo Bonakdarpour HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni Automated Synthesis of Distributed Self-Stabilizing Protocols. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Borzoo Bonakdarpour HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. Search on Bibsonomy ISoLA (4) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Bernd Finkbeiner The Complexity of Monitoring Hyperproperties. Search on Bibsonomy CSF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. Search on Bibsonomy OPODIS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shokoufeh Kazemlou, Borzoo Bonakdarpour Crash-Resilient Decentralized Synchronous Runtime Verification. Search on Bibsonomy SRDS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. Search on Bibsonomy SSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Akhil Krishnan, Mikhail Markov, Borzoo Bonakdarpour Distributed Vehicle Routing Approximation. Search on Bibsonomy IPDPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Noel Brett, Umair Siddique, Borzoo Bonakdarpour Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saba Aflaki, Matthias Volk 0001, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. Search on Bibsonomy SRDS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit Snap-stabilizing committee coordination. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Franck Petit (eds.) Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings Search on Bibsonomy SSS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers Challenges in Fault-Tolerant Distributed Runtime Verification. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shreya Agrawal, Borzoo Bonakdarpour Runtime Verification of k-Safety Hyperproperties in HyperLTL. Search on Bibsonomy CSF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi Accelerated Runtime Verification of LTL Specifications with Counting Semantics. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Bernd Finkbeiner Runtime Verification for HyperLTL. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers Decentralized Asynchronous Crash-Resilient Runtime Verification. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni The complexity of automated addition of fault-tolerance without explicit legitimate states. Search on Bibsonomy Distributed Computing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister Runtime verification with minimal intrusion through parallelism. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour SMT-Based Synthesis of Distributed Self-Stabilizing Systems. Search on Bibsonomy TAAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka Abstract Model Repair. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni Specification-based Synthesis of Distributed Self-Stabilizing Protocols. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Synthesizing bounded-time 2-phase fault recovery. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. Search on Bibsonomy SSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister Time-Triggered Runtime Verification of Component-Based Multi-core Systems. Search on Bibsonomy RV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Menna Mostafa, Borzoo Bonakdarpour Decentralized Runtime Verification of LTL Specifications in Distributed Systems. Search on Bibsonomy IPDPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister A framework for mining hybrid automata from input/output traces. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints. Search on Bibsonomy ICDCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister Power Redistribution for Optimizing Performance in MPI Clusters. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister Accelerated Runtime Verification of LTL Specifications with Counting Semantics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour SMT-Based Synthesis of Distributed Self-stabilizing Systems. Search on Bibsonomy SSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni Knowledge-Based Automated Repair of Authentication Protocols. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone First International Competition on Software for Runtime Verification. Search on Bibsonomy RV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Scott A. Smolka (eds.) Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings Search on Bibsonomy RV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister Power-Efficient Multiple Producer-Consumer. Search on Bibsonomy IPDPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. Search on Bibsonomy ICCPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf Model-based implementation of distributed systems with priorities. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister Time-triggered runtime verification. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni Automated Addition of Fault-Tolerance under Synchronous Semantics. Search on Bibsonomy SSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour Zone-Based Synthesis of Strict 2-Phase Fault Recovery. Search on Bibsonomy SSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Narges Fallahi, Borzoo Bonakdarpour How Good is Weak-Stabilization? Search on Bibsonomy SSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. Search on Bibsonomy RV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister GPU-based Runtime Verification. Search on Bibsonomy IPDPS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister RiTHM: a tool for enabling time-triggered runtime verification for C programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. Search on Bibsonomy SRDS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad Symbolic synthesis of masking fault-tolerant distributed programs. Search on Bibsonomy Distributed Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis A framework for automated distributed implementation of component-based models. Search on Bibsonomy Distributed Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Automated model repair for distributed programs. Search on Bibsonomy SIGACT News The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler A Theory of Fault Recovery for Component-Based Models. Search on Bibsonomy SSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister Path-Aware Time-Triggered Runtime Verification. Search on Bibsonomy RV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sebastian Fischmeister Runtime verification of real-time embedded systems. Search on Bibsonomy EMSOFT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister Time-Triggered Program Self-Monitoring. Search on Bibsonomy RTCSA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros Abstract Model Repair. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister Software debugging and testing using the abstract diagnosis theory. Search on Bibsonomy LCTES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Active Stabilization. Search on Bibsonomy SSS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister Sampling-Based Runtime Verification. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sebastian Fischmeister Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit Snap-Stabilizing Committee Coordination. Search on Bibsonomy IPDPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni Automated addition of fault recovery to cyber-physical component-based models. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf Automated distributed implementation of component-based models with priorities. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister Optimal Instrumentation of Data-flow in Concurrent Data Structures. Search on Bibsonomy OPODIS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler A Theory of Fault Recovery for Component-Based Models. Search on Bibsonomy SRDS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis Systematic Correct Construction of Self-stabilizing Systems: A Case Study. Search on Bibsonomy SSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis From high-level component-based models to distributed implementations. Search on Bibsonomy EMSOFT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis Automated Conflict-free distributed implementation of component-based models. Search on Bibsonomy SIES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni Complexity results in revising UNITY programs. Search on Bibsonomy TAAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal methods, UNITY
1Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs Search on Bibsonomy PDMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Program transformation, Program synthesis
1Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. Search on Bibsonomy DISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Compositional verification of fault-tolerant real-time programs. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF interference-freedom, fault-tolerance, real-time, formal methods, compositional verification
1Borzoo Bonakdarpour Challenges in transformation of existing real-time embedded systems to cyber-physical systems. Search on Bibsonomy SIGBED Review The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Masking Faults While Providing Bounded-Time Phased Recovery. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Formal methods, Synthesis, Transformation
1Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora Disassembling real-time fault-tolerant programs. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bounded-time recovery, component-based analysis, fault-tolerance, real-time, formal methods, decomposition
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Revising Distributed UNITY Programs Is NP-Complete. Search on Bibsonomy OPODIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
1Borzoo Bonakdarpour, Sandeep S. Kulkarni SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. Search on Bibsonomy SSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. Search on Bibsonomy ICDCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Incremental Synthesis of Fault-Tolerant Real-Time Programs. Search on Bibsonomy SSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bounded-time recovery, Fault-tolerance, Real-time, Formal methods, Program transformation, Program synthesis
1Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad Brief Announcement: Distributed Synthesis of Fault-Tolerance. Search on Bibsonomy SSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Automated Incremental Synthesis of Timed Automata. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
1Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour Revising UNITY Programs: Possibilities and Limitations. Search on Bibsonomy OPODIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Formal Methods, Program Synthesis, UNITY
1Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
Displaying result #1 - #99 of 99 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license