Wiki source code of Research Activity

Show last authors
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}}
Avatar