Steven Smyth

32 papers A* 1A 1C 5Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
A Case-Study on Structured Modeling with Internal Domain-Specific Languages.
The Combined Power of Research, Education, and Dissemination
Steven Smyth, Tim Tegeler, Daniel Busch, Steve Boßelmann
2025 J jnl
AI-Assisted Modeling: DSL-Driven AI Interactions.
CoRR
Steven Smyth, Daniel Busch, Moez Ben Haj Hmida, Edward A. Lee, Bernhard Steffen
2025 J jnl
LLM-based code generation and system migration in language-driven engineering.
Int. J. Softw. Tools Technol. Transf.
Daniel Busch, Alexander Bainczyk, Steven Smyth, Bernhard Steffen
2024 — conf
Code-Centric Code Generation.
ISoLA (1)
Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen
2024 J jnl
From Lustre to Graphical Models and SCCharts.
ACM Trans. Embed. Comput. Syst.
Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet
2024 J jnl
Language-Driven Engineering An Interdisciplinary Software Development Paradigm.
CoRR
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
2024 C conf
Pragmatic Action Charts.
MEMOCODE
Steven Smyth
2024 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sven Jörges, Salim Saay, Steven Smyth
2022 — conf
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction).
ISoLA (2)
Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen
2022 — conf
Executable Documentation: From Documentation Languages to Purpose-Specific Languages.
ISoLA (2)
Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen
2022 — conf
Executable Documentation: Test-First in Action.
ISoLA (2)
Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen
2022 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sven Jörges, Salim Saay, Steven Smyth
2021 C conf
Extracting Interactive Actor-Based Dataflow Models from Legacy C Code.
Diagrams
Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden
2021 — —
Interactive Model-Based Compilation: A Modeller-Driven Development Approach.
Steven Smyth
2021 J jnl
Toward Object-oriented Modeling in SCCharts.
ACM Trans. Embed. Comput. Syst.
Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler
2020 C conf
From Lustre to Graphical Models and SCCharts.
FDL
Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet
2019 A conf
Practical Causality Handling for Synchronous Languages.
DATE
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
2019 C conf
Towards Object-Oriented Modeling in SCCharts.
FDL
Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler
2018 — conf
Augmenting State Models with Data Flow.
Principles of Modeling
Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden
2018 — conf
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel.
ACSD
Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler
2018 J jnl
SCEst: Sequentially Constructive Esterel.
ACM Trans. Embed. Comput. Syst.
Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler
2018 — conf
Synthesizing manually verifiable code for statecharts.
REBLS@SPLASH
Steven Smyth, Christian Motika, Reinhard von Hanxleden
2018 — conf
Towards Interactive Compilation Models.
ISoLA (1)
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
2017 J jnl
Model Extraction of Legacy C Code in SCCharts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Steven Smyth, Stephan Lenga, Reinhard von Hanxleden
2017 J jnl
Runtime Enforcement of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
2017 — conf
Runtime enforcement of reactive systems using synchronous enforcers.
SPIN
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
2016 — conf
Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts.
ISoLA (2)
Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
2016 J jnl
Runtime enforcement of reactive systems using synchronous enforcers.
CoRR
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
2015 C conf
SCEst: Sequentially constructive esterel.
MEMOCODE
Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler
2015 — conf
Sequential Constructiveness, SCCharts for Safety-Critical Applications.
Software Engineering & Management
Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien
2014 — conf
Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation.
ISoLA (1)
Christian Motika, Steven Smyth, Reinhard von Hanxleden
2014 A* conf
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.
PLDI
Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien