Matteo Sammartino

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 32

Top Topics

Regular Languages

Top Venues

J. Log. Algebraic Methods Program.

Theor. Comput. Sci.

Publications

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Generators and Bases for Monadic Closures. CALCO (2023)
Thomas Neele, Matteo Sammartino
Compositional Automata Learning of Synchronous Systems. FASE (2023)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
Categorical specification and implementation of Replicated Data Types. Theor. Comput. Sci. 903 (2022)
Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
ALARM: Active LeArning of Rowhammer Mitigations. CoRR (2022)
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Guarded Kleene Algebra with Tests: Automata Learning. CoRR (2022)
Joshua Moerman, Matteo Sammartino
Residuality and Learning for Nondeterministic Nominal Automata. Log. Methods Comput. Sci. 18 (1) (2022)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata. CMCS (2022)
Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
ALARM: Active LeArning of Rowhammer Mitigations. HASP@MICRO (2022)
Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino
Canonical automata via distributive law homomorphisms. CoRR (2021)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program. 118 (2021)
Joshua Moerman, Matteo Sammartino
Residual Nominal Automata. CONCUR (2020)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Actor-Based Model Checking for SDN Networks. CoRR (2020)
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Learning Automata with Side-Effects. CMCS (2020)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
Implementation Correctness for Replicated Data Types, Categorically. ICTAC (2020)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Algebras for Tree Decomposable Graphs. ICGT (2020)
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Bases for algebras over a monad. CoRR (2020)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata. CoRR (2020)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Tree Automata as Algebras: Minimisation and Determinisation. CoRR (2019)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Tree Automata as Algebras: Minimisation and Determinisation. CALCO (2019)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
A Categorical Account of Replicated Data Types. FSTTCS (2019)
Joshua Moerman, Matteo Sammartino
Residual Nominal Automata. CoRR (2019)
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
A (co)algebraic theory of succinct automata. CoRR (2019)
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
A (co)algebraic theory of succinct automata. J. Log. Algebraic Methods Program. 105 (2019)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
Symbolic Register Automata. CAV (1) (2019)
Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe
Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach. Graph Transformation, Specifications, and Nets (2018)
Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva
SDN-Actors: Modeling and Verification of SDN Programs. FM (2018)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
Symbolic Register Automata. CoRR (2018)
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
CALF: Categorical Automata Learning Framework. CoRR (2017)
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
CALF: Categorical Automata Learning Framework. CSL (2017)
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Learning Automata with Side-Effects. CoRR (2017)
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
Learning nominal automata. POPL (2017)
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
Learning Nominal Automata. CoRR (2016)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Revisiting causality, coalgebraically. Acta Informatica 52 (1) (2015)
Nicklas Hoch, Ugo Montanari, Matteo Sammartino
Dynamic Programming on Nominal Graphs. GaM (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Causal Trees, Finally. Programming Languages with Applications to Biology and Security (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
A coalgebraic semantics for causality in Petri nets. CoRR (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
A coalgebraic semantics for causality in Petri nets. J. Log. Algebraic Methods Program. 84 (6) (2015)
Ugo Montanari, Matteo Sammartino
Network-Conscious π-calculus - A Model of Pastry. LSFA (2014)
Vincenzo Ciancia, Matteo Sammartino
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours. TGC (2014)
Ugo Montanari, Matteo Sammartino
A network-conscious π-calculus and its coalgebraic semantics. Theor. Comput. Sci. 546 (2014)
Vincenzo Ciancia, Matteo Sammartino
A decidable class of (nominal) omega-regular languages over an infinite alphabet. CoRR (2013)
Ugo Montanari, Matteo Sammartino
Network Conscious π-calculus: A Concurrent Semantics. MFPS (2012)