2020
Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Frédéric Mallet and Robert de Simone and Julien Deantoni. Time in SCCharts. In Tom J. Kazmierski and Sebastian Steinhorst and Daniel Große, editor, Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018, page 1–25. Springer, 2020.  bib
 
Niklas Rentz and Christian Dams and Reinhard von Hanxleden. Interactive Visualization for OSGi-based Projects. In 2020 Working Conference on Software Visualization (VISSOFT), Adelaide, Australia, September 2020. IEEE.  pdfbib
 
Lena Grimm and Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Marc Pouzet. From Lustre to Graphical Models and SCCharts. In Proc. Forum on Specification and Design Languages (FDL ’20), Kiel, Germany, September 2020.  pdfbib
 
Andreas Boysen and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. In Proc. Forum on Specification and Design Languages (FDL ’20), Kiel, Germany, September 2020.  pdfbib
 
Andreas Boysen and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. A Hard Real Time Demo for Dynamic Ticks and Timed SCCharts. In MBMV 2020 — Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, GMM/ITG/GI-Workshop, GMM-Fachbericht 96, page 61–64, Stuttgart, Germany, March 2020.  pdfbib
 
Andreas Boysen and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. An FPGA-based Demonstrator for Dynamic Ticks. Technical Report 2001, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2020. ISSN 2192-6247.  pdfbib
 
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
 
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
 
Mendler, Michael and Aguado, Joaquin and Bodin, Bruno and Roop, Partha and von Hanxleden, Reinhard. Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. In Margaria, Tiziana and Graf, Susanne and Larsen, Kim G., editor, Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, page 45–67. Springer International Publishing, Cham, 2019.  pdfbib
 
Carla Binucci and Ulrik Brandes and Tim Dwyer and Martin Gronemann and Reinhard von Hanxleden and Marc J. van Kreveld and Petra Mutzel and Marcus Schaefer and Falk Schreiber and Bettina Speckmann. 10 Reasons to Get Interested in Graph Drawing. Computing and Software Science - State of the Art and Perspectives, volume 10000 of Lecture Notes in Computer Science, page 85–104. Springer, 2019.  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 Reinhard von Hanxleden and Frédéric Mallet and Robert de Simone and Julien Deantoni. Time in SCCharts. Presentation at the 25th International Open Workshop on Synchronous Programming (SYNCHRON ’18), Frejus, France, November 2018.  talkbib
 
Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Frédéric Mallet and Robert de Simone and Julien Deantoni. Time in SCCharts. In Proc. Forum on Specification and Design Languages (FDL ’18), Munich, Germany, September 2018.  pdfbib
 
Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Frédéric Mallet and Robert de Simone and Julien Deantoni. Time in SCCharts. Technical Report 1805, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2018. ISSN 2192-6247.  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
 
Christoph Daniel Schulze and Gregor Hoops and Reinhard von Hanxleden. Automatic Layout and Label Management for UML Sequence Diagrams. Technical Report 1804, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2018. ISSN 2192-6247.  pdfbib
 
Christoph Daniel Schulze and Gregor Hoops and Reinhard von Hanxleden. Automatic Layout and Label Management for UML Sequence Diagrams. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ’18), 2018.  bib
 
Christoph Daniel Schulze and Nis Wechselberg and Reinhard von Hanxleden. Edge Label Placement in Layered Graph Drawing. Technical Report 1802, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, February 2018. ISSN 2192-6247.  pdfbib
 
Christoph Daniel Schulze and Nis Wechselberg and Reinhard von Hanxleden. Edge Label Placement in Layered Graph Drawing. In Proceedings of the 10th International Conference on the Theory and Application of Diagrams (DIAGRAMS ’18), LNCS, page 71–78, 2018. Springer.  The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-91376-6˙10pdfbib
 
Ulf Rüegg and Reinhard von Hanxleden. Wrapping Layered Graphs. Technical Report 1803, Kiel University, Department of Computer Science, February 2018. ISSN 2192-6247.  pdfbib
 
Ulf Rüegg and Reinhard von Hanxleden. Wrapping Layered Graphs. In Proceedings of the 10th International Conference on the Theory and Application of Diagrams (DIAGRAMS ’18), page 743–747, 2018. Springer.  bib
 
Reinhard von Hanxleden. Sequential Constructiveness, SCL and SCCharts — Incorporating synchrony in conventional languages. Presentation at College de France, Paris, March 2018. URL: \biburltalkbib
 
Joaquín Aguado and Michael Mendler and Marc Pouzet and Partha S. Roop and Reinhard von Hanxleden. Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. In 27th European Symposium on Programming, ESOP’18, page 86–113, Thessaloniki, Greece, April 2018. URL: \biburlbib
 
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
 
Ulf Rüegg and Thorsten Ehlers and Miro Spönemann and Reinhard von Hanxleden. Generalized Layerings for Arbitrary and Fixed Drawing Areas. Journal of Graph Algorithms and Applications, 21(5):823–856, 2017.  pdfbib
 
Ulf Rüegg and Marc Adolf and Michael Cyruk and Astrid Mariana Flohr and Reinhard von Hanxleden. Minimum-Width Graph Layering Revisited. Technical Report 1701, Kiel University, Department of Computer Science, February 2017. ISSN 2192-6247.  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
 
Reinhard von Hanxleden and Timothy Bourke and Alain Girault. Real-Time Ticks for Synchronous Programming. In Proc. Forum on Specification and Design Languages (FDL ’17), Verona, Italy, September 2017.  pdftalkbib
 
Nathan Allen and Hammond A. Pearce and Partha S. Roop and Reinhard von Hanxleden. A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. In 20th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2017, Toronto, ON, Canada, May 16–18, page 168–175, 2017.  bib
 
