31 citations · 51 across the 8 of their papers we have counts for
12 papers
A Formal Approach to AMM Fee Mechanisms with Lean 4
Marco Dessalvi, Massimo Bartoletti, Alberto Lluch-Lafuente
Decentralized Finance (DeFi) has revolutionized financial markets by enabling complex asset-exchange protocols without trusted intermediaries. Automated Market Makers (AMMs) are a…
White-box validation of quantitative product lines by statistical model checking and process mining
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte +2
We propose a novel methodology for validating software product line (PL) models by integrating Statistical Model Checking (SMC) with Process Mining (PM). Our approach focuses on th…
Minimization of Dynamical Systems over Monoids
Georgios Argyris, Alberto Lluch Lafuente, Alexander Leguizamon Robayo +3
Quantitative notions of bisimulation are well-known tools for the minimization of dynamical models such as Markov chains and ordinary differential equations (ODEs). In \emph{forwar…
Formal Analysis of Lending Pools in Decentralized Finance
Massimo Bartoletti, James Chiang, Tommi Junttila +3
Decentralised Finance (DeFi) applications constitute an entire financial ecosystem deployed on blockchains. Such applications are based on complex protocols and incentive mechanism…
Reducing Boolean Networks with Backward Boolean Equivalence
Georgios Argyris, Alberto Lluch Lafuente, Mirco Tribastone +2
Boolean Networks (BNs) are established models to qualitatively describe biological systems. The analysis of BNs might be infeasible for medium to large BNs due to the state-space e…
Maximizing Extractable Value from Automated Market Makers
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Automated Market Makers (AMMs) are decentralized applications that allow users to exchange crypto-tokens without the need for a matching exchange order. AMMs are one of the most su…
A theory of Automated Market Makers in DeFi
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Automated market makers (AMMs) are one of the most prominent decentralized finance (DeFi) applications. AMMs allow users to trade different types of crypto-tokens, without the need…
Quantitative Security Risk Modeling and Analysis with RisQFLan
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
Domain-specific quantitative modeling and analysis approaches are fundamental in scenarios in which qualitative approaches are inappropriate or unfeasible. In this paper, we presen…
SoK: Lending Pools in Decentralized Finance
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Lending pools are decentralized applications which allow mutually untrusted users to lend and borrow crypto-assets. These applications feature complex, highly parametric incentive…
Microservices: yesterday, today, and tomorrow
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente +4
Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Before presenting the current state-of-the-art in the f…
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects. For this p…
Proceedings 6th Interaction and Concurrency Experience
Marco Carbone, Ivan Lanese, Alberto Lluch Lafuente +1
This volume contains the proceedings of ICE 2013, the 6th Interaction and Concurrency Experience workshop, which was held in Florence, Italy on the 6th of June 2013 as a satellite…