E-LIB Suche - Ergebnisse für: Azaiez, Selma

1

A survey of main dataflow MoCCs for CPS design and verifica..:

, In: 2022 IEEE 15th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC),

Roumage, Guillaume ; Azaiez, Selma ; Louise, Stephane - p. 1-9 , 2022

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

2

Multi-level modeling to OPC UA for migrating to Industry 4...:

, In: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS),

Golra, Fahad R. ; Azaiez, Selma ; Engel, Marc - p. 589-595 , 2020

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

3

Cyclic Scheduling of Loop-Intensive Applications on Heterog..:

, In: 2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),

Glanon, Philippe ; Azaiez, Selma ; Mraidha, Chokri - p. 1-10 , 2020

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

4

Towards building OPC-UA companions for semi-conductor domai:

, In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),

Azaiez, Selma ; Tanguy, Francois ; Engel, Marc - p. 142-149 , 2019

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

5

Estimating Latency for Synchronous Dataflow Graphs Using Pe..:

, In: Lecture Notes in Computer Science; Verification and Evaluation of Computer and Communication Systems,

Glanon, Philippe ; Azaiez, Selma ; Mraidha, Chokri - p. 79-94 , 2019

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

6

Deploying software functionality to manufacturing resources..:

, In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA),

Pfrommer, Julius ; Schleipen, Miriam ; Azaiez, Selma... - p. 1-7 , 2016

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

7

Towards Flexibility in Future Industrial Manufacturing: A G..:

Azaiez, Selma ; Boc, Michael ; Cudennec, Loïc...
Procedia Computer Science. 83 (2016) - p. 1268-1273 , 2016

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

8

τ C: C with Process Network Extensions for Embedded Manycor..:

Goubier, Thierry ; Couroussé, Damien ; Azaiez, Selma
Procedia Computer Science. 29 (2014) - p. 1100-1112 , 2014

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

9

A multi-agent knowledge model for SMEs mechatronic supply c..:

Tounsi, Jihene ; Habchi, Georges ; Boissière, Julien.
Journal of Intelligent Manufacturing. 23 (2011) 6 - p. 2647-2665 , 2011

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

10

A survey of main dataflow MoCCs for CPS design and verifica..:

Roumage, Guillaume ; Azaiez, Selma ; Louise, Stephane
info:eu-repo/semantics/altIdentifier/doi/10.1109/MCSoC57363.2022.00010. , 2022

Link: https://hal-cea.archives..

11

A survey of main dataflow MoCCs for CPS design and verifica..:

Roumage, Guillaume ; Azaiez, Selma ; Louise, Stephane
info:eu-repo/semantics/altIdentifier/doi/10.1109/MCSoC57363.2022.00010. , 2022

Link: https://cea.hal.science/..

12

A survey of main dataflow MoCCs for CPS design and verifica..:

Roumage, Guillaume ; Azaiez, Selma ; Louise, Stephane
info:eu-repo/semantics/altIdentifier/doi/10.1109/MCSoC57363.2022.00010. , 2022

Link: https://hal-cea.archives..

13

Proving Determinacy of the PharOS Real-Time Operating Syste:

Azaiez, Selma ; Doligez, Damien ; Lemerre, Matthieu..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-33600-8_4. , 2016

Link: https://inria.hal.scienc..

14

Proving Determinacy of the PharOS Real-Time Operating Syste:

Azaiez, Selma ; Doligez, Damien ; Lemerre, Matthieu..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-33600-8_4. , 2016

Link: https://inria.hal.scienc..

15

Proving Determinacy of the PharOS Real-Time Operating Syste:

Azaiez, Selma ; Doligez, Damien ; Lemerre, Matthieu..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-33600-8_4. , 2016

Link: https://hal.inria.fr/hal..