Joaquín Aguado and Michael Mendler and Marc Pouzet and Partha S. Roop and Reinhard von Hanxleden. Clock-Synchronised Shared Objects for Deterministic Concurrency. Research Report 102 University of Bamberg, Germany, July 2017. URL: \biburlbib
 
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
 
Christoph Daniel Schulze and Yella Lasch and Reinhard von Hanxleden. Label Management: Keeping Complex Diagrams Usable. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ’16), page 3–11, September 2016.  pdfbib
 
Christoph Daniel Schulze and Christina Plöger and Reinhard von Hanxleden. On Comments in Visual Languages. Technical Report 1602, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, April 2016. ISSN 2192-6247.  pdfbib
 
Christoph Daniel Schulze and Christina Plöger and Reinhard von Hanxleden. On Comments in Visual Languages. In Proceedings of the 9th International Conference on the Theory and Application of Diagrams (DIAGRAMS ’16), LNCS, page 219–225, 2016. Springer.  The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42333-3˙17pdfbib
 
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
 
Ulf Rüegg and Christoph Daniel Schulze and Carsten Sprung and Nis Wechselberg and Reinhard von Hanxleden. Edge Bundling for Dataflow Diagrams. Poster at the 24th International Symposium on Graph Drawing and Network Visualization (GD ’16), 2016.  Posterpdfbib
 
Ulf Rüegg and Rajneesh Lakkundi and Ashwin Prasad and Anand Kodaganur and Christoph Daniel Schulze and Reinhard von Hanxleden. Incremental Diagram Layout for Automated Model Migration. In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS ’16), page 185–195, 2016.  The final publication is available at ACM via https://doi.org/10.1145/2976767.2976805pdfbib
 
Ulf Rüegg and Thorsten Ehlers and Miro Spönemann and Reinhard von Hanxleden. A Generalization of the Directed Graph Layering Problem. In Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD ’16), page 196–208, 2016.  pdfbib
 
Ulf Rüegg and Thorsten Ehlers and Miro Spönemann and Reinhard von Hanxleden. A Generalization of the Directed Graph Layering Problem. arXiv:1608.07809 [cs.OH], 2016.  pdfbib
 
Ulf Rüegg and Christoph Daniel Schulze and Daniel Grevismühl and Reinhard von Hanxleden. Using One-Dimensional Compaction for Smaller Graph Drawings. In Proceedings of the 9th International Conference on the Theory and Application of Diagrams (DIAGRAMS ’16), volume 9781 of LNCS, page 212–218, 2016. Springer.  pdfbib
 
Ulf Rüegg and Christoph Daniel Schulze and Daniel Grevismühl and Reinhard von Hanxleden. Using One-Dimensional Compaction for Smaller Graph Drawings. Technical Report 1601, Kiel University, Department of Computer Science, April 2016. ISSN 2192-6247.  pdfbib
 
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
 
Adalat Jabrayilov and Sven Mallach and Petra Mutzel and Ulf Rüegg and Reinhard von Hanxleden. Compact Layered Drawings of General Directed Graphs. In Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD ’16), page 209–221, 2016.  pdfbib
 
Adalat Jabrayilov and Sven Mallach and Petra Mutzel and Ulf Rüegg and Reinhard von Hanxleden. Compact Layered Drawings of General Directed Graphs. arXiv:1609.01755 [cs.DS], 2016.  pdfbib
 
Insa Fuhrmann and David Broman and Reinhard von Hanxleden and Alexander Schulz-Rosengarten. Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. In Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS ’16, page 289–298, New York, NY, USA, 2016. ACM.  pdfbib
 
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
 
Ulf Rüegg and Christoph Daniel Schulze and John Julian Carstens and Reinhard von Hanxleden. Size- and Port-Aware Horizontal Node Coordinate Assignment. In Proceedings of the 23rd International Symposium on Graph Drawing and Network Visualization (GD ’15), page 139–150, 2015.  pdfbib
 
Ulf Rüegg and Thorsten Ehlers and Miro Spönemann and Reinhard von Hanxleden. A Generalization of the Directed Graph Layering Problem. Technical Report 1501, Kiel University, Department of Computer Science, February 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
 
Insa Fuhrmann, and David Broman and Reinhard von Hanxleden. Interactive Timing Analysis for Designing Reactive Systems. Presentation at the 22nd International Open Workshop on Synchronous Programming (SYNCHRON ’15), Kiel, Germany, December 2015.  talkbib
 
Joaquín Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann. Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency. Technical Report 1504, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, May 2015. ISSN 2192-6247.  pdfbib
 
Joaquín Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann. Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency. Technical Report 96, University of Bamberg, Faculty of Information Systems and Applied Computer Sciences, April 2015. ISSN 0937-3349.  bib
 
Joaquín Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann. Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency. Acta Informatica, Special Issue on Combining Compositionality and Concurrency, 52(4):393–442, 2015.  pdfbib
 
2014
Miro Spönemann and Björn Duderstadt and Reinhard von Hanxleden. Evolutionary Meta Layout of Graphs. Technical Report 1401, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, January 2014. ISSN 2192-6247.  pdfbib
 
Miro Spönemann and Christoph Daniel Schulze and Ulf Rüegg and Reinhard von Hanxleden. Drawing Layered Hypergraphs. Technical Report 1404, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, April 2014. ISSN 2192-6247.  pdfbib
 
Miro Spönemann and Christoph Daniel Schulze and Ulf Rüegg and Reinhard von Hanxleden. Counting Crossings for Layered Hypergraphs. In Proceedings of the 8th International Conference on the Theory and Application of Diagrams (DIAGRAMS ’14), volume 8578 of LNAI, page 9–15, 2014. Springer.  The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44043-8˙2pdfbib
 
