Steven Smyth

According to our database, Steven Smyth authored at least 23 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Language-Driven Engineering An Interdisciplinary Software Development Paradigm.

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

CoRR, 2024

2022

Preface.

Sven Jörges, Salim Saay, Steven Smyth

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

Executable Documentation: From Documentation Languages to Purpose-Specific Languages.

Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Executable Documentation: Test-First in Action.

Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

Interactive Model-Based Compilation: A Modeller-Driven Development Approach.

Steven Smyth

PhD thesis, 2021

Toward Object-oriented Modeling in SCCharts.

Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler

ACM Trans. Embed. Comput. Syst., 2021

Extracting Interactive Actor-Based Dataflow Models from Legacy C Code.

Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden

Proceedings of the Diagrammatic Representation and Inference, 2021

2020

From Lustre to Graphical Models and SCCharts.

Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet

Proceedings of the Forum for Specification and Design Languages, 2020

2019

Towards Object-Oriented Modeling in SCCharts.

Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Practical Causality Handling for Synchronous Languages.

Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

SCEst: Sequentially Constructive Esterel.

Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler

ACM Trans. Embed. Comput. Syst., 2018

Synthesizing manually verifiable code for statecharts.

Steven Smyth, Christian Motika, Reinhard von Hanxleden

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

Towards Interactive Compilation Models.

Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Augmenting State Models with Data Flow.

Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden

Proceedings of the Principles of Modeling, 2018

On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel.

Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Runtime Enforcement of Cyber-Physical Systems.

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden

ACM Trans. Embed. Comput. Syst., 2017

Model Extraction of Legacy C Code in SCCharts.

Steven Smyth, Stephan Lenga, Reinhard von Hanxleden

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

Runtime enforcement of reactive systems using synchronous enforcers.

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts.

Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Sequential Constructiveness, SCCharts for Safety-Critical Applications.

Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation.

Christian Motika, Steven Smyth, Reinhard von Hanxleden

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014