Skip to content

Francesco Spegni

  • Postdoc
  • Polytechnic University of Marche
  • 5h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 58CitationsNumber of citations received by Francesco's publications. Updated daily.

Other IDs

Research interests

Automata Theory Formal Methods Model Checking Logics

Co-authors (16)

Publications (5)

  • Parameterized model checking of rendezvous systems

    • Aminof B
    • Kotek T
    • Rubin S
    • et al.
    N/AReaders
    0Citations
    Get full text
  • Parametric and probabilistic model checking of confidentiality in data dispersal algorithms

    • Baldi M
    • Cucchiarelli A
    • Senigagliesi L
    • et al.
    N/AReaders
    5Citations
    Get full text
  • Parameterized model checking of rendezvous systems

    • Aminof B
    • Kotek T
    • Rubin S
    • et al.
    N/AReaders
    26Citations
    Get full text
  • A modular environment for software development and re-engineering

    • Campana S
    • Poli A
    • Spalazzi L
    • et al.
    N/AReaders
    0Citations
    Get full text
  • XAL: A web oriented programming language based on timed-automata

    • Campana S
    • Spalazzi L
    • Spegni F
    N/AReaders
    2Citations
    Get full text

Professional experience

Postdoc

Università Politecnica delle Marche

March 2012 - Present

Research and Development

BINT srl

January 2008 - December 2009(2 years)

Education

Ph.D. Computer Engineering

Universita' Politecnica delle Marche

January 2009 - December 2011(3 years)

Laurea Magistrale (Master Degree)

Università degli Studi di Bologna - University of Bologna

October 2004 - March 2007(2 years)

Laurea (Bachelor Degree)

Università degli Studi di Bologna - University of Bologna

October 2001 - July 2004(3 years)