E-LIB Suche - Ergebnisse für: Mousavi, Mohammad Reza

1

Performance Enhancement of IEEE 802.11 BD Vehicle to Vehicl..:

, In: 2024 IEEE Wireless Communications and Networking Conference (WCNC),

Mousavi, Mohammad Reza ; Ludwig, Stephan - p. 1-6 , 2024

2

Accelerating Finite State Machine-Based Testing Using Reinf..:

Türker, Uraz Cengiz ; Hierons, Robert M. ; El-Fakih, Khaled..
IEEE Transactions on Software Engineering. 50 (2024) 3 - p. 574-597 , 2024

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

3

Application of HFrFT-OFDM to IEEE 802.11bd Performance Enha..:

, In: 2024 20th International Conference on the Design of Reliable Communication Networks (DRCN),

Mousavi, Mohammad Reza ; Ludwig, Stephan - p. 165-171 , 2024

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

4

Property-Based Testing and Debugging of Quantum Programs (K..:

, In: Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming,

Mousavi, Mohammad Reza - p. 117 ff. , 2024

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

5

On Specifying for Trustworthiness:

Abeywickrama, Dhaminda B. ; Bennaceur, Amel ; Chance, Greg...
Communications of the ACM. 67 (2023) 1 - p. 98-109 , 2023

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

6

Compositional Learning for Interleaving Parallel Automata:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Labbaf, Faezeh ; Groote, Jan Friso ; Hojjat, Hossein. - p. 413-435 , 2023

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

7

Concept for a Real-Time IoT-Architecture for Collision Avoi..:

, In: 2023 IEEE International Conference on Omni-layer Intelligent Systems (COINS),

Cammin, Christoph ; Mousavi, Mohammad Reza ; Trautwein, Ingo... - p. 1-7 , 2023

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

8

Testing, Validation, and Verification of Robotic and Autono..:

Araujo, Hugo ; Mousavi, Mohammad Reza ; Varshosaz, Mahsa
ACM Transactions on Software Engineering and Methodology. 32 (2023) 2 - p. 1-61 , 2023

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

9

Automated and Efficient Test-Generation for Grid-Based Mult..:

Entekhabi, Sina ; Mostowski, Wojciech ; Mousavi, Mohammad Reza
ACM Transactions on Software Engineering and Methodology. 33 (2023) 1 - p. 1-32 , 2023

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

10

Trustworthy Autonomous Systems Through Verifiability:

Mousavi, Mohammad Reza ; Cavalcanti, Ana ; Fisher, Michael...
Computer. 56 (2023) 2 - p. 40-47 , 2023

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

11

Preface to the special issue on Open Problems in Concurrenc..:

Castellani, Ilaria ; D'Argenio, Pedro R. ; Mousavi, Mohammad Reza.
Journal of Logical and Algebraic Methods in Programming. 130 (2023) - p. 100823 , 2023

Link: https://doi.org/10.1016/..

12

Kaspar Explains: The Effect of Causal Explanations on Visua..:

, In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN),

Gou, Marina Sarda ; Lakatos, Gabriella ; Holthaus, Patrick... - p. 1407-1412 , 2023

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

13

Heterogeneous Communication Networks and Localization for I..:

Alizai, Ashuqullah ; Mousavi, Mohammad Reza ; Ludwig, Stephan.
Procedia CIRP. 120 (2023) - p. 308-313 , 2023

Link: https://doi.org/10.1016/..

14

On Testing Ethical Autonomous Decision-Making:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Akintunde, Michael E. ; Brandão, Martim ; Jahangirova, Gunel... - p. 3-15 , 2023

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

15

Fabrication and characterization of a novel injectable huma..:

Bakhtiar, Hengameh ; Mousavi, Mohammad Reza ; Rajabi, Sarah...
Dental Materials. 39 (2023) 8 - p. 718-728 , 2023

Link: https://doi.org/10.1016/..