Marius Bozga

CNRS Research Engineer (IR1)

VERIMAG
Rigorous System Design (RSD) Team

Bâtiment IMAG
Université Grenoble Alpes
700, Avenue Centrale
38401 Saint Martin d’Hères

tel: +33 (0)4 57 42 22 07
fax: +33 (0)4 57 42 22 22

e-mail: Marius [dot] Bozga [at] univ-grenoble-alpes [dot] fr

photo

Home Publications
[hal] [dblp] [scholar]
Tools Research
Projects
Curriculum
Vitae
Others

Ongoing projects

H2020 ESROCOS, European Space Robotics Control and Operating System

H2020 ERGO, European Robotic Goal-Oriented Autonomous Controller

H2020 IA CITADEL, Critical Infrastructure Protection using Adaptive MILS

ESA SARGON, Space Automation & Robotics General Controller

Past projects

ESA MoSATT-CMP, Model-based Schedulability Analysis Techniques and Tools for Cached and Multicore Processors

FP7 STREP D-MILS, Distributed MILS for Dependable Information and Communication Infrastructure

BGLE ManycoreLabs, Software Tools for Manycore Embedded Platforms

FP7 IP ASCENS, Autonomic Service-Component Ensembles

BGLE ACOSE, Atelier pour le CO-developpement logiciel/materiel des Systemes Embarques

FP7 IST CERTAINTY, CErtification of Real Time Applications desIgNed for mixed criticality

ARTEMIS JU ACROSS, Artemis Cross-Domain Architecture

ARTEMIS JU SMECY, Smart Multicore Embedded Systems

FP7 STREP 248776 PRO3D, Programming for Future 3D Architectures with Many Cores

ANR VERIDYC, Vérification des programmes avec structures des données dynamiques

FP7 IST STREP 215543 COMBEST, Component-Based Embedded Systems Design Techniques

FP6 IP 033471 SPEEDS, Speculative and Exploratory Design in Systems Engineering

RNTL AVERILES, Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique

RNRT PERSIFORM, Ingénierie de Performances basée sur la Simulation à partir de Modèles Fonctionnels Formels

ACI Dynamo, Verification of Dynamic Embedded Programs

IST-2001-33522 OMEGA, Correct Development of Real-Time Embedded Systems

IST-2001-35304 AMETIST, Advanced Methods for Timed Systems

IST-1999-20218 AGEDIS, Automated Generation and Execution of Test Suites for DIstributed Component-based Software

IST-1999-29082 ADVANCE, Advanced Validation Techniques for Telecommunication Protocols

IST-1999-15566 INTERVAL, Real-Time for Telecom

Esprit LTR 23498 VIRES, Verifying Industrial Reactive Systems

Last updated 21-11-2017