Miro Spönemann and Björn Duderstadt and Reinhard von Hanxleden. Evolutionary Meta Layout of Graphs. In Proceedings of the 8th International Conference on the Theory and Application of Diagrams (DIAGRAMS ’14), volume 8578 of LNAI, page 16–30, 2014. Springer.  The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44043-8˙3pdfbib
 
Christoph Daniel Schulze and Miro Spönemann and Christian Schneider and Reinhard von Hanxleden. Two Applications for Transient Views in Software Development Environments (Showpiece). In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ’14), Melbourne, Australia, July 2014.  pdfbib
 
Christoph Daniel Schulze and Reinhard von Hanxleden. Automatic Layout in the Face of Unattached Comments. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ’14), page 41–44, Melbourne, Australia, July 2014.  pdfbib
 
Christoph Daniel Schulze and Miro Spönemann and Reinhard von Hanxleden. Drawing Layered Graphs with Port Constraints. Journal of Visual Languages and Computing, Special Issue on Diagram Aesthetics and Layout, 25(2):89–106, 2014.  The original publication is available at www.sciencedirect.compdfbib
 
Christian Motika and Reinhard von Hanxleden. Light-weight Synchronous Java (SJL) — An Approach for Programming Deterministic Reactive Systems with Java. Journal of Computing, Special Issue on Software Technologies for Embedded and Ubiquitous Systems, 97(3):281–307, 2014.  The original publication is available at http://link.springer.combib
 
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
 
Joaquín Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann. Grounding Synchronous Deterministic Concurrency in Sequential Programming. In Proceedings of the 23rd European Symposium on Programming (ESOP ’14), LNCS 8410, page 229–248, Grenoble, France, April 2014. Springer.  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 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
 
Reinhard von Hanxleden and Michael Mendler and Joaquín Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O’Brien and Partha Roop. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. ACM Transactions on Embedded Computing Systems, Special Issue on Applications of Concurrency to System Design, 13(4s):144:1–144:26, July 2014.  pdfbib
 
Reinhard von Hanxleden and Karsten Rathlev. SCEst — Sequentially Constructive Esterel. Presentation at the 21th International Open Workshop on Synchronous Programming (SYNCHRON ’14), Aussois, France, December 2014.  talkbib
 
Carsten Gutwenger and Reinhard von Hanxleden and Petra Mutzel and Ulf Rüegg and Miro Spönemann. Examining the Compactness of Automatic Layout Algorithms for Practical Diagrams. In Proceedings of the Workshop on Graph Visualization in Practice (GraphViP ’14), page 42–52, 2014.  pdfbib
 
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
 
Patrick Frey and Reinhard von Hanxleden and Christoph Krüger and Ulf Rüegg and Christian Schneider and Miro Spönemann. Efficient Exploration of Complex Data Flow Models. In Proceedings of Modellierung 2014, page 321–336, 2014.  pdfbib
 
Thomas Huining Feng and Edward A. Lee and Xiaojun Liu and Christian Motika and Reinhard von Hanxleden and Haiyang Zheng. Finite State Machines. In Claudius Ptolemaeus, editor, System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.  bib
 
Philip Axer and Rolf Ernst and Heiko Falk and Alain Girault and Daniel Grund and Nan Guan and Bengt Jonsson and Peter Marwedel and Jan Reineke and Christine Rochange and Maurice Sebastian and von Hanxleden, Reinhard and Reinhard Wilhelm and Wang Yi. Building Timing Predictable Embedded Systems. ACM Transactions on Embedded Computing Systems, 13(4):82:1–82:37, March 2014.  bib
 
Joaquín Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann. Grounding Synchronous Deterministic Concurrency in Sequential Programming. Technical Report 94, University of Bamberg, Faculty of Information Systems and Applied Computer Sciences, August 2014. ISSN 0937-3349.  bib
 
2013
Miro Spönemann and Christoph Daniel Schulze and Christian Motika and Christian Schneider and Reinhard von Hanxleden. KIELER: Building on Automatic Layout for Pragmatics-Aware Modeling (Showpiece). In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ’13), San Jose, CA, USA, September 2013.  pdfbib
 
Christian Schneider and Miro Spönemann and Reinhard von Hanxleden. Just Model! – Putting Automatic Synthesis of Node-Link-Diagrams into Practice. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ’13), page 75–82, San Jose, CA, USA, September 2013. IEEE.  pdfbib
 
Ulf Rüegg and Christian Schneider and Christoph Daniel Schulze and Miro Spönemann and Christian Motika and Reinhard von Hanxleden. Light-Weight Synthesis of Ptolemy Diagrams with KIELER. Presentation at the Tenth Biennial Ptolemy Miniconference, Berkeley, CA, USA, November 2013.  pdftalkbib
 
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
 
Christian Motika and Reinhard von Hanxleden and Mirko Heinold. Programming Deterministice Reactive Systems with Synchronous Java (Invited Paper). In Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), IEEE Proceedings, Paderborn, Germany, 17/18 June 2013.  pdfbib
 
Reinhard von Hanxleden and Michael Mendler and Joaquín Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O’Brien. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. In Proc. Design, Automation and Test in Europe Conference (DATE ’13), page 581–586, Grenoble, France, March 2013. IEEE.  pdfbib
 
Reinhard von Hanxleden and Michael Mendler and Joaquín Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O’Brien and Partha Roop. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. Technical Report 1308, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, August 2013. ISSN 2192-6247.  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
 
2012
Christian Schneider and Miro Spönemann and Reinhard von Hanxleden. Transient View Generation in Eclipse. Technical Report 1206, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, June 2012. ISSN 2192-6247.  pdfbib
 
