BibSonomy :: author  ::

bookmarks

publications

(104)

• Just-in-time Adaptive Classifiers in Non-Stationary Conditions.
  Cesare Alippi and Manuel Roveri IJCNN 1014-1019 (2007)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Adaptive Classifiers in Stationary Conditions.
  Cesare Alippi and Manuel Roveri IJCNN 1008-1013 (2007)
  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  
• What planner for ambient intelligence applications?
  Francesco Amigoni and Nicola Gatti and C. Pinciroli and Manuel Roveri IEEE Transactions on Systems, Man, and Cybernetics, Part A 35 7-21 (2005)
  to dblp by dblp on 2007-12-04 00:00:00
  | URL | BibTeX  
• Formal analysis of hardware requirements.
  Ingo Pill and Simone Semprini and Roberto Cavada and Marco Roveri and Roderick Bloem and Alessandro Cimatti DAC 821-826 (2006)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Symbolic Implementation of Alternating Automata.
  Roderick Bloem and Alessandro Cimatti and Ingo Pill and Marco Roveri and Simone Semprini CIAA 208-218 (2006)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• RAT: A Tool for the Formal Analysis of Requirements.
  Roderick Bloem and Roberto Cavada and Ingo Pill and Marco Roveri and Andrei Tchaltsev CAV 263-267 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Boolean Abstraction for Temporal Logic Satisfiability.
  Alessandro Cimatti and Marco Roveri and Viktor Schuppan and Stefano Tonetta CAV 532-546 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Syntactic Optimizations for PSL Verification.
  Alessandro Cimatti and Marco Roveri and Stefano Tonetta TACAS 505-518 (2007)
  to dblp by dblp on 2007-07-31 00:00:00
  | URL | BibTeX