A structural proof of the soundness of rely/guarantee rules JW Coleman, CB Jones Journal of Logic and Computation 17 (4), 807-841, 2007 | 97 | 2007 |
RODIN (rigorous open development environment for complex systems) J Coleman, C Jones, I Oliver, A Romanovsky, E Troubitsyna School of Computing Science Technical Report Series, 2005 | 42 | 2005 |
COMPASS tool vision for a system of systems collaborative development environment JW Coleman, AK Malmos, PG Larsen, J Peleska, R Hains, Z Andrews, ... 2012 7th International Conference on System of Systems Engineering (SoSE …, 2012 | 36 | 2012 |
Semantics of the VDM real-time dialect K Lausdahl, JW Coleman, PG Larsen and no.: Technical report ECE-TR-13, 65, 2013 | 20 | 2013 |
D3. 4b—co-simulation semantics JW Coleman, KG Lausdahl, PG Larsen The DESTECS Project (CNECT-ICT-248134), Tech. Rep., 2012 | 18 | 2012 |
Crescendo tool support: user manual PG Larsen, K Lausdahl, J Coleman, S Wolff, C Kleijn, F Groen Tech. Rep. TR-001, The Crescendo Initiative, 2013 | 17 | 2013 |
Examining BPEL's compensation construct J Coleman TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE …, 2005 | 16 | 2005 |
CML definition 0 J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ... Public Document. Deliverable, 3-1, 2012 | 14 | 2012 |
Examples of how to determine the specifications of control systems J Coleman, C Jones Technical Report Series-University of Newcastle Upon Tyne Computing Science …, 2005 | 12 | 2005 |
Guaranteeing the soundness of rely/guarantee rules JW Coleman, CB Jones School of Computing Science Technical Report Series, 2006 | 11 | 2006 |
Expression decomposition in a Rely/Guarantee context JW Coleman Verified Software: Theories, Tools, Experiments: Second International …, 2008 | 10 | 2008 |
A secure dynamic collaboration environment in a cloud context C Piechotta, MG Olsen, AE Jensen, JW Coleman, PG Larsen Future Generation Computer Systems 55, 165-175, 2016 | 9 | 2016 |
Evolution of the overture tool platform JW Coleman, AK Malmos, CB Nielsen, PG Larsen Nico Plat, Claus Ballegaard Nielsen and Steve Riddle (Eds.), 13, 2012 | 7 | 2012 |
Garanteeing the soundness of rely JW Coleman, CB Jones garantee rules. Technical Report Series CS-TR-955, Department of Computing …, 2006 | 5 | 2006 |
Migrating to an Extensible Architecture for Abstract Syntax Trees LD Couto, PWV Tran-Jørgensen, JW Coleman, K Lausdahl 2015 12th Working IEEE/IFIP Conference on Software Architecture, 145-154, 2015 | 4 | 2015 |
Rodin Deliverable D4: Traceable Requirements Document for Case Studies B Arief, J Coleman, A Hall, A Hilton, A Iliasov, I Johnson, C Jones, ... Project IST-511599, School of Computing Science, Newcastle University, 2005 | 4 | 2005 |
How paranoid are you?: Issues in location information of ambient systems B Arief, J Coleman, D Greathead CS-TR-1219, 2010 | 3 | 2010 |
Atomicity: A Unifying Concept in Computer Science. JW Coleman, CB Jones J. Univers. Comput. Sci. 13 (8), 1042-1043, 2007 | 3 | 2007 |
Determining the specification of a control system: an illustrative example JW Coleman Rigorous Development of Complex Fault-Tolerant Systems, 114-132, 2006 | 3 | 2006 |
A structural proof of the soundness of rely/guarantee rules (revised) JW Coleman, CB Jones School of Computing Science Technical Report Series, 2007 | 2 | 2007 |