( en | de | ru )

 

Disambiguierung von "Bodei, Chiara"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tool Supported Analysis of IoT.

, , , und . ICE@DisCoTec, Volume 261 von EPTCS, Seite 37-56. (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

George Bodeit

Simone Bodeit

Chiara Manfletti

Chiara Ott

Chiara Simeoni

 

Weitere Publikationen von Autoren mit dem selben Namen

A Flat Process Calculus for Nested Membrane Interactions., , , und . Sci. Ann. Comput. Sci., 24 (1): 91-136 (2014)True Concurrency via Abstract Interpretation., und . SAS, Volume 1302 von Lecture Notes in Computer Science, Seite 202-216. Springer, (1997)Tool Supported Analysis of IoT., , , und . ICE@DisCoTec, Volume 261 von EPTCS, Seite 37-56. (2017)Authentication Primitives for Protocol Specifications., , , und . PaCT, Volume 2763 von Lecture Notes in Computer Science, Seite 49-65. Springer, (2003)Brane Calculi Systems: A Static Preview of their Possible Behaviour, und . CoRR, (2011)A static analysis for Brane Calculi providing global occurrence counting information., , , , , und . Theor. Comput. Sci., (2017)Tracing where IoT data are collected and aggregated., , , und . CoRR, (2016)Checking security policies through an enhanced Control Flow Analysis., , und . J. Comput. Secur., 13 (1): 49-85 (2005)Detecting and preventing type flaws at static time., , , und . J. Comput. Secur., 18 (2): 229-264 (2010)Control Flow Analysis of Generalised Boolean Networks., , und . SASB, Volume 284 von Electronic Notes in Theoretical Computer Science, Seite 3-22. Elsevier, (2011)