Logo Accurate
it en

Publications

Peer Reviewed Journal Articles:

  1. M. Casadei, M. Viroli. A framework to specify and verify computational fields for pervasive systems. ACM Transactions on Autonomous and Adaptive Systems. Submitted.
  2. M. Casadei, A. Omicini. Programming agent-environment interaction for MAS situatedness in ReSpecT. The Knowledge Engineering Review. Accepted with minor revision.
  3. M. Viroli, M. Casadei, S. Montagna, F. Zambonelli. Spatial coordination of pervasive services through chemical-inspired tuple spaces. ACM Transactions on Autonomous and Adaptive Systems. To appear, May 2011.
  4. M. Viroli, M. Casadei, E. Nardini, A. Omicini. Towards a chemical-inspired infrastructure for self-* pervasive applications. Lecture Notes in Computer Science, 6090:152–176, Jul 2010.
  5. M. Ursino, M. Giannessi. A model of cerebrovascular reactivity including the circle of Willis and cortical anastomoses, Ann Biomed Eng. 2010 Jan 22.
  6. R. Alvisi, L. Astolfi, S. Zannoli. Role of Simulation in Emergencies – Educational aspects. Minerva Anestesiol 2009; 75 (Suppl. 1 to No. 7-8; 671-4). Florence, Italy. Aug 28 – Sep 1, 2009.
  7. M. Viroli, M. Casadei. Biochemical Tuple Spaces for Self-Organising Coordination. Lecture Notes in Computer Science, 5521:143–162, Jun 2009.
  8. M. Ursino, M. Giannessi, M. Frapparelli, E. Magosso. Effect of the Central Nervous System Ischemic Response on Systemic Arterial Pressure and Intracranial Pressure Oscillations. A Modeling Study. IEEE Eng Med Biol Mag. 2009 Nov-Dec; 28(6):63-71.
  9. M. Casadei, Mirko Viroli, Luca Gardelli. On the Collective Sort Problem for Distributed Tuple Spaces. Science of Computer Programming 74(9), 2009.
  10. M. Giannessi, W.B. Murray, M. Ursino. The Design of a Digital Cerebrovascular Simulation Model for Teaching and Research, Anesthesia and Analgesia, 2008 Dec; 107(6): 1997-2008.
  11. M. Casadei, A. Omicini, and M. Viroli. Prototyping A&A ReSpecT in Maude. Electronic Notes in Theoretical Computer Science, 194(4):93–109, April 2008.
  12. L. Gardelli, M. Viroli, M. Casadei, A. Omicini. Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach. International Journal of Agent-Oriented Software Engineering 2(2), 2008.
  13. M. Casadei, R. Menezes, M. Viroli, R. Tolksdorf. Using ant’s brood sorting to increase fault tolerance in Linda’s tuple distribution mechanism. Cooperative Information Agents XI, volume 4676 of LNCS, pages 255–269. Springer, September 2007.
  14. M. Casadei, R. Menezes, M. Viroli, R. Tolksdorf. A self-organizing approach to tuple distribution in largescale tuple-space systems. Self-Organizing Systems, volume 4725 of LNCS, pages 146–160. Springer, August 2007.
  15. M. Casadei, L. Gardelli, M. Viroli. Simulating emergent properties of coordination in maude: the collective sort case. Electronic Notes in Theoretical Computer Science, 175(2):59–80, June 2007.
  16. L. Gardelli, M. Viroli, M. Casadei, A. Omicini. Designing self-organising MAS environments: The collective sort case. Environments for MultiAgent Systems III, volume 4389 of LNAI, pages 254–271. Springer, May 2007.
  17. A. Leardini, C. Belvedere, L. Astolfi, S. Fantozzi, M. Viceconti, F. Taddei, A. Ensini, M. G. Benedetti, and F. Catani. A new software tool for 3D motion analyses of the musculo-skeletal system. Clinical Biomechanics, Vol. 21, N. 8, 2006.
  18. A. Leardini, L. Astolfi, S. Fantozzi, M. Viceconti, M.G. Benedetti, F. Catani. Advanced multimodal visualization of clinical gait and fluoroscopy analyses in the assessment of total knee replacement. Computer Methods and Program in Biomedicine; Vol. 79, N. 3, 2005.
  19. W. Dusi, P. Angelotti, D. Bollini, C. Moroni, M. Ricard. An improved hand-held four-detector -probe for radioassisted oncological surgery. Nuclear instruments and methods in phisics Reserch Vol A 448 (2000) pp.531-536.
  20. W. Dusi, P. Angelotti, N. Auricchio, D. Bollini, A. Donati, G. Landini, C. Moroni. A tongs-like intraoperative -probe for specific applications in radioguided oncological surgery. Nucl. Intr & methods Vol. a455 (2000) pp 472-477.
  21. M. Viceconti, A. Leardini, D. Testi, F. Taddei, A. Chiarini, L. Astolfi, S. Perticone, S. Paperini, S. Bassini, C. Zannoni, M. Petrone, S. Imboden, P. Quadrani. The multimod application framework. Articolo pubblicato sulla rivista Notizie dal Cineca. Bologna, Italy, 2003.

