Michell Guzmán

According to our database, Michell Guzmán authored at least 15 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

TkT: Automatic Inference of Timed and Extended Pushdown Automata.

Fabrizio Pastore, Daniela Micucci, Michell Guzmán, Leonardo Mariani

IEEE Trans. Software Eng., 2022

Risk-Based Safety Envelopes for Autonomous Vehicles Under Perception Uncertainty.

Julian Bernhard, Patrick Hart, Amit Sahu, Christoph Schöller, Michell Guzman Cancimance

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

2021

Reasoning about distributed information with infinitely many agents.

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia

J. Log. Algebraic Methods Program., 2021

2020

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems.

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia

CoRR, 2020

Test4Enforcers: Test Case Generation for Software Enforcers.

Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud.

Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmán, Leonardo Mariani

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

NGPaaS Framework for Enriched and Customized Virtual Network Functions-as-a-Service.

Paul Veitch, Adam Broadbent, Angelos Mimidis, José Soler, Marco Mobilio, Alessandro Tundo, Michell Guzmán, Steven van Rossem

Proceedings of the European Conference on Networks and Communications, 2019

Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents.

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Characterizing right inverses for spatial constraint systems with applications to modal logic.

Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia

Theor. Comput. Sci., 2018

2017

On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales).

Michell Guzmán

PhD thesis, 2017

Belief, knowledge, lies and other utterances in an algebra for space and extrusion.

Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia

J. Log. Algebraic Methods Program., 2017

2016

Deriving Inverse Operators for Modal Logic.

Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

On the Expressiveness of Spatial Constraint Systems.

Michell Guzmán, Frank D. Valencia

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2014

A Symbolic Model for Timed Concurrent Constraint Programming.

Jaime Arias, Michell Guzmán, Carlos Olarte

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2012

Simulating Signalling Pathways With BioWayS.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012