Sfoglia per Autore
Concurrency in timed automata
2003-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Tini, Simone
A Comparison of Statecharts Step Semantics
2003-01-01 MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
Compositional Synthesis of Generalized Mealy Machines
2004-01-01 Tini, Simone; A., Maggiolo Schettini
Timed CCP Compositionally Embeds Argos and Lustre
2004-01-01 Tini, Simone
Automated Analysis of Timed Security: A Case Study on Web Privacy
2004-01-01 Gorrieri, R.; Lanotte, Ruggero; Martinelli, F.; MAGGIOLO SCHETTINI, A.; Tini, Simone; Tronci, E.
epsilon-transitions in Concurrent Timed Automata
2004-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Automatic Covert Channel Analysis of a Multilevel Secure Component
2004-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone; Troina, A.; Tronci, E.
Automatic Analysis of the NRL Pump
2004-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.
Rule Formats for Compositional Non Interference Properties
2004-01-01 Tini, Simone
Information Flow in Hybrid Systems
2004-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Probabilistic Congruence for Generative Semistochastic Processes
2005-01-01 Lanotte, Ruggero; Tini, Simone
Taylor Approximation for Hybrid Systems
2005-01-01 Lanotte, Ruggero; Tini, Simone
Taylor Approximation for Hybrid Systems
2007-01-01 Lanotte, Ruggero; Tini, Simone
Notes on Generative Probabilistic Bisimulation
2007-01-01 Tini, Simone
P Systems with Transport and Diffusione Membrane Channels
2008-01-01 Barbuti, R; MAGGIOLO SCHETTINI, A; Tini, Simone
Non Expansive epsilon-Bisimulations.
2008-01-01 Tini, Simone
Compositional semantics and behavioral equivalences for P Systems
2008-01-01 Barbuti, R.; MAGGIOLO SCHETTINI, A.; Milazzo, P.; Tini, Simone
A P Systems Flat Form Preserving Step-by-step Behaviour
2008-01-01 R., Barbuti; A., Maggiolo Schettini; P., Milazzo; Tini, Simone
P Systems with transport and diffusion membrane channels
2009-01-01 Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Probabilistic Bisimulation as a Congruence
2009-01-01 Lanotte, Ruggero; Tini, Simone
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Concurrency in timed automata | 1-gen-2003 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Tini, Simone | |
| A Comparison of Statecharts Step Semantics | 1-gen-2003 | MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone | |
| Compositional Synthesis of Generalized Mealy Machines | 1-gen-2004 | Tini, Simone; A., Maggiolo Schettini | |
| Timed CCP Compositionally Embeds Argos and Lustre | 1-gen-2004 | Tini, Simone | |
| Automated Analysis of Timed Security: A Case Study on Web Privacy | 1-gen-2004 | Gorrieri, R.; Lanotte, Ruggero; Martinelli, F.; MAGGIOLO SCHETTINI, A.; Tini, Simone; Tronci, E. | |
| epsilon-transitions in Concurrent Timed Automata | 1-gen-2004 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone | |
| Automatic Covert Channel Analysis of a Multilevel Secure Component | 1-gen-2004 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone; Troina, A.; Tronci, E. | |
| Automatic Analysis of the NRL Pump | 1-gen-2004 | Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E. | |
| Rule Formats for Compositional Non Interference Properties | 1-gen-2004 | Tini, Simone | |
| Information Flow in Hybrid Systems | 1-gen-2004 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone | |
| Probabilistic Congruence for Generative Semistochastic Processes | 1-gen-2005 | Lanotte, Ruggero; Tini, Simone | |
| Taylor Approximation for Hybrid Systems | 1-gen-2005 | Lanotte, Ruggero; Tini, Simone | |
| Taylor Approximation for Hybrid Systems | 1-gen-2007 | Lanotte, Ruggero; Tini, Simone | |
| Notes on Generative Probabilistic Bisimulation | 1-gen-2007 | Tini, Simone | |
| P Systems with Transport and Diffusione Membrane Channels | 1-gen-2008 | Barbuti, R; MAGGIOLO SCHETTINI, A; Tini, Simone | |
| Non Expansive epsilon-Bisimulations. | 1-gen-2008 | Tini, Simone | |
| Compositional semantics and behavioral equivalences for P Systems | 1-gen-2008 | Barbuti, R.; MAGGIOLO SCHETTINI, A.; Milazzo, P.; Tini, Simone | |
| A P Systems Flat Form Preserving Step-by-step Behaviour | 1-gen-2008 | R., Barbuti; A., Maggiolo Schettini; P., Milazzo; Tini, Simone | |
| P Systems with transport and diffusion membrane channels | 1-gen-2009 | Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone | |
| Probabilistic Bisimulation as a Congruence | 1-gen-2009 | Lanotte, Ruggero; Tini, Simone |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile