2019
Steven Smyth and Sören Domrös and Reinhard von Hanxleden. A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts. Technical Report 1905, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, December 2019. ISSN 2192-6247.  pdfbib
 
Steven Smyth and Christian Motika and Alexander Schulz-Rosengarten and Sören Domrös and Lena Grimm and Andreas Stange and Reinhard von Hanxleden. SCCharts: The Mindstorms Report. Technical Report 1904, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, December 2019. ISSN 2192-6247.  pdfbib
 
Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Practical Causality Handling for Synchronous Languages. In Proc. Design, Automation and Test in Europe Conference (DATE ’19), Florence, Italy, March 2019. IEEE.  With accompanying poster pdfbib
 
Steven Smyth and Alexander Schulz-Rosengarten and Christian Motika and Reinhard von Hanxleden. The KIELER SCCharts Editor—A Modular Open-Source Modeling Suite with Automatic Diagram Synthesis. In Proceedings of the Design, Automation and Test in Europe University Booth (DATE ’19), Florence, Italy, March 2019.  With accompanying poster pdfbib
 
Alexander Schulz-Rosengarten and Steven Smyth and Michael Mendler. Towards Object-Oriented Modeling in SCCharts. In Proc. Forum on Specification and Design Languages (FDL ’19), Southampton, UK, September 2019.  pdfbib
 
Monty Santarossa and Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Using SCCharts Models in Simulink to Model an Electric Control Unit. Technical Report 1903, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2019. ISSN 2192-6247.  pdfbib
 
2018
Nis Wechselberg and Alexander Schulz-Rosengarten and Steven Smyth and Reinhard von Hanxleden. Augmenting State Models with Data Flow. In Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, LNCS 11200, page 504–523, 2018. Springer International Publishing.  pdfbib
 
Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Guidance in Model-based Compilations. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA ’18), Doctoral Symposium, volume 78 of Electronic Communications of the EASST, Limassol, Cyprus, November 2018.  pdfbib
 
Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Practical Causality Handling for Synchronous Languages. Technical Report 1808, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, December 2018. ISSN 2192-6247.  pdfbib
 
Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Towards Interactive Compilation Models. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), volume 11244 of LNCS, page 246–260, Limassol, Cyprus, November 2018. Springer.  pdfbib
 
Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Watch Your Compiler Work — Compiler Models and Environments. Technical Report 1806, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2018. ISSN 2192-6247.  pdfbib
 
Steven Smyth and Christian Motika and Reinhard von Hanxleden. Synthesizing Manually Verifiable Code for Statecharts. In Proc. Reactive and Event-based Languages & Systems (REBLS ’18), Workshop at the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Boston, MA, USA, November 2018.  pdfbib
 
Alexander Schulz-Rosengarten and Steven Smyth and Reinhard von Hanxleden and Michael Mendler. On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems — A Sequentially Constructive Circuit Semantics for Esterel. In 2018 18th International Conference on Application of Concurrency to System Design (ACSD), page 95-104, June 2018.  pdfbib
 
Alexander Schulz-Rosengarten and Steven Smyth and Reinhard von Hanxleden and Michael Mendler. A Sequentially Constructive Circuit Semantics for Esterel. Technical Report 1801, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, February 2018. ISSN 2192-6247.  pdfbib
 
2017
Steven Smyth and Christian Motika and Karsten Rathlev and Reinhard von Hanxleden and Michael Mendler. SCEst: Sequentially Constructive Esterel. ACM Transactions on Embedded Computing Systems (TECS)—Special Issue on MEMOCODE 2015, 17(2):33:1–33:26, December 2017.  pdfbib
 
Srinivas Pinisetty and Partha Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden. Runtime Enforcement of Reactive Systems using Synchronous Enforcers. In Proc. International SPIN Symposium on Model Checking of Software (SPIN ’17), Santa Barbara, CA, USA, July13–14 2017.  pdfbib
 
Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden. Runtime Enforcement of Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems, Special Issue for ESWEEK/EMSOFT ’17, 16(5s):178:1–178:25, 2017.  pdfbib
 
