Joey W. Coleman

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

Collaborative distances:

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

2016

A secure dynamic collaboration environment in a cloud context.

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

Future Gener. Comput. Syst., 2016

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

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