Elliott Blot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2018–2020
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ENASE | CkTail: Model Learning of Communicating Systems. | Sbastien Salva, Elliott Blot |
| 2020 | ICSoft | Verifying the Application of Security Measures in IoT Software Systems with Model Learning. | Sbastien Salva, Elliott Blot |
| 2020 | ICSoft | MLCA: A Model-Learning-Checking Approach for IoT Systems. | Sbastien Salva, Elliott Blot |
| 2019 | SEKE | Reverse Engineering Behavioural Models of IoT Devices. | Sbastien Salva, Elliott Blot |
| 2018 | ICSoft | COnfECt: An Approach to Learn Models of Component-based Systems. | Sbastien Salva, Elliott Blot |