Reinhard von Hanxleden
Orcid: 0000-0001-5691-1215Affiliations:
- University of Kiel, Germany
According to our database1,
Reinhard von Hanxleden
authored at least 115 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
Proceedings of the 18th International Joint Conference on Computer Vision, 2023
Proceedings of the 18th International Joint Conference on Computer Vision, 2023
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
2022
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022
Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022).
CoRR, 2022
Proceedings of the 17th International Joint Conference on Computer Vision, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
2021
ACM Trans. Embed. Comput. Syst., 2021
Proceedings of the 16th International Joint Conference on Computer Vision, 2021
Proceedings of the Computer Vision, Imaging and Computer Graphics Theory and Applications, 2021
Proceedings of the 24th Forum on specification & Design Languages, 2021
Proceedings of the Diagrammatic Representation and Inference, 2021
2020
Proceedings of the Working Conference on Software Visualization, 2020
Proceedings of the Forum for Specification and Design Languages, 2020
Proceedings of the Forum for Specification and Design Languages, 2020
2019
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the 2018 Forum on Specification & Design Languages, 2018
Proceedings of the Programming Languages and Systems, 2018
Proceedings of the Diagrammatic Representation and Inference, 2018
Proceedings of the Diagrammatic Representation and Inference, 2018
Proceedings of the Principles of Modeling, 2018
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading.
Proceedings of the Models, Mindsets, 2018
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018
2017
J. Graph Algorithms Appl., 2017
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
Proceedings of the 2017 Forum on Specification and Design Languages, 2017
2016
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016
Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Graph Drawing and Network Visualization - 24th International Symposium, 2016
Proceedings of the Graph Drawing and Network Visualization - 24th International Symposium, 2016
Proceedings of the Diagrammatic Representation and Inference, 2016
Proceedings of the Diagrammatic Representation and Inference, 2016
2015
Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java.
Computing, 2015
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency.
Acta Informatica, 2015
Sequential Constructiveness, SCCharts for Safety-Critical Applications.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Proceedings of the Graph Drawing and Network Visualization - 23rd International Symposium, 2015
2014
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.
ACM Trans. Embed. Comput. Syst., 2014
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Programming Languages and Systems, 2014
Proceedings of the Diagrammatic Representation and Inference, 2014
Proceedings of the Diagrammatic Representation and Inference, 2014
Proceedings of the Joint Proceedings of the Fourth International Workshop on Euler Diagrams and the First International Workshop on Graph Visualization in Practice co-located with Diagrams 2014, 2014
2013
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
Sequentially constructive concurrency: a conservative extension of the synchronous model of computation.
Proceedings of the Design, Automation and Test in Europe, 2013
2012
IEEE Trans. Computers, 2012
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012
Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
Proceedings of the Diagrammatic Representation and Inference, 2012
2011
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010
2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Graph Drawing, 17th International Symposium, 2009
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the SYNCHRON 2009, 22.11. - 27.11.2009, 2009
Proceedings of the 2009 International Conference on Compilers, 2009
2008
Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing.
EURASIP J. Embed. Syst., 2008
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008
2007
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007
Proceedings of the Computer Safety, 2007
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007
2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006
2005
An Esterel processor with full preemption support and its worst case reaction time analysis.
Proceedings of the 2005 International Conference on Compilers, 2005
2004
Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004
Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004
Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004
2000
1998
1997
1994
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994
Proceedings of the High-Performance Computing and Networking, 1994
Compiler support for machine-independent parallelization of irregular problems.
PhD thesis, 1994
1993
Proceedings of the Languages and Compilers for Parallel Computing, 1993
1992
Parallel Comput., 1992
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992
Proceedings of the Languages and Compilers for Parallel Computing, 1992
1991
J. Parallel Distributed Comput., 1991
Parallelizing Dynamic Processes on Message Passing Architectures.
Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, 1991