| 2009 |
|---|
| 10 | EE | Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Luca Tesei:
Timed P Automata.
Electr. Notes Theor. Comput. Sci. 227: 21-36 (2009) |
| 9 | EE | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli,
Luca Tesei:
Model Checking Biological Oscillators.
Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009) |
| 2008 |
|---|
| 8 | EE | Diletta Cacciagrano,
Flavio Corradini,
Rosario Culmone,
Luca Tesei,
Leonardo Vito:
A model-prover for constrained dynamic conversations.
iiWAS 2008: 630-633 |
| 2004 |
|---|
| 7 | EE | Roberto Barbuti,
Luca Tesei:
Timed automata with urgent transitions.
Acta Inf. 40(5): 317-347 (2004) |
| 6 | EE | Roberto Barbuti,
Stefano Cataudella,
Luca Tesei:
Abstract Interpretation Against Races.
Fundam. Inform. 60(1-4): 67-79 (2004) |
| 2003 |
|---|
| 5 | EE | Roberto Barbuti,
Luca Tesei:
A Decidable Notion of Timed Non-Interference.
Fundam. Inform. 54(2-3): 137-150 (2003) |
| 4 | EE | 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 | EE | 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) |
