Sfoglia per Autore  

Opzioni
Mostra risultati da 21 a 40 di 118
Titolo Data di pubblicazione Autore(i) File
Formula Based Abstractions of Transition Systems for Real-time Model Checking 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Abstract Interpretation of Trace Semantics for Concurrent Calculi 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Logic Based Abstractions of Real-time Systems 1-gen-2000 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A.; Vaglini, Gigliola
Efficient model checking of properties of a distributed application: a multimedia case study 1-gen-2001 Mazzocca, M.; Santone, A.; Vaglini, Gigliola; Vittorini, V.
Automatable integrations for the reuse of concurrent specifications 1-gen-2001 Santone, A.; Vaglini, Gigliola
Reusing LOTOS specifications 1-gen-2001 Santone, A.; Vaglini, Gigliola
An approach to system design based on P/T net simulation 1-gen-2001 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Tableau-based Procedure for Model Checking Programs 1-gen-2002 Santone, A.; Vaglini, Gigliola
Local Model checking of Java Bytecode 1-gen-2002 Santone, A.; Vaglini, Gigliola
Modifying LOTOS specifications by means of automatable formula-based integrations 1-gen-2003 Santone, A.; Vaglini, Gigliola
COMPOSITIONALITY AND LOCALITY FOR IMPROVING MODEL CHECKING IN THE SELECTIVE MU-CALCULUS 1-gen-2004 Santone, A.; Vaglini, Gigliola
Modular verification of abstract software descriptions 1-gen-2004 Gradara, S.; Santone, A.; Vaglini, Gigliola; Villani, M. L.
MODEL CHECKING MULTITHREADED PROGRAMS BY MEANS OF REDUCED MODELS 1-gen-2004 Gradara, S.; Santone, A.; Villani, M. L.; Vaglini, Gigliola
Formula-based abstractions and symbolic execution for model checking programs 1-gen-2004 A., Santone; Vaglini, Gigliola
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE 1-gen-2005 Santone, A.; Vaglini, Gigliola
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 1-gen-2005 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
A user-friendly interface to specify temporal properties of concurrent systems 1-gen-2007 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
MODULAR FORMAL VERIFICATION OF SPECIFICATIONS OF CONCURRENT SYSTEMS 1-gen-2008 Gradara, S.; Santone, A.; Vaglini, Gigliola; Villani, M. L.
Minimum Latency Link Scheduling in TDMA Wireless Multi-Hop Networks 1-gen-2009 Cappanera, P; Lenzini, Luciano; Lori, A; Vaglini, Gigliola
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 1-gen-2009 Santone, Antonella; Vaglini, Gigliola; VILLANI MARIA, Luisa
Mostra risultati da 21 a 40 di 118
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