PARISI PRESICCE, Francesco
PARISI PRESICCE, Francesco
DIPARTIMENTO DI INFORMATICA
A Formal Framework for Petri Net Class Transformations
2003 PARISI PRESICCE, Francesco
A formal Model for Role-Based Access Control using Graph Transformations
2000 M., Koch; Mancini, Luigi Vincenzo; PARISI PRESICCE, Francesco
A Graph based formalism for RBAC
2002 M., Koch; Mancini, Luigi Vincenzo; PARISI PRESICCE, Francesco
A Logical Specification for Usage Control
2004 Xinwen, Zhang; Jaehong, Park; PARISI PRESICCE, Francesco; Ravi, Sandhu
A Model for Distribution and Revocations of Certificates
2010 A., Hagstrom; PARISI PRESICCE, Francesco
A rule-based approach to modular system design
1990 PARISI PRESICCE, Francesco
A Termination Criterion for Graph Transformations with NACs
2010 Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco
A Visualization of OCL using Collaborations
2001 Bottoni, Paolo Gaspare; Koch, M.; PARISI PRESICCE, Francesco; Taentzer, G.
Access Control Specification in UML
2007 M., Koch; PARISI PRESICCE, Francesco; K., Pauls
Administrative Scope in the Graph-based Framework
2004 M., Koch; Mancini, Luigi Vincenzo; PARISI PRESICCE, Francesco
An Algebraic Theory of Class Specification
1994 PARISI PRESICCE, Francesco; Pierantonio, A.
Annotation processes for flexible management of contextual information
2013 Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco
Annotations on Complex Patterns
2013 Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco
Blind Custodians: A Databases service architecture that supports Privacy without Encryption
2005 A., Motro; PARISI PRESICCE, Francesco
COMPATIBILITY PROBLEMS IN THE DEVELOPMENT OF ALGEBRAIC MODULE SPECIFICATIONS
1990 Hartmut, Ehrig; Werner, Fey; Horst, Hansen; M., Loewe; Dean, Jacobs; PARISI PRESICCE, Francesco
Composition and Interaction for Behavioural Specifications
1999 Veglioni, S.; PARISI PRESICCE, Francesco
Conditions, constraints and contracts: on the use of annotations for policy modeling
2016 Bottoni, Paolo; Navigli, Roberto; Presicce, Francesco Parisi
Conditions, constraints and contracts: on the use of annotations for policy modeling.
2015 Bottoni, Paolo Gaspare; Navigli, Roberto; PARISI PRESICCE, Francesco
Conflict Detection and Resolution in Access Control Policy Specifications
2002 Koch, M.; Mancini, Luigi Vincenzo; PARISI PRESICCE, Francesco
Consistency Checking and Visualization of OCL Constraints
2000 Bottoni, Paolo Gaspare; Manuel, Koch; PARISI PRESICCE, Francesco; Gabriele, Taentzer
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Framework for Petri Net Class Transformations | 2003 | PARISI PRESICCE, Francesco | |
| A formal Model for Role-Based Access Control using Graph Transformations | 2000 | M., Koch; Mancini, Luigi Vincenzo; PARISI PRESICCE, Francesco | |
| A Graph based formalism for RBAC | 2002 | M., Koch; Mancini, Luigi Vincenzo; PARISI PRESICCE, Francesco | |
| A Logical Specification for Usage Control | 2004 | Xinwen, Zhang; Jaehong, Park; PARISI PRESICCE, Francesco; Ravi, Sandhu | |
| A Model for Distribution and Revocations of Certificates | 2010 | A., Hagstrom; PARISI PRESICCE, Francesco | |
| A rule-based approach to modular system design | 1990 | PARISI PRESICCE, Francesco | |
| A Termination Criterion for Graph Transformations with NACs | 2010 | Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco | |
| A Visualization of OCL using Collaborations | 2001 | Bottoni, Paolo Gaspare; Koch, M.; PARISI PRESICCE, Francesco; Taentzer, G. | |
| Access Control Specification in UML | 2007 | M., Koch; PARISI PRESICCE, Francesco; K., Pauls | |
| Administrative Scope in the Graph-based Framework | 2004 | M., Koch; Mancini, Luigi Vincenzo; PARISI PRESICCE, Francesco | |
| An Algebraic Theory of Class Specification | 1994 | PARISI PRESICCE, Francesco; Pierantonio, A. | |
| Annotation processes for flexible management of contextual information | 2013 | Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco | |
| Annotations on Complex Patterns | 2013 | Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco | |
| Blind Custodians: A Databases service architecture that supports Privacy without Encryption | 2005 | A., Motro; PARISI PRESICCE, Francesco | |
| COMPATIBILITY PROBLEMS IN THE DEVELOPMENT OF ALGEBRAIC MODULE SPECIFICATIONS | 1990 | Hartmut, Ehrig; Werner, Fey; Horst, Hansen; M., Loewe; Dean, Jacobs; PARISI PRESICCE, Francesco | |
| Composition and Interaction for Behavioural Specifications | 1999 | Veglioni, S.; PARISI PRESICCE, Francesco | |
| Conditions, constraints and contracts: on the use of annotations for policy modeling | 2016 | Bottoni, Paolo; Navigli, Roberto; Presicce, Francesco Parisi | |
| Conditions, constraints and contracts: on the use of annotations for policy modeling. | 2015 | Bottoni, Paolo Gaspare; Navigli, Roberto; PARISI PRESICCE, Francesco | |
| Conflict Detection and Resolution in Access Control Policy Specifications | 2002 | Koch, M.; Mancini, Luigi Vincenzo; PARISI PRESICCE, Francesco | |
| Consistency Checking and Visualization of OCL Constraints | 2000 | Bottoni, Paolo Gaspare; Manuel, Koch; PARISI PRESICCE, Francesco; Gabriele, Taentzer |