Steven Smyth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
7
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISoLA | Code-Centric Code Generation. | Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen |
| 2024 | MEMOCODE | Pragmatic Action Charts. | Steven Smyth |
| 2022 | ISoLA | Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). | Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen |
| 2022 | ISoLA | Executable Documentation: Test-First in Action. | Steven Smyth, Jette Petzold, Jonas Schrmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen |
| 2022 | ISoLA | Executable Documentation: From Documentation Languages to Purpose-Specific Languages. | Tim Tegeler, Steve Boelmann, Jonas Schrmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen |
| 2021 | DIAGRAMS | Extracting Interactive Actor-Based Dataflow Models from Legacy C Code. | Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden |
| 2020 | FDL | From Lustre to Graphical Models and SCCharts. | Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet |
| 2019 | DATE | Practical Causality Handling for Synchronous Languages. | Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2019 | FDL | Towards Object-Oriented Modeling in SCCharts. | Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler |
| 2018 | ISoLA | Towards Interactive Compilation Models. | Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2018 | OOPSLA | Synthesizing manually verifiable code for statecharts. | Steven Smyth, Christian Motika, Reinhard von Hanxleden |
| 2016 | ISoLA | Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. | Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2015 | MEMOCODE | SCEst: Sequentially constructive esterel. | Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler |
| 2014 | ISoLA | Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. | Christian Motika, Steven Smyth, Reinhard von Hanxleden |
| 2014 | PLDI | SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. | Reinhard von Hanxleden, Bjrn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaqun Aguado, Stephen Mercer, Owen O'Brien |