Michell Guzmán

15 papers B 2C 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
TkT: Automatic Inference of Timed and Extended Pushdown Automata.
IEEE Trans. Software Eng.
Fabrizio Pastore, Daniela Micucci, Michell Guzmán, Leonardo Mariani
2021 J jnl
Reasoning about distributed information with infinitely many agents.
J. Log. Algebraic Methods Program.
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2020 J jnl
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems.
CoRR
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2020 B conf
Test4Enforcers: Test Case Generation for Software Enforcers.
RV
Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2020 J jnl
Test4Enforcers: Test Case Generation for Software Enforcers.
CoRR
Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019 — conf
NGPaaS Framework for Enriched and Customized Virtual Network Functions-as-a-Service.
EuCNC
Paul Veitch, Adam Broadbent, Angelos Mimidis, José Soler, Marco Mobilio, Alessandro Tundo, Michell Guzmán, Steven van Rossem
2019 B conf
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents.
CONCUR
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2019 — conf
VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud.
ESEC/SIGSOFT FSE
Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmán, Leonardo Mariani
2018 J jnl
Characterizing right inverses for spatial constraint systems with applications to modal logic.
Theor. Comput. Sci.
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
2017 J jnl
Belief, knowledge, lies and other utterances in an algebra for space and extrusion.
J. Log. Algebraic Methods Program.
Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
2017 — —
On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales).
Michell Guzmán
2016 C conf
Deriving Inverse Operators for Modal Logic.
ICTAC
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
2016 — conf
On the Expressiveness of Spatial Constraint Systems.
ICLP (Technical Communications)
Michell Guzmán, Frank D. Valencia
2014 — conf
A Symbolic Model for Timed Concurrent Constraint Programming.
LSFA
Jaime Arias, Michell Guzmán, Carlos Olarte
2012 — conf
Simulating Signalling Pathways With BioWayS.
CS2Bio
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte