E-LIB Suche - Ergebnisse für: Lohstroh, Marten

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

Efficient Parallel Reinforcement Learning Framework Using t..:

, In: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures,

Kwok, Jacky ; Lohstroh, Marten ; Lee, Edward A. - p. 41-51 , 2024

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

4

InterPRET: a Time-predictable Multicore Processor:

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

Jellum, Erling R. ; Lin, Shaokai ; Donovan, Peter... - p. 331-336 , 2023

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

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

Risk and Mitigation of Nondeterminism in Distributed Cyber-..:

, In: Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design,

Bateni, Soroush ; Lohstroh, Marten ; Wong, Hou Seng... - p. 1-11 , 2023

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

7

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..

8

Logical Time for Reactive Software:

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

Lohstroh, Marten ; Lee, Edward A. ; Edwards, Stephen A.. - p. 313-318 , 2023

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

9

Reliable Event Detection Using Time-Synchronized IoT Platfo..:

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

Jun, Byeong-Gil ; Kim, Dongha ; Lohstroh, Marten. - p. 355-360 , 2023

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

10

Towards Building Verifiable CPS using Lingua Franca:

Lin, Shaokai ; Manerkar, Yatin A. ; Lohstroh, Marten...
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-24 , 2023

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

11

High-performance Deterministic Concurrency UsingLingua Fran..:

Menard, Christian ; Lohstroh, Marten ; Bateni, Soroush...
ACM Transactions on Architecture and Code Optimization. 20 (2023) 4 - p. 1-29 , 2023

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

12

Deterministic Coordination Across Multiple Timelines:

Lohstroh, Marten ; Bateni, Soroush ; Menard, Christian...
ACM Transactions on Embedded Computing Systems. , 2023

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

13

Consistency vs. Availability in Distributed Cyber-Physical ..:

Lee, Edward A. ; Akella, Ravi ; Bateni, Soroush...
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-24 , 2023

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

14

Generalizing Logical Execution Time:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Lee, Edward A. ; Lohstroh, Marten - p. 160-181 , 2022

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

15

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/..