Ilaria Castellani

Publications

1.2K

Citations

H-Index

1982

Active since

Affiliations

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

University of Turin

Centre Inria d'Université Côte d'Azur

Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

University of Sussex

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

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningProgram AnalysisParallel ProgrammingParallel ComputingLanguageSemantics

Publications per year

1982–2022

Publications

On bisimulations for the asynchronous π-calculus

Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi · Theoretical Computer Science · 1998 · 251 citations

Engineering, Concurrency Theory, Formal Methods +3

Noninterference for concurrent programs and thread systems

Gérard Boudol, Ilaria Castellani · Theoretical Computer Science · 2002 · 139 citations

Engineering, Program Analysis, Concurrent Programming +7

A Non-Interleaving Semantics for CCS Based on Proved Transitions

Gérard Boudol, Ilaria Castellani · Fundamenta Informaticae · 1988 · 98 citations

Computational Logic, Formal Specification, Proved Transitions +15

Concurrency and atomicity

Gérard Boudol, Ilaria Castellani · Theoretical Computer Science · 1988 · 98 citations

Engineering, Concurrent Programming, Concurrency Theory +5

Observing localities

Gérard Boudol, Ilaria Castellani, Matthew Hennessy et al. · Theoretical Computer Science · 1993 · 95 citations

Rows per page

1–5 of 23