Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:publications [2016/11/30 21:58]
luca
research:publications [2016/11/30 22:31] (current)
luca [Journal Papers]
Line 118: Line 118:
  
   * Barbuti, Roberto and Tesei, Luca (2003) "A Decidable Notion of Timed Non-Interference",​ //​Fundamenta Informaticae//​ **54**(2-3),​ 137-150.\\ [[http://​content.iospress.com/​articles/​fundamenta-informaticae/​fi54-2-3-03|Page at Publisher]],​ [[http://​hdl.handle.net/​11581/​201245|Entry at UNICAM Repository]],​ {{ :​research:​bt03-postprint.pdf |PDF}}   * Barbuti, Roberto and Tesei, Luca (2003) "A Decidable Notion of Timed Non-Interference",​ //​Fundamenta Informaticae//​ **54**(2-3),​ 137-150.\\ [[http://​content.iospress.com/​articles/​fundamenta-informaticae/​fi54-2-3-03|Page at Publisher]],​ [[http://​hdl.handle.net/​11581/​201245|Entry at UNICAM Repository]],​ {{ :​research:​bt03-postprint.pdf |PDF}}
 +  * De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2003) "​Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems",​ //​Fundamenta Informaticae//​ **54**(2-3),​ 195-211.\\ [[http://​content.iospress.com/​articles/​fundamenta-informaticae/​fi54-2-3-07|Page at Publisher]],​ [[http://​hdl.handle.net/​11581/​201302|Entry at UNICAM Repository]],​ {{ :​research:​dst03-postprint.pdf |PDF}}
  
 +===== 2002 =====
 +
 +==== Journal Papers ====
 +
 +  * Barbuti, Roberto and De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2002) "A Notion of Non-Interference for Timed Automata",​ //​Fundamenta Informaticae//​ **51**(1-2),​ 1-11.\\ [[http://​content.iospress.com/​articles/​fundamenta-informaticae/​fi51-1-2-02|Page at Publisher]],​ [[http://​hdl.handle.net/​11581/​201244|Entry at UNICAM Repository]],​ {{ :​research:​bdst02-postprint.pdf |PDF}}
 +
 +===== 2001 =====
 +
 +==== Journal Papers ====
 +
 +  * Barbuti, Roberto and De Francesco, Nicoletta and Tesei, Luca (2001) "Timed Automata with non-Instantaneous Actions",​ //​Fundamenta Informaticae//​ **47**(3-4),​ 189-200.\\ [[http://​content.iospress.com/​articles/​fundamenta-informaticae/​fi47-3-4-02|Page at Publisher]],​ [[http://​hdl.handle.net/​11581/​201243|Entry at UNICAM Repository]],​ {{ :​research:​bdt01-postprint.pdf |PDF}}