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:

  • Qualitative Reachability for Open Interval Markov Chains. PeerJ Computer Science, 2023.
  • Timed Games with Bounded Window Parity Objectives (with James C. A. Main and Mickael Randour). FORMATS 2022.
  • Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities. Logical Methods in Computer Science, 2021.
  • Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives (with James C. A. Main and Mickael Randour). CONCUR 2021.
  • Probabilistic Timed Automata with Clock-Dependent Probabilities. Fundamenta Informaticae, 2021.

    • Full list of publications.

    Program committees

  • QEST+FORMATS 2024 (joint conference on the Quantitative Evaluation of SysTems and on Formal Modeling and Analysis of Timed Systems)
  • FORMATS 2023 (21st International Conference on Formal Modeling and Analysis of Timed Systems) (program co-chair)
  • SETTA 2022 (8th International Symposium on Dependable Software Engineering: Theories, Tools and Applications)
  • SETTA 2021 (7th International Symposium on Dependable Software Engineering: Theories, Tools and Applications)
  • FoSSaCS 2021 (24th International Conference on Foundations of Software Science and Computation Structures)
  • SETTA 2020 (6th International Symposium on Dependable Software Engineering: Theories, Tools and Applications)
  • SETTA 2019 (5th International Symposium on Dependable Software Engineering: Theories, Tools and Applications)
  • QEST 2019 (16th International Conference on the Quantitative Evaluation of SysTems)
  • MoRe 2019 (2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis, LICS workshop) (program co-chair)
  • QAPL 2019 (16th Workshop on Quantitative Aspects of Programming Languages, ETAPS workshop)
  • MoRe 2018 (1st International Workshop on Multi-objective Reasoning in Verification and Synthesis, FLoC workshop) (program co-chair)
  • 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: 22/02/2024