Francesco Spegni
Ph.D. student, Università Politecnica delle MarcheAncona, Italy
Research field: Computer and Information Science
Automata Theory
Formal Methods
Model Checking
Logics
Publications
-
Conference Proceedings (2)
-
Salvatore Campana, Luca Spalazzi, Francesco Spegni (2010) Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study, 113-122. In 2010 International Symposium on Collaborative Technologies and Systems.
-
Salvatore Campana, Luca Spalazzi, Francesco Spegni (2008) XAL: A Web Oriented Programming Language Based on Timed-Automata, 862-868. In IEEE/WIC/ACM International Conference on Web Intelligence.
-
-
Journal Article (1)
-
Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni (2011) Model Checking Grid Security, --. In Future Generation Computer Systems -- (--).
-
Awards and Grants
No awards or grants added yet.
Biographical Information
No biographical information added yet.
CV
Professional Experience
2009 - Present
Ph.D. student at Università Politecnica delle Marche
Ancona, Italy
Classes taught:
Sistemi di Elaborazione dell'Informazione - Laboratorio di Linux
Ancona, Italy
Classes taught:
Sistemi di Elaborazione dell'Informazione - Laboratorio di Linux
Education
Oct 2004 - Mar 2007
Università degli Studi di Bologna - University of Bologna
in Bologna, Italy
Laurea Magistrale (Master Degree)
Laurea Magistrale (Master Degree)
Oct 2001 - Jul 2004
Università degli Studi di Bologna - University of Bologna
in Bologna, Italy
Laurea (Bachelor Degree)
Laurea (Bachelor Degree)
Contact Information
| Webpage: | http://www.manuefra.eu |
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Francesco is a member of
- Not a member of any groups yet.
- Find new public groups.
Public groups Francesco is following
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more