Software Design Laboratory
Software Design Lab
The mission of the SDLab is to extend the boundaries of automation in analysis
and design of software systems, thereby increasing software dependability.
Towards this end, we are interested in both theoretical and practical aspects
of automating the development of dependable software systems.
May-June 2015: The article "On the Hardness of Adding Nonmasking Fault Tolerance" published in IEEE
Transactions on Dependable and Secure Computing (TDSC), Vol. 12, Issue 3, pp.
April 2015: The paper "Incremental Realization of Safety
Requirements: Non-Determinism vs. Modularity" accepted in the 6th IPM
International Conference on Fundamentals of Software Engineering (FSEN).
April 2015: The paper "A Theory of Integrating Tamper Evidence
with Stabilization" accepted in the 6th IPM International Conference
on Fundamentals of Software Engineering (FSEN).
April 2015: The paper "UFIT: A Tool for Modeling Faults in UPPAAL
Timed Automata" accepted in the 7th NASA Formal Methods Symposium
October 2014: The paper "The Complexity of Adding Multitolerance"
published in ACM Transactions on Autonomous and Adaptive Systems (TAAS).
September 2014: The paper "A Hybrid Method for the Verification and
Synthesis of Parameterized Self-Stabilizing Protocols" accepted in
International Symposium on Logic-based Program Synthesis and Transformation
September 2014: The paper "Synthesizing Self-Stabilization Through Superposition and Backtracking" accepted in
the 16th International Symposium on Stabilization, Safety, and Security of
Distributed Systems (SSS).
September 2014: The paper "Evaluating the Effect of Faults in SystemC TLM Models using UPPAAL" accepted in the
12th International Conference on Software Engineering and Formal Methods
(SEFM), Grenoble, France, pp. 175-189, 2014.
September 2013 - The paper "Verifying the Livelock
Freedom of Rings and Chains" accepted in SSS 2013.
April 2013 - Congratulations to Alex
Klinkhamer! Alex's paper "On the Complexity of Adding Convergence"
won the best paper award
at FSEN 2013.
April 2012 - The paper entitled
"A Lightweight Method for Automated Design of Convergence in Network
Protocols" accepted in the ACM Transactions on Autonomous and Adaptive
February 2012 - The paper entitled " Local Reasoning for Global Convergence of
Parameterized Rings" accepted in the 32nd International Conference on
Distributed Computing Systems - ICDCS 2012.
January 2012 - The paper entitled
"Swarm Synthesis of Convergence for Symmetric Protocols"
accepted in the Ninth European Dependable Computing Conference - EDCC
June 2011 - Dr. Ebnenasir
receives an NSF award in support of the research on automated design of self-stabilizing systems. This project will fund one PhD
student and two hourly-paid undergraduate students, and is expected to take
April 2011 - The paper entitled
"Exploiting Computational Redundancy for Efficient Recovery from Soft
Errors in Sensor Nodes" got accepted in the 23rd International
Conference on Software Engineering and Knowledge Engineering (SEKE), 2011.
April 2011 - Congratualtions to Aly Farahat!
His application for attending the first Summer School on Formal Techniques
got accepted! This is an NSF-sponsored summer school.
February 2011 - The paper entitled
"Lightweight Methods for Automated Design of Self-Stabilization"
accepted in the PhD forum of IPDPS 2011.
December 2010 - The paper entitled
"A Lightweight Method for Automated Design of Convergence" to
appear in IEEE International Parallel and Distributed Processing Symposium
Sep. 2010 - Congratulations to Aly Farahat for winning an NSF Scholarship for attending SSS
March 2010 - The paper
entitled "Feasibility of Stepwise Design of Multitolerant
Programs" was accepted for publication in the ACM Transactions on
Software Engineering and Methodology (TOSEM)
Aug. 2009 - Dr. Ebnenasir
was awarded an NSF grant for work on the model checking of PGAS applications