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
Master
Ongoing
Ongoing master projects
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
