BibSonomy publications for /author/Pradella http://www.bibsonomy.org/author/Pradella BibSonomy RSS Feed for /author/Pradella 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
]]> A CKY parser for picture grammars. dblp http://www.bibsonomy.org/bibtex/27020b9c1b7988a7a4a37c70803274323/dblp dblp 2008-03-05T00:00:00+01:00 dblp
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
]]> A SAT-based parser and completer for pictures specified by tiling. dblp http://www.bibsonomy.org/bibtex/2fb5ab2620f1df63aeeeff191415eb220/dblp dblp 2007-11-06T00:00:00+01:00 dblp
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
]]> The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. dblp http://www.bibsonomy.org/bibtex/2a77a31db75a85dde3b5f29c23c4fccaa/dblp dblp 2007-10-23T00:00:00+02:00 dblp
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
]]> Model Checking Temporal Metric Specifications with Trio2Promela. dblp http://www.bibsonomy.org/bibtex/2a83619c257266ace7abc16aba3c504ea/dblp dblp 2007-10-05T00:00:00+02:00 dblp
Model Checking Temporal Metric Specifications with Trio2Promela.
Domenico Bianculli and Paola Spoletini and Angelo Morzenti and Matteo Pradella and Pierluigi San Pietro FSEN 388-395 (2007)
to dblp by dblp on 2007-10-05 00:00:00
]]> Trio2Promela: A Model Checker for Temporal Metric Specifications. dblp http://www.bibsonomy.org/bibtex/2368c3d3509ec026d0f7c17e6ba7464db/dblp dblp 2007-06-12T00:00:00+02:00 dblp
Trio2Promela: A Model Checker for Temporal Metric Specifications.
Domenico Bianculli and Angelo Morzenti and Matteo Pradella and Pierluigi San Pietro and Paola Spoletini ICSE Companion 61-62 (2007)
to dblp by dblp on 2007-06-12 00:00:00
]]> Picture languages: Tiling systems versus tile rewriting grammars. dblp http://www.bibsonomy.org/bibtex/29a41d8af4c52ec1938d64e9a351a6bef/dblp dblp 2006-11-23T00:00:00+01:00 dblp
Picture languages: Tiling systems versus tile rewriting grammars.
Alessandra Cherubini and Stefano Crespi-Reghizzi and Matteo Pradella and Pierluigi San Pietro Theor. Comput. Sci. 356 90-103 (2006)
to dblp by dblp on 2006-11-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
]]> Analyzing Security-Enhanced Linux Policy Specifications. dblp http://www.bibsonomy.org/bibtex/212a3f8e35babf8ce2fa80dc83846c8c1/dblp dblp 2006-07-12T00:00:00+02:00 dblp
Analyzing Security-Enhanced Linux Policy Specifications.
Myla Archer and Elizabeth I. Leonard and Matteo Pradella POLICY 158- (2003)
to dblp by dblp on 2006-07-12 00:00:00
]]>