BibSonomy publications for /author/Furia http://www.bibsonomy.org/author/Furia BibSonomy RSS Feed for /author/Furia Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. dblp http://www.bibsonomy.org/bibtex/24da77bc744c9cb3254bab18cc2a350f4/dblp dblp 2008-06-09T00:00:00+02:00 dblp
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
]]> Practical Automated Partial Verification of Multi-Paradigm Real-Time Models dblp http://www.bibsonomy.org/bibtex/29bf7de7f7904c18bed4dc90595f282d0/dblp dblp 2008-05-05T00:00:00+02:00 dblp
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
]]> Simulation of continuous behavior using discrete tools: ORE conveyor transport. dblp http://www.bibsonomy.org/bibtex/2dea6e0f63bba2e321b8444e91665a997/dblp dblp 2008-04-14T00:00:00+02:00 dblp
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
]]> On the Expressiveness of MTL Variants over Dense Time. dblp http://www.bibsonomy.org/bibtex/246ee0f33f036b09bf122873756d01dae/dblp dblp 2007-09-20T00:00:00+02:00 dblp
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
]]> Modeling the Environment in Software-Intensive Systems Citeulike 06/22/07 http://www.bibsonomy.org/bibtex/2d7e68453af1d1ad3518138906a17a672/jenhork jenhork 2007-06-22T20:46:40+02:00 formal modeling re read
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
]]> Automated compositional proofs for real-time systems. dblp http://www.bibsonomy.org/bibtex/21d992958b401e41860b7d1df51fce4f2/dblp dblp 2007-05-09T00:00:00+02:00 dblp
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
]]> Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. dblp http://www.bibsonomy.org/bibtex/220dcd66fc5c08d1f226966d25c206a4f/dblp dblp 2006-10-23T00:00:00+02:00 dblp
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
]]> Comments on "An Interval Logic for Real-Time System Specification'. dblp http://www.bibsonomy.org/bibtex/25782f012d8ae27370a7e44c776c186bb/dblp dblp 2006-10-23T00:00:00+02:00 dblp
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
]]> A Compositional Framework for Formally Verifying Modular Systems. dblp http://www.bibsonomy.org/bibtex/2ce30589796b4d010c7c1a1da5378e260/dblp dblp 2005-05-13T00:00:00+02:00 dblp
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
]]> Automated Compositional Proofs for Real-Time Systems. dblp http://www.bibsonomy.org/bibtex/2cebacd45c46f5c4648164defacc4003b/dblp dblp 2005-03-03T00:00:00+01:00 dblp
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
]]>