Haris Isakovic

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 13

Top Topics

Mazurkiewicz Traces

Innovative Ways

Microsoft Research Asia

Top Venues

Publications

Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
DeepSTL - From English Requirements to Signal Temporal Logic. ICSE (2022)
Christian Thomay, Ulf Bodin, Haris Isakovic, Rainer Lasch, Nicholas J. P. Race, Christoph Schmittner, Germar Schneider, Zsolt Szepessy, Markus Tauber, Zhiping Wang
Towards Adaptive Quality Assurance in Industrial Applications. NOMS (2022)
Haris Isakovic, Stefan Dangl, Zlatan Tucakovic, Radu Grosu
Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem. ICIT (2021)
Haris Isakovic, Luis Lino Ferreira, Irmin Okic, Adam Dukkon, Zlatan Tucakovic, Radu Grosu
QoS for Dynamic Deployment of IoT Services. ICIT (2021)
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
From English to Signal Temporal Logic. CoRR (2021)
Haris Isakovic, Edgar Azpiazu Crespo, Radu Grosu
An Energy Sustainable CPS/IoT Ecosystem. SmartCity360° (2020)
Haris Isakovic, Vanja Bisanovic, Bernhard Wally, Thomas Rausch, Denise Ratasich, Schahram Dustdar, Gerti Kappel, Radu Grosu
Sensyml: Simulation Environment for large-scale IoT Applications. IECON (2019)
Haris Isakovic, Alexander Fasching, Lukas Punzenberger, Radu Grosu
CPS/IoT Ecosystem: Indoor Vertical Farming System. ISCT (2019)
Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu
CPS/IoT Ecosystem: A Platform for Research and Education. CyPhy/WESE (2018)
Denise Ratasich, Oliver Höftberger, Haris Isakovic, Muhammad Shafique, Radu Grosu
A Self-Healing Framework for Building Resilient Cyber-Physical Systems. ISORC (2017)
Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison, Kyriakos Georgiou, Kerstin Eder, Norbert Druml, Lillian Tadros, Flemming Christensen, Emilie Wheatley, Bastian Farkas, Rolf Meyer, Mladen Berekovic
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. SAFECOMP Workshops (2017)
Haris Isakovic, Radu Grosu
A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform. ISIE (2016)
Werner Weber, Alfred Hoess, Jan van Deventer, Frank Oppenheimer, Rolf Ernst, Adam Kostrzewa, Philippe Dore, Thierry Goubier, Haris Isakovic, Norbert Druml, Egon Wuchner, Daniel Schneider, Erwin Schoitsch, Eric Armengaud, Thomas Soderqvist, Massimo Traversone, Sascha Uhrig, Juan Carlos Pérez-Cortes, Sergio Sáez, Juha Kuusela, Mark van Helvoort, Xing Cai, Bjørn Nordmoen, Geir Yngve Paulsen, Hans Petter Dahle, Michael Geissel, Jürgen Salecker, Peter Tummeltshammer
The EMC2 Project on Embedded Microcontrollers: Technical Progress after Two Years. DSD (2016)
Armin Wasicek, Oliver Höftberger, Martin Elshuber, Haris Isakovic, Andreas Fleck
Virtual CAN Lines in an Integrated MPSoC Architecture. ISORC (2014)
Haris Isakovic, Armin Wasicek
Secure channels in an integrated MPSoC architecture. IECON (2013)
Christian El Salloum, Martin Elshuber, Oliver Höftberger, Haris Isakovic, Armin Wasicek
The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems. Microprocess. Microsystems 37 (8-C) (2013)
Christian El Salloum, Martin Elshuber, Oliver Höftberger, Haris Isakovic, Armin Wasicek
The ACROSS MPSoC - A New Generation of Multi-core Processors Designed for Safety-Critical Embedded Systems. DSD (2012)