Christian Schneider and Miro Spönemann and Reinhard von Hanxleden. Transient View Generation in Eclipse. In Proceedings of the First Workshop on Academics Modeling with Eclipse, Kgs. Lyngby, Denmark, July 2012.  pdftalkbib
 
Christian Motika and Hauke Fuhrmann and Reinhard von Hanxleden and Edward A. Lee. Executing Domain-Specific Models in Eclipse. Technical Report 1214, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, October 2012. ISSN 2192-6247.  pdfbib
 
Christian Motika and Reinhard von Hanxleden and Mirko Heinold. Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java. Technical Report 1213, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, October 2012. ISSN 2192-6247.  pdfbib
 
Xin Li and Reinhard von Hanxleden. Multi-Threaded Reactive Programming—The Kiel Esterel Processor. IEEE Transactions on Computers, 61(3):337–349, March 2012.  pdfbib
 
Lars Kristian Klauske and Christoph Daniel Schulze and Miro Spönemann and Reinhard von Hanxleden. Improved Layout for Data Flow Diagrams with Port Constraints. In Proceedings of the 7th International Conference on the Theory and Application of Diagrams (DIAGRAMS ’12), volume 7352 of LNAI, page 65–79, 2012. Springer.  The original publication is available at www.springerlink.compdftalkbib
 
Reinhard von Hanxleden and Niklas Holsti and Björn Lisper and Jan Gustafsson and Nazrul Mohammad Islam and Erhard Ploedereder and Wolfgang Fellger and Sebastian Gepperth and Felix Krause and Reinhard Wilhelm and Armelle Bonenfant and Hugues Casse and Marianne de Michiel and Christine Rochange and Sven Bünte and Benedikt Huber and Laura Kovacs and Wolfgang Puffitsch and Michael Zolda and Jakob Zwirchmayr and Daniel Kästner and Simon Wegener and Raimund Kirner and Mads Christian Olesen and Adrian Prantl and Martin Schoeberl. The WCET Tool Challenge 2011. Technical Report 1215, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, October 2012. ISSN 2192-6247.  pdfbib
 
Reinhard von Hanxleden and Edward A. Lee and Christian Motika and Hauke Fuhrmann. Multi-View Modeling and Pragmatics in 2020 — Position Paper on Designing Complex Cyber-Physical Systems. In Proceedings of the 17th International Monterey Workshop 2012 on Development, Operation and Management of Large-Scale Complex IT Systems, Revised Selected Papers, volume 7539 of LNCS, page 209–223, Oxford, UK, 2012.  pdftalkbib
 
Wolfgang Goerigk and Reinhard von Hanxleden and Wilhelm Hasselbring and Gregor Hennings and Reiner Jung and Holger Neustock and Heiko Schaefer and Christian Schneider and Elferik Schultz and Thomas Stahl and Steffen Weik and Stefan Zeug. Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke. In Software Engineering 2012 – Lecture Notes in Informatics, 2012. Gesellschaft für Informatik. URL: \biburlbib
 
2011
Claus Traulsen and Torsten Amende and Reinhard von Hanxleden. Compiling SyncCharts to Synchronous C. In Proceedings of the Design, Automation and Test in Europe Conference (DATE ’11), page 563–566, Grenoble, France, March 2011. IEEE.  pdfbib
 
Ulf Rüegg and Christian Motika and Reinhard von Hanxleden. Interactive Transformations for Visual Models. In 3rd Workshop Methodische Entwicklung von Modellierungswerkzeugen (MEMWe 2011) at conference INFORMATIK 2011, GI-Edition – Lecture Notes in Informatics (LNI), Berlin, Germany, October 2011. Bonner Köllen Verlag.  pdfbib
 
Christian Motika and Miro Spönemann and Hauke Fuhrmann and Christoph Krüger and John Julian Carstens and Reinhard von Hanxleden. KIELER Actor Oriented Modeling (KAOM). Poster presented at 9th Biennial Ptolemy Miniconference (PTCONF ’11), Berkeley, CA, USA, February 2011.  pdfbib
 
Reinhard von Hanxleden and Hauke Fuhrmann and Miro Spönemann. KIELER—The KIEL Integrated Environment for Layout Eclipse Rich Client. In Proceedings of the Design, Automation and Test in Europe University Booth (DATE ’11), Grenoble, France, March 2011.  With accompanying poster bib
 
Reinhard von Hanxleden and Niklas Holsti and Björn Lisper and Erhard Ploedereder and Reinhard Wilhelm and Armelle Bonenfant and Hugues Casse and Sven Bünte and Wolfgang Fellger and Sebastian Gepperth and Jan Gustafsson and Benedikt Huber and Nazrul Mohammad Islam and Daniel Kästner and Raimund Kirner and Laura Kovacs and Felix Krause and Marianne de Michiel and Mads Christian Olesen and Adrian Prantl and Wolfgang Puffitsch and Christine Rochange and Martin Schoeberl and Simon Wegener and Michael Zolda and Jakob Zwirchmayr. WCET Tool Challenge 2011: Report. In Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis, Porto, Portugal, July 2011.  pdfbib
 
Reinhard von Hanxleden. Synchronous C + WCRT Algebra 101. Presentation at the 18th International Open Workshop on Synchronous Programming (SYNCHRON ’11), Dammarie-les-Lys, France, December 2011.  talkbib
 
2010
Claus Traulsen and Reinhard von Hanxleden. Reactive Parallel Processing for Synchronous Dataflow. In Proceedings of the 25th Symposium On Applied Computing (SAC ’10), Special Track Embedded Systems: Applications, Solutions, and Techniques, Sierre, Switzerland, March 2010.  pdftalkbib
 
Claus Traulsen and Torsten Amende and Reinhard von Hanxleden. Compiling SyncCharts to Synchronous C. Technical Report 1006, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, Kiel, Germany, July 2010.  pdfbib
 
