Clara Bertolissi

Statistics

Publications

Citations

140

H-Index

Active since

2005

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Centre National de la Recherche Scientifique

Université de Lorraine

Laboratoire d’Informatique Fondamentale de Marseille

Clara Bertolissi is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceAccess ControlSystems EngineeringInformation SecurityVerificationData SecurityFormal VerificationRegulation

Publications per year

2005–2015

Publications

A metamodel of access control for distributed environments: Applications and properties

Clara Bertolissi, Maribel Fernández · Information and Computation · 2014 · 46 citations

Engineering, Logical Access Control, Access Method +9

A rewriting framework for the composition of access control policies

Clara Bertolissi, Maribel Fernández · 2008 · 31 citations

Engineering, Information Security, Verification +20

Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes

Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise · 2015 · 19 citations

Run-time Monitors, Engineering, Business Processes +26

A Rewriting Calculus for Cyclic Higher-order Term Graphs

Clara Bertolissi, Paolo Baldan, Horatiu Cirstea et al. · Electronic Notes in Theoretical Computer Science · 2005 · 17 citations · Full text

Mathematical Programming, Relational Queries, Engineering +15

A rewriting calculus for cyclic higher-order term graphs

Paolo Baldan, Clara Bertolissi, Horatiu Cirstea et al. · Mathematical Structures in Computer Science · 2007 · 17 citations

Mathematical Programming, Engineering, ρ G -Calculus +16

1–5 of 6