| 2009 |
|---|
| 28 | EE | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Comments on temporal logics for real-time system specification.
ACM Comput. Surv. 41(2): (2009) |
| 2008 |
|---|
| 27 | EE | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
ASE 2008: 119-127 |
| 26 | EE | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
FM 2008: 132-147 |
| 25 | EE | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models.
ICFEM 2008: 298-317 |
| 24 | EE | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.
ICTAC 2008: 290-304 |
| 23 | EE | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Matteo Pradella:
Regional Languages and Tiling: A Unifying Approach to Picture Grammars.
MFCS 2008: 253-264 |
| 22 | EE | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
CoRR abs/0804.4383: (2008) |
| 21 | EE | Stefano Crespi-Reghizzi,
Matteo Pradella:
A CKY parser for picture grammars.
Inf. Process. Lett. 105(6): 213-217 (2008) |
| 20 | EE | 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 | EE | 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 | EE | Domenico Bianculli,
Paola Spoletini,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN 2007: 388-395 |
| 17 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli:
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
FORTE 2005: 381-395 |
| 12 | EE | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli:
A UML-Compatible Formal Language for System Architecture Description.
SDL Forum 2005: 234-246 |
| 11 | EE | Stefano Crespi-Reghizzi,
Matteo Pradella:
Tile rewriting grammars and picture languages.
Theor. Comput. Sci. 340(1): 257-272 (2005) |
| 2003 |
|---|
| 10 | EE | Myla Archer,
Elizabeth I. Leonard,
Matteo Pradella:
Modeling Security-Enhanced Linux Policy Specifications for Analysis.
DISCEX (2) 2003: 164-169 |
| 9 | EE | Stefano Crespi-Reghizzi,
Matteo Pradella:
Tile Rewriting Grammars.
Developments in Language Theory 2003: 206-217 |
| 8 | EE | Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Model-Checking TRIO Specifications in SPIN.
FME 2003: 542-561 |
| 7 | EE | Myla Archer,
Elizabeth I. Leonard,
Matteo Pradella:
Analyzing Security-Enhanced Linux Policy Specifications.
POLICY 2003: 158- |
| 6 | EE | 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 | EE | Matteo Pradella,
Marco Colombetti:
A Formal Description of a Practical Agent for E-Commerce.
AMEC 2000: 84-95 |
| 4 | EE | 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 | EE | 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 | EE | Alberto Coen-Porisini,
Matteo Pradella,
Pierluigi San Pietro:
A Finite-Domain Semantics for Testing Temporal Logic Specifications.
FTRTFT 1998: 41-54 |
