E-LIB Suche - Ergebnisse für: Bateni, Soroush

1

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

2

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

3

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

4

Deterministic Coordination Across Multiple Timelines:

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

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

5

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

6

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

7

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

8

Toward a Lingua Franca for Deterministic Concurrent Systems:

Lohstroh, Marten ; Menard, Christian ; Bateni, Soroush.
ACM Transactions on Embedded Computing Systems (TECS). 20 (2021) 4 - p. 1-27 , 2021

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

9

Toward a Lingua Franca for Deterministic Concurrent Systems:

Lohstroh, Marten ; Menard, Christian ; Bateni, Soroush.
ACM Transactions on Embedded Computing Systems. 20 (2021) 4 - p. 1-27 , 2021

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

10

Debugging and Verification Tools for Lingua Franca in Gemoc..:

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

Deantoni, Julien ; Cambeiro, Joao ; Bateni, Soroush.. - p. 01-08 , 2021

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

11

Co-Optimizing Performance and Memory Footprint Via Integrat..:

, In: 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS),

Bateni, Soroush ; Wang, Zhendong ; Zhu, Yuankun.. - p. 310-323 , 2020

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

12

DENAS: automated rule generation by knowledge extraction fr..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Chen, Simin ; Bateni, Soroush ; Grandhi, Sampath... - p. 813-825 , 2020

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

13

Predictable Data-Driven Resource Management: an Implementat..:

, In: 2019 IEEE Real-Time Systems Symposium (RTSS),

Bateni, Soroush ; Liu, Cong - p. 339-352 , 2019

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

14

A General Analysis Framework for Soft Real-Time Tasks:

Dong, Zheng ; Liu, Cong ; Bateni, Soroush...
IEEE Transactions on Parallel and Distributed Systems. 30 (2019) 6 - p. 1222-1237 , 2019

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

15

GRU : Exploring Computation and Data Redundancy via Part..:

, In: Proceedings of the 2018 International Conference on Supercomputing,

Zhou, Husheng ; Bateni, Soroush ; Liu, Cong - p. 43-52 , 2018

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