Jaime ARIAS Ingénieur de Recherche CNRS

Identifiants chercheurs

IdHAL :

jaime-arias

IdRef :

191751669

arXiv :

arias_j_1

Publications

Communication dans un congrès (26)

Morfetik : Une ressource lexicale morphologique extensible et modulaire pour le français Jaime Arias,Othman Boudarga,Aude Grezka Extraction et Gestion des Connaissances, EGC 2026, Jan 2026, Anglet, France. pp.505-512 Communication dans un congrès hal-05481387v1
Optimizing Label Coverage Using Regular Expression-Based Linear Programming Kais Klai,Mohamed Taha Bennani,Jaime Arias,Hanen Ochi,Hadhami Elouni 17th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2024), Oct 2024, Djerba, Tunisia. pp.16-31, ⟨10.1007/978-3-031-85356-2_2⟩ Communication dans un congrès hal-05037338v1
Towards a Rewriting Logic Semantics for Interactive Multimedia Scores Jaime Arias,Jean-Michaël Celerier,Myriam Desainte-Catherine,Carlos Olarte,Bernard P. Serpette Journées d'Informatique Musicale, JIM 2024, May 2024, Marseille, France Communication dans un congrès hal-04610313v1
CosyVerif: The Path to Formalisms Cohabitation Étienne André,Jaime Arias,Benoît Barbot,Francis Hulin-Hubard,Fabrice Kordonet al. 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩ Communication dans un congrès hal-04610312v1
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic Jaime Arias,Carlos Olarte,Wojciech Penczek,Laure Petrucci,Teofil Sidoruk 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024), Sep 2024, Milan, Italy Communication dans un congrès hal-04647282v1
Symbolic Observation Graph-Based Generation of Test Paths Kais Klai,Mohamed Taha Bennani,Jaime Arias,Jörg Desel,Hanen Ochi 7th International Conference on Tests and Proofs (TAP 2023) Held as Part of STAF 2023, Jul 2023, Leicester, United Kingdom. pp.127-146, ⟨10.1007/978-3-031-38828-6_8⟩ Communication dans un congrès hal-04168937v1
Strategic (Timed) Computation Tree Logic Jaime Arias,Wojciech Jamroga,Wojciech Penczek,Laure Petrucci,Teofil Sidoruk 22nd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, May 2023, London, United Kingdom. pp.382-390 Communication dans un congrès hal-04153471v1
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving Jaime Arias,Kyungmin Bae,Carlos Olarte,Peter Csaba Ölveczky,Laure Petrucciet al. 44th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2023, Caparica (Lisbonne), Portugal. pp.369-392, ⟨10.1007/978-3-031-33620-1_20⟩ Communication dans un congrès hal-04153494v1
Modular Analysis of Tree-Topology Models Jaime Arias,Michał Knapik,Wojciech Penczek,Laure Petrucci Formal Methods and Software Engineering, ICFEM, Oct 2022, Madrid, Spain. pp.36-53, ⟨10.1007/978-3-031-17244-1_3⟩ Communication dans un congrès hal-03811772v1
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees Jaime Arias,Laure Petrucci,Lukasz Masko,Wojciech Penczek,Teofil Sidoruk 26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. pp.1-10, ⟨10.1109/ICECCS54210.2022.00009⟩ Communication dans un congrès hal-03772716v1
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation Kais Klai,Chiheb Ameur Abid,Jaime Arias,Sami Evangelista Verification and Evaluation of Computer and Communication Systems, VECoS 2021, Nov 2021, Beijing, China. pp.27-42, ⟨10.1007/978-3-030-98850-0_3⟩ Communication dans un congrès hal-03615559v1
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata Jaime Arias,Kyungmin Bae,Carlos Olarte,Peter Csaba Ölveczky,Laure Petrucciet al. 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS '22), Dec 2022, Auckland, New Zealand. pp.3-15, ⟨10.1145/3563822.3569923⟩ Communication dans un congrès hal-04154095v1
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems Jaime Arias,Carlos E. Budde,Wojciech Penczek,Laure Petrucci,Teofil Sidoruket al. 22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapore, Singapore. pp.3-19, ⟨10.1007/978-3-030-63406-3_1⟩ Communication dans un congrès hal-02902348v1
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata Étienne André,Jaime Arias,Laure Petrucci,Jaco van De Pol TACAS 2021 - 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Jan Friso Groote; Kim G. Larsen, Mar 2021, virtual, Luxembourg. pp.311-329, ⟨10.1007/978-3-030-72016-2_17⟩ Communication dans un congrès hal-03340887v1
ADT2AMAS: Managing Agents in Attack-Defence Scenarios Jaime Arias,Wojciech Penczek,Laure Petrucci,Teofil Sidoruk AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, May 2021, London, United Kingdom Communication dans un congrès hal-03544019v1
SOG-Based Multi-Core LTL Model Checking Chiheb Ameur Abid,Kais Klai,Jaime Arias,Hiba Ouni 2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), Dec 2020, Exeter, United Kingdom. pp.9-17, ⟨10.1109/ISPA-BDCloud-SocialCom-SustainCom51426.2020.00028⟩ Communication dans un congrès hal-03545340v1
Session-Based Concurrency, Reactively Mauricio Cano,Jaime Arias,Jorge A. Pérez 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.74-91, ⟨10.1007/978-3-319-60225-7_6⟩ Communication dans un congrès hal-01566466v1
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of the Hemodynamic Response Function Jaime Arias,Philippe Ciuciu,Michel Dojat,Florence Forbes,Aina Frau-Pascualet al. 16th Python in Science Conference (SciPy 2017), Jul 2017, Austin, TX, United States. pp.34-40, ⟨10.25080/shinma-7f4c6e7-006⟩ Communication dans un congrès hal-01566457v1
Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo) Simon Archipoff,Jaime Arias,Edwin Buger,David Janin Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France Communication dans un congrès hal-01326559v1
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings Jaime Arias,Myriam Desainte-Catherine,Shlomo Dubnov MUME 2016 - 4th International Workshop on Musical Metacreation, Jun 2016, Paris, France. pp.1-7 Communication dans un congrès hal-01336825v1
A symbolic model for timed concurrent constraint programming Jaime Arias,Michell Guzmán,Carlos Olarte Ninth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014), Sep 2014, Brasilia, Brazil. pp.161-177, ⟨10.1016/j.entcs.2015.04.010⟩ Communication dans un congrès hal-01257078v2
Foundations for Reliable and Flexible Interactive Multimedia Scores Jaime Arias,Myriam Desainte-Catherine,Carlos Olarte,Camilo Rueda Fifth Biennial International Conference on Mathematics and Computation in Music, Jun 2015, London, United Kingdom. pp.29-41, ⟨10.1007/978-3-319-20603-5_3⟩ Communication dans un congrès hal-01129394v1
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia Scores Jaime Arias,Myriam Desainte-Catherine,Camilo Rueda Journées d'Informatique Musicale 2015, May 2015, Montréal, Canada Communication dans un congrès hal-01129316v1
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios Jaime Arias,Myriam Desainte-Catherine,Camilo Rueda 15th International Conference on Application of Concurrency to System Design, Jun 2015, Brussels, Belgium. ⟨10.1109/ACSD.2015.8⟩ Communication dans un congrès hal-01136252v1
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets Jaime Arias,Myriam Desainte-Catherine,Camilo Rueda 14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis, Tunisia. ⟨10.1109/ACSD.2014.23⟩ Communication dans un congrès hal-01095176v1
Executing Hierarchical Interactive Scores in ReactiveML Jaime Arias,Myriam Desainte-Catherine,Sylvain Salvati,Camilo Rueda Journées d'Informatique Musicale 2014, May 2014, Bourges, France Communication dans un congrès hal-01095159v1

