. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Conference or Workshop Papers
Security in Wireless Sensor Networks: A formal verification of protocols CISTER-TR-190506 
Giann Nandi, David Pereira, Martín Vigil, Ricardo Moraes, Analúcia Schiaffino Morales, Gustavo AraújoAccepted in 17th IEEE International Conference on Industrial Informatics (INDIN 2019). 22 to 25, Jul, 2019, Safety and Security in Industrial Applications, pp 425-431. Helsinki-Espoo, Finland.
Coordination of tasks on a Real-Time OS CISTER-TR-190501 
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst21st International Conference on Coordination Models and Languages (Coordination 2019). 18 to 21, Jun, 2019. Copenhagen, Denmark.
Conference or Workshop Posters/Demos
Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS CISTER-TR-190606 
Giann NandiPoster presented in 3rd Doctoral Congress in Engineering (DCE 2019). 27 to 28, Jun, 2019. Porto, Portugal.