BibSonomy :: author  ::

bookmarks

publications

(80)

• Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
  Sven Beyer and Christian Jacobi and Daniel Kroening and Dirk Leinenbach and Wolfgang J. Paul CHARME 51-65 (2003)
  to dblp by dblp on 2008-02-08 00:00:00
  | URL | BibTeX  
• Disk Based Software Verification via Bounded Model Checking.
  Fernando Brizzolari and Igor Melatti and Enrico Tronci and Giuseppe Della Penna APSEC 358-365 (2007)
  to dblp by dblp on 2008-01-16 00:00:00
  | URL | BibTeX  
• Dynamic Score Selection for Fusion of Multiple Biometric Matchers.
  Roberto Tronci and Giorgio Giacinto and Fabio Roli ICIAP 15-22 (2007)
  to dblp by dblp on 2007-10-23 00:00:00
  | URL | BibTeX  
• Selection of Experts for the Design of Multiple Biometric Systems.
  Roberto Tronci and Giorgio Giacinto and Fabio Roli MLDM 795-809 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• Index Driven Combination of Multiple Biometric Experts for AUC Maximisation.
  Roberto Tronci and Giorgio Giacinto and Fabio Roli MCS 357-366 (2007)
  to dblp by dblp on 2007-06-24 00:00:00
  | URL | BibTeX  
• CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.
  Federico Mari and Enrico Tronci HSCC 399-412 (2007)
  to dblp by dblp on 2007-06-06 00:00:00
  | URL | BibTeX  
• Automatic generation of optimal controllers through model checking techniques.
  Giuseppe Della Penna and Daniele Magazzeni and Alberto Tofani and Benedetto Intrigila and Igor Melatti and Enrico Tronci ICINCO-ICSO 26-33 (2006)
  to dblp by dblp on 2007-02-21 00:00:00
  | URL | BibTeX  
• Finite horizon analysis of Markov Chains with the Murphi verifier.
  Giuseppe Della Penna and Benedetto Intrigila and Igor Melatti and Enrico Tronci and Marisa Venturini Zilli STTT 8 397-409 (2006)
  to dblp by dblp on 2007-02-07 00:00:00
  | URL | BibTeX  
• Introductory Paper.
  Enrico Tronci STTT 8 355-358 (2006)
  to dblp by dblp on 2007-02-07 00:00:00
  | URL | BibTeX  
• A Model Checking Technique for the Verification of Fuzzy Control Systems.
  Benedetto Intrigila and Daniele Magazzeni and Igor Melatti and Enrico Tronci CIMCA/IAWTIC 536-542 (2005)
  to dblp by dblp on 2007-02-05 00:00:00
  | URL | BibTeX