Book Chapters:

  1. M. Casadei, M. Mamei, C. Villalba, M. Viroli, F. Zambonelli. Middleware Infrastructures for Self-organizing Pervasive Computing Systems. In Self-Organizing Software: From Natural to Artificial Adaptation, Springer. In Press.
  2. M. Ursino, M. Giannessi, W.B. Murray. A comprehensive cerebrovascular simulation model for teaching and research. BIOMEDICINE 2007 – 7th International Conference on Modelling in Medicine and Biology. The New Forest, UK, 10-12 Sep, 2007. In WITpress (Ed), ”Modelling in Medicine and Biology VII”, Transactions on Biomedicine and Health vol 12, C.A. BREBBIA, Wessex Institute of Technology, UK, pp 169-178, 2007.

Peer Reviewed Articles in Conference Proceedings:

  1. J. L. Fernandez-Marquez, J. L. Arcos, G. Di Marzo Serugendo, M. Casadei. Description and composition of Bio-inspired design patterns: the gossip case. 8th IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2011), Las Vegas, NV, USA. 27-29 Apr. 2011. Submitted.
  2. M. Viroli, J. Beal, M. Casadei. Core operational semantics of Proto. 26th Annual ACM Symposium on Applied Computing (SAC 2011), TaiChung (Taiwan). 21-25 Mar. 2011. In press.
  3. M. Sbaraglia, M. Casadei, M. Viroli. Programming coordination laws of artifacts in CArtAgO. 26th Annual ACM Symposium on Applied Computing (SAC 2011), TaiChung (Taiwan). 21-25 Mar. 2011. In press.
  4. M. Viroli, M. Casadei, E. Nardini, A. Omicini. A self-organizing infrastructure for chemical-semantic coordination. 11th Annual Workshop “From Objects to Agents” (WOA 2010), Rimini (Italy). 5-7 Sep., 2010.
  5. M. Casadei, M. Viroli. Chemical-inspired self-composition of competing services. 25th Annual ACM Symposium on Applied Computing (SAC 2010), pages 2029–2036, Sierre (Switzerland). 22-26 Mar. 2010.
  6. N.W. Chbat, M. Giannessi, A. Albanese, M. Ursino. A Comprehensive Cardiopulmonary Simulation Model for the Analysis of Hypercapnic Respiratory Failure. Proc 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society. Minneapolis (MN, USA). 2-6 Sep, 2009. CD-ROM pp. 5474-5477.
  7. M. Casadei, M. Viroli. An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems. In IEEE Congress on Evolutionary Computation, 2009 (CEC 2009). Trondheim, Norway. 18-21 May, 2009.
  8. M. Viroli, F. Zambonelli, M. Casadei, S. Montagna. A biochemical metaphor for developing eternally adaptive service ecosystems. 24th Annual ACM Symposium on Applied Computing (SAC 2009), pages 1221–1222. Honolulu (HI, USA). 8-12 Mar, 2009.
  9. M. Viroli, M. Casadei, A. Omicini. A framework for modelling and implementing self- organising coordination. 24th Annual ACM Symposium on Applied Computing (SAC 2009), pages 1353–1360, Honolulu (HI, USA). 8-12 Mar, 2009.
  10. M. Casadei, A. Omicini. Situated tuple centres in ReSpecT. 24th Annual ACM Symposium on Applied Computing (SAC 2009), pages 1361–1368, Honolulu (HI, USA). 8-12 Mar, 2009.
  11. M. Casadei, M. Viroli. Using probabilistic model checking and simulation for designing self-organizing systems. 24th Annual ACM Symposium on Applied Computing (SAC 2009), pages 2103–2104, Honolulu (HI, USA). 8-12 Mar, 2009.
  12. L. Astolfi. I percorsi formativi applicati alla simulazione. III Forum Risk Management in Sanità. Arezzo, Italy. Nov 25-28, 2008. L. Astolfi, C. Belvedere, A. Ensini, M. Mariett, M. Baschieri. Simulazione in ortopedia assistita da un navigatore chirurgico. Abstract of the Mimos workshop – La Medicina Incontra la Realtà Virtuale. Roma, Italy. 31 Oct, 2008.
  13. M. Casadei, M. Viroli. Applying self-organizing coordination to emergent tuple organization in distributed networks. In Sven Brueckner, Paul Roberson, and Umesh Bellur editors, IEEE Computer Society: proceedings of the 2st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), pages 213–222. Venezia, Italy. 20-24 Oct, 2008.
  14. E. Nardini, M. Casadei, A. Omicini, P. Gaffuri. A conceptual framework for collaborative learning systems based on agent technologies. In 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008), pages RT-2:3(1-9), Villach, Austria. 24–26 Sep, 2008.
  15. M. Giannessi, N.W. Chbat, A. Albanese, J Op Den Buijs, E. Magosso, M. Ursino.Cardiovascular Changes in Cardiogenic and Obstructive Shocks: Analysis Using a Cardiopulmonary Simulation Model. Computers in Cardiology 2008. Bologna, Italy. 14-17 Sep, 2008. Comput Cardiol; 35: 457- 460 2008 (ISSN 0276-6574).
  16. M. Casadei, M. Viroli, M. Santarelli. Collective sort and emergent patterns of tuple distribution in grid-like networks. In 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Col laborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008). 23–25 Jun, 2008.
  17. M. Casadei, A. Omicini. Situating A&A ReSpecT for pervasive environment applications. In 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Col laborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008). 23–25 Jun, 2008.
  18. M. Giannessi, M. Frapparelli, E. Magosso, M. Ursino. Effect of the Central Nervous System Ischemic Response on Systemic Arterial Pressure and Intracranial Pressure Oscillations in Patients with Severe Head Injury. A Modeling Study. Proc 5th Conference of the European Study Group on Cardiovascular Oscillations. Parma, Italy. 7-9 Apr, 2008. CD-ROM, pp. O4:8-11.
  19. M. Casadei, R. Menezes, M. Viroli, R. Tolksdorf. Self-organized over-clustering avoidance in tuple-space systems. In IEEE Congress on Evolutionary Computation, 2007 (CEC 2007), pages 1408–1415. IEEE Computer Society, 25-28 Sep 2007.
  20. W.B. Murray, M. Giannessi, M. Ursino. Design of a Digital Cerebro-vascular Simulation Model for Teaching and Research. Proc MODSIM World Conference 2007 – Enable Decision-Making in a Rapidly Changing World with Modeling and Simulation. Virginia Beach (VA, USA). 11-13 Sep, 2007. CD-ROM.
  21. M. Casadei, A. Omicini, M. Viroli. Prototyping A&A ReSpecT in Maude. In Carlos Canal, Pascal Poizat, and Mirko Viroli, editors, 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA’07), pages 133–148, CONCUR 2007. Lisbon, Portugal. 8 Sep, 2007. Proceedings.
  22. M. Casadei, R. Menezes, R. Tolksdorf, M. Viroli. On the problem of over-clustering in tuple-based coordination systems. In Ozalp Babaoglu and Howard Shrobe, editors, IEEE Computer Society: proceedings of the 1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), pages 303–306, Boston (MA, USA). 9-11 Jul, 2007.
  23. C. Belvedere, A. Chiarini, A. Leardini, P. Angelotti, M. Viceconti. Hipop, a software tool for three dimensional pre surgical planning of total prosthetic replacement of the hip, knee, and ankle joints. SESAM 2007 – 13th Annual Meeting of the society in Europe for simulation applied to medicine. Copenhagen, Denmark. 18-20 Jun, 2007.
  24. M. Viroli, M. Casadei, L. Gardelli. A self-organising solution to the collective sort problem in distributed tuple spaces. In Alessandro Ricci, Michael Schumacher, and Bernard Angerer, editors, SAC ’07: Proceedings of the 2007 ACM Symposium on Applied Computing, pages 354–359, New York (NY, USA). 2007.
  25. M. Casadei, L. Gardelli, M. Viroli. A case of selforganising environment for mas: the collective sort problem. In Andrea Omicini, Barbara Dunin-Keplicz, and Julian Padget, editors, 4th European Workshop on Multi-Agent Systems (EUMAS 2006), number 223 in CEUR Workshop Proceedings, Lisbon, Portugal. 14–15 Dec, 2006. Sun SITE Central Europe, RWTH Aachen University.
  26. M. Casadei, L. Gardelli, M. Viroli. Collective sorting tuple spaces. In Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, and Corrado Santoro, editors, WOA 2006 – Dagli oggetti agli agenti: sistemi grid, p2p e self-*, CEUR Workshop Proceedings, pages 173–180, Catania, Italy. 26–27 Sep 2006. Sun SITE Central Europe, RWTH Aachen University.
  27. L. Gardelli, M. Viroli, M. Casadei. On engineering self-organizing environments: Stochastic methods for dynamic resource allocation. In Atti Congresso Annuale AICA 2006, volume 1, pages 96–101, Cesena, Italy. 21–22 Sep, 2006. Associazione Italiana per l’Informatica ed il Calcolo Automatico, Alinea Editrice, Firenze, Italy.
  28. A. Natali, A. Del Cinque, M. Casadei. L’uso dei web service nella catena del valore della logistica integrata. In Atti Congresso Annuale AICA 2006, volume 2, pages 461–471, Cesena, Italy. 21–22 Sep, 2006. Associazione Italiana per l’Informatica ed il Calcolo Automatico, Alinea Editrice, Firenze, Italy.
  29. M. Casadei, L. Gardelli, M. Viroli. Simulating emergent properties of coordination in maude: the collective sort case. In Carlos Canal and Mirko Viroli, editors, 5th International Work- shop on Founda- tions of Coordination Languages and Software Architectures (FOCLASA’06), pages 57–75, CONCUR 2006. Bonn, Germany. 31 Aug, 2006.
  30. L. Gardelli, M. Viroli, M. Casadei. On engineering self-organizing environments: Stochastic methods for dynamic resource allocation. In Danny Weyns, H. Van Dyke Parunak, and Fabien Michel, editors, 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006), pages 96–101, AAMAS 2006. Hakodate, Japan. 8 May, 2006.
  31. A. Leardini, L. Astolfi, F. Taddei, M. Viceconti, M.G. Benedetti. Techniques for combining clinical gait analysis with medical imaging in massive skeletal reconstructions. The Future of Engineering in Clinical Gait Analysis, Guy’s Hospital London, UK. Jun 20, 2005.
  32. S. Fantozzi, F. Catani, A. Leardini, A. Cappello, L. Astolfi, and S. Giannini. Fluoroscopic and gait analysis of two total knee replacement designs in stair ascent. Journal of Bone & Joint Surg Br Orthopaedic Proceedings. 2005.
  33. A. Leardini, M.G. Benedetti, L. Astolfi, S. Fantozzi, M. Viceconti, F. Catani. Multimodal visualisation of clinical gait and fluoroscopic analyses in the assessment of total knee replacement patients. 14th Annual Meeting of the European Society of Movement Analysis of Adults and Children (ESMAC). Barcelona, Spain. 22-24 Sep, 2005.
  34. F. Taddei, V. Greco, L. Montanari, S. Martelli, M. Viceconti, L. Astolfi, A. Leardini, M. Mercuri, M. Manfrini. New aspects in computer-assisted planning and monitoring of complex skeletal reconstructions. Abstracts of the 18th Annual Meeting of the European Musculoskeletal Oncology Society 5th Symposium of EMSOS Nurse Group. Trieste, Italy. 25-27 May, 2005.
  35. M. Viceconti, F. Taddei, D. Testi, A. Leardini, L. Astolfi, M. Davinelli, C. Zannoni, S. Van SintJan, G. Clapworthy. The Multimod Data Manager: an essential tool for muscolo-skeletal modelling. IFMBE Proceedings Vol 6, 2004 Medicon and Health Telematics 2004 Health in the Informatiion Society X Mediterranean Conference on Medical and Biological Engineering. Ischia, Italy. 31 Jul -5 Aug, 2004.
  36. A. Leardini, M.G. Benedetti, F.Taddei, L. Astolfi, M. Viceconti, M. Manfrini. Advanced motion analysis for skeletal reconstrutions. Gait & Posture 20 (Suppl 1) 2004 Abstracts of the V Congresso della Società Italiana di Analisi del Movimento in Clinica. Loano, Italy. 3-5 Oct, 2004.
  37. M. Viceconti, L. Astolfi, A. Leardini, S. Imboden, M. Petrone, P. Quadrani, F. Taddei, D. Testi, C. Zannoni. The Multimod Application Framework. Proceedings of the Eighth International Conference on Information Visualisation (IV’04). London, UK. 14-16 Jul, 2004.

