Jesús Aranda

ORCID

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 3

Top Venues

University of Valle, Cali, Colombia (PHD)

Education History

University of Valle, Cali, Colombia

PHD

Publications

Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. ICSTW (2023)
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz
Formal Verification of a Mechanical Ventilator using UPPAAL. FTSCS (2023)
Joan S. Betancourt, Jesús Aranda, Juan Fco. Díaz, Frank Valencia
Fairness and Consensus in a Gossip Model of Social Networks. CoRR (2023)
Liliana Rosero, Michel Riguidel, Jesús Aranda
Granular: An access control model, and Confia: Its software tool. CLEI (2014)
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. DCM (2013)
Jesús Aranda, Frank D. Valencia, Cristian Versari
On the Expressive Power of Restriction and Priorities in CCS with Replication. FoSSaCS (2009)
Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP (2009)
Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. ICLP (2008)
Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. EXPRESS (2007)
Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. APLAS (2007)
Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO (2006)
Jesús Aranda, Juan Francisco Díaz, V. James Ortíz
The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics. MOZ (2004)

Jesús Aranda.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jesús Aranda