Concepedia

Steven Smyth

SS

5

Publications

199

Citations

5

H-Index

2014

Active since

Affiliations

Christian-Albrechts-Universität zu Kiel(Current)

University of Bamberg

Aalto University

University of Gothenburg

National Instruments (United States)

Steven Smyth is an author at Christian-Albrechts-Universität zu Kiel specializing in formal methods, computer science, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringSystem SoftwareProgram AnalysisSoftware AnalysisSoftware EngineeringVerification

Publications per year

2014–2017

5

Publications

5

Runtime Enforcement of Cyber-Physical Systems

Srinivas Pinisetty, Partha S. Roop, Steven Smyth et al. · ACM Transactions on Embedded Computing Systems · 2017 · 72 citations

Engineering, Information Security, Verification +20

SCCharts: sequentially constructive statecharts for safety-critical applications

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika et al. · 2014 · 47 citations

Safety Case, Engineering, Safety Science +24

SCCharts: sequentially constructive statecharts for safety-critical applications

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika et al. · ACM SIGPLAN Notices · 2014 · 41 citations

Safety Case, Engineering, Safety Science +24

Runtime enforcement of reactive systems using synchronous enforcers

Srinivas Pinisetty, Partha S. Roop, Steven Smyth et al. · 2017 · 28 citations

Engineering, Verification, Software Engineering +17

SCEst: Sequentially constructive esterel

Karsten Rathlev, Steven Smyth, Christian Motika et al. · 2015 · 11 citations

Rows per page

1–5 of 5