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, 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. pdf, talk, bib

Xin Li and Reinhard von Hanxleden. Multi-Threaded Reactive Programming—The Kiel Esterel Processor. IEEE Transactions on Computers, accepted 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 2010), Dresden, 2010. To appear. pdf, bib

Hauke Fuhrmann and Reinhard von Hanxleden. On the Pragmatics of Model-Based Design. In Proceedings of the 15th International Monterey Workshop on Foundations of Computer Software, Future Trends and Techniques for Development (2008), LNCS (to appear), Budapest, 2010. Also available as Technical Report 0913, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, May 2009.. pdf, bib

Falk Starke and Claus Traulsen and Reinhard von Hanxleden. Executing Safe State Machines on a Reactive Processor. Technical Report 0907, Christian-Albrechts-Universität Kiel, Department of Computer Science, Kiel, Germany, 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, 2009. www, 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 2009. pdf, talk, bib

Partha S. 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, 2009. pdf, bib

Partha S. 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 Kiel, Department of Computer Science, Kiel, Germany, 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 Kiel, Department of Computer Science, 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 (DATE’09), Nice, France, 2009. pdf, talk, bib

Reinhard von Hanxleden. SyncCharts in C—A Proposal for Light-Weight, Deterministic Concurrency. In Proceedings of the International Conference on Embedded Software (EMSOFT’09), Grenoble, France, 2009. pdf, bib

Reinhard von Hanxleden. SyncCharts in C. Technical Report 0910, Christian-Albrechts-Universität Kiel, Department of Computer Science, 2009. www, pdf, 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 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 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, 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, 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, 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 Kiel, Department of Computer Science, 2009. pdf, 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, 2008. talk, 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 Kiel, Department of Computer Science, 2008. pdf, bib

Reinhard von Hanxleden. On the Pragmatics of Model-Based Design—Position Statement. In Pre-Proceedings of the 15th International Monterey Workshop on Foundations of Computer Software, Future Trends and Techniques for Development, Budapest, 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. In Proceedings of the 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM’08), a workshop at MODELS’08, , Toulouse, 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, 2008. www, 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, 2008. www, 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, 2008. Proceedings of the International Workshop on Model-Driven High-Level Programming of Embedded Systems (SLA++P’07), March 2007, Braga, Portugal. pdf, 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), Nuremberg, Germany, 2007. 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, 2007. 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, 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, 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), Nashville, TN, USA, 2007. 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. www, 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, 2007. 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, 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, 2007. pdf, talk, bib

Steffen Prochnow and Reinhard von Hanxleden. Comfortable Modeling of Complex Reactive Systems. In Proceedings of Design, Automation and Test in Europe (DATE’06), Munich, Germany, 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, 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, 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, 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, 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 Kiel, Department of Computer Science, 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, 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, 2006. With accompanying poster. pdf, talk, 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, 2006. pdf, bib

Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. Technical Report 0502, Christian-Albrechts-Universität Kiel, Department of Computer Science, 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, 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. www, 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, 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 Kiel, Department of Computer Science, 2005. pdf, bib

Xin Li and Reinhard von Hanxleden. KEP2 (Kiel Esterel Processor 2): The Esterel Processor. Technical Report 0506, Christian-Albrechts-Universität Kiel, Department of Computer Science, 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. www, 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, 2005. pdf, bib

Stephen A. Edwards and Nicholas Halbwachs and Reinhard von Hanxleden and Thomas Stauner. 04491 Executive Summary – Synchronous Programming - SYNCHRON’04. In Synchronous Programming - SYNCHRON’04, Dagstuhl Seminar Proceedings, 2005. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany. www, bib

Steffen Prochnow and Reinhard von Hanxleden. Visualisierung komplexer reaktiver Systeme – Annotierte Bibliographie. Technical Report 0406, Christian-Albrechts-Universität Kiel, Department of Computer Science, Kiel, Germany, 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 Kiel, Department of Computer Science, 2004. pdf, bib

Jan Lukoschus and Reinhard von Hanxleden. Efficient Compilation of Cyclic Esterel Programs. Presentation at the 10th Workshop on Synchronous Programming (SYNCHRON’03), Luminy, France, 2003. www, talk, bib

Reinhard von Hanxleden. Graphical Languages for Modeling Complex Reactive Systems. Presentation at the 10th Workshop on Synchronous Programming (SYNCHRON’03), Luminy, France, 2003. www, talk, bib

Hanxleden, Reinhard von and Ken Kennedy. A Balanced Code Placement Framework. ACM Transactions on Programming Languages and Systems, 22(5):816–860, 2000. URL: www, bib

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: www, bib

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

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: www, bib

Terry W. Clark and Reinhard von Hanxleden and Ken Kennedy. Experiences in Data-Parallel Programming. Scientific Programming, 6(1):153-158, 1997. URL: www, bib

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: www, bib

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. D Newsletter #12. 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 Lecture Notes in Computer Science, 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: www, bib

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 Lecture Notes in Computer Science, page 152–168, Portland, OR., August 1993. Springer. bib

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 Lecture Notes in Computer Science, 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: www, bib

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

Hanxleden, Reinhard von. Parallelizing Dynamic Processes. Masters Thesis, Department of Computer Science, The Pennsylvania State University, August 1989. bib