Borzoo Bonakdarpour

According to our database1, Borzoo Bonakdarpour authored at least 85 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Energy-Efficient Multiple Producer-Consumer.
IEEE Trans. Parallel Distrib. Syst., 2019

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
STTT, 2019

2018
Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery.
IEEE Trans. Dependable Sec. Comput., 2018

Automated Synthesis of Distributed Self-Stabilizing Protocols.
Logical Methods in Computer Science, 2018

Crash-Resilient Decentralized Synchronous Runtime Verification.
Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings.
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Opportunities and Challenges in Monitoring Cyber-Physical Systems Security.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

The Complexity of Monitoring Hyperproperties.
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017
Managing the Performance/Error Tradeoff of Floating-point Intensive Applications.
ACM Trans. Embedded Comput. Syst., 2017

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Distributed Vehicle Routing Approximation.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

2016
Accelerated Runtime Verification of LTL Specifications with Counting Semantics.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Runtime Verification for HyperLTL.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Challenges in Fault-Tolerant Distributed Runtime Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Runtime Verification of k-Safety Hyperproperties in HyperLTL.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Decentralized Asynchronous Crash-Resilient Runtime Verification.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints.
ACM Trans. Embedded Comput. Syst., 2015

Runtime verification with minimal intrusion through parallelism.
Formal Methods in System Design, 2015

Synthesizing bounded-time 2-phase fault recovery.
Formal Asp. Comput., 2015

The complexity of automated addition of fault-tolerance without explicit legitimate states.
Distributed Computing, 2015

Abstract Model Repair.
Logical Methods in Computer Science, 2015

Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Time-Triggered Runtime Verification of Component-Based Multi-core Systems.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Decentralized Runtime Verification of LTL Specifications in Distributed Systems.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

A framework for mining hybrid automata from input/output traces.
Proceedings of the 2015 International Conference on Embedded Software, 2015

2014
SMT-Based Synthesis of Distributed Self-stabilizing Systems.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

First International Competition on Software for Runtime Verification.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Power-Efficient Multiple Producer-Consumer.
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Knowledge-Based Automated Repair of Authentication Protocols.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Time-triggered runtime verification.
Formal Methods in System Design, 2013

Model-based implementation of distributed systems with priorities.
Design Autom. for Emb. Sys., 2013

Automated Addition of Fault-Tolerance under Synchronous Semantics.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

How Good is Weak-Stabilization?
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Zone-Based Synthesis of Strict 2-Phase Fault Recovery.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking.
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

RiTHM: a tool for enabling time-triggered runtime verification for C programs.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques.
Proceedings of the Runtime Verification - 4th International Conference, 2013

GPU-based Runtime Verification.
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2013

2012
Automated model repair for distributed programs.
SIGACT News, 2012

Symbolic synthesis of masking fault-tolerant distributed programs.
Distributed Computing, 2012

A framework for automated distributed implementation of component-based models.
Distributed Computing, 2012

A Theory of Fault Recovery for Component-Based Models.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Path-Aware Time-Triggered Runtime Verification.
Proceedings of the Runtime Verification, Third International Conference, 2012

Time-Triggered Program Self-Monitoring.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Abstract Model Repair.
Proceedings of the NASA Formal Methods, 2012

Runtime verification of real-time embedded systems.
Proceedings of the 12th International Conference on Embedded Software, 2012

2011
Active Stabilization.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

A Theory of Fault Recovery for Component-Based Models.
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.
Proceedings of the Runtime Verification - Second International Conference, 2011

Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement].
Proceedings of the Runtime Verification - Second International Conference, 2011

Optimal Instrumentation of Data-flow in Concurrent Data Structures.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Software debugging and testing using the abstract diagnosis theory.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Snap-Stabilizing Committee Coordination.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Sampling-Based Runtime Verification.
Proceedings of the FM 2011: Formal Methods, 2011

Automated addition of fault recovery to cyber-physical component-based models.
Proceedings of the 11th International Conference on Embedded Software, 2011

Automated distributed implementation of component-based models with priorities.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Systematic Correct Construction of Self-stabilizing Systems: A Case Study.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Automated Conflict-free distributed implementation of component-based models.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

From high-level component-based models to distributed implementations.
Proceedings of the 10th International conference on Embedded software, 2010

2009
Complexity results in revising UNITY programs.
TAAS, 2009

Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery.
Proceedings of the FM 2009: Formal Methods, 2009

Compositional verification of fault-tolerant real-time programs.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008
Challenges in transformation of existing real-time embedded systems to cyber-physical systems.
SIGBED Review, 2008

Revising Distributed UNITY Programs Is NP-Complete.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Masking Faults While Providing Bounded-Time Phased Recovery.
Proceedings of the FM 2008: Formal Methods, 2008

Disassembling real-time fault-tolerant programs.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.
Proceedings of the Stabilization, 2007

Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

2006
Brief Announcement: Distributed Synthesis of Fault-Tolerance.
Proceedings of the Stabilization, 2006

Incremental Synthesis of Fault-Tolerant Real-Time Programs.
Proceedings of the Stabilization, 2006

Automated Incremental Synthesis of Timed Automata.
Proceedings of the Formal Methods: Applications and Technology, 2006

2005
Revising UNITY Programs: Possibilities and Limitations.
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

2004
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.
Proceedings of the Logic Based Program Synthesis and Transformation, 2004


  Loading...