|
|
1 |
= Research Activity =
|
|
|
2 |
|
|
|
3 |
{{include reference="Environment"/}}
|
|
|
4 |
|
|
|
5 |
Matteo Casadei's research interests are mainly focused on the following areas:
|
|
|
6 |
|
|
|
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 |
|
|
|
16 |
== Reviewer Activity ==
|
|
|
17 |
|
|
|
18 |
{{html clean="false" wiki="true"}}
|
|
|
19 |
|
|
|
20 |
Matteo Casadei is serving as a reviewer of the following international journals:
|
|
|
21 |
<div align="left">
|
|
|
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/>
|
|
|
27 |
</div>
|
|
|
28 |
{{/html}} |