Dr Kenneth PierceResearch Associate
Fitzgerald JS, Pierce KG, Larsen PG, Verhoef MHG. A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems .
Mathematical Structures in Computer Science 2012. In Press.
Fitzgerald JS, Larsen PG, Pierce KG, Verhoef MHG. A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems .1264 .
Jones CB, Pierce KG. Elucidating concurrent algorithms via layers of abstraction and reification .
Formal Aspects of Computing 2011, 23 (3), 289-306.
Andrews Z, Bryans J, Fitzgerald J, Hughes J, Payne R, Pierce K, Riddle S. Modelling and Refinement of the MONDEX Electronic Purse in VDM .1308 .
Pierce KG, Fitzgerald JS, Gamble C. Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co- model .
In: ERCIM/EWICS/Cyber-physical Systems Workshop at SafeComp . 2011, Naples, Italy.
Fitzgerald J, Gorm Larsen P, Pierce KG, Verhoef M, Wolff S. Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems .
Fitzgerald J, Larsen P, Pierce K, Verhoef M, Wolff S. Collaborative modelling and co-simulation in the development of dependable embedded systems .
In: Integrated Formal Methods: 8th International Conference (IFM) . 2010, Nancy, France: Springer.
Pierce K, Plat N, Wolff S. Proceedings of the 8th Overture Workshop .1224 .
Jones CB, Pierce KG. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification .
Jones CB, Pierce KG. What Can the pi-calculus Tell Us About the Mondex Purse System? .
Pierce KG. [PhD Thesis] Enhancing the Usability of Rely-Guarantee Conditions for Atomicity Refinement .
Jones CB, Pierce KG. Elucidating Concurrent Algorithms via Layers of Abstraction and Reification .
Jones CB, Pierce KG. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification .
In: Abstract State Machines, B and Z: First International Conference (ABZ 2008) .2008,London, UK:Springer-Verlag