Kerstin Eder

James Pallister , Steve Kerrison , Jeremy Morse , Kerstin Eder
Computing Research Repository, arXiv

Kyriakos Georgiou , Steve Kerrison , Kerstin Eder
arXiv preprint arXiv:1510.07095

Neville Grech , Kyriakos Georgiou , James Pallister , Steve Kerrison
Computing Research Repository, arXiv 1 -12

Kyriakos Georgiou , Steve Kerrison , Kerstin Eder
Technical Report CSTR-14-003, University of Bristol

Steve Kerrison , Kerstin Eder
arXiv preprint arXiv:1509.02830

Steve Kerrison , Kerstin Eder
arXiv preprint arXiv:1503.05733

James Pallister , Steve Kerrison , Jeremy Morse , Kerstin Eder
Power 224 ( 240) 256 -256

Kerstin Eder , Steve Kerrison , John Gallagher23 , Pedro López-García34

Matt Webster , David Western , Dejanira Araiza-Illan , Clare Dixon
The International Journal of Robotics Research

Satragni Sarkar , Dejanira Araiza-Illan , Kerstin Eder
arXiv preprint arXiv:1703.02335

Charalambos Ioannides , Geoff Barrett , Kerstin Eder
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers 6 112 -128

Kyriakos Georgiou , Zbigniew Chamski , Andres Amaya Garcia , David May
The Computer Journal 65 ( 3) 718 -735

Christopher Harper , Greg Chance , Abanoub Ghobrial , Saquib Alam
arXiv preprint arXiv:2111.04611

Suleiman Abu Kharmeh , Kerstin Eder , David May
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings 9 335 -351

Craig Blackmore , Oliver Ray , Kerstin Eder
arXiv preprint arXiv:1703.08228

Dejanira Araiza-Illan , Anthony G Pipe , Kerstin Eder
arXiv preprint arXiv:1609.08439

Craig Blackmore , Oliver Ray , Kerstin Eder
arXiv preprint arXiv:1703.08228

Jeremy Morse , Dejanira Araiza-Illan , Jonathan Lawry , Arthur Richards
arXiv preprint arXiv:1603.01082

Dejanira Araiza-Illan , Tony Pipe , Kerstin Eder
arXiv preprint arXiv:1603.00656

Fangfang Yuan , Kerstin Eder
Technical Report CSTR-09-006