Test4Enforcers: Test Case Generation for Software Enforcers

Autor: Guzman, Michell, Riganelli, Oliviero, Micucci, Daniela, Mariani, Leonardo

Publikováno v: In: Runtime Verification. RV 2020. Lecture Notes in Computer Science, vol 12399. Springer, Cham

Software enforcers can be used to modify the runtime behavior of software applications to guarantee that relevant correctness policies are satisfied. Indeed, the implementation of software enforcers can be tricky, due to the heterogeneity of the situ

Externí odkaz: http://arxiv.org/abs/2010.04258

Reasoning about distributed information with infinitely many agents

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

Publikováno v: In Journal of Logical and Algebraic Methods in Programming June 2021 121

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

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

Publikováno v: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, Elsevier, In press
Journal of Logical and Algebraic Methods in Programming, inPress

International audience; Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::031f57b2a50322f9a7d20e6c98b057a4
https://hal.archives-ouvertes.fr/hal-03098441/document

Sur l'expressivité des systèmes de contraintes spatiales

Autor: Guzmán, Michell

Publikováno v: Logic in Computer Science [cs.LO]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX064⟩

Epistemic, mobile and spatial behaviour are common place in today’s distributed systems. The intrinsic epistemic nature of these systems arises from the interactions of the elements taking part of them. Most people are familiar with digital systems

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dde4fc4bf2c77fa54c8c3fee03b71681
https://pastel.archives-ouvertes.fr/tel-01674956

On the Expressiveness of Spatial Constraint Systems

Autor: Guzmán, Michell, Valencia, Frank D.

Publikováno v: ICLP 2016-Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming
ICLP 2016-Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, John Gallagher; Germán Vidal, Oct 2016, New York, United States. pp.16:1-16:12, ⟨10.4230/OASIcs.ICLP.2016.16⟩

Appears as a Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016); International audience; In this paper we shall report on our progress using spatial constraint system as an abstract representation of modal

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12d2da51c07a4040bdbf3f6e80e0d9ee
https://inria.hal.science/hal-01418166