Article dans une revue (6)

Strategic (timed) computation tree logic Jaime Arias,Wojciech Jamroga,Wojciech Penczek,Laure Petrucci,Teofil Sidoruk Autonomous Agents and Multi-Agent Systems, 2026, 40 (1), pp.7. ⟨10.1007/s10458-025-09726-4⟩ Article dans une revue hal-05578455v1
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models Jaime Arias,Carlos Olarte,Laure Petrucci,Łukasz Maśko,Wojciech Penczeket al. IEEE Transactions on Reliability, 2024, pp.1-15. ⟨10.1109/TR.2024.3354459⟩ Article dans une revue hal-04436730v1
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets Jaime Arias,Kyungmin Bae,Carlos Olarte,Peter Csaba Ölveczky,Laure Petrucci Fundamenta Informaticae, 2024, 192 (3-4), pp.261-312. ⟨10.3233/FI-242195⟩ Article dans une revue hal-04732529v1
Symbolic Analysis and Parameter Synthesis for Networks of Parametric Timed Automata with Global Variables using Maude and SMT Solving Jaime Arias,Kyungmin Bae,Carlos Olarte,Peter Csaba Ölveczky,Laure Petrucciet al. Science of Computer Programming, 2023, ⟨10.1016/j.scico.2023.103074⟩ Article dans une revue hal-04361212v1
CosyVerif: an Online Verification Platform Jaime Arias,Benoît Barbot,Francis Hulin-Hubard,Fabrice Kordon,Laure Petrucci Petri Net Newsletter, 2021, 87, pp.5--7 Article dans une revue hal-03777111v1
Authoring and automatic verification of interactive multimedia scores Jaime Arias,Jean-Michaël Celerier,Myriam Desainte-Catherine Journal of New Music Research, 2016, pp.1 - 19. ⟨10.1080/09298215.2016.1248444⟩ Article dans une revue hal-01399925v1