Miro Spönemann and Hauke Fuhrmann and Reinhard von Hanxleden and Petra Mutzel. Port Constraints in Hierarchical Layout of Data Flow Diagrams. In Proceedings of the 17th International Symposium on Graph Drawing (GD ’09), volume 5849 of LNCS, page 135–146, 2010. Springer.  The original publication is available at www.springerlink.compdftalkbib
 
Christian Motika and Hauke Fuhrmann and Reinhard von Hanxleden. Semantics and Execution of Domain Specific Models. In 2nd Workshop Methodische Entwicklung von Modellierungswerkzeugen (MEMWe 2010) INFORMATIK 2010, GI-Edition – Lecture Notes in Informatics (LNI), page 891–896, Leipzig, Germany, September 2010. Bonner Köllen Verlag.  pdfbib
 
Reinhard von Hanxleden and Hauke Fuhrmann. Taming Graphical Modeling. Presentation at the 17th International Open Workshop on Synchronous Programming (SYNCHRON ’10), Frejus, France, December 2010.  talkbib
 
Hauke Fuhrmann and Reinhard von Hanxleden. Taming Graphical Modeling. In Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS ’10), volume 6394 of LNCS, page 196–210, October 2010. Springer.  The original publication is available at www.springerlink.compdftalkbib
 
Hauke Fuhrmann and Reinhard von Hanxleden. Taming Graphical Modeling. Technical Report 1003, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, May 2010.  pdfbib
 
Hauke Fuhrmann and Miro Spönemann and Michael Matzen and Reinhard von Hanxleden. Automatic Layout and Structure-Based Editing of UML Diagrams. In Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design (M-BED ’10), Dresden, March 2010.  pdftalkbib
 
Hauke Fuhrmann and Reinhard von Hanxleden. On the Pragmatics of Model-Based Design. In Proceedings of the 15th Monterey Workshop 2008 on the Foundations of Computer Software. Future Trends and Techniques for Development, Revised Selected Papers, volume 6028 of LNCS, page 116–140, Budapest, HR, 2010. Springer.  The original publication is available at www.springerlink.compdftalkbib
 
2009
Falk Starke and Claus Traulsen and Reinhard von Hanxleden. Executing Safe State Machines on a Reactive Processor. Technical Report 0907, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, Kiel, Germany, March 2009.  pdfbib
 
Miro Spönemann and Hauke Fuhrmann and Reinhard von Hanxleden. Automatic Layout of Data Flow Diagrams in KIELER and Ptolemy II. Technical Report 0914, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2009.  pdfbib
 
Arne Schipper and Hauke Fuhrmann and Reinhard von Hanxleden. Visual Comparison of Graphical Models. In Proceedings of the Fourth IEEE International Workshop UML and AADL, held in conjunction with the 14th International International Conference on Engineering of Complex Computer Systems (ICECCS ’09), Potsdam, Germany, 2 June 2009.  pdftalkbib
 
Partha Roop and Sidharta Andalam and Reinhard von Hanxleden and Simon Yuan and Claus Traulsen. Tight WCRT Analysis for Synchronous C Programs. In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES ’09), Grenoble, France, October 2009.  pdfbib
 
Partha Roop and Sidharta Andalam and Reinhard von Hanxleden and Simon Yuan and Claus Traulsen. Tight WCRT Analysis for Synchronous C Programs. Technical Report 0912, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, Kiel, Germany, May 2009.  pdfbib
 
Christian Motika and Hauke Fuhrmann and Reinhard von Hanxleden. Semantics and Execution of Domain Specific Models. Technical Report 0923, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, December 2009.  pdfbib
 
Michael Mendler and Reinhard von Hanxleden and Claus Traulsen. WCRT Algebra and Interfaces for Esterel-Style Synchronous Processing. In Proceedings of the Design, Automation and Test in Europe Conference (DATE ’09), Nice, France, April 2009.  pdftalkbib
 
Reinhard von Hanxleden. SyncCharts in C—A Proposal for Light-Weight, Deterministic Concurrency. In Proc. Int’l Conference on Embedded Software (EMSOFT ’09), page 225–234, Grenoble, France, October 2009. ACM.  pdftalkbib
 
Reinhard von Hanxleden. SyncCharts in C. Technical Report 0910, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, May 2009.  pdfbib
 
Reinhard von Hanxleden. SyncCharts in C—A Proposal for Light-Weight, Deterministic Concurrency. In SYNCHRON ’09—Proceedings of Dagstuhl Seminar 09481, Dagstuhl Seminar Proceedings, 22–27 November 2009. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany.  talkbib
 
Hauke Fuhrmann and Reinhard von Hanxleden. Exploring Modeling Pragmatics with Ptolemy and KIELER. Presentation at the Eighth Biennial Ptolemy Miniconference, Berkeley, CA, USA, 16 October 2009.  pdftalkbib
 
Hauke Fuhrmann and Miro Spönemann and Christian Motika and Michael Matzen and Stephan Knauer and Reinhard von Hanxleden. Enhancing Graphical Modeling in Eclipse with KIELER. Poster at Eclipse Summit Europe 2009, Ludwigsburg, Germany, October 2009.  pdfbib
 
Hauke Fuhrmann and Reinhard von Hanxleden. Enhancing Graphical Model-Based System Design—An Avionics Case Study. In Conjoint workshop of the European Research Consortium for Informatics and Mathematics (ERCIM) and Dependable Embedded Components and Systems (DECOS) at SAFECOMP ’09, Hamburg, Germany, September 2009.  pdfbib
 
Hauke Fuhrmann and Reinhard von Hanxleden. On the Pragmatics of Model-Based Design. Technical Report 0913, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, May 2009.  pdfbib
 
Hauke Fuhrmann and Reinhard von Hanxleden. Enhancing Graphical Model-Based System Design—An Avionics Case Study. Technical Report 0901, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, January 2009.  pdfbib
 
2008
Claus Traulsen and Michael Mendler and Reinhard von Hanxleden. The Kiel Lustre Processor/WCRT Interface Algebra. Presentation at the 15th International Open Workshop on Synchronous Programming (SYNCHRON ’08), Aussois, France, December 2008.  talkbib
 
Reinhard von Hanxleden and Michael Mendler and Claus Traulsen. WCRT Algebra and Scheduling Interfaces for Esterel-style Synchronous Multi-threading. Technical Report 0807, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, June 2008.  pdfbib
 
Christopher Brooks and Chih-Hong Patrick Cheng and Thomas Huining Feng and Edward A. Lee and Reinhard von Hanxleden. Model Engineering using Multimodeling. In Proceedings of the 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM ’08), a workshop at MODELS ’08, Toulouse, September 2008.  pdftalkbib
 
Christopher Brooks and Chih-Hong Patrick Cheng and Thomas Huining Feng and Edward A. Lee and Reinhard von Hanxleden. Model Engineering using Multimodeling. UCB/EECS-2008-39, EECS Department, University of California, Berkeley, April 2008. URL: \biburlbib
 
Christopher Brooks and Thomas Huining Feng and Edward A. Lee and Reinhard von Hanxleden. Multimodeling: A Preliminary Case Study. UCB/EECS-2008-7, EECS Department, University of California, Berkeley, January 2008. URL: \biburlbib
 
Boldt, Marian and Traulsen, Claus and von Hanxleden, Reinhard. Compilation and worst-case reaction time analysis for multithreaded Esterel processing. EURASIP Journal on Embedded Systems, 2008:1–21, 2008.  pdfbib
 
Marian Boldt and Claus Traulsen and Reinhard von Hanxleden. Worst Case Reaction Time Analysis of Concurrent Reactive Programs. Electronic Notes in Theoretical Computer Science, 203(4):65–79, June 2008. Proceedings of the International Workshop on Model-Driven High-Level Programming of Embedded Systems (SLA++P ’07), March 2007, Braga, Portugal.  pdfbib
 
2007
Jan Täubrich and Reinhard von Hanxleden. Formal Specification and Analysis of AFDX Redundancy Management Algorithms. In Proceedings of the 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP ’07), volume 4680 of LNCS, Nuremberg, Germany, September 2007.  The original publication is available at www.springerlink.compdfbib
 
Steffen Prochnow and Reinhard von Hanxleden. Enhancements of Statechart-Modeling—The KIEL Environment. In Proceedings of the Design, Automation and Test in Europe University Booth (DATE ’07), Nice, France, April 2007. With accompanying poster.  pdfbib
 
Steffen Prochnow and Reinhard von Hanxleden. Enhancements of Statechart-Modeling—The KIEL Environment. In Proceedings of the ARTIST 2007 International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, held in conjunction with the 19th International Conference on Computer Aided Verification (CAV ’07), Berlin, Germany, July 2007.  talkbib
 
Steffen Prochnow and Reinhard von Hanxleden. The Use of Complex Stateflow-Charts with KIEL—An Automotive Case Study. In Proceedings of 5th GI-Workshop Automotive Software Engineering (ASE ’07), Bremen, Germany, September 2007.  pdfbib
 
Steffen Prochnow and Reinhard von Hanxleden. Statechart Development Beyond WYSIWYG. In Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS ’07), volume 4735 of LNCS, page 635–649, Nashville, TN, USA, October 2007. IEEE.  The original publication is available at www.springerlink.compdftalkbib
 
Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. EURASIP Journal on Embedded Systems, Special Issue on Synchronous Paradigms in Embedded Systems, 2007. Article ID 48979, 23 pages.  bib
 
Xin Li and Reinhard von Hanxleden. Light-Weight, Predictable Reactive Processing—The Kiel Esterel Processor. In Proceedings of the Design, Automation and Test in Europe University Booth (DATE ’07), Nice, France, April 2007. With accompanying poster.  pdftalkbib
 
Reinhard von Hanxleden. Effcient development of Statechart models—A comparative study. Presentation at the 14th International Open Workshop on Synchronous Programming (SYNCHRON ’07), Bamberg, Germany, November 2007.  talkbib
 
Sascha Gädtke and Claus Traulsen and Reinhard von Hanxleden. HW/SW Co-Design for Esterel Processing. In Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS ’07), Salzburg, Austria, September 2007.  pdftalkbib
 
2006
Steffen Prochnow and Reinhard von Hanxleden. Comfortable Modeling of Complex Reactive Systems. In Proceedings of Design, Automation and Test in Europe Conference (DATE ’06), Munich, Germany, March 2006.  pdftalkbib
 
Steffen Prochnow and Claus Traulsen and Reinhard von Hanxleden. Synthesizing Safe State Machines from Esterel. In Proceedings of ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES ’06), Ottawa, Canada, June 2006.  pdftalkbib
 
Stephan Höhrmann and Hauke Fuhrmann and Steffen Prochnow and Reinhard von Hanxleden. A Versatile Demonstrator for Distributed Real-Time Systems: Using a Model-Railway in Education. In Proceedings of the ERCIM/DECOS Dependable Embedded Systems Workshop at Euromicro 2006, Cavtat/Dubrovnik, Croatia, August 2006.  pdftalkbib
 
Steffen Prochnow and Gunnar Schaefer and Ken Bell and Reinhard von Hanxleden. Analyzing Robustness of UML State Machines. In Proceedings of the Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES ’06), held in conjunction with the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2006), Genua, Italy, October 2006.  pdftalkbib
 
