Joey W. Coleman
Joey W. Coleman
Independent/Kira Fellow, Kira Systems
Adresse e-mail validée de acm.org
Titre
Citée par
Citée par
Année
A structural proof of the soundness of rely/guarantee rules
JW Coleman, CB Jones
Journal of Logic and Computation 17 (4), 807-841, 2007
932007
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
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
322012
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
Garanteeing 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
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
Determining the specification of a control system: an illustrative example
JW Coleman
Rigorous Development of Complex Fault-Tolerant Systems, 114-132, 2006
32006
A structural proof of the soundness of rely/guarantee rules (revised)
JW Coleman, CB Jones
School of Computing Science Technical Report Series, 2007
22007
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20