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
922007
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
372005
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
332012
Semantics of the VDM real-time dialect
K Lausdahl, JW Coleman, PG Larsen
and no.: Technical report ECE-TR-13, 65, 2013
202013
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, 2012
142012
Examining BPEL's compensation construct
J Coleman
TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE …, 2005
142005
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
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
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
72012
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
N Shankar, J Woodcock
Springer, 2008
72008
Guaranteeing the soundness of rely
JW Coleman, CB Jones
garantee rules. Technical Report Series CS-TR-955, Department of Computing …, 2006
62006
Guaranteeing the soundness of rely/guarantee rules
JW Coleman, CB Jones
TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE 955, 2006
62006
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
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