The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alberto Griggio" ( http://dblp.L3S.de/Authors/Alberto_Griggio )

URL (Homepage):  https://es.fbk.eu/people/griggio/  Author page on DBLP  Author page in RDF  Community of Alberto Griggio in ASPL-2

Publication years (Num. hits)
2006-2010 (16) 2011-2013 (17) 2014-2016 (19) 2017-2019 (14)
Publication types (Num. hits)
article(20) inproceedings(45) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 67 publication records. Showing 66 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. Search on Bibsonomy ARCH@CPSIoTWeek The full citation details ... 2019 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury Symbolic execution with existential second-order constraints. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Marco Roveri, Stefano Tonetta Certifying Proofs for LTL Model Checking. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Philipp Rümmer Preface to special issue on satisfiability modulo theories. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler SC-square: when Satisfiability Checking and Symbolic Computation join forces. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Brain, James H. Davenport, Alberto Griggio Benchmarking Solvers, SAT-style. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Infinite-state invariant checking with IC3 and predicate abstraction. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Marco Roveri Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani Verilog2SMV: A tool for word-level verification. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri The xSAP Safety Analysis Platform. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri The xSAP Safety Analysis Platform. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei Efficient Anytime Techniques for Model-Based Safety Analysis. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta HyComp: An SMT-Based Model Checker for Hybrid Systems. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Parameter Synthesis with IC3 (Informal Presentation). Search on Bibsonomy SynCoP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening Deciding floating-point logic with abstract conflict driven clause learning. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta The nuXmv Symbolic Model Checker. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Verifying LTL Properties of Hybrid Systems with K-Liveness. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta IC3 Modulo Theories via Implicit Predicate Abstraction. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio Towards Pareto-optimal parameter synthesis for monotonic cost functions. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta IC3 Modulo Theories via Implicit Predicate Abstraction. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani A Modular Approach to MaxSAT Modulo Theories. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani The MathSAT5 SMT Solver. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Parameter synthesis with IC3. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Martin Brain, Vijay D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening An Abstract Interpretation of DPLL(T). Search on Bibsonomy VMCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alberto Griggio A Practical Approach to Satisability Modulo Linear Integer Arithmetic. Search on Bibsonomy JSAT The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio Software Model Checking via IC3. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Raian Ali, Alberto Griggio, Anders Franzén, Fabiano Dalpiaz, Paolo Giorgini Optimizing Monitoring Requirements in Self-adaptive Systems. Search on Bibsonomy BMMDS/EMMSAD The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alberto Griggio Broadening the Scope of SMT-COMP: the Application Track. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters The 2012 SMT Competition. Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening Deciding floating-point logic with systematic abstraction. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri Kratos - A Software Model Checker for SystemC. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alberto Griggio Effective word-level interpolation for software verification. Search on Bibsonomy FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
1Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Efficient generation of craig interpolants in satisfiability modulo theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri Tighter integration of BDDs and SMT for Predicate Abstraction. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico Satisfiability Modulo the Theory of Costs: Foundations and Applications. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Dirk Beyer 0001, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani Software Model Checking via Large-Block Encoding Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Interpolant Generation for UTVPI. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani Software model checking via large-block encoding. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alberto Griggio An Effective SMT Engine for Formal Verification. Search on Bibsonomy 2009   RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani The MathSAT 4SMT Solver. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Efficient Interpolant Generation in Satisfiability Modulo Theories. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license