Jaime Arias

Jaime Arias

Université Sorbonne Paris Nord - Villetaneuse / France
Others
AD Scientific Index ID: 5392173
Sorbonne Paris North University, University of Paris North, Paris 13 University
person_outline Jaime Arias's MOST POPULAR ARTICLES
1-) Hackers vs. security: attack-defence trees as asynchronous multi-agent systemsJ Arias, CE Budde, W Penczek, L Petrucci, T Sidoruk, M StoelingaInternational conference on formal engineering methods, 3-19, 2020202020
2-) Iterative bounded synthesis for efficient cycle detection in parametric timed automataÉ André, J Arias, L Petrucci, J PolInternational Conference on Tools and Algorithms for the Construction and …, 2021192021
3-) Modelling data processing for interactive scores using coloured petri netsJ Arias, M Desainte-Catherine, C Rueda2014 14th International Conference on Application of Concurrency to System …, 2014132014
4-) Rewriting logic semantics and symbolic analysis for parametric timed automataJ Arias, K Bae, C Olarte, PC Ölveczky, L Petrucci, F RømmingProceedings of the 8th ACM SIGPLAN International Workshop on Formal …, 2022112022
5-) Executing hierarchical interactive scores in ReactiveMLJ Arias, M Desainte-Catherine, S Salvati, C RuedaJournées d\'Informatique Musicale 2014, 2014102014