Skip to main content
College of Engineering
Trustworthy and Reliable Technologies Lab (TART)
Contact
EGR
MSU
Maps
Jobs
Home
Members
Projects
Publications
Research
Teaching
Tools
Saba Aflaki
Home
Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols.
Synthesizing Self-stabilizing Protocols under Average Recovery Time Constraints
Synthesizing Optimal Bias in Randomized Self-Stabilization
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms
Pagination
Subscribe to Saba Aflaki
Stay Connected
