Jesús Aranda

18 papers B 5C 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems.
Softw. Test. Verification Reliab.
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
2025 C conf
The Spiral of Silence in Multi-agent Models for Opinion Formation.
ICTAC
Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia
2024 B conf
Fairness and Consensus in an Asynchronous Opinion Model for Social Networks.
CONCUR
Jesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia
2024 J jnl
The Sound of Silence in Social Networks.
CoRR
Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia
2024 — conf
Time for Networks: Mutation Testing for Timed Automata Networks.
FormaliSE@ICSE
David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens
2023 J jnl
Fairness and Consensus in a Gossip Model of Social Networks.
CoRR
Joan S. Betancourt, Jesús Aranda, Juan Francisco Díaz, Frank Valencia
2023 — conf
Formal Verification of a Mechanical Ventilator using UPPAAL.
FTSCS
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz
2023 — conf
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.
ICSTW
Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
2014 C conf
Granular: An access control model, and Confia: Its software tool.
CLEI
Liliana Rosero, Michel Riguidel, Jesús Aranda
2013 — conf
Towards Formal Interaction-Based Models of Grid Computing Infrastructures.
DCM
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz
2009 B conf
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.
ICLP
Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
2009 B conf
On the Expressive Power of Restriction and Priorities in CCS with Replication.
FoSSaCS
Jesús Aranda, Frank D. Valencia, Cristian Versari
2009 — —
On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus.
Jesús Aranda
2008 B conf
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.
ICLP
Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
2007 B conf
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.
APLAS
Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia
2007 — conf
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.
EXPRESS
Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia
2006 — conf
On Recursion, Replication and Scope Mechanisms in Process Calculi.
FMCO
Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
2004 — conf
The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics.
MOZ
Jesús Aranda, Juan Francisco Díaz, V. James Ortiz