]> BibSonomy publications for /author/Furia http://www.bibsonomy.org/burst/author/Furia BibSonomy BuRST Feed for /author/Furia 2008-10-08T11:05:51+02:00 MTL with Bounded Variability: Decidability and Complexity. dblphttp://www.bibsonomy.org/bibtex/2700128dd1f129c03eb295a74fd599991/dblp dblp 2008-09-05T00:00:00+02:00 dblp
MTL with Bounded Variability: Decidability and Complexity.
Carlo A. Furia and Matteo Rossi FORMATS 109-123 (2008)
to dblp by dblp on 2008-09-05 00:00:00 ]]> FORMATSconf/formats/2008109-123Lecture Notes in Computer ScienceMTL with Bounded Variability: Decidability and Complexity.52152008dblp 2008-09-05 00:00:00.0 Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. dblphttp://www.bibsonomy.org/bibtex/2a40ea7ee8ebac830e120345892310b25/dblp dblp 2008-09-02T00:00:00+02:00 dblp
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.
Carlo A. Furia and Paola Spoletini ICTAC 126-140 (2008)
to dblp by dblp on 2008-09-02 00:00:00 ]]> ICTACconf/ictac/2008126-140Lecture Notes in Computer ScienceTomorrow and All our Yesterdays: MTL Satisfiability over the Integers.51602008dblp 2008-09-02 00:00:00.0 Modeling Time in Computing: A Taxonomy and a Comparative Survey dblphttp://www.bibsonomy.org/bibtex/28e70670663c895b1064977f5e163b0d3/dblp dblp 2008-08-04T00:00:00+02:00 dblp
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Carlo A. Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi CoRR abs/0807.4132 (2008)
to dblp by dblp on 2008-08-04 00:00:00 ]]> CoRRinformal publicationModeling Time in Computing: A Taxonomy and a Comparative Surveyabs/0807.41322008dblp 2008-08-04 00:00:00.0 Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. dblphttp://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 ]]> FMconf/fm/2008132-147Lecture Notes in Computer ScienceAutomated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.50142008dblp 2008-06-09 00:00:00.0 Practical Automated Partial Verification of Multi-Paradigm Real-Time Models dblphttp://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 ]]> CoRRinformal publicationPractical Automated Partial Verification of Multi-Paradigm Real-Time Modelsabs/0804.43832008dblp 2008-05-05 00:00:00.0 Simulation of continuous behavior using discrete tools: ORE conveyor transport. dblphttp://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 ]]> Winter Simulation Conferenceconf/wsc/20071655-1662Simulation of continuous behavior using discrete tools: ORE conveyor transport.2007dblp 2008-04-14 00:00:00.0 On the Expressiveness of MTL Variants over Dense Time. dblphttp://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 ]]> FORMATSconf/formats/2007163-178Lecture Notes in Computer ScienceOn the Expressiveness of MTL Variants over Dense Time.47632007dblp 2007-09-20 00:00:00.0 Modeling the Environment in Software-Intensive Systems Citeulike 06/22/07http://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 ]]> MiSE 07Modeling the Environment in Software-Intensive Systems2007formal modeling re read 2007-06-22 20:46:40.0 Automated compositional proofs for real-time systems. dblphttp://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 ]]> Theor. Comput. Sci.3164-184Automated compositional proofs for real-time systems.3762007dblp 2007-05-09 00:00:00.0 Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. dblphttp://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 ]]> FORMATSconf/formats/2006215-229Lecture Notes in Computer ScienceIntegrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.42022006dblp 2006-10-23 00:00:00.0