Ali Ebnenasir

Kieran Young

CoRR, 2024

Specifying and Verifying the Convergence Stairs of the Collatz Program.

[BibT_eX]

[DOI]

CoRR, 2024

BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems.

[BibT_eX]

[DOI]

Leila Namvari Tazeh-Kand

Saied Pashazadeh

CoRR, 2024

Exploring consequences of statutory law through lightweight modeling.

[BibT_eX]

[DOI]

Proceedings of the 2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2024

Generating the Convergence Stairs of the Collatz Program.

[BibT_eX]

[DOI]

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

2023

Formal Specification, Verification and Repair of Contiki's Scheduler.

[BibT_eX]

[DOI]

Hassan Mousavi

Elham Mahmoudzadeh

ACM Trans. Cyber Phys. Syst., October, 2023

Exploring Scalable Parallelization for Edit Distance-Based Motif Search.

[BibT_eX]

[DOI]

Junqiao Qiu

IEEE ACM Trans. Comput. Biol. Bioinform., 2023

TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation.

[BibT_eX]

[DOI]

Ebrahim Fazli

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Verification and Synthesis of Responsive Symmetric Uni-Rings.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Modular Grammatical Evolution for the Generation of Artificial Neural Networks.

[BibT_eX]

[DOI]

Khabat Soltanian

Mohsen Afsharchi

Evol. Comput., 2022

TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation.

[BibT_eX]

[DOI]

Ebrahim Fazli

CoRR, 2022

Modular grammatical evolution for the generation of artificial neural networks: (hot-off-the-press track at GECCO 2022).

[BibT_eX]

[DOI]

Khabat Soltanian

Mohsen Afsharchi

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables.

[BibT_eX]

[DOI]

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices.

[BibT_eX]

[DOI]

Michael Conard

Proceedings of the 17th European Dependable Computing Conference, 2021

2019

On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2019

Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties.

[BibT_eX]

[DOI]

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

A theory of integrating tamper evidence with stabilization.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

2017

Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths.

[BibT_eX]

[DOI]

Mohsen Safari

Proceedings of the Topics in Theoretical Computer Science, 2017

Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016

Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

A framework for verification of SystemC TLM programs with model slicing: a case study.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual Design Automation Conference, 2016

2015

On the Hardness of Adding Nonmasking Fault Tolerance.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2015

UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates.

[BibT_eX]

[DOI]

Jean Mayo

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

Incremental Realization of Safety Requirements: Non-determinism vs. Modularity.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

The Complexity of Adding Multitolerance.

[BibT_eX]

[DOI]

Jingshu Chen

ACM Trans. Auton. Adapt. Syst., 2014

Synthesizing Self-stabilization through Superposition and Backtracking.

[BibT_eX]

[DOI]

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

Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols.

[BibT_eX]

[DOI]

Amer Tahat

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

Analysis of Permanent Faults in Transaction Level SystemC Models.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014

2013

Facilitating the design of fault tolerance in transaction level SystemC programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Action-based discovery of satisfying subsets: A distributed method for model correction.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

Verifying Livelock Freedom on Parameterized Rings and Chains.

[BibT_eX]

[DOI]

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

Modeling and analyzing timing faults in transaction level SystemC programs.

[BibT_eX]

[DOI]

Proceedings of the Network on Chip Architectures, 2013

On the Complexity of Adding Convergence.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

A Lightweight Method for Automated Design of Convergence in Network Protocols.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2012

Local Reasoning for Global Convergence of Parameterized Rings.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing Systems, 2012

Swarm Synthesis of Convergence for Symmetric Protocols.

[BibT_eX]

[DOI]

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

2011

Feasibility of Stepwise Design of Multitolerant Programs.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2011

Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Lightweight Methods for Automated Design of Self-Stabilization.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

A Lightweight Method for Automated Design of Convergence.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2009

Complexity results in revising UNITY programs.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

ACM Trans. Auton. Adapt. Syst., 2009

Developing parallel programs: A design-oriented perspective.

[BibT_eX]

[DOI]

Rasoul Beik

Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

2008

FTSyn: a framework for automatic synthesis of fault-tolerance.

[BibT_eX]

[DOI]

Anish Arora

Int. J. Softw. Tools Technol. Transf., 2008

2007

Diconic addition of failsafe fault-tolerance.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Designing Run-Time Fault-Tolerance Using Dynamic Updates.

[BibT_eX]

[DOI]

Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML.

[BibT_eX]

[DOI]

Betty H. C. Cheng

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006

Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.

[BibT_eX]

[DOI]

Betty H. C. Cheng

Sascha Konrad

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

A Pattern-Based Approach for Modeling and Analyzing Error Recovery.

[BibT_eX]

[DOI]

Betty H. C. Cheng

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2005

Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2005

Revising UNITY Programs: Possibilities and Limitations.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

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

Adding Fault-Tolerance Using Pre-synthesized Components.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2005

2004

Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Automated Synthesis of Multitolerance.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Enhancing The Fault-Tolerance of Nonmasking Programs.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002

The Complexity of Adding Failsafe Fault-Tolerance.

[BibT_eX]

[DOI]