Sfoglia per Autore
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.
2010-01-01 Fioravanti, Fabio; Pettorossi, A.; Proietti, M.; Senni, V.
A Statechart based representation for SBML descriptions
2010-01-01 Fioravanti, Fabio; Manuela Helmer, Citterich; Enrico, Nardelli
Improving Reachability Analysis of Infinite State Systems by Specialization
2011-01-01 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Controlling Polyvariance for Specialization-based Verification
2011-01-01 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Improving Reachability Analysis of Infinite State Systems by Specialization
2011-01-01 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011)Pescara, Italy, August 31 - September 2, 2011.
2011-01-01 Fioravanti, Fabio
Program Transformation for Development, Verification, and Synthesis of Programs
2011-01-01 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation
2011-01-01 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Modeling Gene Network Motifs Using Statecharts
2011-01-01 Fioravanti, Fabio; Manuela Helmer, Citterich; Enrico, Nardelli
Software Model Checking by Program Specialization
2012-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Using Real Relaxations During Program Specialization
2012-01-01 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Evaluation of complex security scenarios using defense trees and economic indexes
2012-01-01 S., Bistarelli; Fioravanti, Fabio; P., Peretti; F., Santini
Improving Reachability Analysis of Infinite State Systems by Specialization
2012-01-01 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Modeling Gene Regulatory Network Motifs using Statecharts
2012-01-01 Fioravanti, Fabio; Manuela Helmer, Citterich; Enrico, Nardelli
Using real relaxations during program specialization
2012-01-01 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
Generation of test data structures using Constraint Logic Programming
2012-01-01 Senni, Valerio; Fioravanti, Fabio
Branching Preserving Specialization for Software Model Checking
2012-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Verification of Imperative Programs by Constraint Logic Program Transformation
2013-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Specialization with Constrained Generalization for Software Model Checking
2013-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Special issue on the Italian conference on computational logic: CILC 2011
2013-01-01 Fioravanti, Fabio; Pettorossi, Alberto; Rossi, Gianfranco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. | 2010 | Fioravanti, Fabio; Pettorossi, A.; Proietti, M.; Senni, V. | |
| A Statechart based representation for SBML descriptions | 2010 | Fioravanti, Fabio; Manuela Helmer, Citterich; Enrico, Nardelli | |
| Improving Reachability Analysis of Infinite State Systems by Specialization | 2011 | Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni | |
| Controlling Polyvariance for Specialization-based Verification | 2011 | Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni | |
| Improving Reachability Analysis of Infinite State Systems by Specialization | 2011 | Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni | |
| Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011)Pescara, Italy, August 31 - September 2, 2011. | 2011 | Fioravanti, Fabio | |
| Program Transformation for Development, Verification, and Synthesis of Programs | 2011 | Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni | |
| Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation | 2011 | Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni | |
| Modeling Gene Network Motifs Using Statecharts | 2011 | Fioravanti, Fabio; Manuela Helmer, Citterich; Enrico, Nardelli | |
| Software Model Checking by Program Specialization | 2012 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
| Using Real Relaxations During Program Specialization | 2012 | Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni | |
| Evaluation of complex security scenarios using defense trees and economic indexes | 2012 | S., Bistarelli; Fioravanti, Fabio; P., Peretti; F., Santini | |
| Improving Reachability Analysis of Infinite State Systems by Specialization | 2012 | Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni | |
| Modeling Gene Regulatory Network Motifs using Statecharts | 2012 | Fioravanti, Fabio; Manuela Helmer, Citterich; Enrico, Nardelli | |
| Using real relaxations during program specialization | 2012 | Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio | |
| Generation of test data structures using Constraint Logic Programming | 2012 | Senni, Valerio; Fioravanti, Fabio | |
| Branching Preserving Specialization for Software Model Checking | 2012 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti | |
| Verification of Imperative Programs by Constraint Logic Program Transformation | 2013 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti | |
| Specialization with Constrained Generalization for Software Model Checking | 2013 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti | |
| Special issue on the Italian conference on computational logic: CILC 2011 | 2013 | Fioravanti, Fabio; Pettorossi, Alberto; Rossi, Gianfranco |
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