dblp.uni-trier.dewww.uni-trier.de

Matteo Pradella

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
28EECarlo A. Furia, Matteo Pradella, Matteo Rossi: Comments on temporal logics for real-time system specification. ACM Comput. Surv. 41(2): (2009)
2008
27EEMatteo Pradella, Angelo Morzenti, Pierluigi San Pietro: Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. ASE 2008: 119-127
26EECarlo A. Furia, Matteo Pradella, Matteo Rossi: Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. FM 2008: 132-147
25EECarlo A. Furia, Matteo Pradella, Matteo Rossi: Practical Automated Partial Verification of Multi-paradigm Real-Time Models. ICFEM 2008: 298-317
24EEMatteo Pradella, Angelo Morzenti, Pierluigi San Pietro: Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. ICTAC 2008: 290-304
23EEAlessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella: Regional Languages and Tiling: A Unifying Approach to Picture Grammars. MFCS 2008: 253-264
22EECarlo A. Furia, Matteo Pradella, Matteo Rossi: Practical Automated Partial Verification of Multi-Paradigm Real-Time Models CoRR abs/0804.4383: (2008)
21EEStefano Crespi-Reghizzi, Matteo Pradella: A CKY parser for picture grammars. Inf. Process. Lett. 105(6): 213-217 (2008)
20EEMatteo Pradella, Stefano Crespi-Reghizzi: A SAT-based parser and completer for pictures specified by tiling. Pattern Recognition 41(2): 555-566 (2008)
2007
19EEMatteo Pradella, Angelo Morzenti, Pierluigi San Pietro: The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. ESEC/SIGSOFT FSE 2007: 312-320
18EEDomenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395
17EEDomenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62
2006
16EEPietro Colombo, Matteo Pradella, Matteo Rossi: A UML 2-compatible language and tool for formal modeling real-time system architectures. SAC 2006: 1785-1790
15EECarlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi: Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32(6): 424-427 (2006)
14EEAlessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro: Picture languages: Tiling systems versus tile rewriting grammars. Theor. Comput. Sci. 356(1-2): 90-103 (2006)
2005
13EEMatteo Pradella, Matteo Rossi, Dino Mandrioli: ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE 2005: 381-395
12EEMatteo Pradella, Matteo Rossi, Dino Mandrioli: A UML-Compatible Formal Language for System Architecture Description. SDL Forum 2005: 234-246
11EEStefano Crespi-Reghizzi, Matteo Pradella: Tile rewriting grammars and picture languages. Theor. Comput. Sci. 340(1): 257-272 (2005)
2003
10EEMyla Archer, Elizabeth I. Leonard, Matteo Pradella: Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) 2003: 164-169
9EEStefano Crespi-Reghizzi, Matteo Pradella: Tile Rewriting Grammars. Developments in Language Theory 2003: 206-217
8EEAngelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561
7EEMyla Archer, Elizabeth I. Leonard, Matteo Pradella: Analyzing Security-Enhanced Linux Policy Specifications. POLICY 2003: 158-
6EEAlberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli: A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12(2): 107-151 (2003)
2000
5EEMatteo Pradella, Marco Colombetti: A Formal Description of a Practical Agent for E-Commerce. AMEC 2000: 84-95
4EEMatteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini: A formal approach for designing CORBA based applications. ICSE 2000: 188-197
3 Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro: Associative definition of programming languages. Comput. Lang. 26(2-4): 105-123 (2000)
1999
2EEAngelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio: A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. PDSE 1999: 217-223
1998
1EEAlberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro: A Finite-Domain Semantics for Testing Temporal Logic Specifications. FTRTFT 1998: 41-54

Coauthor Index

1Myla Archer [7] [10]
2Domenico Bianculli [17] [18]
3Alessandra Cherubini [14] [23]
4Alberto Coen-Porisini [1] [4] [6]
5Marco Colombetti [5]
6Pietro Colombo [16]
7Stefano Crespi-Reghizzi [3] [9] [11] [14] [20] [21] [23]
8Carlo A. Furia [15] [22] [25] [26] [28]
9Elizabeth I. Leonard [7] [10]
10Dino Mandrioli [4] [6] [12] [13]
11Angelo Morzenti [2] [8] [15] [17] [18] [19] [24] [27]
12Pierluigi San Pietro [1] [3] [8] [14] [17] [18] [19] [24] [27]
13Matteo Rossi [2] [4] [6] [12] [13] [15] [16] [22] [25] [26] [28]
14Stefano Russo [2]
15Antonio Sergio [2]
16Paola Spoletini [8] [17] [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)