Skip to content
About
Education
Research
Innovation
Schools
Campus
Search on the site
Validate
Show / hide the search form
Search on the site
Hide the search form
EN
Menu
Browse
IC
Networking
Systems
LCA2
Student Projects
Research Projects
Optimization of Mobility
Optimization of Mobility
LCA2
Back: LCA2
Team
Alumni
Teaching
Publications
Student Projects
Back: Student Projects
Research Projects
Back: Research Projects
Smart Grid
Deterministic Networking
Cyber Security of Critical Infrastructures
Optimization of Mobility
Semester
Back: Semester
Available
Back: Available
Formal Verification of Real-time Networks with Coq Proof Assistant
Benchmarking a Deterministic Router for Mission-Critical Small Networks
[Deterministic Networking] Simulation of instability in Time-Sensitive Networks with imperfect clocks
Implementing a Deterministic Networking Router on an FPGA
Ongoing
Back: Ongoing
Maximization of self-consumption of PV power
Completed
Back: Completed
Design and implementation of a frontend application
Development of a discrete event simulator for the real-time control of electrical grids
Coding project for Smart Grids Real-Time Control
Multi-service battery planning
In limbo
Master
Back: Master
Available
Back: Available
Formal Verification of Real-time Networks with Coq Proof Assistant
Benchmarking a Deterministic Router for Mission-Critical Small Networks
[Deterministic Networking] Simulation of instability in Time-Sensitive Networks with imperfect clocks
Implementing a Deterministic Networking Router on an FPGA
Performance Analysis and Validation of TSN technology for Aerospace Applications
Ongoing
Completed
Back: Completed
Development of a discrete event simulator for the real-time control of electrical grids
Multi-service battery planning
In limbo
Doctoral School
WoNeCa 2022 Presentation submission
Validation of the instability of FIFO networks with cyclic dependencies.
Back to top
