| 2009 |
|---|
| 12 | EE | Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich:
The synergy of precise and fast abstractions for program verification.
SAC 2009: 566-573 |
| 2008 |
|---|
| 11 | EE | Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
Christoph M. Wintersteiger:
Loop Summarization Using Abstract Transformers.
ATVA 2008: 111-125 |
| 10 | EE | Alessandro Cimatti,
Marco Roveri,
Angelo Susi,
Stefano Tonetta:
Object Models with Temporal Constraints.
SEFM 2008: 249-258 |
| 9 | EE | Alessandro Cimatti,
Marco Roveri,
Stefano Tonetta:
Symbolic Compilation of PSL.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1737-1750 (2008) |
| 2007 |
|---|
| 8 | EE | Alessandro Cimatti,
Marco Roveri,
Viktor Schuppan,
Stefano Tonetta:
Boolean Abstraction for Temporal Logic Satisfiability.
CAV 2007: 532-546 |
| 7 | EE | Roberto Sebastiani,
Stefano Tonetta,
Moshe Y. Vardi:
Property-Driven Partitioning for Abstraction Refinement.
TACAS 2007: 389-404 |
| 6 | EE | Alessandro Cimatti,
Marco Roveri,
Stefano Tonetta:
Syntactic Optimizations for PSL Verification.
TACAS 2007: 505-518 |
| 5 | EE | Roberto Sebastiani,
Eli Singerman,
Stefano Tonetta,
Moshe Y. Vardi:
GSTE is partitioned model checking.
Formal Methods in System Design 31(2): 177-196 (2007) |
| 2006 |
|---|
| 4 | EE | Alessandro Cimatti,
Marco Roveri,
Simone Semprini,
Stefano Tonetta:
From PSL to NBA: a Modular Symbolic Encoding.
FMCAD 2006: 125-133 |
| 2005 |
|---|
| 3 | EE | Roberto Sebastiani,
Stefano Tonetta,
Moshe Y. Vardi:
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.
CAV 2005: 350-363 |
| 2004 |
|---|
| 2 | EE | Roberto Sebastiani,
Eli Singerman,
Stefano Tonetta,
Moshe Y. Vardi:
GSTE Is Partitioned Model Checking.
CAV 2004: 229-241 |
| 2003 |
|---|
| 1 | EE | Roberto Sebastiani,
Stefano Tonetta:
"More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking.
CHARME 2003: 126-140 |
