@inproceedings{conf/fm/FuriaPR08,
	title = {Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.},
	author = {Carlo A. Furia and Matteo Pradella and Matteo Rossi},
	booktitle = {FM},
	crossref = {conf/fm/2008},
	editor = {Jorge Cuéllar and T. S. E. Maibaum and Kaisa Sere},
	pages = {132-147},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fm/fm2008.html#FuriaPR08},
	volume = {5014},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/24da77bc744c9cb3254bab18cc2a350f4/dblp},
	description = {dblp},
	date = {2008-06-09}, ee = {http://dx.doi.org/10.1007/978-3-540-68237-0_11}, isbn = {978-3-540-68235-6},
	keywords = {dblp }
}

@article{journals/corr/abs-0804-4383,
	title = {Practical Automated Partial Verification of Multi-Paradigm Real-Time Models},
	author = {Carlo A. Furia and Matteo Pradella and Matteo Rossi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0804.html#abs-0804-4383},
	volume = {abs/0804.4383},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/29bf7de7f7904c18bed4dc90595f282d0/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/0804.4383}, date = {2008-05-05},
	keywords = {dblp }
}

@article{journals/ipl/Crespi-ReghizziP08,
	title = {A CKY parser for picture grammars.},
	author = {Stefano Crespi-Reghizzi and Matteo Pradella},
	journal = {Inf. Process. Lett.},
	number = {6},
	pages = {213-217},
	url = {http://dblp.uni-trier.de/db/journals/ipl/ipl105.html#Crespi-ReghizziP08},
	volume = {105},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/27020b9c1b7988a7a4a37c70803274323/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.ipl.2007.09.002}, date = {2008-03-05},
	keywords = {dblp }
}

@article{journals/pr/PradellaC08,
	title = {A SAT-based parser and completer for pictures specified by tiling.},
	author = {Matteo Pradella and Stefano Crespi-Reghizzi},
	journal = {Pattern Recognition},
	number = {2},
	pages = {555-566},
	url = {http://dblp.uni-trier.de/db/journals/pr/pr41.html#PradellaC08},
	volume = {41},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2fb5ab2620f1df63aeeeff191415eb220/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.patcog.2007.06.018}, date = {2007-11-06},
	keywords = {dblp }
}

@inproceedings{conf/sigsoft/PradellaMP07,
	title = {The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.},
	author = {Matteo Pradella and Angelo Morzenti and Pierluigi San Pietro},
	booktitle = {ESEC/SIGSOFT FSE},
	crossref = {conf/sigsoft/2007},
	editor = {Ivica Crnkovic and Antonia Bertolino},
	pages = {312-320},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2007.html#PradellaMP07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2a77a31db75a85dde3b5f29c23c4fccaa/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1287624.1287669}, isbn = {978-1-59593-811-4}, date = {2007-10-23},
	keywords = {dblp }
}

@inproceedings{conf/fsen/BianculliSMPP07,
	title = {Model Checking Temporal Metric Specifications with Trio2Promela.},
	author = {Domenico Bianculli and Paola Spoletini and Angelo Morzenti and Matteo Pradella and Pierluigi San Pietro},
	booktitle = {FSEN},
	crossref = {conf/fsen/2007},
	editor = {Farhad Arbab and Marjan Sirjani},
	pages = {388-395},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fsen/fsen2007.html#BianculliSMPP07},
	volume = {4767},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2a83619c257266ace7abc16aba3c504ea/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-75698-9_26}, isbn = {978-3-540-75697-2}, date = {2007-10-05},
	keywords = {dblp }
}

@inproceedings{conf/icse/BianculliMPPS07,
	title = {Trio2Promela: A Model Checker for Temporal Metric Specifications.},
	author = {Domenico Bianculli and Angelo Morzenti and Matteo Pradella and Pierluigi San Pietro and Paola Spoletini},
	booktitle = {ICSE Companion},
	crossref = {conf/icse/2007c},
	pages = {61-62},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/icse/icsec2007.html#BianculliMPPS07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2368c3d3509ec026d0f7c17e6ba7464db/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.79}, date = {2007-06-12},
	keywords = {dblp }
}

@article{journals/tcs/CherubiniCPP06,
	title = {Picture languages: Tiling systems versus tile rewriting grammars.},
	author = {Alessandra Cherubini and Stefano Crespi-Reghizzi and Matteo Pradella and Pierluigi San Pietro},
	journal = {Theor. Comput. Sci.},
	number = {1-2},
	pages = {90-103},
	url = {http://dblp.uni-trier.de/db/journals/tcs/tcs356.html#CherubiniCPP06},
	volume = {356},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/29a41d8af4c52ec1938d64e9a351a6bef/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.tcs.2006.01.038}, date = {2006-11-23},
	keywords = {dblp }
}

@article{journals/tse/FuriaMPR06,
	title = {Comments on "An Interval Logic for Real-Time System Specification'.},
	author = {Carlo A. Furia and Angelo Morzenti and Matteo Pradella and Matteo Rossi},
	journal = {IEEE Trans. Software Eng.},
	number = {6},
	pages = {424-427},
	url = {http://dblp.uni-trier.de/db/journals/tse/tse32.html#FuriaMPR06},
	volume = {32},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/25782f012d8ae27370a7e44c776c186bb/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.50}, date = {2006-10-23},
	keywords = {dblp }
}

@inproceedings{conf/policy/ArcherLP03,
	title = {Analyzing Security-Enhanced Linux Policy Specifications.},
	author = {Myla Archer and Elizabeth I. Leonard and Matteo Pradella},
	booktitle = {POLICY},
	crossref = {conf/policy/2003},
	pages = {158-},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/policy/policy2003.html#ArcherLP03},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/212a3f8e35babf8ce2fa80dc83846c8c1/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/policy/2003/1839/00/18390158abs.htm}, isbn = {0-7695-1933-4}, date = {2006-07-12},
	keywords = {dblp }
}