Silvia Crafa - RankMe

62 papers A* 1A 3B 8Journal 29Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Exploring Moral Exercises for Human Oversight of AI systems: Insights from Three Pilot Studies. CoRR Silvia Crafa, Teresa Scantamburlo
2025	—	`conf`	Formal Verification in Solidity and Move: Insights from a Comparative Analysis. FMBC Massimo Bartoletti, Silvia Crafa, Enrico Lipparini
2025	J	`jnl`	Formal verification in Solidity and Move: insights from a comparative analysis. CoRR Massimo Bartoletti, Silvia Crafa, Enrico Lipparini
2025	J	`jnl`	Smart contract languages: A comparative analysis. Future Gener. Comput. Syst. Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino
2024	J	`jnl`	Algorithmic Thinking for the Legal Writing: The Case of Italian Election Law. Digit. Soc. Silvia Crafa
2024	J	`jnl`	Smart Contract Languages: a comparative analysis. CoRR Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino
2023	—	`conf`	ALGOMOVE - A Move Embedding for Algorand. Blockchain Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò
2023	—	`conf`	Moral Exercises for Human Oversight of Algorithmic Decision-Making. DP@AI*IA Teresa Scantamburlo, Silvia Crafa, Giovanni Grandi
2023	J	`jnl`	Pacta sunt servanda: Legal contracts in Sci. Comput. Program. Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti
2022	—	`conf`	From Legal Contracts to Legal Calculi: the code-driven normativity. EXPRESS/SOS Silvia Crafa
2022	—	`conf`	Liquidity Analysis in Resource-Aware Programming. FACS Silvia Crafa, Cosimo Laneve
2022	—	`conf`	Programming Legal Contracts - A Beginners Guide to Stipula. The Logic of Software. A Tasting Menu of Formal Methods Silvia Crafa, Cosimo Laneve
2021	J	`jnl`	Pacta sunt servanda: legal contracts in Stipula. CoRR Silvia Crafa, Cosimo Laneve, Giovanni Sartor
2019	—	`conf`	Is Solidity Solid Enough? Financial Cryptography Workshops Silvia Crafa, Matteo Di Pirro, Elena Zucca
2019	J	`jnl`	Solidity 0.5: when typed does not mean type safe. CoRR Silvia Crafa, Matteo Di Pirro
2018	—	`conf`	On the Reactive Nature of Financial Networks. ICTCS Silvia Crafa, Daniele Varacca
2018	J	`jnl`	Proof search in a context-sensitive logic for molecular biology. J. Log. Comput. Filippo Sestini, Silvia Crafa
2017	J	`jnl`	The Chemical Approach to Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. Silvia Crafa, Luca Padovani
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`	On the chemistry of typestate-oriented actors. CoRR Silvia Crafa, Luca Padovani
2015	J	`jnl`	Actors vs Shared Memory: two models at work on Big Data application frameworks. CoRR Silvia Crafa, Luca Tronchin
2015	A	`conf`	Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. ESOP Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo
2015	J	`jnl`	Modelling the Evolution of Programming Languages. CoRR Silvia Crafa
2015	—	`ed.`	Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. EXPRESS/SOS Silvia Crafa, Daniel Gebler
2015	A	`conf`	The chemical approach to typestate-oriented programming. OOPSLA Silvia Crafa, Luca Padovani
2015	J	`jnl`	The role of concurrency in an evolutionary view of programming abstractions. CoRR Silvia Crafa
2015	J	`jnl`	The role of concurrency in an evolutionary view of programming abstractions. J. Log. Algebraic Methods Program. Silvia Crafa
2014	J	`jnl`	A Logic for True Concurrency. J. ACM Paolo Baldan, Silvia Crafa
2014	B	`conf`	Hereditary History-Preserving Bisimilarity: Logics and Automata. APLAS Paolo Baldan, Silvia Crafa
2014	J	`jnl`	Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions. ACM Trans. Comput. Log. Silvia Crafa, Francesco Ranzato
2014	—	`ed.`	Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. EXPRESS/SOS Johannes Borgström, Silvia Crafa
2014	A	`conf`	Semantics of (Resilient) X10. ECOOP Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
2013	J	`jnl`	Causality in concurrent systems CoRR Silvia Crafa, Federica Russo
2013	J	`jnl`	Semantics of (Resilient) X10. CoRR Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
2012	J	`jnl`	Behavioural Types for Actor Systems CoRR Silvia Crafa
2012	J	`jnl`	Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Formal Methods Syst. Des. Silvia Crafa, Francesco Ranzato
2012	B	`conf`	Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS Silvia Crafa, Daniele Varacca, Nobuko Yoshida
2011	J	`jnl`	A Logic for True Concurrency CoRR Paolo Baldan, Silvia Crafa
2011	B	`conf`	A Spectrum of Behavioral Relations over LTSs on Probability Distributions. CONCUR Silvia Crafa, Francesco Ranzato
2011	—	`conf`	Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. ICALP (2) Silvia Crafa, Francesco Ranzato
2011	J	`jnl`	Saving Space in a Time Efficient Simulation Algorithm. Fundam. Informaticae Silvia Crafa, Francesco Ranzato, Francesco Tapparo
2010	B	`conf`	A Logic for True Concurrency. CONCUR Paolo Baldan, Silvia Crafa
2009	J	`jnl`	A type system for Discretionary Access Control. Math. Struct. Comput. Sci. Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio
2009	—	`conf`	Saving Space in a Time Efficient Simulation Algorithm. ACSD Silvia Crafa, Francesco Ranzato, Francesco Tapparo
2008	—	`conf`	PicNIc - Pi-calculus non-interference checker. ACSD Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi
2007	B	`conf`	Compositional Event Structure Semantics for the Internal CONCUR Silvia Crafa, Daniele Varacca, Nobuko Yoshida
2007	J	`jnl`	Controlling information release in the pi-calculus. Inf. Comput. Silvia Crafa, Sabina Rossi
2006	—	`conf`	P-congruences as non-interference for the pi-calculus. FMSE Silvia Crafa, Sabina Rossi
2005	—	`conf`	A Theory of Noninterference for the pi-Calculus. TGC Silvia Crafa, Sabina Rossi
2005	J	`jnl`	Communication and mobility control in boxed ambients. Inf. Comput. Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
2004	J	`jnl`	Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
2004	B	`conf`	Type Based Discretionary Access Control. CONCUR Michele Bugliesi, Dario Colazzo, Silvia Crafa
2003	A*	`conf`	Secrecy in Untrusted Networks. ICALP Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone
2002	—	`conf`	A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
2002	—	`conf`	Communication Interference in Mobile Boxed Ambients. FSTTCS Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
2002	—	`conf`	Information Flow Security for Boxed Ambients. F-WAN@ICALP Silvia Crafa, Michele Bugliesi, Giuseppe Castagna
2002	J	`jnl`	Typed interpretations of extensible objects. ACM Trans. Comput. Log. Viviana Bono, Michele Bugliesi, Silvia Crafa
2001	—	`conf`	An overview of Boxed Ambients. TOSCA Giuseppe Castagna, Michele Bugliesi, Silvia Crafa
2001	—	`conf`	Boxed Ambients. TACS Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
2001	B	`conf`	Reasoning about Security in Mobile Ambients. CONCUR Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
2001	—	`conf`	Subtyping and Matching for Mobile Objects. ICTCS Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
2000	B	`conf`	Typed Mobile Objects. CONCUR Michele Bugliesi, Giuseppe Castagna, Silvia Crafa