 | 2009 |
|---|
| 12 |       | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Luca Tesei:
Timed P Automata.
Electr. Notes Theor. Comput. Sci. 227: 21-36 (2009) |
| 11 | | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli,
Luca Tesei:
Model Checking Biological Oscillators.
Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009) |
| 10 | | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Luca Tesei:
Timed P Automata.
Fundam. Inform. 94(1): 1-19 (2009) |
| 2008 |
|---|
| 9 | | Diletta Cacciagrano,
Flavio Corradini,
Rosario Culmone,
Luca Tesei,
Leonardo Vito:
A model-prover for constrained dynamic conversations.
iiWAS 2008: 630-633 |
| 8 | | Flavio Corradini,
Alberto Polzonetti,
Barbara Re,
Luca Tesei:
Quality of service in e-government underlines the role of information usability.
IJIQ 2(2): 133-151 (2008) |
| 2004 |
|---|
| 7 | | Roberto Barbuti,
Luca Tesei:
Timed automata with urgent transitions.
Acta Inf. 40(5): 317-347 (2004) |
| 6 | | Roberto Barbuti,
Stefano Cataudella,
Luca Tesei:
Abstract Interpretation Against Races.
Fundam. Inform. 60(1-4): 67-79 (2004) |
| 2003 |
|---|
| 5 | | Roberto Barbuti,
Luca Tesei:
A Decidable Notion of Timed Non-Interference.
Fundam. Inform. 54(2-3): 137-150 (2003) |
| 4 | | Nicoletta De Francesco,
Antonella Santone,
Luca Tesei:
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
Fundam. Inform. 54(2-3): 195-211 (2003) |
| 2002 |
|---|
| 3 | | Roberto Barbuti,
Luca Tesei,
Cinzia Bernardeschi,
Nicoletta De Francesco:
Fixing the Java bytecode verifier by a suitable type domain.
SEKE 2002: 377-382 |
| 2 |  | Roberto Barbuti,
Nicoletta De Francesco,
Antonella Santone,
Luca Tesei:
A Notion of Non-Interference for Timed Automata.
Fundam. Inform. 51(1-2): 1-11 (2002) |
| 2001 |
|---|
| 1 | | Roberto Barbuti,
Nicoletta De Francesco,
Luca Tesei:
Timed Automata with non-Instantaneous Actions.
Fundam. Inform. 47(3-4): 189-200 (2001) |
