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
Marius Bozga
Home
A Framework for Automated Distributed Implementation of Component-based Models
Model-based Implementation of Distributed Systems with Priorities
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
A Theory of Fault Recovery for Component-Based Models
Automated Distributed Implementation of Component-based Models with Priorities
A Theory of Fault Recovery for Component-Based Models
Performance Evaluation of Process Partitioning using Probabilistic Model Checking
Pagination
Subscribe to Marius Bozga
Stay Connected