 | 2009 |
|---|
| 34 |       | Alessandra Cherubini,
Matteo Pradella:
Picture Languages: From Wang Tiles to 2D Grammars.
CAI 2009: 13-46 |
| 33 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking.
FM 2009: 741-756 |
| 32 | | Violetta Lonati,
Matteo Pradella:
Snake-Deterministic Tiling Systems.
MFCS 2009: 549-560 |
| 31 | | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Comments on temporal logics for real-time system specification.
ACM Comput. Surv. 41(2): (2009) |
| 30 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking (extended version)
CoRR abs/0907.3085: (2009) |
| 29 | | Marcello M. Bersani,
Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
CoRR abs/0907.5074: (2009) |
| 28 | | Matteo Pradella,
Alessandra Cherubini,
Stefano Crespi-Reghizzi:
A unifying approach to picture grammars
CoRR abs/0910.2829: (2009) |
| 2008 |
|---|
| 27 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
ASE 2008: 119-127 |
| 26 | | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
FM 2008: 132-147 |
| 25 | | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models.
ICFEM 2008: 298-317 |
| 24 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.
ICTAC 2008: 290-304 |
| 23 | | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Matteo Pradella:
Regional Languages and Tiling: A Unifying Approach to Picture Grammars.
MFCS 2008: 253-264 |
| 22 | | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
CoRR abs/0804.4383: (2008) |
| 21 | | Stefano Crespi-Reghizzi,
Matteo Pradella:
A CKY parser for picture grammars.
Inf. Process. Lett. 105(6): 213-217 (2008) |
| 20 | | Matteo Pradella,
Stefano Crespi-Reghizzi:
A SAT-based parser and completer for pictures specified by tiling.
Pattern Recognition 41(2): 555-566 (2008) |
| 2007 |
|---|
| 19 | | Matteo 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 |
| 18 | | Domenico Bianculli,
Paola Spoletini,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN 2007: 388-395 |
| 17 | | Domenico Bianculli,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications.
ICSE Companion 2007: 61-62 |
| 2006 |
|---|
| 16 | | Pietro Colombo,
Matteo Pradella,
Matteo Rossi:
A UML 2-compatible language and tool for formal modeling real-time system architectures.
SAC 2006: 1785-1790 |
| 15 | | Carlo 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) |
| 14 | | Alessandra 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 |
|---|
| 13 | | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli:
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
FORTE 2005: 381-395 |
| 12 | | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli:
A UML-Compatible Formal Language for System Architecture Description.
SDL Forum 2005: 234-246 |
| 11 | | Stefano Crespi-Reghizzi,
Matteo Pradella:
Tile rewriting grammars and picture languages.
Theor. Comput. Sci. 340(1): 257-272 (2005) |
| 2003 |
|---|
| 10 | | Myla Archer,
Elizabeth I. Leonard,
Matteo Pradella:
Modeling Security-Enhanced Linux Policy Specifications for Analysis.
DISCEX (2) 2003: 164-169 |
| 9 | | Stefano Crespi-Reghizzi,
Matteo Pradella:
Tile Rewriting Grammars.
Developments in Language Theory 2003: 206-217 |
| 8 | | Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Model-Checking TRIO Specifications in SPIN.
FME 2003: 542-561 |
| 7 | | Myla Archer,
Elizabeth I. Leonard,
Matteo Pradella:
Analyzing Security-Enhanced Linux Policy Specifications.
POLICY 2003: 158- |
| 6 | | Alberto 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 |
|---|
| 5 | | Matteo Pradella,
Marco Colombetti:
A Formal Description of a Practical Agent for E-Commerce.
AMEC 2000: 84-95 |
| 4 | | Matteo 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 |
|---|
| 2 | | Angelo 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 |
|---|
| 1 | | Alberto Coen-Porisini,
Matteo Pradella,
Pierluigi San Pietro:
A Finite-Domain Semantics for Testing Temporal Logic Specifications.
FTRTFT 1998: 41-54 |
