Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Dorel Marius Bozga

Dorel Marius Bozga

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Vérification symbolique pour les protocoles de communication

Directed Thesis:

Un protocole de charge adaptatif pour les batteries Lithium-Ion
Information Flow Security in Component-Based Models : From verification to Implementation
Compositional verification of component-based real-time systems and applications
Flot de conception pour le développement rigoureux des systèmes embarqués en réseau
Rigorous System-level Modeling and Performance Evaluation for Embedded System Design
Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.
On computer-aided design-space exploration for multi-cores
Modélisation des systèmes synchrones en BIP
Stratégies d'ordonnancement conditionnelles utilisant des automates temporisés
Une approche basée sur les modèles pour le test de robustesse