Reinhard von Hanxleden and Michael Mendler and Christian Motika and Christoph Daniel Schulze and Steven Smyth. SCCharts, KIELER and the Eclipse Layout Kernel—Statecharts for Safety-Critical Applications and a Pragmatics-Aware Modeling Environment. In Proceedings of the Design, Automation and Test in Europe University Booth (DATE ’17), Lausanne, Switzerland, March 2017.  With accompanying poster pdfbib
 
2016
Steven Smyth and Stephan Lenga and Reinhard von Hanxleden. Model Extraction for Legacy C Programs with SCCharts. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA ’16), Doctoral Symposium, volume 74 of Electronic Communications of the EASST, Corfu, Greece, October 2016. With accompanying poster.  pdfbib
 
Francesca Rybicki and Steven Smyth and Christian Motika and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Interactive Model-Based Compilation Continued – Interactive Incremental Hardware Synthesis for SCCharts. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), volume 9953 of LNCS, page 150–170, Corfu, Greece, October 2016.  The original publication is available at http://link.springer.compdfbib
 
Srinivas Pinisetty and Partha Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden. Runtime enforcement of reactive systems using synchronous enforcers. ArXiv e-prints, December 2016. URL: \biburlbib
 
Srinivas Pinisetty and Partha Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden. Runtime Enforcement of Reactive Systems using Synchronous Enforcers. Presentation performed at the 23th International Open Workshop on Synchronous Programming (SYNCHRON ’16), Bamberg, Germany, December 2016.  bib
 
Christian Motika and Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. KIELER SCCharts Tutorial. Interactive Tutorial performed at the 23th International Open Workshop on Synchronous Programming (SYNCHRON ’16), Bamberg, Germany, December 2016.  pdftalkbib
 
2015
Steven Smyth and Christian Motika and Reinhard von Hanxleden. A Data-Flow Approach for Compiling the Sequentially Constructive Language (SCL). In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015), Pörtschach, Austria, 5-7 October 2015.  pdfbib
 
Steven Smyth and Christian Motika and Alexander Schulz-Rosengarten and Nis Boerge Wechselberg and Carsten Sprung and Reinhard von Hanxleden. SCCharts: The Railway Project Report. Technical Report 1510, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, August 2015. ISSN 2192-6247.  pdfbib
 
Karsten Rathlev and Steven Smyth and Christian Motika and Reinhard von Hanxleden and Michael Mendler. SCEst: Sequentially Constructive Esterel. In Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE ’15), Austin, TX, USA, September 2015.  pdfbib
 
Christian Motika and Steven Smyth. Updates on SCCharts. Presentation at the 22th International Open Workshop on Synchronous Programming (SYNCHRON ’15), Kiel, Germany, December 2015.  talkbib
 
2014
Christian Motika and Steven Smyth and Reinhard von Hanxleden. Compiling SCCharts—A Case-Study on Interactive Model-Based Compilation. In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), volume 8802 of LNCS, page 461–480, Corfu, Greece, October 2014.  The original publication is available at http://link.springer.compdfbib
 
Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’14), page 372–383, Edinburgh, UK, June 2014. ACM.  pdftalkbib
 
Fuhrmann, Insa and Broman, David and Smyth, Steven and von Hanxleden, Reinhard. Towards Interactive Timing Analysis for Designing Reactive Systems. UCB/EECS-2014-26, EECS Department, University of California, Berkeley, April 2014. URL: \biburlbib
 
Insa Fuhrmann and David Broman and Steven Smyth and Reinhard von Hanxleden. Towards Interactive Timing Analysis for Designing Reactive Systems. In Reconciling Performance and Predictability (RePP ’14), satellite event of ETAPS ’14, April 2014.  pdftalkbib
 
2013
Christian Motika and Steven Smyth and Reinhard von Hanxleden and Michael Mendler. Sequentially Constructive Charts (SCCharts). Poster presented at 10th Biennial Ptolemy Miniconference (PTCONF ’13), Berkeley, CA, USA, 7 November 2013.  pdfbib
 
Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts. Presentation at Synchronous Programming (SYNCHRON ’13), Schloss Dagstuhl, Germany, November 2013.  talkbib
 
Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. Compiling SCCharts to Hardware and Software. Presentation at Synchronous Programming (SYNCHRON ’13), Schloss Dagstuhl, Germany, November 2013.  talkbib
 
Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. Technical Report 1311, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, December 2013. ISSN 2192-6247.  pdfbib