Jaime Arias
Orcid: 0000-0003-3019-4902Affiliations:
- CNRS, France
- LIPN, France
- Sorbonne Paris North University, France
According to our database1,
Jaime Arias
authored at least 28 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
3
1
1
1
2
3
3
3
2
2
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on gitlab.com
On csauthors.net:
Bibliography
2024
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models.
IEEE Trans. Reliab., June, 2024
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving.
Sci. Comput. Program., 2024
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets.
Fundam. Informaticae, 2024
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
2023
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models.
CoRR, 2023
Proceedings of the Tests and Proofs - 17th International Conference, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Proceedings of the Formal Methods and Software Engineering, 2022
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
2021
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
2019
Proceedings of the Encyclopedia of Computer Graphics and Games., 2019
CoRR, 2019
2017
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of the Hemodynamic Response Function.
Proceedings of the 16th Python in Science Conference 2017, 2017
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
2015
Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices. (Sémantique Formelle et Vérification Automatique de Scénarios Hiérarchiques Multimédia avec des Choix Interactifs).
PhD thesis, 2015
Proceedings of the Mathematics and Computation in Music - 5th International Conference, 2015
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios.
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015
2014
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014