|
|
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
|
|
|
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
|
|
|
Modular Analysis of Tree-Topology Models
Jaime Arias
,
Michał Knapik
,
Wojciech Penczek
,
Laure Petrucci
Communication dans un congrès
hal-03811772
v1
|
|
|
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
Jaime Arias
,
Laure Petrucci
,
Lukasz Masko
,
Wojciech Penczek
,
Teofil Sidoruk
Communication dans un congrès
hal-03772716
v1
|
|
|
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
Kais Klai
,
Chiheb Ameur Abid
,
Jaime Arias
,
Sami Evangelista
Communication dans un congrès
hal-03615559
v1
|
|
|
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
|
|
|
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
Jaime Arias
,
Carlos E. Budde
,
Wojciech Penczek
,
Laure Petrucci
,
Teofil Sidoruk
et al.
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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.
Communication dans un congrès
hal-01566457
v1
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|