Publications by Alena Simalatsar

Near-optimal Deployment of Dataflow Applications on Many-core Platforms with Real-time Guarantees

Safe and optimal deployment of data-streaming applications on many-core platforms requires the realistic estimation of task Worst-Case Execution Time (WCET). On the other hand, task WCET depends on the deployment solution, due to the varying number of inte ...

IEEE2017

Safe and Efficient Deployment of Data-Parallelisable Applications on Many-Core Platforms: Theory and Practice

Giovanni De Micheli, Federico Angiolini, Alena Simalatsar, Stefanos Skalistis

The safe and, at the same time, efficient deployment of parallelisable applications on many-core platforms is a challenging task. Theoretical Models of Computation (MoC) require the realistic estimation of task Worst-Case Execution Time (WCET ...

2017

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Alena Simalatsar, Simon Bliudze, Alina Zolotukhina

The major research in the resource management literature focuses primarily on two complementary sub-problems: (1) specification languages for formulating resource requests and (2) constraint problems modelling allocation and scheduling. Both directions ass ...

Springer International Publishing2017

Cascaded PID controller for anaesthesia delivery

Monia Guidi, Alena Simalatsar

The technologies for continuous measurement of the anaesthetic agents circulating in body fluids are not mature yet, though some preliminary prototypes exist already. We present a control algorithm that based on the real measurement of propofol plasma conc ...

2016

Assessment of Image Quality vs. Computation Cost for Different Parameterizations of Ultrasound Imaging Pipelines

Jean-Philippe Thiran, Giovanni De Micheli, Federico Angiolini, Alena Simalatsar, Stefanos Skalistis, Aya Mohamed Naguib Ahmed Ibrahim, Marcel Arditi

Ultrasound imaging is a technique widely used in medicine to visualize organs and other body structures, capturing their position, size, morphology and any pathological lesions. Its use is unfortunately limited to specialized centers with trained personnel ...

2015

Modeling of Reconfigurable Medical Ultrasonic Applications in BIP

Alena Simalatsar, Stefanos Skalistis

Medical ultrasonic imaging applications require high quality of images produced in real-time often with limited resources available. Deadlock-freedom and confluency must be guaranteed to ensure the correctness of the applications, while feasibility and opt ...

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2014

Safe Implementation of Embedded Software for a Portable Device Supporting Drug Administration

Yann Thoma, Giovanni De Micheli, Wenqi You Dubout, Alena Simalatsar

Poor adherence to medical regimen causes approximately 33% to 69% of medication-related hospitalizations and accounts for $100 billion in annual health care costs. In this paper we address the problem of unintentional non adherence, when patient fails to t ...

IEEE2014

Representation of Medical Guidelines with a Computer Interpretable Model

Giovanni De Micheli, Wenqi You Dubout, Alena Simalatsar

Nowadays medical software is tightly coupled with medical devices that perform patient state monitoring and lately even some basic treatment procedures. Medical guidelines (GLs) can be seen as specification of a medical system which requires their computer ...

World Scientific Publ Co Pte Ltd2014

Personalized Drug Administrations Using Support Vector Machine

Giovanni De Micheli, Wenqi You Dubout, Alena Simalatsar

The decision-making process regarding drug dose, regularly used in everyday medical practice, is critical to patients’ health and recovery. It is a challenging process, especially for a drug with narrow therapeutic ranges, in which a medical doctor decides ...

2013

Parameterized SVM for Personalized Drug Concentration Prediction

Giovanni De Micheli, Wenqi You Dubout, Alena Simalatsar

This paper proposes a parameterized Support Vector Machine (ParaSVM) approach for modeling the Drug Concentration to Time (DCT) curves. It combines the merits of Support Vector Machine (SVM) algorithm that considers various patient features and an analytic ...

2013

A Drug Administration Decision Support System

Giovanni De Micheli, Wenqi You Dubout, Alena Simalatsar

Drug delivery is one of the most common clinical routines in hospitals, and is critical to patients’ health and recovery. It includes a decision making process in which a medical doctor decides the amount (dose) and frequency (dose interval) on the basis o ...

2012

RANSAC-based Enhancement in Drug Concentration Prediction Using Support Vector Machine

Giovanni De Micheli, Wenqi You Dubout, Alena Simalatsar

Training Support Vector Machines (SVMs) to predict drugs concentrations is often difficult because of the high level of noise in the training data, due to various kinds of measurement errors. We apply RANdom SAmple Consensus (RANSAC) algorithm in this pape ...

2012

TAT-based Formal Representation of Medical Guidelines : Imatinib Case-study

Giovanni De Micheli, Alena Simalatsar

Computer-based interpretation of medical guide- lines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medic ...

Ieee2012

Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow

Alena Simalatsar

Design correctness and performance are major issues which are usually considered separately, and with different emphasis, by traditional system design flows. In this paper we show that one can meaningfully connect and benefit from the advantages of two des ...

IEEE2012