Logiciel (1)

ADT2AMAS: Managing agents in attack-defence scenarios Jaime Arias,Wojciech Penczek,Laure Petrucci,Teofil Sidoruk,Giann Karlo Aguirre-Samboní 2023, ⟨swh:1:dir:ba0a2ee40ad674351487e97be7df0dafa50ea4ee;origin=https://depot.lipn.univ-paris13.fr/parties/tools/adt2amas;visit=swh:1:snp:42758cf72686155bf68d952d688a44f5db647a65;anchor=swh:1:rev:43ecd177974254552b72f1f8a160cab2062aada6⟩ Logiciel hal-04152510v1

Rapport (2)

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata Jaime Arias,Kyungmin Bae,Carlos Olarte,Laure Petrucci,Peter Csaba Ölveczkyet al. [Research Report] LIPN. 2022 Rapport hal-03814256v1
Model checking for TCC calculus Jaime Arias Universidad Javeriana. 2012 Rapport hal-04257266v1

Chapitre d'ouvrage (1)

Timed Automata for Video Games and Interaction Jaime Arias,Raphael Marczak,Myriam Desainte-Catherine Encyclopedia of Computer Graphics and Games, Springer International Publishing, 2019, 978-3-319-08234-9. ⟨10.1007/978-3-319-08234-9_298-1⟩ Chapitre d'ouvrage hal-01980285v1

Thèse (1)

Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices Jaime E. Arias Almeida Multimedia [cs.MM]. Université de Bordeaux, 2015. English. ⟨NNT : 2015BORD0283⟩ Thèse tel-01245370v2

Poster de conférence (2)

Le séquenceur interactif multimédia i-score Jaime Arias,Jean-Michaël Celerier Journées Développement Logiciel de l’Enseignement Supérieur et de la Recherche, Jun 2015, Bordeaux, France. , 2015 Poster de conférence hal-01245350v1
Formal Models to Compose and Execute Interactive Multimedia Scores in Real-Time Jaime Arias,Myriam Desainte-Catherine,Camilo Rueda Journée de l'École doctorale de mathématiques et informatique, Oct 2014, Bordeaux, France Poster de conférence hal-01441583v1