Follow
Jeremy Sproston
Jeremy Sproston
Assistant professor, University of Turin
Verified email at di.unito.it - Homepage
Title
Cited by
Cited by
Year
3.25 Model checking probabilistic hybrid automata
J Sproston
Modeling, Verification, and Control of Complex Systems for Energy Networks, 91, 0
An extension of the inverse method to probabilistic timed automata
É André, L Fribourg, J Sproston
Formal Methods in System Design 42, 119-145, 2013
21*2013
Analysing subclasses of probabilistic hybrid automata
J Sproston
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 67-91, 1999
91999
Analysis of timed properties using the jump-diffusion approximation
P Ballarini, M Beccuti, E Bibbona, A Horvath, R Sirovich, J Sproston
Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin …, 2017
32017
Automatic verification of real-time systems with discrete probability distributions
M Kwiatkowska, G Norman, R Segala, J Sproston
Theoretical Computer Science 282 (1), 101-150, 2002
4942002
Backward bisimulation in Markov chain model checking
J Sproston, S Donatelli
IEEE Transactions on Software Engineering 32 (8), 531-546, 2006
51*2006
Computer Science Technical Reports 2001: Model Checking of Probabilistic Timed and Hybrid Systems (PhD Thesis)
J Sproston
2001
Computer Science Technical Reports 2001: Symbolic Computation of Maximal Probabilistic Reachability
M Kwiatkowska, G Norman, J Sproston
2001
Computer Science Technical Reports 2002: Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
M Kwiatkowska, G Norman, J Sproston
2002
Computing expected absorption times for parametric determinate probabilistic timed automata
N Chamseddine, M Duflot, L Fribourg, C Picaronny, J Sproston
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
122008
CSL model checking for generalized stochastic Petri nets
J Sproston, A Horvath, S Donatelli, D Cerotti
Third International Conference on the Quantitative Evaluation of Systems …, 2006
122006
CSL model checking for the GreatSPN tool
D D’Aprile, S Donatelli, J Sproston
International Symposium on Computer and Information Sciences, 543-552, 2004
332004
Decidable model checking of probabilistic hybrid automata
J Sproston
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
1122000
Discrete-time verification and control for probabilistic rectangular hybrid automata
J Sproston
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
212011
Exact and approximate abstraction for classes of stochastic hybrid systems
JJ Sproston
Electronic Communications of the EASST 70, 99-113, 2014
42014
Formal Modeling and Analysis of Timed Systems
L Petrucci, J Sproston
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
L Petrucci, J Sproston
Springer Nature, 2023
2023
From time Petri nets to timed automata: An untimed approach
D D’Aprile, S Donatelli, A Sangnier, J Sproston
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
262007
List of requirements on formalisms and selection of appropriate tools
S Donatelli, S Chiaradonna, D CODETTA RAITERI, F DI GIANDOMENICO, ...
Deliverable, CRUTIAL Project 11, 2008
2008
Methodologies synthesis
M Kaâniche, S Bernardi, A Bobbio, C Brasca, S Chiaradonna, ...
Deliverable, CRUTIAL Project 3, 2007
52007
The system can't perform the operation now. Try again later.
Articles 1–20