Skip to Content

Publications

Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (2013) — Matteo Casadei, Mirko Viroli

Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli

A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko Viroli

publications per year
- 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006
publications per sort
- articles in journal, papers in proceedings, book chapters, manuals, phd theses
yet unpublished works per status
- published online, in press, proofs, camera-ready sent, revised, accepted with revision, accepted, submitted, drafts, unpublished, notes
bibliographic services
- ACM Digital Library, CORE, DBLP, DOI, IEEE Xplore, IRIS, Lens, OpenAlex, OpenCitations, PubMed, Google Scholar, Scopus, Semantic Scholar, Web of Science
publication clouds
- tags, co-authors, co-editors, journals

other links to personal publications

ACM — 81329488169