Teaching Activities
Master of Science in Ubiquitous Networking and Computing, Polytech'Nice Sophia Antipolis, France.
UbiComp Middleware and Verification
| 2010 |
 |
slides of the lecture |
| |
TP |
| 2014 |
| |
slides of the lecture |
| |
TP |
Safety in Middleware for Internet of Things
| 2015-2016 |
| |
slides of the lecture |
| |
TP |
| Clem software |
(clem, blif_simul, blif_check and galaxy) |
| WComp libraries |
(WComp files to synchronize/un-synchronize events) |
Synchronous language for formal validation - application to CEP (complex event processing)
Synchronous language for formal validation - application to CEP (complex event processing)
| 2017-2018 |
| |
slides of the lecture |
| |
TP |
| Clem software |
( linux 64 bits: clem, galaxy, blif_simul; linux 32 bits:clem, galaxy, blif_simul) |
| Clem verification tools |
( NuSMV and Xeve archives) |
| C code for MQTT |
( C files to help to design the MQTT client in the tutorial) |
Ecole des Mines de Paris
Introduction to Synchronous Languages and Verification
| 2010 |
| |
slides of the lecture |
| |
TP |
| 2011 |
| |
slides of the lecture |
| |
TP |
| 2013 |
| |
slides of the lecture |
| |
TP |
Scade
Link to download the Scade suite :
ET_SCADE64.zip
Collaboration
Academic partner of Esterel Technologies, the provider of model-based solutions for
DO-178B, EN 50128 and IEC 61508 safety-critical systems.
