BibSonomy :: author  ::

bookmarks

publications

(13)

• 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 on 2008-05-05 00:00:00
  | URL | BibTeX  
• Simulation of continuous behavior using discrete tools: ORE conveyor transport.
  Marcelo Moretti Fioroni and Luiz Augusto Gago Franzese and Caio Eduardo Zanin and José Fúria and Luciano de Toledo Perfetti and Donizeti Leonardo and Nilson Laudelino da Silva Winter Simulation Conference 1655-1662 (2007)
  to dblp by dblp on 2008-04-14 00:00:00
  | URL | BibTeX  
• On the Expressiveness of MTL Variants over Dense Time.
  Carlo A. Furia and Matteo Rossi FORMATS 163-178 (2007)
  to dblp by dblp on 2007-09-20 00:00:00
  | URL | BibTeX  
• Modeling the Environment in Software-Intensive Systems
  Carlo A. Furia and Matteo Rossi and Dino Mandrioli MiSE 07 (2007)
  to formal modeling re read by jenhork on 2007-06-22 20:46:40
  | BibTeX  
• Automated compositional proofs for real-time systems.
  Carlo A. Furia and Matteo Rossi and Dino Mandrioli and Angelo Morzenti Theor. Comput. Sci. 376 164-184 (2007)
  to dblp by dblp on 2007-05-09 00:00:00
  | URL | BibTeX  
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.
  Carlo A. Furia and Matteo Rossi FORMATS 215-229 (2006)
  to dblp by dblp on 2006-10-23 00:00:00
  | URL | BibTeX  
• Comments on "An Interval Logic for Real-Time System Specification'.
  Carlo A. Furia and Angelo Morzenti and Matteo Pradella and Matteo Rossi IEEE Trans. Software Eng. 32 424-427 (2006)
  to dblp by dblp on 2006-10-23 00:00:00
  | URL | BibTeX  
• A Compositional Framework for Formally Verifying Modular Systems.
  Carlo A. Furia and Matteo Rossi Electr. Notes Theor. Comput. Sci. 116 185-198 (2005)
  to dblp by dblp on 2005-05-13 00:00:00
  | URL | BibTeX  
• Automated Compositional Proofs for Real-Time Systems.
  Carlo A. Furia and Matteo Rossi and Dino Mandrioli and Angelo Morzenti FASE 326-340 (2005)
  to dblp by dblp on 2005-03-03 00:00:00
  | URL | BibTeX  
• A computational search for box C/D snoRNA genes in the Drosophila melanogaster genome.
  M. C. Accardo and E. Giordano and S. Riccardo and F. A. Digilio and Giovanni Iazzetti and Raffaele Calogero and M. Furia Bioinformatics 20 3293-3301 (2004)
  to dblp by dblp on 2005-01-14 00:00:00
  | URL | BibTeX