E-LIB Suche - Ergebnisse für: Isakovic, Haris

1

DeepSTL : from english requirements to signal temporal l..:

, In: Proceedings of the 44th International Conference on Software Engineering,

He, Jie ; Bartocci, Ezio ; Ničković, Dejan.. - p. 610-622 , 2022

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

2

DeepSTL - From English Requirements to Signal Temporal Logi:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),

He, Jie ; Bartocci, Ezio ; Nickovic, Dejan.. - p. 610-622 , 2022

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

3

Towards Adaptive Quality Assurance in Industrial Applicatio..:

, In: NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium,

Thomay, Christian ; Bodin, Ulf ; Isakovic, Haris... - p. 1-6 , 2022

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

4

An Energy Sustainable CPS/IoT Ecosystem:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Science and Technologies for Smart Cities,

Isakovic, Haris ; Crespo, Edgar Azpiazu ; Grosu, Radu - p. 305-322 , 2021

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

5

Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem:

, In: 2021 22nd IEEE International Conference on Industrial Technology (ICIT),

Isakovic, Haris ; Dangl, Stefan ; Tucakovic, Zlatan. - p. 1391-1396 , 2021

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

6

CPS/IoT Ecosystem: A Platform for Research and Education:

, In: Cyber Physical Systems. Model-Based Design; Lecture Notes in Computer Science,

Isakovic, Haris ; Ratasich, Denise ; Hirsch, Christian... - p. 206-213 , 2019

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

7

The EMC2 Project on Embedded Microcontrollers: Technical Pr..:

, In: 2016 Euromicro Conference on Digital System Design (DSD),

Weber, Werner ; Hoess, Alfred ; van Deventer, Jan... - p. 524-531 , 2016

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

8

The ACROSS MPSoC – A new generation of multi-core processor..:

El Salloum, Christian ; Elshuber, Martin ; Höftberger, Oliver..
Microprocessors and Microsystems. 37 (2013) 8 - p. 1020-1032 , 2013

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

9

QoS for Dynamic Deployment of IoT Services:

, In: 2021 22nd IEEE International Conference on Industrial Technology (ICIT),

Haris, Isakovic ; Lino Ferreira, Luis ; Okic, Irmin... - p. 1144-1151 , 2021

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

10

CPS/IoT Ecosystem: Indoor Vertical Farming System:

, In: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT),

Haris, Isakovic ; Fasching, Alexander ; Punzenberger, Lukas. - p. 47-52 , 2019

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

11

Sensyml: Simulation Environment for large-scale IoT Applica..:

, In: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society,

Haris, Isakovic ; Bisanovic, Vanja ; Wally, Bernhard... - p. 3024-3030 , 2019

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

12

Towards Dependable CPS/IoT Ecosystem:

Isakovic, Haris
https://doi.org/10.34726/hss.2022.103104. , 2022

Link: https://doi.org/10.34726..

13

DeepSTL -- From English Requirements to Signal Temporal Log..:

He, Jie ; Bartocci, Ezio ; Ničković, Dejan..
http://arxiv.org/abs/2109.10294. , 2021

Link: http://arxiv.org/abs/210..

14

A secure global time base for time triggered systems:

Isakovic, Haris
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-44562. , 2020

Link: https://resolver.obvsg.a..

15

A survey of hardware technologies for mixed-critical integr..:

Isakovic, Haris ; Grosu, Radu ; Ratasich, Denise...
Isakovic , H , Grosu , R , Ratasich , D , Kadlec , J , Pohl , Z , Kerrison , S , Georgiou , K , Eder , K , Druml , N , Tadros , L , Christensen , F , Wheatley , E , Farkas , B , Meyer , R & Berekovic , M 2017 , A survey of hardware technologies for mixed-critical integration explored in the project EMC 2 . in Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Proceedings . vol. 10489 LNCS , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 10489 LNCS , Springer-Verlag Berlin , pp. 127-140 , International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017 and 5th International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE 2017, 12th Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of Systems, DECSoS 2017, 6th International Workshop on Next Generation of Syst.... , 2017

Link: https://hdl.handle.net/1..