Ilaria Castellani

69 papers A* 1A 1B 7C 2Journal 31Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Constructive characterisations of the MUST-preorder for asynchrony. ESOP (1) Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco
2025	J	`jnl`	Constructive characterisations of the must-preorder for asynchrony. CoRR Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco
2024	C	`conf`	A simple view of multiparty session types. PPDP Ilaria Castellani
2024	J	`jnl`	Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani
2024	C	`ed.`	Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings COORDINATION Ilaria Castellani, Francesco Tiezzi
2024	J	`jnl`	Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. Fundam. Informaticae Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2024	—	`conf`	Towards a Semantic Characterisation of Global Type Well-formedness. PLACES@ETAPS Ilaria Castellani, Paola Giannini
2023	—	`conf`	EXPRESSing Session Types. EXPRESS/SOS Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi
2023	J	`jnl`	Event structure semantics for multiparty sessions. J. Log. Algebraic Methods Program. Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2023	J	`jnl`	Preface to the special issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova
2023	—	`ed.`	Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023. PLACES@ETAPS Ilaria Castellani, Alceste Scalas
2022	—	`conf`	Asynchronous Sessions with Input Races. PLACES@ETAPS Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2022	B	`conf`	CONCUR Test-Of-Time Award 2022 (Invited Paper). CONCUR Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi
2022	J	`jnl`	Event structure semantics for multiparty sessions. CoRR Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2021	J	`jnl`	Global types and event structure semantics for asynchronous multiparty sessions. CoRR Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2020	J	`jnl`	Global types with internal delegation. Theor. Comput. Sci. Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne
2019	—	`conf`	Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2019	J	`jnl`	Reversible sessions with flexible choices. Acta Informatica Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2019	J	`jnl`	Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016). J. Log. Algebraic Methods Program. Ilaria Castellani, Mohammad Reza Mousavi
2017	B	`conf`	Concurrent Reversible Sessions. CONCUR Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2017	J	`jnl`	Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015). J. Log. Algebraic Methods Program. Ilaria Castellani, Mohammad Reza Mousavi
2016	J	`jnl`	A quarter of a century of CONCUR - Report on the 2014 and 2015 editions of the Conference on Concurrency Theory. Bull. EATCS Ilaria Castellani, Silvia Crafa
2016	J	`jnl`	Information flow safety in multiparty sessions. Math. Struct. Comput. Sci. Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
2016	—	`conf`	Secure Multiparty Sessions with Topics. PLACES Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2016	J	`jnl`	Self-adaptation and secure information flow in multiparty communications. Formal Aspects Comput. Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2015	J	`jnl`	Combining behavioural types with security analysis. CoRR Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
2015	J	`jnl`	Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
2014	J	`jnl`	Report on WS25CCC. Bull. EATCS Ilaria Castellani
2014	—	`conf`	Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. BEAT Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2014	J	`jnl`	Typing access control and secure information flow in sessions. Inf. Comput. Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
2013	—	`conf`	Fine-Grained and Coarse-Grained Reactive Noninterference. TGC Pejman Attar, Ilaria Castellani
2011	—	`conf`	A Reputation System for Multirole Sessions. TGC Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
2011	—	`conf`	Information Flow Safety in Multiparty Sessions EXPRESS Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
2010	B	`conf`	Session Types for Access and Information Flow Control. CONCUR Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk
2008	—	`conf`	Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Concurrency, Graphs and Models Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
2007	—	`conf`	State-oriented Noninterference for CCS. SecCO@CONCUR Ilaria Castellani
2007	J	`jnl`	Typing noninterference for reactive programs. J. Log. Algebraic Methods Program. Ana Almeida Matos, Gérard Boudol, Ilaria Castellani
2005	—	`conf`	Reactive Concurrent Programming Revisited. APC 25 Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani
2005	J	`jnl`	Reactive concurrent programming revisited CoRR Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot
2002	J	`jnl`	Noninterference for concurrent programs and thread systems. Theor. Comput. Sci. Gérard Boudol, Ilaria Castellani
2001	A*	`conf`	Noninterference for Concurrent Programs. ICALP Gérard Boudol, Ilaria Castellani
2001	—	`ch.`	Process Algebras with Localities. Handbook of Process Algebra Ilaria Castellani
1999	—	`ed.`	6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999 EXPRESS Ilaria Castellani, Björn Victor
1999	—	`conf`	Preface. EXPRESS Ilaria Castellani, Björn Victor
1999	—	`conf`	Synthesizing Distributed Transition Systems from Global Specification. FSTTCS Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan
1998	—	`ed.`	Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998 EXPRESS Ilaria Castellani, Catuscia Palamidessi
1998	J	`jnl`	On Bisimulations for the Asynchronous pi-Calculus. Theor. Comput. Sci. Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
1998	—	`conf`	Preface. EXPRESS Ilaria Castellani, Catuscia Palamidessi
1998	—	`conf`	Testing Theories for Asynchronous Languages. FSTTCS Ilaria Castellani, Matthew Hennessy
1997	J	`jnl`	Parallel Product of Event Structures. Theor. Comput. Sci. Ilaria Castellani, Guo-Qiang Zhang
1996	J	`jnl`	An Algebraic Characterization of Observational Equivalence. Theor. Comput. Sci. André Arnold, Ilaria Castellani
1996	B	`conf`	On Bisimulations for the Asynchronous pi-Calculus. CONCUR Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
1995	J	`jnl`	Observing Distribution in Processes: Static and Dynamic Localities. Int. J. Found. Comput. Sci. Ilaria Castellani
1994	J	`jnl`	A Theory of Processes with Localities. Formal Aspects Comput. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
1994	J	`jnl`	Flow Models of Distributed Computations: Three Equivalent Semantics for CCS Inf. Comput. Gérard Boudol, Ilaria Castellani
1993	A	`conf`	Causal and Distributed Semantics for Concurrent Processes (Abstract). STACS Ilaria Castellani
1993	B	`conf`	Observing Distribution in Processes. MFCS Ilaria Castellani
1993	J	`jnl`	Observing Localities. Theor. Comput. Sci. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
1992	B	`conf`	A Theory of Process with Localities (Extended Abstract). CONCUR Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
1991	B	`conf`	Observing Localities (Extended Abstract). MFCS Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
1990	—	`conf`	Three Equivalent Semantics for CCS. Semantics of Systems of Concurrent Processes Gérard Boudol, Ilaria Castellani
1989	J	`jnl`	Distributed bisimulations. J. ACM Ilaria Castellani, Matthew Hennessy
1988	J	`jnl`	Concurrency and Atomicity. Theor. Comput. Sci. Gérard Boudol, Ilaria Castellani
1988	—	`conf`	Permutation of transitions: An event structure semantics for CCS and SCCS. REX Workshop Gérard Boudol, Ilaria Castellani
1987	J	`jnl`	Bisimulations and Abstraction Homomorphisms. J. Comput. Syst. Sci. Ilaria Castellani
1987	—	`conf`	On the Semantics of Concurrency: Partial Orders and Transition Systems. TAPSOFT, Vol.1 Gérard Boudol, Ilaria Castellani
1985	—	`conf`	Bisimulations and Abstraction Homomorphisms. TAPSOFT, Vol.1 Ilaria Castellani
1982	—	`conf`	Graph Grammars for distributed systems. Graph-Grammars and Their Application to Computer Science Ilaria Castellani, Ugo Montanari
1982	—	`conf`	Labeled Event Structures: A Model for Observable Concurrency. Formal Description of Programming Concepts Ilaria Castellani, Paola Franceschi, Ugo Montanari