BibSonomy :: author  ::

bookmarks

publications

(90)

• A free boundary problem in the theory of electrically actuated microdevices.
  Giovanni Cimatti Appl. Math. Lett. 20 1232-1236 (2007)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• The MathSAT 4SMT Solver.
  Roberto Bruttomesso and Alessandro Cimatti and Anders Franzén and Alberto Griggio and Roberto Sebastiani CAV 299-303 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Efficient Interpolant Generation in Satisfiability Modulo Theories.
  Alessandro Cimatti and Alberto Griggio and Roberto Sebastiani TACAS 397-412 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Diagnostic Information for Realizability.
  Alessandro Cimatti and Marco Roveri and Viktor Schuppan and Andrei Tchaltsev VMCAI 52-67 (2008)
  to dblp by dblp on 2008-03-03 00:00:00
  | URL | BibTeX  
• Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.
  Roberto Cavada and Alessandro Cimatti and Anders Franzén and Krishnamani Kalyanasundaram and Marco Roveri and R. K. Shyamasundar FMCAD 69-76 (2007)
  to dblp by dblp on 2008-02-11 00:00:00
  | URL | BibTeX  
• Optimal control for the thermistor problem with a current limiting device.
  Giovanni Cimatti IMA J. Math. Control & Information 24 339-345 (2007)
  to dblp by dblp on 2008-01-15 00:00:00
  | URL | BibTeX  
• Towards Strong Cyclic Planning under Partial Observability.
  Piergiorgio Bertoli and Alessandro Cimatti and Marco Pistore ICAPS 354-357 (2006)
  to dblp by dblp on 2007-11-23 00:00:00
  | URL | BibTeX  
• Symbolic Fault Tree Analysis for Reactive Systems.
  Marco Bozzano and Alessandro Cimatti and Francesco Tapparo ATVA 162-176 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• Verifying Heap-Manipulating Programs in an SMT Framework.
  Zvonimir Rakamaric and Roberto Bruttomesso and Alan J. Hu and Alessandro Cimatti ATVA 237-252 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• Building Efficient Decision Procedures on Top of SAT Solvers.
  Alessandro Cimatti and Roberto Sebastiani SFM 144-175 (2006)
  to dblp by dblp on 2007-09-21 00:00:00
  | URL | BibTeX