Wiki source code of Research Activity
| author | version | line-number | content |
|---|---|---|---|
 |
3.1 | 1 | = Research Activity = |
| |
2.1 | 2 | |
| |
3.1 | 3 | {{include reference="Environment"/}} |
 |
1.1 | 4 | |
| |
3.1 | 5 | Matteo Casadei's research interests are mainly focused on the following areas: |
| 6 | |||
| |
1.1 | 7 | * Exact and approximate probabilistic model checking techniques for verification of self-organizing, pervasive, and mobile systems. |
| 8 | * Ecology-inspired approaches to building middleware for pervasive service ecosystems. | ||
| 9 | * Chemical-inspired coordination models. | ||
| 10 | * Self-organizing approaches for service-oriented architectures and pervasive environments. | ||
| 11 | * Formal modelling and simulation of complex systems and programming languages. | ||
| 12 | * Study of coordination issues in (complex) distributed systems. | ||
| 13 | * Study and engineering of self-organizing techniques for solving complex problems on distributed systems. | ||
| 14 | * Engineering of (complex) distributed systems, in particular Multi-Agent Systems (MAS). | ||
| 15 | |||
| |
3.1 | 16 | == Reviewer Activity == |
| 17 | |||
| 18 | {{html clean="false" wiki="true"}} | ||
| |
1.1 | 19 | |
| 20 | Matteo Casadei is serving as a reviewer of the following international journals: | ||
| 21 | <div align="left"> | ||
| |
3.1 | 22 | |
| 23 | * [[Journal of Autonomous Agents and Multi-Agent Systems>>http://www.springer.com/computer/ai/journal/10458]]<br/> <em>Published by </em>[[Springer>>http://www.springer.com]] | ||
| 24 | * [[ACM Transactions on Autonomous and Adaptive Systems>>http://taas.acm.org/]]<br/> <em>Published by </em>[[ACM>>http://http://www.acm.org/]] | ||
| 25 | * [[Pervasive and Mobile Computing>>http://www.elsevier.com/wps/find/journaldescription.cws_home/704220/description#description]]<br/><em>Published by </em>[[Elsevier>>http://www.elsevier.com]] | ||
| 26 | <p/> | ||
| |
1.1 | 27 | </div> |
| |
3.1 | 28 | {{/html}} |
