E-LIB Suche - Ergebnisse für: Basten, Twan

1

Work in Progress: Guaranteeing Weakly-Hard Timing Constrain..:

, In: 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS),

Samimi, Nasim ; Nasri, Mitra ; Basten, Twan. - p. 402-405 , 2024

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

2

A Method for Building Trustworthy Hybrid Performance Models..:

Modaber, Mahtab ; Hendriks, Martijn ; Geilen, Marc..
IEEE Access. 12 (2024) - p. 92733-92752 , 2024

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

3

Visualization, transformation, and analysis of execution tr..:

Hendriks, Martijn ; Verriet, Jacques ; Basten, Twan
International Journal on Software Tools for Technology Transfer. 26 (2024) 1 - p. 101-126 , 2024

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

4

Modeling and analysis of switching max-plus linear systems ..:

Mohamadkhani, Alireza ; Geilen, Marc ; Voeten, Jeroen.
Discrete Event Dynamic Systems. 33 (2023) 3 - p. 341-372 , 2023

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

5

Efficient Computation of the Max-Plus Semantics of Synchron..:

Elahi, Hossein ; Geilen, Marc ; Basten, Twan
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42 (2023) 10 - p. 3412-3425 , 2023

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

6

Qualitative Assessment Guidelines for MSc Graduation Projec..:

, In: 2023 32nd Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE),

Radulov, Georgi ; Serra, Ramiro ; Basten, Twan.. - p. 1-6 , 2023

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

7

Partial-Order Reduction for Supervisory Controller Synthesi:

van der Sanden, Bram ; Geilen, Marc ; Reniers, Michel.
IEEE Transactions on Automatic Control. 67 (2022) 2 - p. 870-885 , 2022

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

8

Delay-Aware Multi-Layer Multi-Rate Model Predictive Control..:

Ibrahim, Amr ; Goswami, Dip ; Li, Hong.
IEEE Access. 10 (2022) - p. 44583-44607 , 2022

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

9

Minesweeper is Difficult Indeed!: Technology Scaling for Mi..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Thieme, Alex ; Basten, Twan - p. 472-490 , 2022

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

10

Multi-layer multi-rate model predictive control for vehicle..:

Ibrahim, Amr ; Goswami, Dip ; Li, Hong..
Transportation Research Part C: Emerging Technologies. 124 (2021) - p. 102905 , 2021

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

11

Optimising Multiprocessor Image-Based Control Through Pipel..:

Mohamed, Sajid ; Goswami, Dip ; De, Sayandip.
IEEE Access. 9 (2021) - p. 112332-112358 , 2021

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

12

Model-driven system-performance engineering for cyber-physi..:

, In: Proceedings of the 2021 International Conference on Embedded Software,

van der Sanden, Bram ; Li, Yonghui ; van den Aker, Joris... - p. 11-22 , 2021

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

13

Design and management of image processing pipelines within ..:

Sau, Carlo ; Rinaldi, Claudia ; Pomante, Luigi...
Microprocessors and Microsystems. 87 (2021) - p. 104350 , 2021

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

14

Performance Analysis of Embedded Platoon Controllers:

, In: 2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring),

Ibrahim, Amr ; Soroa, Inaki Martin ; Li, Hong.. - p. 1-7 , 2020

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

15

Trading Sensitivity for Power in an IEEE 802.15.4 Conforman..:

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

Detterer, Paul ; Erdin, Cumhur ; Huisken, Jos... - p. 1674-1679 , 2020

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