Marco Maggesi

11
Documents

Publications

Publications

Deposit thumbnail

Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic

Marco Maggesi , Cosimo Perini Brogi

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 15220, Springer Nature Switzerland, pp.297-315, 2025, Lecture Notes in Computer Science, 978-3-031-75106-6. ⟨10.1007/978-3-031-75107-3_18⟩

Proceedings/Recueil des communications hal-04620418v2
Deposit thumbnail

Analysing collective adaptive systems by proving theorems

Cosimo Perini Brogi , Marco Maggesi

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 15219, Springer Nature Switzerland, pp.223-237, 2025, Lecture Notes in Computer Science, 978-3-031-73708-4. ⟨10.1007/978-3-031-73709-1_14⟩

Proceedings/Recueil des communications hal-04665635v1
Deposit thumbnail

Variable binding and substitution for (nameless) dummies

André Hirschowitz , Tom Hirschowitz , Ambroise Lafont , Marco Maggesi

25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022), Apr 2022, Munich, Germany

Communication dans un congrès hal-03547002v1
Deposit thumbnail

Private types in Higher Order Logic Programming

Marco Maggesi , Enrico Tassi

TEASE-LP 2020 - Workshop on Trends, Extensions, Applications and Semantics of Logic Programming, May 2020, Virtual Event, France

Communication dans un congrès hal-03117762v1

Modular specification of monads through higher-order presentations

Benedikt Ahrens , André Hirschowitz , Ambroise Lafont , Marco Maggesi

FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. pp.1-16, ⟨10.4230/LIPIcs.FSCD.2019.6⟩

Communication dans un congrès hal-02307998v1

High-level signatures and initial semantics

Benedikt Ahrens , André Hirschowitz , Ambroise Lafont , Marco Maggesi

27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.1-20, ⟨10.4230/LIPIcs.CSL.2018.4⟩

Communication dans un congrès hal-01930058v1