Staff

Research interests  [ Show full biography ]

Research interests include component- and model based development of embedded systems, event pattern detection and formal methods.

Latest publications [ Show all publications ]

Research projects

On-going:
• CONTESSE - Contract-Based Components for Embedded Software
• DICES - Distributed Component-based Embedded Software Systems
• RALF3 - Software for Embedded High Performance Architectures
• SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
• SYNOPSIS


Finished:
• ASSIST – Analysis and Synthesis of Industrial Software Systems
• High Level Languages for Hard and Embedded Real-Time Systems
• PG-CBD-IDE – Integration Development Environment
• PROGRESS

Supervised Ph D students

• Gabriel Campeanu  (assistant supervisor)
• Juraj Feljan  (assistant supervisor)
• Luka Lednicki  (assistant supervisor)
• Josip Maras  (assistant supervisor)
• Ana Petricic  (assistant supervisor)
• Séverine Sentilles  (finished)  (assistant supervisor)

• A lightweight analysis framework for Progress IDE
• A Real-Time Java realization of the ProCom component model
• Application for debugging and calibration of an underwater robot
• Implementation templates for mission automata for an underwater robot
• Simulation-based optimization of dual non-crossing stacking cranes
• Simulink model to model transformation through EMF
• Synthesizing Activation and Local Interactions of ProCom Components
• Synthesizing Instantiation and Local Interactions of ProCom Components
• Underwater computer vision and object recognition


Finished theses:
• A Framework for Data Mining and Events Correlation on Telecommunication System Logs
• Ett intranetbaserat system för dokumentationshantering
• Flervägs dataanalysator för seriell data
• Improving a Graphical Turntable Simulator
• Integrating an event detection algebra in C#
• On-board Diagnostics Framework
• ProCom middleware
• The Progress run-time architecture

Teaching