Per Status

5 publications  /  unpublished  /  Matteo Casadei

unpublished
Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Systems
(unpublished)  ACM Transactions on Autonomous and Adaptive Systems
Matteo Casadei, Andrea Omicini
Programming Agent-Environment Interaction for MAS Situatedness in ReSpecT
(unpublished)  Knowledge Engineering Review
XWiki.MarcoSbaraglia|XWiki.MirkoViroli|XWiki.MCasadei
Programming Coordination Laws of Artifacts in CArtAgO
(unpublished)  
Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
(unpublished)  
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Integrating Simulation in AOSE: The SODA Case Study
(unpublished)  Simulation Modelling Practice and Theory
(5 publications unpublished)  [top]  [bottom]

Tags:

Publications / Casadei

Home
clouds

per sort
in journal  |  in proc  |  chapters  |  phd th
per status
online  |  in press  |  proof  |  camera-ready  |  revised  |  accepted  |  revision  |  submitted  |  draft  |  note
services
ACM Digital Library  |  DBLP  |  IEEE Xplore  |  IRIS  |  PubMed  |  Google Scholar  |  Scopus  |  Semantic Scholar  |  Web of Science  |  DOI

Avatar

Contacts

Address

APICe Laboratory
Via Venezia, 52
47023, Cesena (FC)
Italy

Phone: +39 0547 339 210

Fax: +39 0547 339 208

Email:
m.casadei@unibo.it
macasadei@deis.unibo.it

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY