-
2021 - Janina Reuter and Merikan Koyun and Christoph Daniel Schulze
and Reinhard von Hanxleden. Real-Time Implementation, Comparison,
and Combination of Pitch Tracking Algorithms. In Studientexte zur
Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2021,
page 51–58, 2021. TUDpress, Dresden. With accompanying poster.
pdf, bib
-
- Sören Domrös and Daniel Lucas and Reinhard von Hanxleden and
Klaus Jansen. On Order-preserving, Gap-avoiding Rectangle Packing.
In Proceedings of the 13th International Conference on Information
Visualization Theory and Applications (IVAPP’21), part of the 16th
International Joint Conference on Computer Vision, Imaging and
Computer Graphics Theory and Applications (VISIGRAPP’21), page
38–49, 2021. INSTICC, SciTePress. pdf, bib
-
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 Hauke Fuhrmann. Visible Code: Visualize Complex
OSGi Projects. Presentation at EclipseCon 2020, virtual event, October
2020. Video available online at https://youtu.be/WOpQG6h6Oao.
talk, bib
-
- Niklas Rentz and Christian Dams and Reinhard von Hanxleden. Interactive
Visualization for OSGi-based Projects. In 2020 Working Conference on
Software Visualization (VISSOFT), page 84–88, Adelaide, Australia,
September 2020. IEEE. pdf, talk, bib
-
- Marten Lohstroh and Christian Menard and Alexander Schulz-Rosengarten
and Matthew Weber and Jeronimo Castrillon and Edward A. Lee. A
Language for Deterministic Coordination Across Multiple Timelines. In
Proc. Forum on Specification and Design Languages (FDL ’20), Kiel,
Germany, September 2020. pdf, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
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.
pdf, bib
-
- 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.
pdf, bib
-
- 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 pdf, bib
-
- 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 pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
- 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.
pdf, bib
-
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. pdf, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
- 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.
pdf, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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.
talk, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
- 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.
pdf, bib
-
- 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.
pdf, bib
-
- 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˙10. pdf, bib
-
- Ulf Rüegg and Reinhard von Hanxleden. Wrapping Layered Graphs.
Technical Report 1803, Kiel University, Department of Computer Science,
February 2018. ISSN 2192-6247. pdf, bib
-
- 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: \biburl. talk, bib
-
- 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: \biburl. bib
-
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. pdf, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- 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 pdf, bib
-
- 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.
pdf, talk, bib
-
- 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: \biburl. bib
-
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. pdf, bib
-
- Christoph Daniel Schulze. Two Opportunities and Challenges of Automatic
Layout in Visual Languages. In Proceedings of the ACM Student Research
Competition at MODELS 2016 co-located with the 19th International
Conference on Model Driven Engineering Languages and Systems
(MODELS 2016), 2016. Poster. pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- 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˙17. pdf, bib
-
- 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.com. pdf, bib
-
- 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.
Poster. pdf, bib
-
- 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.2976805. pdf, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
- 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:
\biburl. bib
-
- 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. pdf, talk, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
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. pdf, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- Christian Motika and Steven Smyth. Updates on SCCharts. Presentation at
the 22th International Open Workshop on
Synchronous Programming (SYNCHRON ’15), Kiel, Germany, December
2015. talk, bib
-
- 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. talk, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
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. pdf, bib
-
- 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. pdf, bib
-
- 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˙2. pdf, bib
-
- 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˙3. pdf, bib
-
- 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.
pdf, bib
-
- 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.
pdf, bib
-
- 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.com. pdf, bib
-
- Ulf Rüegg and Steve Kieffer and Tim Dwyer and Kim Marriott and Michael
Wybrow. Stress-Minimizing Orthogonal Layout of Data Flow Diagrams
with Ports. In Proceedings of the 22nd International Symposium on Graph
Drawing (GD ’14), page 319–330, 2014. The final publication is available
at www.springerlink.com. pdf, bib
-
- Ulf Rüegg and Steve Kieffer and Tim Dwyer and Kim Marriott and Michael
Wybrow.
Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports.
arXiv:1408.4626 [cs.OH], 2014. pdf, bib
-
- 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.com. bib
-
- 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.com. pdf, bib
-
- Christian Motika.
SCCharts in Motion—Interactive Model-Based Compilation for a Railway
System. Presentation at the 21th International Open Workshop on
Synchronous Programming (SYNCHRON ’14), Aussois, France, December
2014. talk, bib
-
- 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. pdf, bib
-
- 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.
pdf, talk, bib
-
- 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. pdf, bib
-
- 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. talk, bib
-
- 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.
pdf, bib
-
- 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:
\biburl. bib
-
- 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.
pdf, talk, bib
-
- 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. pdf, bib
-
- 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
-
- Iman Avazpour and Ulf Rüegg and John Grundy. CONVErT Meets KIELER:
Integrating Advanced Layout Algorithms into By-Example Visualisations
(Showpiece). In Proceedings of the IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC ’14), Melbourne, Australia,
July 2014. bib
-
- Mohamed Almory and
John Grundy and Ulf Rüegg. HorusCML: Context-aware Domain Specific
Visual Languages Designer. In Proceedings of the IEEE Symposium on
Visual Languages and Human-Centric Computing (VL/HCC ’14), page
133–136, 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. pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, talk, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
- 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.
talk, bib
-
- 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.
talk, bib
-
- 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.
pdf, bib
-
- Sidharta Andalam and Partha Roop and Alain Girault and Claus Traulsen.
A Predictable Framework for Safety-Critical Embedded Systems.
IEEE Transactions on Computers, 25 February 2013. (PrePrint).
bib
-
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. pdf, bib
-
- 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. pdf, talk, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- Xin Li and
Reinhard von Hanxleden. Multi-Threaded Reactive Programming—The
Kiel Esterel Processor. IEEE Transactions on Computers, 61(3):337–349,
March 2012. pdf, bib
-
- 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.com. pdf, talk, bib
-
- 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.
pdf, bib
-
- 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.
pdf, talk, bib
-
- 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:
\biburl. bib
-
- Subarno Banerjee. Timing Analysis for the Precision Timed ARM Processor.
Technical Report 1212, Kiel University, Department of Computer Science,
June 2012. ISSN 2192-6247. pdf, bib
-
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. pdf, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- Christian Motika. Interactive
Esterel to SyncCharts Transformation for executing Esterel with Ptolemy.
Presentation at the 18th International Open Workshop on Synchronous
Programming (SYNCHRON ’11), Dammarie-les-Lys, France, December
2011. talk, bib
-
- 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. pdf, bib
-
- 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. talk, bib
-
- Markus Chimani and Carsten Gutwenger and Petra Mutzel and Miro
Spönemann and Hoi-Ming Wong. Crossing Minimization and Layouts of
Directed Hypergraphs with Port Constraints. In Proceedings of the 18th
International Symposium on Graph Drawing (GD ’10), volume 6502 of
LNCS, page 141–152, 2011. Springer. The original publication is available
at www.springerlink.com. pdf, bib
-
- Christian Bachmaier and Franz J. Brandenburg and Philip Effinger
and Carsten Gutwenger and Jyrki Katajainen and Karsten Klein
and Miro Spönemann and Matthias Stegmaier and Michael Wybrow.
The Open Graph Archive: A Community-Driven Effort. Poster at
the 19th International Symposium on Graph Drawing, Technische
Universiteit Eindhoven, Netherlands, September 2011. The original
publication is available at www.springerlink.com. See also the technical
report. pdf, bib
-
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. pdf, talk, bib
-
- 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. pdf, bib
-
- 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.com. pdf, talk, bib
-
- 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.
pdf, bib
-
- Christian Motika. Executing SyncCharts
with Ptolemy. Presentation at the 17th International Open Workshop on
Synchronous Programming (SYNCHRON ’10), Frejus, France, December
2010. talk, bib
-
- 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.
talk, bib
-
- 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.com. pdf, talk, bib
-
- Hauke Fuhrmann and
Reinhard von Hanxleden. Taming Graphical Modeling. Technical Report
1003, Christian-Albrechts-Universität zu Kiel, Department of Computer
Science, May 2010. pdf, bib
-
- 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.
pdf, talk, bib
-
- 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, Hungary, 2010. Springer. The original publication is
available at
www.springerlink.com. pdf, talk, bib
-
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. pdf, bib
-
- 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. pdf, bib
-
- 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.
pdf, talk, bib
-
- 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. pdf, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, talk, bib
-
- 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. pdf, talk, bib
-
- Reinhard von Hanxleden. SyncCharts in C. Technical Report 0910,
Christian-Albrechts-Universität zu Kiel, Department of Computer
Science, May 2009. pdf, bib
-
- Albert
Benveniste and Stephen A. Edwards and Edward Lee and Klaus Schneider
and Reinhard von Hanxleden, editor. SYNCHRON ’09—Proceedings of
Dagstuhl Seminar 09481, Dagstuhl Seminar Proceedings, 22–27 November
2009. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss
Dagstuhl, Germany. bib
-
- 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. talk, bib
-
- 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.
pdf, talk, bib
-
- 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.
pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- Sidharta Andalam and Partha Roop and Alain Girault and Claus
Traulsen. PRET-C: A new language for programming precision timed
architectures. Workshop on Reconciling Performance with Predictability
(RePP ’09), Embedded Systems Week, Grenoble, France, October 2009.
bib
-
- Sidharta Andalam and Partha S. Roop and Alain Girault and Claus
Traulsen. PRET-C: A new language for programming precision
timed architectures. 6922, INRIA Grenoble Rhône-Alpes, 2009.
bib
-
2008 - Malte Tiedje and Claus Traulsen. Designing a Reactive Processor with
Esterel v7. In Proceedings of the Workshop on Model-Driven High-Level
Programming of Embedded Systems (SLA++P ’08), Budapest, Hungary,
April 2008. pdf, talk, bib
-
- 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. talk, bib
-
- F. Maraninchi and M. Moy and J. Cornet and L. Maillet-Contoz and C.
Helmstetter and C. Traulsen. SystemC/TLM Semantics for Heterogeneous
System-on-Chip Validation. In 2008 Joint IEEE-NEWCAS and TAISA
Conference, Montreal, June 2008. bib
-
- 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. pdf, bib
-
- 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.
pdf, talk, bib
-
- 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:
\biburl. bib
-
- 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: \biburl. bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
2007 - Claus Traulsen and Jerome Cornet and Matthieu Moy and
Florence Maraninchi. A SystemC/TLM semantics in Promela and
its possible applications. In Proceedings of the 14th Workshop on
Model Checking Software (SPIN ’07), Berlin, Germany, July 2007.
pdf, bib
-
- Claus Traulsen. The Kiel Reactive Processor—Reactive Processing beyond
the KEP. Presentation at the 14th International Open Workshop
on Synchronous Programming (SYNCHRON ’07), Bamberg, Germany,
November 2007. talk, bib
-
- 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.com. pdf, bib
-
- 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. pdf, bib
-
- 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. talk, bib
-
- 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. pdf, bib
-
- 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.com. pdf, talk, bib
-
- 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. pdf, talk, bib
-
- 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. talk, bib
-
- 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.
pdf, talk, bib
-
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.
pdf, talk, bib
-
- 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.
pdf, talk, bib
-
- 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.
pdf, talk, bib
-
- 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.
pdf, talk, bib
-
- 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. talk, bib
-
- 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.
pdf, talk, bib
-
- 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. pdf, bib
-
- 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. pdf, talk, bib
-
- 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.
pdf, talk, bib
-
- Martin Schlager and Hauke Fuhrmann and Hendrik Geilsdorf and
Stefan Schneele and Lothar Klein and Patrice Toillon. Dependable
Embedded Components and Systems—DECOS Technology and its
Application—DECOS Book, Aerospace Demonstrator, page 178-191
DECOS Consortium, 2006. bib
-
- Hauke Fuhrmann and Hendrik Geilsdorf and Lothar Klein and Stefan
Schneele. System-Entwicklung basierend auf der DECOS-Architektur.
In Informationstagung Mikroelektronik ME 2006, volume 43 of
, page 139–149, Vienna, Austria, October 2006. VIENNA-TEC,
pdf, bib
-
- 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.
pdf, bib
-
2005 - Steffen Prochnow and Claus Traulsen. KIEL—Textual and Graphical
Representations of Statecharts. Presentation
at the 12th Synchronous Workshop (SYNCHRON ’05), Malta, November
2005. talk, bib
-
- 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.
pdf, bib
-
- 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. pdf, talk, bib
-
- 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. pdf, bib
-
- 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. pdf, bib
-
- 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: \biburl. pdf, bib
-
- 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.
pdf, bib
-
- Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden
and Thomas Stauner, editor. SYNCHRON ’09—Abstracts Collection of
Dagstuhl Seminar 04491, Dagstuhl Seminar Proceedings, 28 November –
3 December 2005. Internationales Begegnungs- und Forschungszentrum
(IBFI), Schloss Dagstuhl, Germany. bib
-
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. pdf, bib
-
- 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. pdf, bib
-
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. talk, bib
-
- Reinhard von Hanxleden. Graphical Languages for Modeling Complex
Reactive Systems. Presentation at the 10th Workshop on Synchronous
Programming (SYNCHRON ’03), Luminy, France, December 2003.
talk, bib