Jaime ARIAS
- Centre National de la Recherche Scientifique (CNRS)
- Laboratoire d'Informatique de Paris-Nord (LIPN)
Domaines de recherche
Publications
Publications
|
|
Morfetik : Une ressource lexicale morphologique extensible et modulaire pour le françaisExtraction et Gestion des Connaissances, EGC 2026, Jan 2026, Anglet, France. pp.505-512 |
Optimizing Label Coverage Using Regular Expression-Based Linear Programming17th 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⟩ |
|
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic26th International Symposium on Principles and Practice of Declarative Programming, Sep 2024, Milan, Italy |
|
CosyVerif: The Path to Formalisms Cohabitation45th 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⟩ |
|
Towards a Rewriting Logic Semantics for Interactive Multimedia ScoresJournées d'Informatique Musicale, JIM 2024, May 2024, Marseille, France |
|
Strategic (Timed) Computation Tree Logic22nd International Conference on Autonomous Agents and Multiagent Systems, May 2023, London, United Kingdom. pp.382-390 |
|
|
|
Symbolic Observation Graph-Based Generation of Test Paths7th 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⟩ |
|
|
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving44th 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⟩ |
|
|
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space RepresentationVerification and Evaluation of Computer and Communication Systems, VECoS 2021, Nov 2021, Beijing, China. pp.27-42, ⟨10.1007/978-3-030-98850-0_3⟩ |
|
|
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata8th 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⟩ |
|
|
Modular Analysis of Tree-Topology ModelsFormal Methods and Software Engineering, ICFEM, Oct 2022, Madrid, Spain. pp.36-53, ⟨10.1007/978-3-031-17244-1_3⟩ |
|
|
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. pp.1-10, ⟨10.1109/ICECCS54210.2022.00009⟩ |
|
|
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapore, Singapore. pp.3-19, ⟨10.1007/978-3-030-63406-3_1⟩ |
|
|
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed AutomataTACAS 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⟩ |
|
|
ADT2AMAS: Managing Agents in Attack-Defence ScenariosAAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, May 2021, London, United Kingdom |
|
|
SOG-Based Multi-Core LTL Model Checking2020 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⟩ |
|
|
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of the Hemodynamic Response Function16th Python in Science Conference (SciPy 2017), Jul 2017, Austin, TX, United States. pp.34-40, ⟨10.25080/shinma-7f4c6e7-006⟩ |
|
|
Session-Based Concurrency, Reactively37th 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⟩ |
|
|
Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo)Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France |
|
|
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio RecordingsMUME 2016 - 4th International Workshop on Musical Metacreation, Jun 2016, Paris, France. pp.1-7 |
|
|
A symbolic model for timed concurrent constraint programmingNinth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014), Sep 2014, Brasilia, Brazil. pp.161-177, ⟨10.1016/j.entcs.2015.04.010⟩ |
|
|
Foundations for Reliable and Flexible Interactive Multimedia ScoresFifth 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⟩ |
|
|
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia ScoresJournées d'Informatique Musicale 2015, May 2015, Montréal, Canada |
|
|
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios15th International Conference on Application of Concurrency to System Design, Jun 2015, Brussels, Belgium. ⟨10.1109/ACSD.2015.8⟩ |
|
|
Executing Hierarchical Interactive Scores in ReactiveMLJournées d'Informatique Musicale 2014, May 2014, Bourges, France |
|
|
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis, Tunisia. ⟨10.1109/ACSD.2014.23⟩ |
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative ModelsIEEE Transactions on Reliability, 2024, pp.1-15. ⟨10.1109/TR.2024.3354459⟩ |
|
|
|
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri NetsFundamenta Informaticae, 2024, 192 (3-4), pp.261-312. ⟨10.3233/FI-242195⟩ |
Symbolic Analysis and Parameter Synthesis for Networks of Parametric Timed Automata with Global Variables using Maude and SMT SolvingScience of Computer Programming, 2023, ⟨10.1016/j.scico.2023.103074⟩ |
|
CosyVerif: an Online Verification PlatformPetri Net Newsletter, 2021, 87, pp.5--7 |
|
|
|
Authoring and automatic verification of interactive multimedia scoresJournal of New Music Research, 2016, pp.1 - 19. ⟨10.1080/09298215.2016.1248444⟩ |
|
|
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata[Research Report] LIPN. 2022 |
|
|
Model checking for TCC calculusUniversidad Javeriana. 2012 |
|
|
Timed Automata for Video Games and InteractionEncyclopedia of Computer Graphics and Games, Springer International Publishing, 2019, 978-3-319-08234-9. ⟨10.1007/978-3-319-08234-9_298-1⟩ |
|
|
Le séquenceur interactif multimédia i-scoreJournées Développement Logiciel de l’Enseignement Supérieur et de la Recherche, Jun 2015, Bordeaux, France. , 2015 |
|
|
Formal Models to Compose and Execute Interactive Multimedia Scores in Real-TimeJournée de l'École doctorale de mathématiques et informatique, Oct 2014, Bordeaux, France |
|
|
Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choicesMultimedia [cs.MM]. Université de Bordeaux, 2015. English. ⟨NNT : 2015BORD0283⟩ |