Stephen C. Barrett

According to our database, Stephen C. Barrett authored at least 5 papers between 2009 and 2015.

Collaborative distances:

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

2015

Enabling Safe Interoperation by Medical Device Virtual Integration.

Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones

IEEE Des. Test, 2015

2014

Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling.

Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2011

Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador.

Stephen C. Barrett, Patrice Chalin, Greg Butler

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010

Mirador: a synthesis of model matching strategies.

Stephen C. Barrett, Greg Butler, Patrice Chalin

Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010

2009

Merging of Use Case Models: Semantic Foundations.

Stephen C. Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler

Proceedings of the TASE 2009, 2009