Follow
JESUS A. ARANDA B.
JESUS A. ARANDA B.
Verified email at correounivalle.edu.co
Title
Cited by
Cited by
Year
An overview of FORCES: an INRIA project on declarative formalisms for emergent systems
J Aranda, G Assayag, C Olarte, JA Pérez, C Rueda, M Toro, FD Valencia
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
262009
On the expressive power of restriction and priorities in ccs with replication
J Aranda, FD Valencia, C Versari
International Conference on Foundations of Software Science and …, 2009
232009
Linearity, persistence and testing semantics in the asynchronous pi-calculus
D Cacciagrano, F Corradini, J Aranda, FD Valencia
Electronic Notes in Theoretical Computer Science 194 (2), 59-84, 2008
212008
On recursion, replication and scope mechanisms in process calculi
J Aranda, C Di Giusto, C Palamidessi, FD Valencia
International Symposium on Formal Methods for Components and Objects, 185-206, 2006
162006
CCS with replication in the chomsky hierarchy: The expressive power of divergence
J Aranda, C Di Giusto, M Nielsen, FD Valencia
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007
152007
Stochastic behavior and explicit discrete time in concurrent constraint programming
J Aranda, JA Pérez, C Rueda, FD Valencia
International Conference on Logic Programming, 682-686, 2008
72008
The problem of assigning evaluators to the articles submitted in an academic event: A practical solution incorporating constraint programming and heuristics
BJ Aranda, FJF Díaz, VJ Ortíz
International Conference on Multiparadigm Programming in Mozart/OZ, 305-316, 2004
62004
On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus
J Aranda
Ecole Polytechnique X; Universidad del Valle, 2009
32009
CREAR: Consejero para la Repartición de Artículo y Evaluadores en Eventos Académicos
JA Aranda, JFD Frias, JJ Ortíz
Ingeniería y Competitividad 6 (1), 53-62, 2004
32004
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
J Cuartas, J Aranda, M Cordy, J Ortiz, G Perrouin, PY Schobbens
2023 IEEE International Conference on Software Testing, Verification and …, 2023
22023
Towards formal interaction-based models of grid computing infrastructures
CAR Restrepo, JA Pérez, J Aranda, JF Díaz-Frias
arXiv preprint arXiv:1404.0085, 2014
22014
Una guía general para la especificación y verificación formal de requerimientos usando Event-B™ y Rodin™
HGS Osorio, HJR Romero, LEM Villegas, JAA Bueno
Revista Educación en Ingenieria 7 (14), 82-91, 2012
22012
A fine-grained document-based access control model
L Rosero, J Aranda, M Riguidel, D Gidoin
International Journal of Machine Learning and Computing 1 (3), 317, 2011
22011
Formal Verification of a Mechanical Ventilator using UPPAAL
J Cuartas, D Cortés, JS Betancourt, J Aranda, JI García, AM Valencia, ...
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal …, 2023
12023
Modelando Sistemas de Membranas en ntcc
A Villota, J Aranda, DJ Francisco
XXXV Latin American Informatics Conference, 2009
12009
On the Expressiveness of CCS with Replication
J Aranda, C Di Giusto, M Nielsen, F Valencia
Technical Report, LIX Ecole Polytechnique, 2007
12007
Fairness and Consensus in a Gossip Model of Social Networks
JS Betancourt, J Aranda, JF Díaz, F Valencia
arXiv preprint arXiv:2312.12251, 2023
2023
Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems
J Betancourt, J Ortiz, J Aranda
Ingeniería y Competitividad 25 (Suplemento), 2023
2023
Making Decisions on the Student Quota Problem: A Case Study Using a MIP Model
JF Dıaz
Advances in Computing: 13th Colombian Conference, CCC 2018, Cartagena …, 2018
2018
Making Decisions on the Student Quota Problem: A Case Study Using a MIP Model
R Duque, V Bucheli, JA Aranda, JF Díaz
Colombian Conference on Computing, 355-370, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20