Stephen Wynn-Williams

According to our database, Stephen Wynn-Williams authored at least 3 papers between 2018 and 2020.

Collaborative distances:

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

2020

Change impact analysis in Simulink designs of embedded systems.

Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

SL2SF: Refactoring Simulink to Stateflow.

Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Assurance via model transformations and their hierarchical refinement.

Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018