Sfoglia per Autore
Model-Checking TRIO specifications in SPIN
2003-01-01 Morzenti, A.; Pradella, M.; San Pietro, P.; Spoletini, Paola
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application
2003-01-01 Cigoli, S.; Leblanc, P.; Malaponti, S.; Mandrioli, D.; Mazzucchelli, M.; Morzenti, A.; Spoletini, Paola
Practical Model Checking of LTL with Past
2003-01-01 Pradella, M.; San Pietro, P.; Spoletini, Paola; Morzenti, A.
Modeling and analyzing context-aware composition of services
2005-01-01 Colombo, E.; Mylopoulos, J.; Spoletini, Paola
Esercizi di Informatica Teorica - terza edizione
2005-01-01 Mandrioli, D.; Lavazza, LUIGI ANTONIO; Morzenti, A.; San Pietro, P.; Spoletini, Paola
A formal approach supporting the specification and verification of business conversation requirements.
2005-01-01 Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola
Fuzzy querying of semistructured data
2005-01-01 Campi, A.; Guinea, S.; Spoletini, Paola
History checking of XML data streams
2006-01-01 Campi, A.; Spoletini, Paola
On the use of Alloy to analyze graph transformation systems
2006-01-01 Baresi, L.; Spoletini, Paola
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures
2006-01-01 Giorgetta, M.; Santambrogio, M.; Sciuto, D.; Spoletini, Paola
A framework for XML Data Streams History Checking and Monitoring
2006-01-01 Campi, A.; Spoletini, Paola
Formal verification of production systems performance: a new approach to the detailed system design phase
2006-01-01 Spoletini, Paola; Tomassella, M.; Matta, A.; Rossi, M.
A fuzzy extension for the XPath query language
2006-01-01 Campi, A.; Guinea, S.; Spoletini, Paola
XQuery layers
2007-01-01 Braga, D.; Campi, A.; Ceri, S.; Spoletini, Paola
Formal analysis of Publish-Subscribe systems by probabilistic timed automata
2007-01-01 Fei, He; Baresi, L.; Ghezzi, C; Spoletini, Paola
Commitment monitoring in a multiagent system
2007-01-01 Spoletini, Paola; Verdicchio, M.
Model checking temporal metric specifications with Trio2Promela
2007-01-01 Bianculli, D.; Spoletini, Paola; Morzenti, A.; Pradella, M.; San Pietro, P.
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems
2007-01-01 Matta, A.; Rossi, M.; Spoletini, Paola; Mandrioli, D.; Semeraro, Q.; Tolio, T.
Quantifying the discord: order discrepancies in message sequence charts
2007-01-01 Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola
Trio2Promela: a model checker for temporal metric specifications
2007-01-01 Bianculli, D.; Morzenti, A.; Pradella, M.; San Pietro, P.; Spoletini, Paola
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model-Checking TRIO specifications in SPIN | 1-gen-2003 | Morzenti, A.; Pradella, M.; San Pietro, P.; Spoletini, Paola | |
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application | 1-gen-2003 | Cigoli, S.; Leblanc, P.; Malaponti, S.; Mandrioli, D.; Mazzucchelli, M.; Morzenti, A.; Spoletini, Paola | |
Practical Model Checking of LTL with Past | 1-gen-2003 | Pradella, M.; San Pietro, P.; Spoletini, Paola; Morzenti, A. | |
Modeling and analyzing context-aware composition of services | 1-gen-2005 | Colombo, E.; Mylopoulos, J.; Spoletini, Paola | |
Esercizi di Informatica Teorica - terza edizione | 1-gen-2005 | Mandrioli, D.; Lavazza, LUIGI ANTONIO; Morzenti, A.; San Pietro, P.; Spoletini, Paola | |
A formal approach supporting the specification and verification of business conversation requirements. | 1-gen-2005 | Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola | |
Fuzzy querying of semistructured data | 1-gen-2005 | Campi, A.; Guinea, S.; Spoletini, Paola | |
History checking of XML data streams | 1-gen-2006 | Campi, A.; Spoletini, Paola | |
On the use of Alloy to analyze graph transformation systems | 1-gen-2006 | Baresi, L.; Spoletini, Paola | |
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures | 1-gen-2006 | Giorgetta, M.; Santambrogio, M.; Sciuto, D.; Spoletini, Paola | |
A framework for XML Data Streams History Checking and Monitoring | 1-gen-2006 | Campi, A.; Spoletini, Paola | |
Formal verification of production systems performance: a new approach to the detailed system design phase | 1-gen-2006 | Spoletini, Paola; Tomassella, M.; Matta, A.; Rossi, M. | |
A fuzzy extension for the XPath query language | 1-gen-2006 | Campi, A.; Guinea, S.; Spoletini, Paola | |
XQuery layers | 1-gen-2007 | Braga, D.; Campi, A.; Ceri, S.; Spoletini, Paola | |
Formal analysis of Publish-Subscribe systems by probabilistic timed automata | 1-gen-2007 | Fei, He; Baresi, L.; Ghezzi, C; Spoletini, Paola | |
Commitment monitoring in a multiagent system | 1-gen-2007 | Spoletini, Paola; Verdicchio, M. | |
Model checking temporal metric specifications with Trio2Promela | 1-gen-2007 | Bianculli, D.; Spoletini, Paola; Morzenti, A.; Pradella, M.; San Pietro, P. | |
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems | 1-gen-2007 | Matta, A.; Rossi, M.; Spoletini, Paola; Mandrioli, D.; Semeraro, Q.; Tolio, T. | |
Quantifying the discord: order discrepancies in message sequence charts | 1-gen-2007 | Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola | |
Trio2Promela: a model checker for temporal metric specifications | 1-gen-2007 | Bianculli, D.; Morzenti, A.; Pradella, M.; San Pietro, P.; Spoletini, Paola |
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