Joey W. Coleman

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
A secure dynamic collaboration environment in a cloud context.
Future Generation Comp. Syst., 2016

2015
Migrating to an Extensible Architecture for Abstract Syntax Trees.
Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015

2014
Semantics of Co-simulation.
Proceedings of the Collaborative Design for Embedded Systems, 2014

2013
A Secure Dynamic Collaboration Environment in a Cloud Context.
Proceedings of the CLOSER 2013, 2013

2012
COMPASS tool vision for a system of systems Collaborative Development Environment.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

2008
Expression Decomposition in a Rely/Guarantee Context.
Proceedings of the Verified Software: Theories, 2008

2007
A Structural Proof of the Soundness of Rely/guarantee Rules.
J. Log. Comput., 2007

Atomicity: A Unifying Concept in Computer Science.
J. UCS, 2007

2006
Determining the Specification of a Control System: An Illustrative Example.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006


  Loading...