Cosimo Laneve - RankMe

118 papers A* 4A 2B 18C 10Journal 39Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A stochastic analysis of the Gasper protocol. Comput. Commun. Cosimo Laneve, Adele Veschetti
2025	C	`conf`	Assessing Code Understanding in LLMs. FORTE Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi
2025	J	`jnl`	Assessing Code Understanding in LLMs. CoRR Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi
2025	C	`conf`	Decidability Problems for Micro-Stipula. COORDINATION Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro
2025	J	`jnl`	Decidability Problems for Micro-Stipula. CoRR Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro
2025	B	`conf`	Formal Verification of Legal Contracts: A Translation-Based Approach. iFM Reiner Hähnle, Cosimo Laneve, Adele Veschetti
2025	J	`jnl`	Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version). CoRR Reiner Hähnle, Cosimo Laneve, Adele Veschetti
2024	—	`conf`	A Stochastic Analysis of the Gasper Protocol. PerCom Workshops Cosimo Laneve, Sergio Solmonte, Adele Veschetti
2024	C	`conf`	Analyzing the Fairness of Proof of Stake Ethereum. DLT Stefano Bistarelli, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2024	C	`conf`	Draft Better Contracts. JURIX Cosimo Laneve, Alessandro Parenti, Giovanni Sartor
2024	J	`jnl`	Leveraging static analysis for cost-aware serverless scheduling policies. Int. J. Softw. Tools Technol. Transf. Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	C	`conf`	Reachability Analysis in Micro-Stipula. PPDP Cosimo Laneve
2023	C	`conf`	Legal Contracts Amending with Stipula. COORDINATION Cosimo Laneve, Alessandro Parenti, Giovanni Sartor
2023	J	`jnl`	Liquidity analysis in resource-aware programming. J. Log. Algebraic Methods Program. Cosimo Laneve
2023	J	`jnl`	Pacta sunt servanda: Legal contracts in Sci. Comput. Program. Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti
2023	—	`conf`	Programming Contract Amending. JSAI-isAI Workshops Cosimo Laneve, Alessandro Parenti, Giovanni Sartor
2023	J	`jnl`	Resilience of Hybrid Casper Under Varying Values of Parameters. Distributed Ledger Technol. Res. Pract. Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2023	—	`conf`	Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2023	J	`jnl`	Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
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
2020	—	`conf`	A Formal Analysis of the Bitcoin Protocol. Gabbrielli's Festschrift Cosimo Laneve, Adele Veschetti
2019	J	`jnl`	A lightweight deadlock analysis for programs with threads and reentrant locks. Sci. Comput. Program. Cosimo Laneve
2019	—	`conf`	Deadlock Analysis of Wait-Notify Coordination. The Art of Modelling Computational Systems Cosimo Laneve, Luca Padovani
2019	—	`conf`	On the Prediction of Smart Contracts' Behaviours. From Software Engineering to Formal Methods and Tools, and Back Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti
2019	J	`jnl`	Time analysis of actor programs. J. Log. Algebraic Methods Program. Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez
2018	B	`conf`	A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. FM Cosimo Laneve
2018	—	`conf`	Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
2017	B	`conf`	Analysis of Synchronisations in Stateful Active Objects. IFM Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
2017	C	`conf`	Deadlock Detection of Java Bytecode. LOPSTR Cosimo Laneve, Abel Garcia
2017	J	`jnl`	Deadlock analysis of unbounded process networks. Inf. Comput. Naoki Kobayashi, Cosimo Laneve
2017	J	`jnl`	Deadlock detection of Java Bytecode. CoRR Abel Garcia, Cosimo Laneve
2017	J	`jnl`	Static analysis of cloud elasticity. Sci. Comput. Program. Abel Garcia, Cosimo Laneve, Michael Lienhardt
2016	J	`jnl`	A framework for deadlock detection in core ABS. Softw. Syst. Model. Elena Giachino, Cosimo Laneve, Michael Lienhardt
2016	C	`conf`	Actors may synchronize, safely! PPDP Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
2016	—	`conf`	Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht
2015	J	`jnl`	A framework for deadlock detection in core ABS. CoRR Elena Giachino, Cosimo Laneve, Michael Lienhardt
2015	J	`jnl`	An algebraic theory for web service contracts. Formal Aspects Comput. Cosimo Laneve, Luca Padovani
2015	C	`conf`	Static analysis of cloud elasticity. PPDP Abel Garcia, Cosimo Laneve, Michael Lienhardt
2015	—	`conf`	Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
2015	J	`jnl`	Time complexity of concurrent programs. CoRR Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
2014	B	`conf`	Deadlock Analysis of Unbounded Process Networks. CONCUR Elena Giachino, Naoki Kobayashi, Cosimo Laneve
2014	—	`conf`	Deadlock Detection in Linear Recursive Programs. SFM Elena Giachino, Cosimo Laneve
2014	J	`jnl`	Decidability Problems for Actor Systems. Log. Methods Comput. Sci. Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
2014	—	`conf`	Towards the Typing of Resource Deployment. ISoLA (2) Elena Giachino, Cosimo Laneve
2013	B	`conf`	An Algebraic Theory for Web Service Contracts. IFM Cosimo Laneve, Luca Padovani
2013	B	`conf`	Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
2013	J	`jnl`	Deadlock detection in linear recursive programs. CoRR Elena Giachino, Cosimo Laneve
2013	—	`conf`	Engineering virtualized services. NordiCloud Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
2012	—	`conf`	A Beginner's Guide to the DeadLock Analysis Model. TGC Elena Giachino, Cosimo Laneve
2012	B	`conf`	Decidability Problems for Actor Systems. CONCUR Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
2011	—	`conf`	Analysis of Deadlocks in Object Groups. FMOODS/FORTE Elena Giachino, Cosimo Laneve
2011	J	`jnl`	Reversibility in Massive Concurrent Systems CoRR Luca Cardelli, Cosimo Laneve
2011	J	`jnl`	Reversibility in Massive Concurrent Systems. Sci. Ann. Comput. Sci. Luca Cardelli, Cosimo Laneve
2011	—	`conf`	Reversible structures. CMSB Luca Cardelli, Cosimo Laneve
2010	A*	`conf`	The Expressive Power of Synchronizations. LICS Cosimo Laneve, Antonio Vitale
2010	—	`conf`	The Interval Analysis of Multilinear Expressions. TAPAS@SAS Cosimo Laneve, Tudor A. Lascu, Vania Sordoni
2010	—	`ed.`	Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers WS-FM Cosimo Laneve, Jianwen Su
2009	—	`conf`	From Biochemistry to Stochastic Processes. QAPL Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro
2009	J	`jnl`	PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. Samuele Carpineti, Cosimo Laneve, Luca Padovani
2009	—	`conf`	The CMSB Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
2008	J	`jnl`	A simple calculus for proteins and cells. Theor. Comput. Sci. Cosimo Laneve, Fabien Tarissan
2008	B	`conf`	Expressivity in the kappa Family. MFPS Cosimo Laneve, Antonio Vitale
2008	—	`conf`	The Pairing of Contracts and Session Types. Concurrency, Graphs and Models Cosimo Laneve, Luca Padovani
2008	J	`jnl`	nanoK: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro
2007	J	`jnl`	Linear forwarders. Inf. Comput. Philippa Gardner, Cosimo Laneve, Lucian Wischik
2007	—	`conf`	Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. CMSB Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro
2007	—	`ed.`	Proceedings of the First Workshop on Concurrent Models in Molecular Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003 BioConcur@CONCUR Vincent Danos, Cosimo Laneve
2007	B	`conf`	The CONCUR Cosimo Laneve, Luca Padovani
2006	A	`conf`	A Basic Contract Language for Web Services. ESOP Samuele Carpineti, Cosimo Laneve
2006	—	`conf`	A Formal Account of Contracts for Web Services. WS-FM Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
2006	—	`conf`	A Simple Calculus for Proteins and Cells. MeCBIC@ICALP Cosimo Laneve, Fabien Tarissan
2006	B	`conf`	Smooth Orchestrators. FoSSaCS Cosimo Laneve, Luca Padovani
2005	—	`conf`	A Rude Contract Language for Web Services. APC 25 Samuele Carpineti, Cosimo Laneve
2005	—	`conf`	BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD Samuele Carpineti, Cosimo Laneve, Paolo Milazzo
2005	B	`conf`	Foundations of Web Transactions. FoSSaCS Cosimo Laneve, Gianluigi Zavattaro
2005	—	`conf`	PiDuce: A Process Calculus with Native XML Datatypes. EPEW/WS-FM Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith
2005	—	`conf`	web-pi at Work. TGC Cosimo Laneve, Gianluigi Zavattaro
2004	J	`jnl`	Formal molecular biology. Theor. Comput. Sci. Vincent Danos, Cosimo Laneve
2003	—	`conf`	A Calculus for Long-Running Transactions. FMOODS Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
2003	J	`jnl`	A type system for JVM threads. Theor. Comput. Sci. Cosimo Laneve
2003	A	`conf`	Core Formal Molecular Biology. ESOP Vincent Danos, Cosimo Laneve
2003	—	`conf`	Graphs for Core Molecular Biology. CMSB Vincent Danos, Cosimo Laneve
2003	J	`jnl`	Inheritance in the join calculus. J. Log. Algebraic Methods Program. Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
2003	B	`conf`	Linear Forwarders. CONCUR Philippa Gardner, Cosimo Laneve, Lucian Wischik
2003	—	`conf`	Preface. BioConcur@CONCUR Vincent Danos, Cosimo Laneve
2003	J	`jnl`	Solos In Concert. Math. Struct. Comput. Sci. Cosimo Laneve, Björn Victor
2003	—	`ed.`	Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings ICTCS Carlo Blundo, Cosimo Laneve
2002	B	`conf`	Orchestrating Transactions in Join Calculus. CONCUR Roberto Bruni, Cosimo Laneve, Ugo Montanari
2002	B	`conf`	The Fusion Machine. CONCUR Philippa Gardner, Cosimo Laneve, Lucian Wischik
2001	J	`jnl`	Bisimulations in the join-calculus. Theor. Comput. Sci. Cédric Fournet, Cosimo Laneve
2001	—	`conf`	Solo Diagrams. TACS Cosimo Laneve, Joachim Parrow, Björn Victor
2000	—	`conf`	Inheritance in the Join Calculus. FSTTCS Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
2000	—	`conf`	lambda-calculus, multiplicities, and the pi-calculus. Proof, Language, and Interaction Gérard Boudol, Cosimo Laneve
1999	—	`conf`	Calculi for Concurrent Objects (Tutorial). FMOODS Cosimo Laneve
1999	A*	`conf`	Solos in Concert. ICALP Cosimo Laneve, Björn Victor
1998	—	`conf`	Bisimulations in the join-calculus. PROCOMET Michele Boreale, Cédric Fournet, Cosimo Laneve
1997	B	`conf`	Implicit Typing à la ML for the Join-Calculus. CONCUR Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
1997	A*	`conf`	On the Dynamics of Sharing Graphs. ICALP Andrea Asperti, Cosimo Laneve
1996	J	`jnl`	Axiomatizing Permutation Equivalence. Math. Struct. Comput. Sci. Cosimo Laneve, Ugo Montanari
1996	J	`jnl`	Interaction Systems II: The Practice of Optimal Reductions. Theor. Comput. Sci. Andrea Asperti, Cosimo Laneve
1996	J	`jnl`	The Discriminating Power of Multiplicities in the Lambda-Calculus. Inf. Comput. Gérard Boudol, Cosimo Laneve
1995	—	`conf`	Comparing Lambda-calculus translations in Sharing Graphs. TLCA Andrea Asperti, Cosimo Laneve
1995	J	`jnl`	Paths, Computations and Labels in the lambda-Calculus. Theor. Comput. Sci. Andrea Asperti, Cosimo Laneve
1995	J	`jnl`	Split and ST Bisimulation Semantics Inf. Comput. Roberto Gorrieri, Cosimo Laneve
1995	B	`conf`	Termination, deadlock and divergence in the lambda-calculus with multiplicities. MFPS Gérard Boudol, Cosimo Laneve
1994	J	`jnl`	Distributive Evaluations of lambda-calculus. Fundam. Informaticae Cosimo Laneve
1994	J	`jnl`	Interaction Systems I: The Theory of Optimal Reductions. Math. Struct. Comput. Sci. Andrea Asperti, Cosimo Laneve
1994	A*	`conf`	Paths in the lambda-calculus LICS Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier
1994	—	`conf`	The Family Relation in Interaction Systems. TACS Andrea Asperti, Cosimo Laneve
1993	—	`conf`	Interaction Systems. HOA Andrea Asperti, Cosimo Laneve
1993	—	`conf`	Optimal Reductions in Interaction Systems. TAPSOFT Andrea Asperti, Cosimo Laneve
1993	—	`conf`	Paths, Computations and Labels in the Lambda-Calculus. RTA Andrea Asperti, Cosimo Laneve
1992	—	`conf`	Axiomatizing Permutation Equivalence in the Lambda-Calculus. ALP Cosimo Laneve, Ugo Montanari
1992	B	`conf`	Mobility in the CC-Paradigm. MFCS Cosimo Laneve, Ugo Montanari
1991	B	`conf`	The Limit of Split_n-Bisimulations for CCS Agents. MFCS Roberto Gorrieri, Cosimo Laneve
1989	C	`conf`	An Expressive Temporal Logic for Basic LOTOS. FORTE Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve