Gethin Norman

发表

Prakash Panangaden, Marta Kwiatkowska, Franck van Breugel, 2004 .

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 2000 .

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 2010 .

Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman, 2002, Electron. Notes Theor. Comput. Sci..

Marta Z. Kwiatkowska, Gethin Norman, M. Kwiatkowska, 2002, FORTE.

Gethin Norman, Oana Andrei, William John Kavanagh, 2019, IEEE Transactions on Games.

Marta Z. Kwiatkowska, Gethin Norman, Aleksandra Jovanovic, 2015, FORMATS.

Gethin Norman, Jeremy Sproston, David Parker, 2012, Formal Methods in System Design.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2011, CAV.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2011, BICoB.

Luca de Alfaro, Pritam Roy, Gethin Norman, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Vitaly Shmatikov, Gethin Norman, Vitaly Shmatikov, 2006 .

António Pacheco, Marta Z. Kwiatkowska, Gethin Norman, 2006, Comput. Math. Appl..

Gethin Norman, David Parker, Xueyi Zou, 2015, FORMATS.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2011, SFM.

Christel Baier, Frank Ciesinski, Marcus Größer, 2006, FSTTCS.

Marta Kwiatkowska, Gethin Norman, David Parker, 2005 .

Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, 2014, Horizons of the Mind.

Sandeep K. Shukla, Rajesh Gupta, Marta Z. Kwiatkowska, 2005, Formal Aspects of Computing.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2005, PERV.

Marta Z. Kwiatkowska, Gethin Norman, M. Kwiatkowska, 1998, EXPRESS.

Peng Wu, Catuscia Palamidessi, Gethin Norman, 2007 .

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Marta Z. Kwiatkowska, Gethin Norman, Rashid Mehmood, 2002, Electron. Notes Theor. Comput. Sci..

Audun Jøsang, Ron Poet, Gethin Norman, 2015, IFIPTM.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2006, Proceedings of the 2006 Winter Simulation Conference.

Sandeep K. Shukla, Rajesh K. Gupta, Marta Z. Kwiatkowska, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, PERV.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2010, FORMATS.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2009, PERV.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2006, CAV.

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, 1999, Theor. Comput. Sci..

Marcin Jurdzinski, Ashutosh Trivedi, Marta Z. Kwiatkowska, 2009, CONCUR.

Gethin Norman, G. Norman, 2004, Validation of Stochastic Systems.

Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, 2000, TACAS.

Sandeep K. Shukla, Marta Z. Kwiatkowska, Gethin Norman, 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2017, Models, Algorithms, Logics and Tools.

Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman, 2002, International Journal on Software Tools for Technology Transfer.

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, 2007, Inf. Comput..

Marta Kwiatkowska, Gethin Norman, David Parker, 2000 .

Marta Kwiatkowska, Gethin Norman, David Parker, 2010, 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Holger Hermanns, Markus Siegle, Marta Z. Kwiatkowska, 2003, J. Log. Algebraic Methods Program..

Ashutosh Trivedi, Marta Z. Kwiatkowska, Gethin Norman, 2010, ArXiv.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2002, Computer Performance Evaluation / TOOLS.

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 2003 .

Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, 2001, PAPM-PROBMIV.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2004, International Journal on Software Tools for Technology Transfer.

Marta Kwiatkowska, Gethin Norman, David Parker, 2011 .

Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, 2006, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

Christel Baier, Marta Z. Kwiatkowska, Gethin Norman, 1998, PROBMIV.

Marta Z. Kwiatkowska, Gethin Norman, Aleksandra Jovanovic, 2017, Theor. Comput. Sci..

Mieke Massink, Herbert Wiklicky, Gethin Norman, 2014, Theor. Comput. Sci..

Sandeep K. Shukla, Marta Z. Kwiatkowska, Gethin Norman, 2004, 17th International Conference on VLSI Design. Proceedings..

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, 2000, CONCUR.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, VMCAI.

Marta Z. Kwiatkowska, Gethin Norman, M. Kwiatkowska, 1996, MFCS.

Marta Kwiatkowska, Gethin Norman, David Parker, 2004 .

Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, 2006, TACAS.

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, 2002, PAPM-PROBMIV.

Alessandra Di Pierro, Gethin Norman, 2012, Theor. Comput. Sci..

