photo of Jeremy Sproston

Jeremy Sproston 

Ricercatore (lecturer/assistant professor)

Dipartimento di Informatica
Universitŕ degli Studi di Torino
Corso Svizzera 185, 10149 Torino, Italy
tel: +39 011 6706772
fax: +39 011 751603
email:sproston@di.unito.it

Research interests

The use of formal methods to verify the correctness and reliability of computer systems, with emphasis on model checking methods for probabilistic timed systems.

In particular, much of my activity has concerned the formalism of probabilistic timed automata.


Publications

Recent papers:

  • Probabilistic Timed Automata with Clock-Dependent Probabilities. RP 2017.
  • Analysis of Timed Properties Using the Jump-Diffusion Approximation (with P. Ballarini, M. Beccuti, E. Bibbona, A. Horváth and R. Sirovich). EPEW 2017.
  • Qualitative Analysis of VASS-Induced MDPs (with P. A. Abdulla, R. Ciobanu, R. Mayr and A. Sangnier). FoSSaCS 2016.
  • Verification and Control of Probabilistic Rectangular Hybrid Automata. FORMATS 2015.
  • Full list of publications.


    Program committees

  • CILC 2017 (32nd Italian Conference on Computational Logic)
  • FORMATS 2016 (14th International Conference on Formal Modeling and Analysis of Timed Systems)
  • FORMATS 2015 (13th International Conference on Formal Modeling and Analysis of Timed Systems)
  • QEST 2015 (12th International Conference on the Quantitative Evaluation of SysTems)
  • QAPL 2015 (13th Workshop on Quantitative Aspects of Programming Languages, ETAPS workshop)
  • QEST 2014 (11th International Conference on the Quantitative Evaluation of SysTems)
  • MOVEP 2014 (11th School on Modeling and Verifying Parallel Processes)
  • QAPL 2014 (12th Workshop on Quantitative Aspects of Programming Languages, ETAPS workshop)
  • QAPL 2013 (11th Workshop on Quantitative Aspects of Programming Languages, ETAPS workshop)
  • FORMATS 2012 (10th International Conference on Formal Modeling and Analysis of Timed Systems)
  • MOVEP 2012 (10th School on Modeling and Verifying Parallel Processes)
  • QAPL 2012 (10th Workshop on Quantitative Aspects of Programming Languages, ETAPS workshop)
  • QEST 2011 (8th International Conference on the Quantitative Evaluation of SysTems)
  • SUMo 2011 (2nd International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency)
  • QAPL 2011 (9th Workshop on Quantitative Aspects of Programming Languages, ETAPS workshop)
  • QEST 2010 (7th International Conference on the Quantitative Evaluation of SysTems)
  • MOVEP 2010 (9th School on Modeling and Verifying Parallel Processes)
  • SUMo 2010 (1st International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency) (program co-chair)
  • QAPL 2010 (8th Workshop on Quantitative Aspects of Programming Languages, ETAPS workshop)
  • QFM 2009 (Workshop on Quantitative Formal Methods: Theory and Applications, FM 2009 workshop)
  • QAPL 2009 (7th Workshop on Quantitative Aspects of Programming Languages, ETAPS workshop)
  • QEST 2008 (5th International Conference on the Quantitative Evaluation of SysTems)
  • MOVEP 2008 (8th School on Modeling and Verifying Parallel Processes)
  • QAPL 2008 (6th Workshop on Quantitative Aspects of Programming Languages, ETAPS workshop)

  • Teaching (in Italian)

    Click here/cliccare qui.


    Last modified: 10/10/2017