Paraskevas Bourgos

Rigorous Design Flow for Programming Manycore Platforms. (Flot de conception rigoureux pour la programmation de plates-formes manycore.)

Paraskevas Bourgos, 2013 .

Rigorous System Design: The BIP Approach

Joseph Sifakis, Marius Bozga, Ananda Basu, 2011, MEMICS.

Rigorous Design Flow for Programming Manycore Platforms

Paraskevas Bourgos, P. Bourgos, 2013 .

Component Assemblies in the Context of Manycore

Joseph Sifakis, Marius Bozga, Ananda Basu, 2011, FMCO.

Models for deterministic execution of real-time multiprocessor applications

Marius Bozga, Saddek Bensalem, Peter Poplavko, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

Lothar Thiele, Benoît Dupont de Dinechin, Sylvain Girbal, 2018, Des. Autom. Embed. Syst..

Rigorous system level modeling and analysis of mixed HW/SW systems

Joseph Sifakis, Kai Huang, Marius Bozga, 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).

Building distributed sensor network applications using BIP

Marius Bozga, Saddek Bensalem, Alexios Lekidis, 2015, 2015 IEEE Sensors Applications Symposium (SAS).

Design Flow for the Rapid Development of Distributed Sensor Network Applications

Marius Bozga, Saddek Bensalem, Alexios Lekidis, 2015 .