Xin Li and Marian Boldt and Reinhard von Hanxleden. Multi-Threaded Reactive Processing. Presentation at the 13th International Open Workshop on Synchronous Programming (SYNCHRON ’06), L’Alpe d’Huez, France, November 2006.  talkbib
 
Xin Li and Reinhard von Hanxleden. A Concurrent Reactive Esterel Processor Based on Multi-Threading. In Proceedings of the 21st ACM Symposium on Applied Computing (SAC ’06), Special Track Embedded Systems: Applications, Solutions, and Techniques, Dijon, France, April 23–27 2006.  pdftalkbib
 
Xin Li and Marian Boldt and Hanxleden, Reinhard von. Compiling Esterel for a Multi-Threaded Reactive Processor. Technical Report 0603, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, May 2006. Revised September 2006.  pdfbib
 
Xin Li and Marian Boldt and Reinhard von Hanxleden. Mapping Esterel onto a Multi-Threaded Embedded Processor. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’06), San Jose, CA, October 21–25 2006.  pdftalkbib
 
Reinhard von Hanxleden and Xin Li and Partha Roop and Zoran Salcic and Li Hsien Yoong. Reactive Processing for Reactive Systems. ERCIM News, 67:28–29, October 2006.  bib
 
Sascha Gädtke and Xin Li and Marian Boldt and Reinhard von Hanxleden. HW/SW Co-Design for a Reactive Processor. In Proceedings of the Student Poster Session at the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES ’06), Ottawa, Canada, June 2006. With accompanying poster.  pdftalkbib
 
Hauke Fuhrmann and Jens Koch and Jörn Rennhack and Reinhard von Hanxleden. Model-Based System Design of Time-Triggered Architectures—An avionics case study. In 25th Digital Avionics Systems Conference (DASC ’06), Portland, OR, USA, October 2006.  pdfbib
 
2005
Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. Technical Report 0502, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, March 2005.  bib
 
Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. In International Workshop on Synchronous Languages, Applications and Programming (SLAP ’05), Edinburgh, April 2005.  pdfbib
 
Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. In Synchronous Programming - SYNCHRON ’04, Dagstuhl Seminar Proceedings, 2005. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany.  bib
 
Xin Li and Jan Lukoschus and Marian Boldt and Michael Harder and Reinhard von Hanxleden. An Esterel Processor with Full Preemption Support and its Worst Case Reaction Time Analysis. In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES ’05), page 225–236, San Francisco, CA, USA, September 2005. ACM Press.  pdftalkbib
 
Xin Li and Reinhard von Hanxleden. A Concurrent Reactive Esterel Processor Based on Multi-Threading. Technical Report 0509, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, November 2005.  pdfbib
 
Xin Li and Reinhard von Hanxleden. KEP2 (Kiel Esterel Processor 2): The Esterel Processor. Technical Report 0506, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, April 2005.  pdfbib
 
Xin Li and Reinhard von Hanxleden. The Kiel Esterel Processor — A Semi-Custom, Configurable Reactive Processor. In Synchronous Programming - SYNCHRON ’04, Dagstuhl Seminar Proceedings, 2005. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany. URL: \biburlpdfbib
 
Reinhard von Hanxleden. Modellierung Reaktiver Systeme - Statecharts und Synchrone Sprachen. In Peter Liggesmeyer and Dieter Rombach, editor, Software Engineering für Eingebettete Systeme, Spektrum Akademischer Verlag, 2005.  bib
 
Hauke Fuhrmann and Jens Koch and Jörn Rennhack and Reinhard von Hanxleden. The Aerospace demonstrator of DECOS. In Proceedings of the 8th International IEEE Conference on Intelligent Transportation Systems (ITSC ’05), page 19–24, Vienna, Austria, September 2005.  pdfbib
 
2004
Steffen Prochnow and Reinhard von Hanxleden. Visualisierung komplexer reaktiver Systeme – Annotierte Bibliographie. Technical Report 0406, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, Kiel, Germany, June 2004.  pdfbib
 
Jan Lukoschus and Reinhard von Hanxleden and Stephen Edwards. Efficient Compilation of Cyclic Synchronous Programs. Technical Report 0402, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, April 2004.  pdfbib
 
2003
Jan Lukoschus and Reinhard von Hanxleden. Efficient Compilation of Cyclic Esterel Programs. Presentation at the 10th Workshop on Synchronous Programming (SYNCHRON ’03), Luminy, France, December 2003.  talkbib
 
Reinhard von Hanxleden. Graphical Languages for Modeling Complex Reactive Systems. Presentation at the 10th Workshop on Synchronous Programming (SYNCHRON ’03), Luminy, France, December 2003.  talkbib
 
2000
Hanxleden, Reinhard von and Ken Kennedy. A Balanced Code Placement Framework. ACM Transactions on Programming Languages and Systems, 22(5):816–860, 2000. URL: \biburlbib
 
1998
Hanxleden, Reinhard von and Ali Botorabi and Sławomir Kupczyk. A Codesign Approach for Safety-Critical Automotive Applications. IEEE Micro, 18(5):66–79, September/October 1998. URL: \biburlbib
 
Hanxleden, Reinhard von and Ali Botorabi and Sławomir Kupczyk. Hardware/Software Co-Design of An Airbag Ignition System. In Digest of Abstracts of the IEEE International Workshop on Embedded Fault-Tolerant Systems (EFTS ’98), Boston, MA, May 1998.  bib
 
1997
Barbara Tuck (editor). Design Report: ’97 Paris Forum—Raise your sights to the system level, Roundtable discussion. Computer Design, June 1997.  bib
 
