Silvia Ghilezan

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 25

Top Topics

Formal Verification

Transactional Memory

Privacy Preserving

Top Venues

J. Log. Algebraic Methods Program.

Publications

Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP. CoRR (2023)
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan
A Simple Python Testbed for Federated Learning Algorithms. CoRR (2023)
Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. ECBS (2023)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24 (2) (2023)
Simona Kasterovic, Silvia Ghilezan
Logic of Combinatory Logic. CoRR (2022)
Silvia Ghilezan, Simona Kasterovic
Semantics for Combinatory Logic With Intersection Types. Frontiers Comput. Sci. 4 (2022)
Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic
Federating digital contact tracing using structured overlay networks. Comput. Sci. Inf. Syst. 19 (3) (2022)
Silvia Ghilezan
Type Systems for Trustworthiness -- from Mathematics to Large-Scale Systems. ECBS (2021)
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Pierre Lescanne
L-types for resource awareness: an implicit name approach. CoRR (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5 (POPL) (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. CoRR (2020)
Tamara Stefanovic, Silvia Ghilezan
Preserving Privacy in Caller ID Applications. Privacy and Identity Management (2020)
Simona Kasterovic, Silvia Ghilezan
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. J. Log. Comput. 30 (8) (2020)
Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer
Logic and Applications - LAP Meeting. Logic, Language, and Security (2020)
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. FoIKS (2020)
Paul Downen, Zena M. Ariola, Silvia Ghilezan
The Duality of Classical Intersection and Union Types. Fundam. Informaticae 170 (1-3) (2019)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104 (2019)
Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic
Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. ECBS (2019)
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
Probabilistic Reasoning About Simply Typed Lambda Terms. LFCS (2018)
José Espírito Santo, Silvia Ghilezan
Characterization of strong normalizability for a sequent lambda calculus with co-control. PPDP (2017)
Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan
Linked data privacy. Math. Struct. Comput. Sci. 27 (1) (2017)
Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic
An approach to formal verification of python software transactional memory. ECBS (2017)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28 (4) (2016)
Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic
-Threshold Functions. J. Multiple Valued Log. Soft Comput. 26 (1-2) (2016)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods (2016)
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
Combining behavioural types with security analysis. CoRR (2015)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions. PLACES (2015)
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
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84 (6) (2015)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
A Typed Model for Dynamic Authorizations. PLACES (2015)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic Role Authorization in Multiparty Conversations. BEAT (2014)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
Preciseness of Subtyping on Intersection and Union Types. RTA-TLCA (2014)
Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic
On the Number of S-Threshold Functions on Not Necessarily Binary Input. ISMVL (2014)
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
Resource control and intersection types: an intrinsic connection. CoRR (2014)
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
A journey through resource control lambda calculi and explicit substitution using intersection types (an account). CoRR (2013)
Silvia Ghilezan, Luca Paolini
Preface. Fundam. Informaticae 121 (1-4) (2012)
Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic
Computational interpretation of classical logic with explicit structural rules CoRR (2012)
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
Intersection Types for the Resource Control Lambda Calculi. ICTAC (2011)
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
Resource control and strong normalisation CoRR (2011)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic
Types for Role-Based Access Control of Dynamic Web Data. WFLP (2010)
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Dragisa Zunic
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. TbiLLC (2009)
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. Theor. Comput. Sci. 398 (1-3) (2008)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
Security types for dynamic web data. Theor. Comput. Sci. 402 (2-3) (2008)
Hugo Herbelin, Silvia Ghilezan
An approach to call-by-name delimited continuations. POPL (2008)
José Espírito Santo, Silvia Ghilezan, Jelena Ivetic
Characterising Strongly Normalising Intuitionistic Sequent Terms. TYPES (2007)
Silvia Ghilezan, Jovanka Pantovic, Jovisa D. Zunic
Separating Points by Parallel Hyperplanes - Characterization Problem. IEEE Trans. Neural Networks 18 (5) (2007)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic
Security Types for Dynamic Web Data. TGC (2006)
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
Intersection and Union Types in the lambda-my-my/tilde-calculus. Electron. Notes Theor. Comput. Sci. 136 (2005)
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec
Strong Normalization of the Dual Classical Sequent Calculus. LPAR (2005)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec
Behavioural inverse limit lambda-models. Theor. Comput. Sci. 316 (1) (2004)
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
Characterizing strong normalization in a language with control operators. PPDP (2004)
Silvia Ghilezan, Pierre Lescanne
Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract. TYPES (2003)
Silvia Ghilezan, Silvia Likavec
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
Two Behavioural Lambda Models. TYPES (2002)
Silvia Ghilezan
Full Intersection Types and Topologies in Lambda Calculus. J. Comput. Syst. Sci. 62 (1) (2001)
Silvia Ghilezan, Viktor Kuncak
Confluence of Untyped Lambda Calculus via Simple Types. ICTCS (2001)
Silvia Ghilezan
Intersection Types and Topologies and Lambda Calculus. ICALP Satellite Workshops (2000)
Henk Barendregt, Silvia Ghilezan
Lambda terms for natural deduction, sequent calculus and cut elimination. J. Funct. Program. 10 (1) (2000)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
The "Relevance" of Intersection and Union Types. Notre Dame J. Formal Log. 38 (2) (1997)
Silvia Ghilezan
Strong Normalization and Typability with Intersection Types. Notre Dame J. Formal Log. 37 (1) (1996)
Silvia Ghilezan
Generalized Finiteness of Developments in Typed Lambda Calculi. J. Autom. Lang. Comb. 1 (4) (1996)
Silvia Ghilezan
Application of Typed Lambda Calculi in the Untyped Lambda Calculus. LFCS (1994)
Silvia Ghilezan
Inhabitation in Intersection and Union Type Assignment Systems. J. Log. Comput. 3 (6) (1993)