Searching for authors named "Matteo Pradella" – sorted by Relevance.
-
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

