Welcome to the Modeling of Distributed and Concurrent Systems page maintained by Paulo Maciel.
Our main research interest is devoted to formal timing modeling and evaluation of systems. Over the last years, our group has investigated a large sort of systems that encompasses real time and power aware embedded systems, data center systems, outbound logistic distribution, virtual workload generation for capacity planning and reliability and availability studies on electrical generation and distribution companies.
Our research themes are:
- Stochastic Petri Nets
- Performance Modelling
- Embeded/Critical/Real-Time System Modelling
- Capacity Planning
- Dependability modeling
- Software Aging in Cloud Computing
