Volgen
Joey W. Coleman
Joey W. Coleman
Independent/Kira Fellow, Kira Systems
Geverifieerd e-mailadres voor acm.org
Titel
Geciteerd door
Geciteerd door
Jaar
A structural proof of the soundness of rely/guarantee rules
JW Coleman, CB Jones
Journal of Logic and Computation 17 (4), 807-841, 2007
972007
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
422005
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
362012
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), Tech. Rep., 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
Examining BPEL's compensation construct
J Coleman
TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE …, 2005
162005
CML definition 0
J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ...
Public Document. Deliverable, 3-1, 2012
142012
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
122005
Guaranteeing the soundness of rely/guarantee rules
JW Coleman, CB Jones
School of Computing Science Technical Report Series, 2006
112006
Expression decomposition in a Rely/Guarantee context
JW Coleman
Verified Software: Theories, Tools, Experiments: Second International …, 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
92016
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
52006
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
42015
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
CS-TR-1219, 2010
32010
Atomicity: A Unifying Concept in Computer Science.
JW Coleman, CB Jones
J. Univers. Comput. Sci. 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20