Matteo Sammartino
Matteo Sammartino
Royal Holloway University of London, University College London
Verifierad e-postadress på rhul.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
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
402017
Network conscious π-calculus: A concurrent semantics
U Montanari, M Sammartino
Electronic Notes in Theoretical Computer Science 286, 291-306, 2012
142012
A network-conscious π-calculus and its coalgebraic semantics
U Montanari, M Sammartino
Theoretical Computer Science 546, 188-224, 2014
112014
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
82018
CALF: categorical automata learning framework
G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:1704.05676, 2017
82017
Revisiting causality, coalgebraically
R Bruni, U Montanari, M Sammartino
Acta Informatica 52 (1), 5-33, 2015
82015
Reconfigurable and software-defined networks of connectors and components
R Bruni, U Montanari, M Sammartino
Software Engineering for Collective Autonomic Systems, 73-106, 2015
82015
From Local to Global Knowledge and Back
N Hoch, GV Monreale, U Montanari, M Sammartino, AT Siwe
Software Engineering for Collective Autonomic Systems, 185-220, 2015
62015
A network-aware process calculus for global computing and its categorical framework
M Sammartino
PhD thesis, University of Pisa, 2013
62013
Software engineering for self-aware sces
J Combaz, A Lluch Lafuente, U Montanari, R Pugliese, M Sammartino, ...
Technical report, ASCENS Project, 2013. Deliverable JD3. 1, 2013
52013
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
42015
Network-Conscious π-calculus-A Model of Pastry
U Montanari, M Sammartino
Electronic Notes in Theoretical Computer Science 312, 3-17, 2015
42015
Dynamic Programming on Nominal Graphs
N Hoch, U Montanari, M Sammartino
EPTCS, Proceedings of Graphs as Models 181, 80-96, 2015
42015
Network conscious pi-calculus
U Montanari, M Sammartino
Universitā di Pisa, 2012
42012
Learning automata with side-effects
G van Heerdt, M Sammartino, A Silva
CoRR, abs/1704.08055, 2017
32017
A class of automata for the verification of infinite, resource-allocating behaviours
V Ciancia, M Sammartino
International Symposium on Trustworthy Global Computing, 97-111, 2014
32014
Network conscious pi-calculus
M Sammartino, U Montanari
Pisa: Universita di Pisa, 2012
32012
Decomposition structures for soft constraint evaluation problems: an algebraic approach
U Montanari, M Sammartino, A Tcheukam
Graph Transformation, Specifications, and Nets, 179-200, 2018
22018
Optimizing automata learning via monads
G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:1704.08055, 2017
22017
Symbolic register automata
L D’Antoni, T Ferreira, M Sammartino, A Silva
International Conference on Computer Aided Verification, 3-21, 2019
12019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20