E-LIB Suche - Ergebnisse für: von Hanxleden, Reinhard

1

Behavior Trees with Dataflow: Coordinating Reactive Tasks i..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Schulz-Rosengarten, Alexander ; Ahmad, Akash ; Clement, Malte... - p. 304-305 , 2024

Link: https://doi.org/10.1145/..

2

Behavior Trees with Dataflow: Coordinating Reactive Tasks i..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,

Schulz-Rosengarten, Alexander ; Ahmad, Akash ; Clement, Malte... - p. 304-305 , 2024

Link: https://dl.acm.org/doi/1..

3

Polyglot Modal Models through Lingua Franca:

, In: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023,

Schulz-Rosengarten, Alexander ; von Hanxleden, Reinhard ; Lohstroh, Marten.. - p. 337-342 , 2023

Link: https://dl.acm.org/doi/1..

4

Graph Drawing and Network Visualization: 30th International..

Lecture Notes in Computer Science, 13764

Angelini, Patrizio ; von Hanxleden, Reinhard - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

5

Polyglot Modal Models through Lingua Franca:

, In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE),

Schulz-Rosengarten, Alexander ; von Hanxleden, Reinhard ; Lohstroh, Marten.. - p. 1-2 , 2023

Link: https://doi.org/10.23919..

6

Proceedings of the 21st ACM-IEEE International Conference o..:

Zhu, Qi ; von Hanxleden, Reinhard ; Stephen, Edwards Anthony. , 2023

Link: https://dl.acm.org/doi/1..

7

PASTA: Pragmatic Automated System-Theoretic Process Analysi:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),

Petzold, Jette ; Kreib, Jana ; von Hanxleden, Reinhard - p. 559-567 , 2023

Link: https://doi.org/10.1109/..

8

Revisiting Order-Preserving, Gap-Avoiding Rectangle Packing:

, In: Communications in Computer and Information Science; Computer Vision, Imaging and Computer Graphics Theory and Applications,

Domrös, Sören ; Lucas, Daniel ; von Hanxleden, Reinhard. - p. 183-205 , 2023

Link: https://doi.org/10.1007/..

9

Guest Editors' Foreword:

Angelini, Patrizio ; von Hanxleden, Reinhard
Journal of Graph Algorithms and Applications. 27 (2023) 8 - p. 621-623 , 2023

Link: https://doi.org/10.7155/..

10

Getting the big picture in cross-domain fusion: A research ..:

von Hanxleden, Reinhard ; Biastoch, Arne ; Fohrer, Nicola..
Informatik Spektrum. 45 (2022) 4 - p. 229-233 , 2022

Link: https://doi.org/10.1007/..

11

Executable Documentation: Test-First in Action:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

Smyth, Steven ; Petzold, Jette ; Schürmann, Jonas... - p. 135-156 , 2022

Link: https://doi.org/10.1007/..

12

From Lustre to Graphical Models and SCCharts:

Grimm, Lena ; Smyth, Steven ; Schulz-Rosengarten, Alexander..
ACM Transactions on Embedded Computing Systems. , 2022

Link: https://doi.org/10.1145/..

13

Pragmatics Twelve Years Later: A Report on Lingua Franca:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

von Hanxleden, Reinhard ; Lee, Edward A. ; Fuhrmann, Hauke... - p. 60-89 , 2022

Link: https://doi.org/10.1007/..

14

Information: 'I' vs. 'we' vs. 'they':

von Hanxleden, Reinhard
Communications of the ACM. 65 (2022) 5 - p. 45-47 , 2022

Link: https://doi.org/10.1145/..

15

Extracting Mode Diagrams from Blech Code:

, In: 2021 Forum on specification & Design Languages (FDL),

Lucas, Daniel ; Schulz-Rosengarten, Alexander ; von Hanxleden, Reinhard.. - p. 01-08 , 2021

Link: https://doi.org/10.1109/..