BibSonomy :: author  :: Pradella ::

bookmarks

publications

(28)

• Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
  Matteo Pradella and Angelo Morzenti and Pierluigi San Pietro ASE 119-127 (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• Practical Automated Partial Verification of Multi-paradigm Real-Time Models.
  Carlo A. Furia and Matteo Pradella and Matteo Rossi ICFEM 298-317 (2008)
  to dblp by dblp and 1 other person on 2008-10-23 00:00:00
  | URL | BibTeX  
• Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.
  Matteo Pradella and Angelo Morzenti and Pierluigi San Pietro ICTAC 290-304 (2008)
  to dblp by dblp on 2008-09-02 00:00:00
  | URL | BibTeX  
• Bookmap - A Topic Maps Based Web Application for Organising Bookmarks.
  Tobias Hofmann and Martin Pradella TMRA 66-73 (2007)
  to dblp by dblp on 2008-08-25 00:00:00
  | URL | BibTeX  
• Regional Languages and Tiling: A Unifying Approach to Picture Grammars.
  Alessandra Cherubini and Stefano Crespi-Reghizzi and Matteo Pradella MFCS 253-264 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
  Carlo A. Furia and Matteo Pradella and Matteo Rossi FM 132-147 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
  Carlo A. Furia and Matteo Pradella and Matteo Rossi CoRR abs/0804.4383 (2008)
  to dblp by dblp and 1 other person on 2008-05-05 00:00:00
  | URL | BibTeX  
• A CKY parser for picture grammars.
  Stefano Crespi-Reghizzi and Matteo Pradella Inf. Process. Lett. 105 213-217 (2008)
  to dblp by dblp on 2008-03-05 00:00:00
  | URL | BibTeX  
• A SAT-based parser and completer for pictures specified by tiling.
  Matteo Pradella and Stefano Crespi-Reghizzi Pattern Recognition 41 555-566 (2008)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.
  Matteo Pradella and Angelo Morzenti and Pierluigi San Pietro ESEC/SIGSOFT FSE 312-320 (2007)
  to dblp by dblp on 2007-10-23 00:00:00
  | URL | BibTeX