Joey W. Coleman
Joey W. Coleman
Independent/Kira Fellow, Kira Systems
Verified email at acm.org
Title
Cited by
Cited by
Year
A structural proof of the soundness of rely/guarantee rules
JW Coleman, CB Jones
Journal of Logic and Computation 17 (4), 807-841, 2007
842007
RODIN (rigorous open development environment for complex systems)
J Coleman, C Jones, I Oliver, A Romanovsky, E Troubitsyna
Fifth European Dependable Computing Conference: EDCC-5 supplementary volume …, 2005
352005
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
312012
Semantics of the VDM real-time dialect
K Lausdahl, JW Coleman, PG Larsen
and no.: Technical report ECE-TR-13, 65, 2013
192013
D3. 4b—co-simulation semantics
JW Coleman, KG Lausdahl, PG Larsen
The DESTECS Project (CNECT-ICT-248134), 2012
182012
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
172013
CML definition 0
J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ...
Public Document. Deliverable, 3-1, 2013
132013
Examining BPEL's compensation construct
J Coleman
TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE …, 2005
132005
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
112005
Expression decomposition in a rely/guarantee context
JW Coleman
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2008
102008
Guaranteeing the soundness of rely/guarantee rules
JW Coleman, CB Jones
TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE 955, 2006
92006
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
72016
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
N Shankar, J Woodcock
Springer, 2008
72008
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
62012
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
52015
Guaranteeing the soundness of rely
JW Coleman, CB Jones
guarantee rules. Technical Report CS-TR-955, School of Computing Science …, 2006
52006
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
42005
Secure dynamic cloud-based collaboration with hierarchical access
C Piechotta, AE Jensen, MG Olsen
Technical Report Electronics and Computer Engineering 1 (8), 2012
32012
How paranoid are you?: Issues in location information of ambient systems
B Arief, J Coleman, D Greathead
School of Computing Science Technical Report Series, 2010
32010
Atomicity: A Unifying Concept in Computer Science Papers from Dagstuhl Seminar 06121 J. UCS Special Issue
JW Coleman, CB Jones
Journal of Universal Computer Science 13 (8), 1042-1043, 2007
32007
The system can't perform the operation now. Try again later.
Articles 1–20