Matteo Sammartino

47 papers A* 1B 11C 1Journal 21Unranked 10

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