TAPPARO, FRANCESCO

TAPPARO, FRANCESCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
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
A new efficient simulation equivalence algorithm 2007 RANZATO, FRANCESCOTAPPARO, FRANCESCO - - Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
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
Computing stuttering simulations 2009 RANZATO, FRANCESCOTAPPARO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Concurrency Theory, 20th International Conference, CONCUR 2009
Generalized strong preservation by abstract interpretation. 2007 RANZATO, FRANCESCOTAPPARO, FRANCESCO JOURNAL OF LOGIC AND COMPUTATION - -
Making abstract model checking strongly preserving 2002 RANZATO, FRANCESCOTAPPARO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Static Analysis, 9th International Symposium, SAS 2002
Saving space in a time efficient simulation algorithm 2009 CRAFA, SILVIARANZATO, FRANCESCOTAPPARO, FRANCESCO - - 2009 Ninth International Conference on Application of Concurrency to System Design
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
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