( en | de | ru )

 

Disambiguation of "Smyth, Steven"

Author of the publication

copydeleteadd this publication to your clipboard
SCEst: Sequentially constructive esterel.

, , , , and . MEMOCODE, page 10-19. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ben Smyth

Maureen Smyth

Michael Smyth

Padhraic Smyth

Adolf Steven

 

Other publications of authors with the same name

Model Extraction of Legacy C Code in SCCharts., , and . ECEASST, (2017)Towards Interactive Compilation Models., , and . ISoLA (1), volume 11244 of Lecture Notes in Computer Science, page 246-260. Springer, (2018)Augmenting State Models with Data Flow., , , and . Principles of Modeling, volume 10760 of Lecture Notes in Computer Science, page 504-523. Springer, (2018)Practical Causality Handling for Synchronous Languages., , and . DATE, page 1281-1284. IEEE, (2019)Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)., , , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 3-9. Springer, (2022)Towards Object-Oriented Modeling in SCCharts., , and . FDL, page 1-8. IEEE, (2019)On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel., , , and . ACSD, page 95-104. IEEE Computer Society, (2018)Executable Documentation: Test-First in Action., , , , , , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 135-156. Springer, (2022)Runtime Enforcement of Cyber-Physical Systems., , , , , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 178:1-178:25 (2017)From Lustre to Graphical Models and SCCharts., , , , and . FDL, page 1-8. IEEE, (2020)