it
Ateneo
it
Ateneo

Francesco Spegni

Publications

  • 2014
    • L. Spalazzi and F. Spegni. "Parameterized Model Checking for Timed Systems with Conjunctive Guards". In 6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Vienna, 2014 (slides)
    • B. Aminof, T. Kotek, S. Rubin, F. Spegni and H. Veith: "Parameterized Model Checking of Rendezvous Systems". In Proceedings of Concur, Rome, 2014
  • 2012 : S. Campana, L. Spalazzi, and F. Spegni. A Modular Environment for Software Development and Re-engineering. In Workshop on Tools as Plugins, pages 90-91, Zurich, 2012
  • 2011 : F. Pagliarecci, L. Spalazzi, and F. Spegni. Model checking grid security. Future Generation Computer Systems, 2011. (online, DOI: 10.1016/j.future.2011.11.010)
  • 2010 : S. Campana, L. Spalazzi, and F. Spegni. Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study. In 2010 International Symposium on Collaborative Technologies and Systems, pages 113-122, Chicago, 2010, IEEE
  • 2008 : S. Campana, L. Spalazzi, and F. Spegni. XAL: A Web Oriented Programming Language Based on Timed-Automata. In IEEE/WIC/ACM International Conference on Web Intelligence, pages 862-868, Sydney, 2008. IEEE

Seminars and Presentations

  • 2012 : Workshop on Tools as Plugins @ ICSE 2012, Zurich, June. Poster title: "A Modular Environment for Software Development and Re-engineering" with short demo.
  • 2011 : LASER 2011 Summer School, Isola d'Elba, September. Presentation title: "Verification of Complex Software Systems". Selected presentation during the students session, summarizing some issues in verifying software that "mixes" characteristics addressed by several different theories (e.g. parameterized systems and real-time systems).
  • 2010 : SRI International, Menlo Park (CA), September – December. Presentation title: "Dynamic Networks of Timed Automata". Presentation of my research work on extending the Timed Automata formalism to networks of processes with an arbitrary large number of running "instances" * International Symposium on Collaborative Technologies and Systems, Chicago, May. Presentation title: "Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study", accepted paper.
  • 2008 : International Conference on Web Intelligence, Sydney, December 2008. Presentation title: "XAL: A Web Oriented Programming Language Based on Timed-Automata.", accepted paper.