Peer Reviewed Abstracts in Conference Proceedings:

  1. M. Giannessi, M. Casadei, L. Astolfi. DrSim: an Interactive Patient Simulator for Medical Education Based on Realistic Physiological Models. Proc MIMOS – La medicina Incontra la Realtà Virtuale: Applicazioni in Italia della Realtà Virtuale in Medicina e Chirurgia. Pisa, Italy. 14 Dec. 2010.
  2. M. Giannessi, WB. Murray, M. Casadei, L. Astolfi, M. Ursino. A new flat screen simulation based on mathematical models of multiple physiological systems used for medical education. Proc SESAM 2010 – 16th Annual Meeting of the society in Europe for simulation applied to medicine. Groningen, The Netherlands. 16-18 Jun, 2010.
  3. L. Cabrini, M. Spessot, L. Astolfi, M. Giannessi, A. Secchi, A. Zangrillo. Non-invasive ventilation in general wards: improving safety by a simulation course.Proc SESAM 2010 – 16th Annual Meeting of the society in Europe for simulation applied to medicine. Groningen, The Netherlands. 16-18 Jun, 2010.
  4. M. Giannessi, M. Fabbri, M. Casadei, WB. Murray. A Medical Education Tool Based on Mathematical Models of Multiple Physiological Systems: a New Computer-Based Simulation. Proc 10th Annual International Meeting on Simulation in Healthcare. Phoenix (AZ, USA). 23-27 Jan, 2010.
  5. M. Ursino, M. Giannessi. A mathematical cerebrovascular model including the circle of Willis and cortical anastomoses. Proc IV International Conference on Computational Bioengineering. Bertinoro, Italy. 16-18 Sep, 2009. CD-ROM, pp. 62.
  6. L. Astolfi, S. Perlini, M. Giannessi, M. Fabbri, E. Yaylali, M. Ursino, G. Micieli. An innovative simulation scenario for training courses on cerebrovascular disease: a more realistic simulation using a robotic simulator. Proc SESAM 2009 – 15th Annual Meeting of the society in Europe for simulation applied to medicine. Mainz, Germany. 11-13 Jun, 2009.
  7. M. Giannessi, L. Astolfi, M. Fabbri, M. Frapparelli, G. Micieli, M. Ursino. Development of a patient simulator focused on cerebral physiology and based on a mathematical model of the cerebrovascular system, for continuing medical education. Proc SESAM 2009 – 15th Annual Meeting of the society in Europe for simulation applied to medicine. Mainz, Germany. 11-13 Jun, 2009.
  8. M. Giannessi, A. Albanese, E. Magosso, N.W. Chbat, M. Ursino. Development of a comprehensive cardiopulmonary model for clinical practice and medical research. Proc SIAM Conference on the Life Sciences. Montreal, Quebec, Canada. 4-7 Aug, 2008. Page 82:MS53.
  9. L. Astolfi, C. Belvedere, A. Ensini, M. Marietta, P. Angelotti. An innovative simulation scenario on orthopedics and hamatology for training courses on total knee arthroplasty. Surgical technique monitored by a knee navigation system. SESAM 2008 – 14th Annual Meeting of the society in Europe for simulation applied to medicine. Hatfield (UK). 19-21 Jun, 2008.
  10. S. Perlini, ML. Fonte, F. Salinaro, F. Musca, F. Belluzzi, L. Astolfi, M. Baschieri, P. Angelotti. Improvement of clinical skills via simulation guided cardiac auscultation in europe: the Pavia pilot experience. SESAM 2008 – 14th Annual Meeting of the society in Europe for simulation applied to medicine. Hatfield (UK). 19-21 Jun, 2008.
  11. W.B. Murray, M. Giannessi, M. Ursino. Design of a Digital Cerebro-vascular Simulation Model for Teaching and Research. SESAM 2007 – 13th Annual Meeting of the society in Europe for simulation applied to medicine. Copenhagen, Denmark. 18-20 Jun, 2007.
  12. C. Belvedere, A. Leardini, F. Taddei, L. Astolfi, M. Viceconti. A novel software application framework for biomedical data visualization and simulation. Abstract of the 13th Annual Meeting of the Society in Europe for Simulation Applied to Medicine. Copenhagen, Denmark. Jun 18-20, 2007. In Simulation in Healthcare, Abstracts from the 13th annual meeting of the society in Europe for Simulation Applied to Medicine, Vol. 2 PT 3: 204, Fall 2007.
  13. M. Ursino, M. Giannessi, W.B. Murray. Cerebrovascular modeling in the ICU.TSIS 2007 – 7th World Congress on Trauma, Shock, Inflammation and Sepsis, Munich, Germany. 13-17 Mar, 2007. In Inflammation Research, Supplement Vol. 56, A 360, S 232, March 2007.
  14. M. Giannessi, W.B. Murray, L. Sinz. Development of a Mathematical Simulation Model of Cerebro-vascular and Intra-cranial Pressure (ICP) Relationships for Research, Clinical and Teaching Purposes. Proc 7th Annual International Meeting On Simulation in Healthcare.Lake Buena Vista, FL, USA. 14-17 Jan, 2007. CD-ROM, #202.

  1. Partner
    Accurate partners with Gaumard Scientific in providing innovative solutions for medical simulation training including its family tetherless high-fidelity simulators. We install, train, and also provide comprehensive after the sale support of Gaumard's products. Accurate partners with KbPort™ in designing audio-visual recording systems for medical simulation. We install, train, and also provide comprehensive after the sale support of KbPort™ products.
    > Further Information > Further Information
  2. brochure
  3. newsletter
    4. Web Design by Luca Gardelli