Stephen Wynn-Williams

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Matlab Simulink

Change Impact Analysis

Real Time Image Processing

Top Venues

ESEC/SIGSOFT FSE

Publications

Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati
Change impact analysis in Simulink designs of embedded systems. ESEC/SIGSOFT FSE (2020)
Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati
SL2SF: Refactoring Simulink to Stateflow. FASE (2019)
Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford
Assurance via model transformations and their hierarchical refinement. MoDELS (2018)