Takip et
Jesus Aranda-Bueno
Jesus Aranda-Bueno
Lecturer, Universidad del Valle
correounivalle.edu.co üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
282009
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
272009
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
82008
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
52023
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
42023
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
42004
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
Fairness and consensus in an asynchronous opinion model for social networks
J Aranda, S Betancourt, J Fco, F Valencia
CONCUR 2024-35th International Conference on Concurrency Theory, 2024
22024
Time for Networks: Mutation Testing for Timed Automata Networks
D Cortés, J Ortiz, D Basile, J Aranda, G Perrouin, PY Schobbens
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024
22024
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
Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems
J Betancourt, J Aranda, J Ortiz
Ingeniería y Competitividad 25 (Suplemento), 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
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems
J Cuartas, D Cortés, J Betancourt, J Aranda, M Cordy, J Ortiz, G Perrouin, ...
Software Testing, Verification and Reliability 35 (1), e1907, 2025
2025
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20