Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 10 di 10
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Computing stuttering simulations 2009 RANZATO, FRANCESCOTAPPARO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Concurrency Theory, 20th International Conference, CONCUR 2009
Saving space in a time efficient simulation algorithm 2009 CRAFA, SILVIARANZATO, FRANCESCOTAPPARO, FRANCESCO - - 2009 Ninth International Conference on Application of Concurrency to System Design
A forward-backward abstraction refinement algorithm 2008 RANZATO, FRANCESCOTAPPARO, FRANCESCO + LECTURE NOTES IN COMPUTER SCIENCE - Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008
Generalized strong preservation by abstract interpretation. 2007 RANZATO, FRANCESCOTAPPARO, FRANCESCO JOURNAL OF LOGIC AND COMPUTATION - -
A new efficient simulation equivalence algorithm 2007 RANZATO, FRANCESCOTAPPARO, FRANCESCO - - Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
Strong preservation of temporal fixpoint-based operators by abstract interpretation 2006 RANZATO, FRANCESCOTAPPARO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006
An abstract interpretation perspective on linear vs. branching time 2005 RANZATO, FRANCESCOTAPPARO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan
An abstract interpretation-based refinement algorithm for strong preservation 2005 RANZATO, FRANCESCOTAPPARO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK
Strong preservation as completeness in abstract interpretation 2004 RANZATO, FRANCESCOTAPPARO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004
Making abstract model checking strongly preserving 2002 RANZATO, FRANCESCOTAPPARO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Static Analysis, 9th International Symposium, SAS 2002
Mostrati risultati da 1 a 10 di 10
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