Learning nominal automata J Moerman, M Sammartino, A Silva, B Klin, M Szynwelski Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 87 | 2017 |
Symbolic register automata L D’Antoni, T Ferreira, M Sammartino, A Silva Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 27 | 2019 |
CALF: categorical automata learning framework G van Heerdt, M Sammartino, A Silva arXiv preprint arXiv:1704.05676, 2017 | 26 | 2017 |
Learning automata with side-effects G Van Heerdt, M Sammartino, A Silva International Workshop on Coalgebraic Methods in Computer Science, 68-89, 2020 | 21 | 2020 |
Alarm: Active learning of rowhammer mitigations A Naseredini, M Berger, M Sammartino, S Xiong Proceedings of the 11th International Workshop on Hardware and Architectural …, 2022 | 18 | 2022 |
SDN-Actors: modeling and verification of SDN programs E Albert, M Gómez-Zamalloa, A Rubio, M Sammartino, A Silva International Symposium on Formal Methods, 550-567, 2018 | 18 | 2018 |
Network conscious π-calculus: A concurrent semantics U Montanari, M Sammartino Electronic Notes in Theoretical Computer Science 286, 291-306, 2012 | 14 | 2012 |
A network-conscious π-calculus and its coalgebraic semantics U Montanari, M Sammartino Theoretical Computer Science 546, 188-224, 2014 | 11 | 2014 |
Compositional automata learning of synchronous systems T Neele, M Sammartino International Conference on Fundamental Approaches to Software Engineering …, 2023 | 10 | 2023 |
Canonical automata via distributive law homomorphisms S Zetzsche, G van Heerdt, M Sammartino, A Silva arXiv preprint arXiv:2104.13421, 2021 | 8 | 2021 |
Tree automata as algebras: Minimisation and determinisation G van Heerdt, T Kappé, J Rot, M Sammartino, A Silva arXiv preprint arXiv:1904.08802, 2019 | 8 | 2019 |
Dynamic Programming on Nominal Graphs N Hoch, U Montanari, M Sammartino EPTCS, Proceedings of Graphs as Models 181, 80-96, 2015 | 8 | 2015 |
Reconfigurable and software-defined networks of connectors and components R Bruni, U Montanari, M Sammartino Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015 | 8 | 2015 |
Revisiting causality, coalgebraically R Bruni, U Montanari, M Sammartino Acta Informatica 52, 5-33, 2015 | 8 | 2015 |
Residual nominal automata J Moerman, M Sammartino Leibniz International Proceedings in Informatics, LIPIcs 171, 441-4421, 2020 | 7 | 2020 |
Optimizing automata learning via monads G van Heerdt, M Sammartino, A Silva arXiv preprint arXiv:1704.08055, 2017 | 7 | 2017 |
From Local to Global Knowledge and Back N Hoch, GV Monreale, U Montanari, M Sammartino, AT Siwe Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015 | 6 | 2015 |
A Network-Aware Process Calculus for Global Computing and its Categorical Framework. M Sammartino University of Pisa, Italy, 2013 | 6 | 2013 |
Actor-based model checking for Software-Defined Networks E Albert, M Gómez-Zamalloa, M Isabel, A Rubio, M Sammartino, A Silva Journal of Logical and Algebraic Methods in Programming 118, 100617, 2021 | 5 | 2021 |
A coalgebraic semantics for causality in Petri nets R Bruni, U Montanari, M Sammartino Journal of Logical and Algebraic Methods in Programming 84 (6), 853-883, 2015 | 5 | 2015 |