|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 7 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich |
An abstraction refinement approach combining precise and approximated techniques.  |
STTT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta |
Symbolic Model Checking and Safety Assessment of Altarica models. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Formalizing requirements with object models and temporal constraints. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
Efficient Scenario Verification for Hybrid Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction. |
EUROMICRO-SEAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta |
Model Checking of Hybrid Systems Using Shallow Synchronization. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini |
Formalization and validation of a subset of the European Train Control System. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
formal methods, methodology, requirements validation |
| 1 | Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta |
From Sequential Extended Regular Expressions to NFA with Symbolic Labels. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Formalization and Validation of Safety-Critical Requirements |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta |
Supporting Requirements Validation: The EuRailCheck Tool. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
EuRailCheck, formal methods, requirements validation, ETCS |
| 1 | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
Loopfrog: A Static Analyzer for ANSI-C Programs. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich |
The synergy of precise and fast abstractions for program verification. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
CEGAR, predicate abstraction, abstraction refinement |
| 1 | Stefano Tonetta |
Abstract Model Checking without Computing the Abstraction. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Requirements Validation for Hybrid Systems. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Symbolic Compilation of PSL. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Object Models with Temporal Constraints. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
From Informal Requirements to Property-Driven Formal Validation. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
Loop Summarization Using Abstract Transformers. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi |
GSTE is partitioned model checking. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
GSTE, Property-driven partitioning, Symbolic model checking |
| 1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Syntactic Optimizations for PSL Verification. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
Property-Driven Partitioning for Abstraction Refinement. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta |
Boolean Abstraction for Temporal Logic Satisfiability. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta |
From PSL to NBA: a Modular Symbolic Encoding. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi |
GSTE Is Partitioned Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Stefano Tonetta |
"More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")