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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
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

2020
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

2019
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

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

2016
Towards A Practical Model of Reactive Communication-Centric Software.
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

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

2014
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


  Loading...