Jaime ARIAS

Ingénieur de Recherche CNRS
79 %
Libre accès
38
Documents
Affiliations actuelles
  • Centre National de la Recherche Scientifique (CNRS)
  • Laboratoire d'Informatique de Paris-Nord (LIPN)
Identifiants chercheurs
Contact

Domaines de recherche

Informatique [cs]

Publications

15
4
3
3
2
2
2
1
1
1
1
1
1
1
5
4
4
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
16
7
6
6
4
4
3
3
3
3
3
3
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
24
21
11
10
4
3
2
1

Publications

Deposit thumbnail

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

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, Sep 2024, Milan, Italy

Communication dans un congrès hal-04647282v1

CosyVerif: The Path to Formalisms Cohabitation

Étienne André , Jaime Arias , Benoît Barbot , Francis Hulin-Hubard , Fabrice Kordon et al.

45th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩

Communication dans un congrès hal-04610312v1

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

Strategic (Timed) Computation Tree Logic

Jaime Arias , Wojciech Jamroga , Wojciech Penczek , Laure Petrucci , Teofil Sidoruk

22nd International Conference on Autonomous Agents and Multiagent Systems, May 2023, London, United Kingdom. pp.382-390

Communication dans un congrès hal-04153471v1
Deposit thumbnail

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

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving

Jaime Arias , Kyungmin Bae , Carlos Olarte , Peter Csaba Ölveczky , Laure Petrucci et 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
Deposit thumbnail

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
Deposit thumbnail

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata

Jaime Arias , Kyungmin Bae , Carlos Olarte , Peter Csaba Ölveczky , Laure Petrucci et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Jaime Arias , Carlos E. Budde , Wojciech Penczek , Laure Petrucci , Teofil Sidoruk et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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-Pascual et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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