Gabriel Santos, Gethin Norman, David Parker, 2020, ArXiv.

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 2000 .

Marta Kwiatkowska, Gethin Norman, David Parker, 2004 .

Hongyang Qu, Marta Z. Kwiatkowska, Gethin Norman, 2010, TACAS.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, PERV.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2012, Int. J. Comput. Their Appl..

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, 2003, Formal Aspects of Computing.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, QAPL.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2010, Formal Methods Syst. Des..

Maria Grazia Vigliotti, Marta Z. Kwiatkowska, Gethin Norman, 2009, Theoretical Computer Science.

Gethin Norman, David Parker, Xueyi Zou, 2017, Real-Time Systems.

Péter Biró, Gethin Norman, G. Norman, 2013, Int. J. Game Theory.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2006, QAPL.

William H. Sanders, Gethin Norman, G. Norman, 2014 .

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, 2001, CONCUR.

Marta Z. Kwiatkowska, Gethin Norman, M. Kwiatkowska, 1997, COMPROX.

Gethin Norman, Murray L. Ireland, Alice Miller, 2020, Formal Aspects of Computing.

Catuscia Palamidessi, Peng Wu, Gethin Norman, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2004, International Journal on Software Tools for Technology Transfer.

Sandor M. Veres, Gethin Norman, Murray L. Ireland, 2016, SPIN.

Marta Kwiatkowska, Gethin Norman, David Parker, 2019, The Art of Modelling Computational Systems.

Gabriel Santos, Gethin Norman, David Parker, 2020, QEST.

Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, 2004, TACAS.

Hongyang Qu, Marta Z. Kwiatkowska, Gethin Norman, 2011, TACAS.

Ashutosh Trivedi, Marta Z. Kwiatkowska, Gethin Norman, 2010, FORMATS.

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, 2007, Inf. Comput..

Jan J. M. M. Rutten, Prakash Panangaden, Marta Z. Kwiatkowska, 2004, CRM monograph series.

António Pacheco, Marta Z. Kwiatkowska, Gethin Norman, 2002, PAPM-PROBMIV.

Lijun Zhang, Gethin Norman, David Parker, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2009, FORMATS.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2012, Formal Aspects of Computing.

Catuscia Palamidessi, Peng Wu, Gethin Norman, 2009, IEEE Transactions on Software Engineering.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, Theor. Comput. Sci..

Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, 2006, International Journal on Software Tools for Technology Transfer.

Gethin Norman, Alice Miller, Ruth Hoffmann, 2018, NFM.

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, 2003, Formal Methods Syst. Des..

Prakash Panangaden, Marta Kwiatkowska, Franck van Breugel, 2004 .

Gabriel Santos, Marta Z. Kwiatkowska, Gethin Norman, 2018, FM.

Ron Poet, Gethin Norman, Md. Sadek Ferdous, 2014, SIN.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Gabriel Santos, Marta Z. Kwiatkowska, Gethin Norman, 2018, QEST.

Marta Kwiatkowska, Gethin Norman, David Parker, 2018 .

Marta Kwiatkowska, Gethin Norman, David Parker, 2009, Algorithmic Bioprocesses.

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 2000 .

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2007, SFM.

Gethin Norman, David Parker, Konstantinos Chatzikokolakis, 2009, FoSSaCS.

Vitaly Shmatikov, Gethin Norman, Vitaly Shmatikov, 2002, J. Comput. Secur..

Hongyang Qu, Marta Z. Kwiatkowska, Gethin Norman, 2013, Inf. Comput..

Ashutosh Trivedi, Marta Z. Kwiatkowska, Gethin Norman, 2016, Theor. Comput. Sci..

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, Theor. Comput. Sci..

Prakash Panangaden, Marta Kwiatkowska, Franck van Breugel, 2004 .

Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, 2005, FoSSaCS.

Gethin Norman, David Parker, Marta Kwiatkowska, 2020, Formal Methods in System Design.

Marta Kwiatkowska, Gethin Norman, David Parker, 2021, Annu. Rev. Control. Robotics Auton. Syst..

Marta Kwiatkowska, Gethin Norman, Gabriel Santos, 2022, TACAS.

Catuscia Palamidessi, Peng Wu, Gethin Norman, 2007 .

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 2003 .