Gethin J. Norman - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Gethin J. Norman' as author, editor, or advisor:

Local Similarity Matrix for Cysteine Disulfide Connectivity Prediction from Protein SequencesNorman, Christopher Rodriguez, Pradeep Chowriappa, Sumeet Dua. tcbb, 17(4):1276-1289, 2020. [doi]
Model checking for probabilistic timed automataGethin Norman, David Parker, Jeremy Sproston. fmsd, 43(2):164-190, 2013. [doi]
Expected reachability-time gamesVojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi. TCS, 631:139-160, 2016. [doi]
Collaborative models for autonomous systems controller synthesisDouglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller 0001, Gethin Norman. fac, 32(2):157-186, 2020. [doi]
Probabilistic Model Checking and AutonomyMarta Kwiatkowska, Gethin Norman, David Parker 0001. arcras, 5:385-410, 2022. [doi]
Verification and Control of Partially Observable Probabilistic Real-Time SystemsGethin Norman, David Parker 0001, Xueyi Zou. formats 2015: 240-255 [doi]
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automataAleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras. TCS, 669:1-21, 2017. [doi]
Autonomous Agent Behaviour Modelled in PRISM - A Case StudyRuth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor M. Veres. spin 2016: 104-110 [doi]
Quantitative Aspects of Programming Languages and Systems (2011-12)Mieke Massink, Gethin Norman, Herbert Wiklicky. TCS, 538:1, 2014. [doi]
A Systematic Approach to Evaluate Sustained Stochastic OscillationsJorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker. bicob 2011: 134-139
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed AutomataMarta Kwiatkowska, Gethin Norman, David Parker 0001. BIRTHDAY 2017: 289-309 [doi]
A game-based abstraction-refinement framework for Markov decision processesMark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker. fmsd, 36(3):246-280, 2010. [doi]
A Framework for Verification of Software with Time and ProbabilitiesMarta Z. Kwiatkowska, Gethin Norman, David Parker. formats 2010: 25-45 [doi]
PRISM 4.0: Verification of Probabilistic Real-Time SystemsMarta Z. Kwiatkowska, Gethin Norman, David Parker. cav 2011: 585-591 [doi]
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk)Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos, Rui Yan 0002. mfcs 2022: [doi]
Quantitative Verification Techniques for Biological ProcessesMarta Kwiatkowska, Gethin Norman, David Parker 0001. BIRTHDAY 2009: 391-409 [doi]
Automated Verification Techniques for Probabilistic SystemsVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker. sfm 2011: 53-113 [doi]
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic GamesMarta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. BIRTHDAY 2022: 388-406 [doi]
Mathematical Modelling of Identity, Identity Management and Other Related TopicsMd. Sadek Ferdous, Gethin Norman, Ron Poet. sin 2014: 9 [doi]
Editorial: Quantitative Aspects of Programming LanguagesAlessandra Di Pierro, Gethin Norman. TCS, 413(1):1, 2012. [doi]
Mathematical techniques for analyzing concurrent and probabilistic systemsJan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Prakash Panangaden. Volume 23 of CRM monograph series, American Mathematical Society, 2004. [doi]
Formal analysis and validation of continuous-time Markov chain based system level power management strategiesGethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta. hldvt 2002: 45-50 [doi]
Mathematical Modelling of Trust Issues in Federated Identity ManagementMd. Sadek Ferdous, Gethin Norman, Audun Jøsang, Ron Poet. ifiptm 2015: 13-29 [doi]
Probabilistic verification of Herman's self-stabilisation algorithmMarta Z. Kwiatkowska, Gethin Norman, David Parker. fac, 24(4-6):661-670, 2012. [doi]
Analysis of a gossip protocol in PRISMMarta Z. Kwiatkowska, Gethin Norman, David Parker. sigmetrics, 36(3):17-22, 2008. [doi]
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic GamesMarta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. FM 2019: 298-315 [doi]
PRISM: probabilistic model checking for performance and reliability analysisMarta Z. Kwiatkowska, Gethin Norman, David Parker. sigmetrics, 36(4):40-45, 2009. [doi]
Compositional probabilistic verification through multi-objective model checkingMarta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu. iandc, 232:38-65, 2013. [doi]
Advances and challenges of probabilistic model checkingMarta Kwiatkowska, Gethin Norman, David Parker 0001. allerton 2010: 1691-1698 [doi]
Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. ProceedingsGethin Norman, William H. Sanders, editors, Volume 8657 of Lecture Notes in Computer Science, Springer, 2014. [doi]
Balancing Turn-Based Games With Chained Strategy GenerationWilliam Kavanagh, Alice Miller 0001, Gethin Norman, Oana Andrei. tciaig, 13(2):113-122, 2021. [doi]
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid SystemsErnst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang 0001. qest 2011: 69-78 [doi]
Quantitative Multi-objective Verification for Probabilistic SystemsVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu. TACAS 2011: 112-127 [doi]
Multi-player Equilibria Verification for Concurrent Stochastic GamesMarta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. qest 2020: 74-95 [doi]
Expected Reachability-Time GamesVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi. formats 2010: 122-136 [doi]
Verification and Control of Turn-Based Probabilistic Real-Time GamesMarta Kwiatkowska, Gethin Norman, David Parker 0001. BIRTHDAY 2019: 379-396 [doi]
Automated Verification of Concurrent Stochastic GamesMarta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. qest 2018: 223-239 [doi]
The PRISM Benchmark SuiteMarta Z. Kwiatkowska, Gethin Norman, David Parker. qest 2012: 203-204 [doi]
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate BisimulationsAlessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker. BIRTHDAY 2014: 40-58 [doi]
Automatic verification of concurrent stochastic systemsMarta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. fmsd, 58(1):188-250, 2021. [doi]
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed AutomataAleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman. formats 2015: 140-155 [doi]
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and TimeMarta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. cav 2020: 475-487 [doi]
Correlated Equilibria and Fairness in Concurrent Stochastic GamesMarta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. TACAS 2022: 60-78 [doi]
Verification and control of partially observable probabilistic systemsGethin Norman, David Parker 0001, Xueyi Zou. rts, 53(3):354-402, 2017. [doi]
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential EquationsJorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker. isca, 20(2):101-111, 2012.
Strategy Synthesis for Autonomous Agents Using PRISMRuben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman. NFM 2018: 220-236 [doi]
Analysis of stochastic matching marketsPéter Biró, Gethin Norman. ijgt, 42(4):1021-1040, 2013. [doi]

runs on WebDSL