Joey W. Coleman

According to our database, Joey W. Coleman authored at least 8 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Migrating to an Extensible Architecture for Abstract Syntax Trees.

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl

Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015

2014

Semantics of Co-simulation.

Joey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the Collaborative Design for Embedded Systems, 2014

2013

A Secure Dynamic Collaboration Environment in a Cloud Context.

Chris Piechotta, Adam Enø Jensen, Martin Grooss Olsen, Joey W. Coleman, Peter Gorm Larsen

Proceedings of the CLOSER 2013, 2013

2012

COMPASS tool vision for a system of systems Collaborative Development Environment.

Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

2008

Expression Decomposition in a Rely/Guarantee Context.

Joey W. Coleman

Proceedings of the Verified Software: Theories, 2008

2007

A Structural Proof of the Soundness of Rely/guarantee Rules.

Joey W. Coleman, Cliff B. Jones

J. Log. Comput., 2007

Atomicity: A Unifying Concept in Computer Science.

Joey W. Coleman, Cliff B. Jones

J. Univers. Comput. Sci., 2007

2006

Determining the Specification of a Control System: An Illustrative Example.

Joey W. Coleman

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006