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
Joseph Sifakis
Home
A Framework for Automated Distributed Implementation of Component-based Models
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
From High-Level Component-Based Models to Distributed Implementations
Automated Conflict-free Distributed Implementation of Component-based Models
Pagination
Subscribe to Joseph Sifakis
Stay Connected