More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Steven Smyth

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/SmythTBB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/SmythTBB25
Steven Smyth, Tim Tegeler, Daniel Busch, Steve Boßelmann:
A Case-Study on Structured Modeling with Internal Domain-Specific Languages. The Combined Power of Research, Education, and Dissemination 2025: 118-128
2024
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/GrimmSSHP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/GrimmSSHP24
Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet:
From Lustre to Graphical Models and SCCharts. ACM Trans. Embed. Comput. Syst. 23(5): 66:1-66:28 (2024)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BuschSTS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BuschSTS24
Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen:
Code-Centric Code Generation. ISoLA (1) 2024: 340-355
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Smyth24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Smyth24
Steven Smyth:
Pragmatic Action Charts. MEMOCODE 2024: 119-123
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-10684
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-10684
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 abs/2402.10684 (2024)
2022
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/JorgesSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/JorgesSS22
Sven Jörges, Salim Saay, Steven Smyth:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HavelundTSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HavelundTSS22
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: 3-9
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SmythPSKMHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SmythPSKMHS22
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: 135-156
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/TegelerBSSTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/TegelerBSSTS22
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: 174-192
2021
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Smyth21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Smyth21
Steven Smyth:
Interactive Model-Based Compilation: A Modeller-Driven Development Approach. University of Kiel, Germany, 2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/Schulz-Rosengarten21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/Schulz-Rosengarten21
Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler:
Toward Object-oriented Modeling in SCCharts. ACM Trans. Embed. Comput. Syst. 20(4): 37:1-37:26 (2021)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/RentzSAH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/RentzSAH21
Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden:
Extracting Interactive Actor-Based Dataflow Models from Legacy C Code. Diagrams 2021: 361-377
2020
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/GrimmSSHP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/GrimmSSHP20
Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet:
From Lustre to Graphical Models and SCCharts. FDL 2020: 1-8

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SmythSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SmythSH19
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
Practical Causality Handling for Synchronous Languages. DATE 2019: 1281-1284
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/Schulz-Rosengarten19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/Schulz-Rosengarten19
Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler:
Towards Object-Oriented Modeling in SCCharts. FDL 2019: 1-8
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/SmythMRHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/SmythMRHM18
Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler:
SCEst: Sequentially Constructive Esterel. ACM Trans. Embed. Comput. Syst. 17(2): 33:1-33:26 (2018)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/Schulz-Rosengarten18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/Schulz-Rosengarten18
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: 95-104
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/WechselbergSSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/WechselbergSSH18
Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden:
Augmenting State Models with Data Flow. Principles of Modeling 2018: 504-523
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SmythSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SmythSH18
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
Towards Interactive Compilation Models. ISoLA (1) 2018: 246-260
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/SmythMH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SmythMH18
Steven Smyth, Christian Motika, Reinhard von Hanxleden:
Synthesizing manually verifiable code for statecharts. REBLS@SPLASH 2018: 1-10
2017
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SmythLH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SmythLH17
Steven Smyth, Stephan Lenga, Reinhard von Hanxleden:
Model Extraction of Legacy C Code in SCCharts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/PinisettyRSATH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/PinisettyRSATH17
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): 178:1-178:25 (2017)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/PinisettyRSTH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/PinisettyRSTH17
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. SPIN 2017: 80-89
2016
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/RybickiSMSH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/RybickiSMSH16
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: 150-170
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/PinisettyRSTH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PinisettyRSTH16
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. CoRR abs/1612.05030 (2016)
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/RathlevSMHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/RathlevSMHM15
Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler:
SCEst: Sequentially constructive esterel. MEMOCODE 2015: 10-19
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/se/HanxledenDFMSMA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/HanxledenDFMSMA15
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: 116-117
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/MotikaSH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/MotikaSH14
Christian Motika, Steven Smyth, Reinhard von Hanxleden:
Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. ISoLA (1) 2014: 461-480
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HanxledenDMSMAMO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HanxledenDMSMAMO14
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: 372-383

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.