]> BibSonomy publications for /author/Pradella http://www.bibsonomy.org/burst/author/Pradella BibSonomy BuRST Feed for /author/Pradella 2008-10-08T06:59:05+02:00 Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. dblphttp://www.bibsonomy.org/bibtex/2dbf81f27be25900a1d135f291fe49500/dblp dblp 2008-09-02T00:00:00+02:00 dblp
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 ]]> ICTACconf/ictac/2008290-304Lecture Notes in Computer ScienceBenchmarking Model- and Satisfiability-Checking on Bi-infinite Time.51602008dblp 2008-09-02 00:00:00.0 Bookmap - A Topic Maps Based Web Application for Organising Bookmarks. dblphttp://www.bibsonomy.org/bibtex/2272a5fc1fe33640655d8682f79a5bd1d/dblp dblp 2008-08-25T00:00:00+02:00 dblp
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 ]]> TMRAconf/tmra/200766-73Lecture Notes in Computer ScienceBookmap - A Topic Maps Based Web Application for Organising Bookmarks.49992007dblp 2008-08-25 00:00:00.0 Regional Languages and Tiling: A Unifying Approach to Picture Grammars. dblphttp://www.bibsonomy.org/bibtex/28d0d9614837469f1eb6ae16b488051de/dblp dblp 2008-08-22T00:00:00+02:00 dblp
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 ]]> MFCSconf/mfcs/2008253-264Lecture Notes in Computer ScienceRegional Languages and Tiling: A Unifying Approach to Picture Grammars.51622008dblp 2008-08-22 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 A CKY parser for picture grammars. dblphttp://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 ]]> Inf. Process. Lett.6213-217A CKY parser for picture grammars.1052008dblp 2008-03-05 00:00:00.0 A SAT-based parser and completer for pictures specified by tiling. dblphttp://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 ]]> Pattern Recognition2555-566A SAT-based parser and completer for pictures specified by tiling.412008dblp 2007-11-06 00:00:00.0 The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. dblphttp://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 ]]> ESEC/SIGSOFT FSEconf/sigsoft/2007312-320The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.2007dblp 2007-10-23 00:00:00.0 Model Checking Temporal Metric Specifications with Trio2Promela. dblphttp://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 ]]> FSENconf/fsen/2007388-395Lecture Notes in Computer ScienceModel Checking Temporal Metric Specifications with Trio2Promela.47672007dblp 2007-10-05 00:00:00.0 Trio2Promela: A Model Checker for Temporal Metric Specifications. dblphttp://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 ]]> ICSE Companionconf/icse/2007c61-62Trio2Promela: A Model Checker for Temporal Metric Specifications.2007dblp 2007-06-12 00:00:00.0