2008 |
20 | EE | Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Reprised.
ABZ 2008: 223-236 |
2007 |
19 | EE | Edward Chan,
Ken Robinson,
Brett Welch:
Patterns for B: Bridging Formal and Informal Development.
B 2007: 125-139 |
2006 |
18 | EE | Steve Schneider,
Thai Son Hoang,
Ken Robinson,
Helen Treharne:
Tank monitoring: a pAMN case study.
Formal Asp. Comput. 18(3): 308-328 (2006) |
2005 |
17 | EE | John Risson,
Ken Robinson,
Tim Moors:
Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays.
LCN 2005: 18-25 |
16 | EE | Thai Son Hoang,
Zhendong Jin,
Ken Robinson,
Annabelle McIver,
Carroll Morgan:
Development via Refinement in Probabilistic B - Foundation and Case Study.
ZB 2005: 355-373 |
15 | EE | Steve A. Schneider,
Thai Son Hoang,
Ken Robinson,
Helen Treharne:
Tank Monitoring: A pAMN Case Study.
Electr. Notes Theor. Comput. Sci. 137(2): 183-204 (2005) |
2004 |
14 | EE | Ken Robinson:
Embedding Formal Development in Software Engineering.
TFM 2004: 203-213 |
2003 |
13 | EE | Thai Son Hoang,
Zhendong Jin,
Ken Robinson,
Annabelle McIver,
Carroll Morgan:
Probabilistic Invariants for Probabilistic Machines.
ZB 2003: 240-259 |
2002 |
12 | | Didier Bert,
Jonathan P. Bowen,
Martin C. Henson,
Ken Robinson:
ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings
Springer 2002 |
2000 |
11 | EE | Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Using the B Method.
ZB 2000: 95-106 |
1998 |
10 | EE | Ken Robinson:
Where are we? The year 2000 and computer science.
ACSE 1998: 112 |
1997 |
9 | | Martin de Groot,
Ken Robinson:
Modular Refinement and Model Building.
AMAST 1997: 155-169 |
8 | | Ken Robinson:
The B Method and the B Toolkit.
AMAST 1997: 576-580 |
7 | | Kenneth Arthur Robinson:
Computer science education at the cross-roads.
Informatics in Higher Education 1997: 120-126 |
6 | | Helen Geissinger,
P. Ho,
Kenneth Arthur Robinson:
Informatics: the core and the presentation.
Informatics in Higher Education 1997: 54-63 |
1996 |
5 | EE | Ken Robinson,
Peter S. Ho,
Martin Schwenke:
To Zed and back: integrating data flow diagrams and Z.
ACSE 1996: 127-134 |
1994 |
4 | EE | Harold Stanislaw,
Beryl Hesketh,
Sylvia Kanavaros,
Tim Hesketh,
Ken Robinson:
A note on the quantification of computer programming skill.
Int. J. Hum.-Comput. Stud. 41(3): 351-362 (1994) |
1993 |
3 | | Tim Lambert,
Peter Lindsay,
Ken Robinson:
Using Miranda as a First Programming Language.
J. Funct. Program. 3(1): 5-34 (1993) |
1992 |
2 | | Mark Utting,
Ken Robinson:
Modular Reasoning in an Object-Oriented Refinement Calculus.
MPC 1992: 344-367 |
1979 |
1 | | Ken Robinson:
The Design of a Successor to Pascal.
Language Design and Programming Methodology 1979: 151-168 |