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