Steven Smyth

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 20

Top Topics

Software Engineering

Reactive Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff
Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR (2024)
Sven Jörges, Salim Saay, Steven Smyth
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022)
Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen
Executable Documentation: Test-First in Action. ISoLA (2) (2022)
Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen
Executable Documentation: From Documentation Languages to Purpose-Specific Languages. ISoLA (2) (2022)
Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). ISoLA (2) (2022)
Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler
Toward Object-oriented Modeling in SCCharts. ACM Trans. Embed. Comput. Syst. 20 (4) (2021)
Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden
Extracting Interactive Actor-Based Dataflow Models from Legacy C Code. Diagrams (2021)
Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet
From Lustre to Graphical Models and SCCharts. FDL (2020)
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
Practical Causality Handling for Synchronous Languages. DATE (2019)
Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler
Towards Object-Oriented Modeling in SCCharts. FDL (2019)
Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. ACSD (2018)
Steven Smyth, Christian Motika, Reinhard von Hanxleden
Synthesizing manually verifiable code for statecharts. REBLS@SPLASH (2018)
Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden
Augmenting State Models with Data Flow. Principles of Modeling (2018)
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
Towards Interactive Compilation Models. ISoLA (1) (2018)
Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler
SCEst: Sequentially Constructive Esterel. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Steven Smyth, Stephan Lenga, Reinhard von Hanxleden
Model Extraction of Legacy C Code in SCCharts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. SPIN (2017)
Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. ISoLA (2) (2016)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. CoRR (2016)
Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien
Sequential Constructiveness, SCCharts for Safety-Critical Applications. Software Engineering & Management (2015)
Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler
SCEst: Sequentially constructive esterel. MEMOCODE (2015)
Christian Motika, Steven Smyth, Reinhard von Hanxleden
Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. ISoLA (1) (2014)
Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. PLDI (2014)