Searching for authors named "Matteo Pradella" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Finite-Domain Temporal Logic in ACL2: a semantics-based approach
- …Finite-Domain Temporal Logic in ACL2: a semantics-based approach 1 Introduction Matteo Pradella…
- Add To MetaCart
-
Towards a Methodology and Tool for the Analysis of Security-Enhanced Linux Security Policies
- … Laboratory, Washington, DC 20375 USA E-mail: farcher,leonardg@(email omitted); Matteo Pradella CNR CESTIA…
- Cited by 4 (2 self) – Add To MetaCart
-
Analyzing Security-Enhanced Linux Policy Specifications
- …, leonardg@(email omitted); Matteo Pradella CNR IEIIT-MI, Politecnico di Milano, Milano ITALY pradella…
- Cited by 5 (1 self) – Add To MetaCart
-
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation ⋆
- …. Furia 1 , Matteo Pradella 2 , and Matteo Rossi 1 1 Dipartimento di Elettronica e Informazione…
- Add To MetaCart
-
Tile Rewriting Grammars
- …Abstract Tile Rewriting Grammars ⋆ Stefano Crespi Reghizzi ⋆⋆ and Matteo Pradella DEI…
- Cited by 3 (1 self) – Add To MetaCart
-
A Formal Approach for Designing CORBA based Applications
- …A Formal Approach for Designing CORBA based Applications § ABSTRACT Matteo Pradella Matteo Rossi…
- Cited by 5 (0 self) – Add To MetaCart
-
Tile rewriting grammars and picture languages
- …Abstract Tile Rewriting Grammars and Picture Languages 1 Stefano Crespi Reghizzi, Matteo Pradella…
- Cited by 3 (0 self) – Add To MetaCart
-
A Case Study in Object-oriented Modeling and Design of Distributed Multimedia Applications
- … Angelo Morzenti 1 , Matteo Pradella 1 , Matteo Rossi 1 , Stefano Russo 2 , Antonio Sergio 2 1…
- Cited by 2 (2 self) – Add To MetaCart
-
DEI
- … � Pierluigi San Pietro � Matteo Pradella � Matteo Rossi � Paola Spoletini � Carlo A. Furia Research Focus…
- Add To MetaCart
-
A Finite-Domain Semantics for Testing Temporal Logic Specifications
- …A finite-domain semantics for testing temporal logic specifications Alberto Coen-Porisini, Matteo…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
