Sfoglia per Autore
Verifying mobile processes in the HAL environment
1998-01-01 Ferrari, G.; Gnesi, S.; Montanari, U.; Pistore, Marco; Ristori, G.
Model checking early requirements specifications in tropos.
2001-01-01 A., Fuxman; Mylopoulos, Ioannis; Pistore, Marco; P., Traverso
`Closed interval process algebra' versus `interval process algebra'
2001-01-01 F., Corradini; Pistore, Marco
On the semantics of durational actions
2001-01-01 F., Corradini; G., Ferrari; Pistore, Marco
'Closed Interval Process Algebra' versus 'Interval Process Algebra'
2001-01-01 Corradini, F.; Pistore, Marco
Planning as model checking for extended goals in non-deterministic Domains
2001-01-01 Pistore, Marco; P., Traverso
A partition refinement algorithm for the pi-calculus
2001-01-01 Pistore, Marco; D., Sangiorgi
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker.
2001-01-01 Cimatti, A.; Giunchiglia, E.; Pistore, Marco; Sebastiani, Roberto; Roveri, M.; Tacchella, A.
A request language for web services based on planning and constraint satisfaction
2002-01-01 Aiello, Marco; M., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; L., Serafini; P., Traverso
Planning with a language for extended goals
2002-01-01 U., Dal Lago; Pistore, Marco; P., Traverso
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation
2002-01-01 G., Ferrari; U., Montanari; Pistore, Marco
Integrating BDD-based and SAT-based Symbolic Model Checking
2002-01-01 Cimatti, Alessandro; Giunchiglia, Enrico; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando; Pistore, Marco
NuSMV2: an open source tool for symbolic model checking
2002-01-01 Cimatti, A.; Clarke, E.; Giunchiglia, E.; Giunchiglia, Fausto; Pistore, Marco; Roveri, M.; Sebastiani, Roberto; Tacchella, A.
Planning for requests against Web Services
2002-01-01 M., Papazoglou; Aiello, Marco; Pistore, Marco; J., Yang
Improving the Encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Roveri, Marco; Pistore, Marco
XSRL: An XML web-services request language
2002-01-01 Papazoglou, Mike; Aiello, Marco; Pistore, Marco; Yang, Jian
NuSMV2: an Open Source Tool for Symbolic Model Checking
2002-01-01 Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Pistore, Marco; Tacchella, Armando; Giunchiglia, Enrico; Roveri, Marco; Sebastiani, Roberto
Integrating BDD-based and SAT-based Symbolic Model Checking
2002-01-01 Cimatti, A.; Giunchiglia, E.; Pistore, Marco; Roveri, M.; Sebastiani, Roberto; Tacchella, A.
NuSMV 2: An opensource tool for symbolic model checking
2002-01-01 Cimatti, A.; Clarke, E.; Giunchiglia, E.; Giunchiglia, F.; Pistore, M.; Roveri, M.; Sebastiani, R.; Tacchella, A.
Improving the Encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, A.; Pistore, Marco; Roveri, M.; Sebastiani, Roberto
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