Reinhard von Hanxleden and Luciano Lavagno and Alberto L. Sangiovanni-Vincentelli. Co-Design of a Fault-Tolerant Communication Protocol–A Case Study. UCB/ERL M97/13, EECS Department, University of California, Berkeley, 1997. URL: \biburlbib
 
Terry W. Clark and Reinhard von Hanxleden and Ken Kennedy. Experiences in Data-Parallel Programming. Scientific Programming, 6(1):153-158, 1997. URL: \biburlbib
 
1996
Hanxleden, Reinhard von and Jürgen Bohne and Luciano Lavagno and Alberto Sangiovanni-Vincentelli. Hardware/Software Co-Design of a Fault-Tolerant Communication Protocol. In Digest of Abstracts of the IEEE International Workshop on Embedded Fault-Tolerant Systems (EFTS ’96), Dallas, TX, September 1996. URL: \biburlbib
 
1994
Hanxleden, Reinhard von and Ken Kennedy and Joel Saltz. Value-based Distributions and Alignments in Fortran D. Journal of Programming Languages, 2(3):259–282, 1994. Special Issue on Compiling and Run-Time Issues for Distributed Address Space Machines..  bib
 
Hanxleden, Reinhard von and Ken Kennedy and Joel Saltz. Value-based Distributions in Fortran D. In Proceedings of The European Conference and Exhibition on High-Performance Computing and Networking, volume 797 of LNCS, page 434–440, Munich, Germany, April 1994. Springer.  bib
 
Hanxleden, Reinhard von and Ken Kennedy. Give-N-Take — A Balanced Code Placement Framework. In Proceedings of the ACM SIGPLAN ’94 Conference on Program Language Design and Implementation, page 107–120, Orlando, FL, June 1994. ACM Press.  bib
 
Hanxleden, Reinhard von. Compiler Support for Machine-Independent Parallelization of Irregular Problems. Rice University, December 1994.  bib
 
Terry W. Clark and Reinhard von Hanxleden and J. Andrew McCammon and L. Ridgway Scott. Parallelization using Spatial Decomposition for Molecular Dynamics. In Scalable High Performance Computing Conference, page 95–102, Knoxville, TN, May 1994.  bib
 
Terry W. Clark and Reinhard von Hanxleden and Ken Kennedy. Experiences on Data-Parallel Programming. Presented at the Third High Performance Fortran Forum, Houston, TX, December 1994. URL: \biburlbib
 
1993
Hanxleden, Reinhard von and Ken Kennedy. A Code Placement Framework and its Application to Communication Generation. CRPC-TR93337-S, Center for Research on Parallel Computation, Rice University, October 1993.  bib
 
Hanxleden, Reinhard von. Handling Irregular Problems with Fortran D — A Preliminary Report. In Proceedings of the Fourth Workshop on Compilers for Parallel Computers, page 353-364, Delft, The Netherlands, December 1993.  bib
 
Raja Das and Joel Saltz and Reinhard von Hanxleden. Slicing Analysis and Indirect Accesses to Distributed Arrays. In Proceedings of the Sixth Workshop on Languages and Compilers for Parallel Computing, volume 769 of LNCS, page 152–168, Portland, OR., August 1993. Springer.  bib
 
1992
Hanxleden, Reinhard von and L. Ridgway Scott. Correctness and Determinism of Parallel Monte Carlo Processes. Parallel Computing, 18:121–132, 1992.  bib
 
Hanxleden, Reinhard von and Ken Kennedy and Charles Koelbel and Raja Das and Joel Saltz. Compiler Analysis for Irregular Problems in Fortran D. In Proceedings of the Fifth Workshop on Languages and Compilers for Parallel Computing, volume 757 of LNCS, page 97–111, New Haven, CT., August 1992. Springer.  bib
 
Hanxleden, Reinhard von and Ken Kennedy. Relaxing SIMD Control Flow Constraints Using Loop Transformations. In Proceedings of the ACM SIGPLAN ’92 Conference on Program Language Design and Implementation, page 188–199, San Francisco, CA, June 1992. ACM Press.  bib
 
Hanxleden, Reinhard von. Compiler Support for Machine Independent Parallelization of Irregular Problems. CRPC-TR92301-S, Center for Research on Parallel Computation, Rice University, November 1992. Ph.D. Thesis Proposal..  bib
 
Terry W. Clark and Reinhard von Hanxleden and J. Andrew McCammon and L. Ridgway Scott. Irregular Structures in Molecular Dynamics. In Intel Supercomputer Users’ Group 1992 Annual Users’ Conference, Dallas, TX, October 1992.  bib
 
Terry W. Clark and Reinhard von Hanxleden and J. Andrew McCammon and L. Ridgway Scott. Parallelization Strategies for a Molecular Dynamics Program. In Intel Supercomputer University Partners Conference, Timberline Lodge, Mt. Hood, OR, April 1992.  bib
 
Terry W. Clark and Reinhard von Hanxleden and Ken Kennedy and Charles Koelbel and L. Ridgway Scott. Evaluating Parallel Languages for Molecular Dynamics Computations. In Scalable High Performance Computing Conference, page 98–105, Williamsburg, VA, April 1992. IEEE Computer Society Press. URL: \biburlbib
 
1991
Hanxleden, Reinhard von and L. Ridgway Scott. Load Balancing on Message Passing Architectures. Journal of Parallel and Distributed Computing, 13:312–324, 1991.  bib
 
Hanxleden, Reinhard von and L. Ridgway Scott. Parallelizing Dynamic Processes on Message Passing Architectures. In Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, page 451–455, March 1991.  bib
 
1989
Hanxleden, Reinhard von. Parallelizing Dynamic Processes. Masters Thesis, Department of Computer Science, The Pennsylvania State University, August 1989.  bib