Jaime Arias

According to our database1, Jaime Arias authored at least 14 papers between 2014 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.



In proceedings 
PhD thesis 


On csauthors.net:


Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.
CoRR, 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

ADT2AMAS: Managing Agents in Attack-Defence Scenarios.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

SOG-Based Multi-Core LTL Model Checking.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.
Proceedings of the Formal Methods and Software Engineering, 2020

Timed Automata for Video Games and Interaction.
Proceedings of the Encyclopedia of Computer Graphics and Games., 2019

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

Session-Based Concurrency, Reactively.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Towards A Practical Model of Reactive Communication-Centric Software.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

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

Foundations for Reliable and Flexible Interactive Multimedia Scores.
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

A Symbolic Model for Timed Concurrent Constraint Programming.
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Modelling Data Processing for Interactive Scores Using Coloured Petri Nets.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014