Home > Archives > RSD (Archive) > Research Topics > Research Topics

Research Topics

[section under construction]

Modeling Analysis Implementation Design Flows
The BIP Framework Compositional Verification Real-Time Autonomous Systems
BIP Extensions Statistical Model Checking Mixed-Criticality Time-Critical Applications
Language Embedding Runtime Monitoring Decentralized Networked Embedded Systems
Information Flow Security Model Transformations Manycore Platforms

New publications