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

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents

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

Publikováno v: CONCUR 2019-30th International Conference on Concurrency Theory
CONCUR 2019-30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-29, ⟨10.4230/LIPIcs.CONCUR.2019.29⟩

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___::c46bee04d38ca506ec3386ff88efd606
https://hal.archives-ouvertes.fr/hal-02172415

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