| SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts R Von Hanxleden, B Duderstadt, C Motika, S Smyth, M Mendler, ... Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 147 | 2014 |
| Runtime enforcement of cyber-physical systems S Pinisetty, PS Roop, S Smyth, N Allen, S Tripakis, RV Hanxleden ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-25, 2017 | 56 | 2017 |
| Compiling SCCharts—A case-study on interactive model-based compilation C Motika, S Smyth, R Hanxleden International Symposium On Leveraging Applications of Formal Methods …, 2014 | 35 | 2014 |
| Runtime enforcement of reactive systems using synchronous enforcers S Pinisetty, PS Roop, S Smyth, S Tripakis, R Hanxleden Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 29 | 2017 |
| SCEst: sequentially constructive esterel S Smyth, C Motika, K Rathlev, RV Hanxleden, M Mendler ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-26, 2017 | 28 | 2017 |
| Towards interactive compilation models S Smyth, A Schulz-Rosengarten, R Hanxleden International Symposium on Leveraging Applications of Formal Methods, 246-260, 2018 | 15 | 2018 |
| Interactive model-based compilation continued–incremental hardware synthesis for SCCharts F Rybicki, S Smyth, C Motika, A Schulz-Rosengarten, R Hanxleden International Symposium on Leveraging Applications of Formal Methods, 150-170, 2016 | 15 | 2016 |
| Practical causality handling for synchronous languages S Smyth, A Schulz-Rosengarten, R von Hanxleden 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019 | 9 | 2019 |
| Augmenting state models with data flow N Wechselberg, A Schulz-Rosengarten, S Smyth, R Hanxleden Principles of Modeling, 504-523, 2018 | 9 | 2018 |
| Towards interactive timing analysis for designing reactive systems I Fuhrmann, D Broman, S Smyth, R Hanxleden CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2014 | 9 | 2014 |
| Model extraction for legacy C programs with SCCharts S Smyth, S Lenga, R von Hanxleden Proceedings of the 7th International Symposium on Leveraging Applications of …, 2016 | 8 | 2016 |
| Toward Object-oriented Modeling in SCCharts A Schulz-Rosengarten, S Smyth, M Mendler ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-26, 2021 | 7 | 2021 |
| From Lustre to Graphical Models and SCCharts L Grimm, S Smyth, A Schulz-Rosengarten, R Hanxleden, M Pouzet ACM Transactions on Embedded Computing Systems (TECS), 2020 | 7 | 2020 |
| Guidance in model-based compilations S Smyth, A Schulz-Rosengarten, R von Hanxleden Electronic Communications of the EASST 78, 2020 | 6 | 2020 |
| Synthesizing manually verifiable code for statecharts S Smyth, C Motika, R von Hanxleden Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and …, 2018 | 6 | 2018 |
| SCCharts: the railway project report S Smyth, C Motika, A Schulz-Rosengarten, N Wechselberg, C Sprung, ... | 6 | 2015 |
| On reconciling concurrency, sequentiality and determinacy for reactive systems—A sequentially constructive circuit semantics for Esterel A Schulz-Rosengarten, S Smyth, R von Hanxleden, M Mendler 2018 18th International Conference on Application of Concurrency to System …, 2018 | 5 | 2018 |
| A sequentially constructive circuit semantics for Esterel A Schulz-Rosengarten, S Smyth, R von Hanxleden, M Mendler | 5 | 2018 |
| SCCharts: The Mindstorms Report S Smyth, C Motika, A Schulz-Rosengarten, S Domrös, L Grimm, A Stange, ... | 4 | 2019 |
| Code generation for sequential constructiveness S Smyth, R von Hanxleden Diploma thesis, Kiel University, Department of Computer Science, 2013 | 4 | 2013 |
