Jesús Aranda

According to our database, Jesús Aranda authored at least 16 papers between 2004 and 2024.

Collaborative distances:

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

2024

The Sound of Silence in Social Networks.

Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia

CoRR, 2024

Time for Networks: Mutation Testing for Timed Automata Networks.

David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

Fairness and Consensus in an Asynchronous Opinion Model for Social Networks.

Jesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Fairness and Consensus in a Gossip Model of Social Networks.

Joan S. Betancourt, Jesús Aranda, Juan Francisco Díaz, Frank Valencia

CoRR, 2023

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.

Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Formal Verification of a Mechanical Ventilator using UPPAAL.

Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

2014

Granular: An access control model, and Confia: Its software tool.

Liliana Rosero, Michel Riguidel, Jesús Aranda

Proceedings of the XL Latin American Computing Conference, 2014

2013

Towards Formal Interaction-Based Models of Grid Computing Infrastructures.

Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz

Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

2009

On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus.

Jesús Aranda

PhD thesis, 2009

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.

Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia

Proceedings of the Logic Programming, 25th International Conference, 2009

On the Expressive Power of Restriction and Priorities in CCS with Replication.

Jesús Aranda, Frank D. Valencia, Cristian Versari

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.

Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.

Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia

Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.

Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

On Recursion, Replication and Scope Mechanisms in Process Calculi.

Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2004

The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics.

Jesús Aranda, Juan Francisco Díaz, V. James Ortíz

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004