Borzoo Bonakdarpour

Proceedings of the Runtime Verification - 4th International Conference, 2013

GPU-based Runtime Verification.

[BibT_eX]

[DOI]

Shay Berkovich

Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Automated model repair for distributed programs.

[BibT_eX]

[DOI]

SIGACT News, 2012

Symbolic synthesis of masking fault-tolerant distributed programs.

[BibT_eX]

[DOI]

Distributed Comput., 2012

A framework for automated distributed implementation of component-based models.

[BibT_eX]

[DOI]

Distributed Comput., 2012

A Theory of Fault Recovery for Component-Based Models.

[BibT_eX]

[DOI]

Marius Bozga

Gregor Gößler

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Path-Aware Time-Triggered Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

Time-Triggered Program Self-Monitoring.

[BibT_eX]

[DOI]

Johnson J. Thomas

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Runtime verification of real-time embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

Active Stabilization.

[BibT_eX]

[DOI]

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

Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.

[BibT_eX]

[DOI]

Chun Wah Wallace Wu

Proceedings of the Runtime Verification - Second International Conference, 2011

Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement].

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Optimal Instrumentation of Data-flow in Concurrent Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Software debugging and testing using the abstract diagnosis theory.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Sampling-Based Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

Automated addition of fault recovery to cyber-physical component-based models.

[BibT_eX]

[DOI]

Yiyan Lin

Proceedings of the 11th International Conference on Embedded Software, 2011

Automated distributed implementation of component-based models with priorities.

[BibT_eX]

[DOI]

Marius Bozga

Jean Quilbeuf

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Systematic Correct Construction of Self-stabilizing Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Automated Conflict-free distributed implementation of component-based models.

[BibT_eX]

[DOI]

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

From high-level component-based models to distributed implementations.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

2009

Complexity results in revising UNITY programs.

[BibT_eX]

[DOI]

Ali Ebnenasir

ACM Trans. Auton. Adapt. Syst., 2009

Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Compositional verification of fault-tolerant real-time programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

SIGBED Rev., 2008

Revising Distributed UNITY Programs Is NP-Complete.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Masking Faults While Providing Bounded-Time Phased Recovery.

[BibT_eX]

[DOI]

Proceedings of the FM 2008: Formal Methods, 2008

Disassembling real-time fault-tolerant programs.

[BibT_eX]

[DOI]

Anish Arora

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2007

Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

2006

Brief Announcement: Distributed Synthesis of Fault-Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2006

Incremental Synthesis of Fault-Tolerant Real-Time Programs.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2006

Automated Incremental Synthesis of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

Revising UNITY Programs: Possibilities and Limitations.

[BibT_eX]

[DOI]

Ali Ebnenasir

Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

2004

Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.

[BibT_eX]

[DOI]