Concepedia

Jeremy Sproston

JS

12

Publications

1.1K

Citations

11

H-Index

2000

Active since

Affiliations

University of Turin(Current)

University of Birmingham

Centre National de la Recherche Scientifique

École Normale Supérieure Paris-Saclay

Jeremy Sproston is an author at University of Turin specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationAutomated ReasoningSystems EngineeringProbabilityProcess ControlReal-time Systems

Publications per year

2000–2012

12

Publications

12

Automatic verification of real-time systems with discrete probability distributions

Marta Kwiatkowska, Gethin Norman, Roberto Segala et al. · Theoretical Computer Science · 2002 · 327 citations

Engineering, Probabilistic Verification, Verification +8

Performance analysis of probabilistic timed automata using digital clocks

Marta Kwiatkowska, Gethin Norman, David Parker et al. · Formal Methods in System Design · 2006 · 197 citations

Logical Automaton, Engineering, Verification +9

Symbolic model checking for probabilistic timed automata

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston et al. · Information and Computation · 2007 · 156 citations

Logical Automaton, Engineering, Automated Reasoning +7

Model checking for probabilistic timed automata

Gethin Norman, David Parker, Jeremy Sproston · Formal Methods in System Design · 2012 · 112 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +6

Model Checking Timed and Stochastic Properties with CSL^{TA}

Susanna Donatelli, Serge Haddad, Jeremy Sproston · IEEE Transactions on Software Engineering · 2008 · 97 citations

Model Checking Timed, Markov Chains, Logical Automaton +15

Rows per page

1–5 of 12