Jaime ARIAS

Ingénieur de Recherche CNRS
78%
Libre accès
37
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

14
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
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
23
20
11
10
4
3
2
1

Publications

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-05037338 v1

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-04610313 v1

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-04647282 v1

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-04610312 v1

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-04153471 v1
Image document

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-04168937 v1

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-04153494 v1
Image document

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-03811772 v1
Image document

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-03772716 v1
Image document

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-03615559 v1
Image document

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-04154095 v1
Image document

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-02902348 v1

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-03340887 v1
Image document

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-03544019 v1
Image document

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-03545340 v1
Image document

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-01566466 v1
Image document

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-01566457 v1
Image document

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-01326559 v1
Image document

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-01336825 v1
Image document

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-01129394 v1
Image document

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-01257078 v2
Image document

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-01129316 v1
Image document

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-01136252 v1
Image document

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-01095176 v1
Image document

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-01095159 v1
Image document

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-01980285 v1
Image document

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-01245350 v1
Image document

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-01441583 v1