Zobrazeno 1 - 10
of 756
pro vyhledávání: '"ARIAS, JAIME"'
This paper presents a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs), a flexible model of timed systems where parameters are allowed in firing bounds. We prove that our semantics is bisim
Externí odkaz:
http://arxiv.org/abs/2401.01884
Autor:
Arias, Jaime, Olarte, Carlos, Petrucci, Laure, Maśko, Łukasz, Penczek, Wojciech, Sidoruk, Teofil
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing co
Externí odkaz:
http://arxiv.org/abs/2305.04616
Autor:
Arias, Jaime, Bae, Kyungmin, Olarte, Carlos, Ölveczky, Peter Csaba, Petrucci, Laure, Rømming, Fredrik
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a concrete and a symbolic rewriting logic semantics for PITPNs. We show
Externí odkaz:
http://arxiv.org/abs/2303.08929
We define extensions of CTL and TCTL with strategic operators, called Strategic CTL (SCTL) and Strategic TCTL (STCTL), respectively. For each of the above logics we give a synchronous and asynchronous semantics, i.e., STCTL is interpreted over networ
Externí odkaz:
http://arxiv.org/abs/2302.13405
Autor:
Macedo, Arthur C., Therriault, Joseph, Tissot, Cécile, Aumont, Étienne, Servaes, Stijn, Rahmouni, Nesrine, Fernandez-Arias, Jaime, Lussier, Firoza Z., Wang, Yi-Ting, Ng, Kok Pin, Vermeiren, Marie, Bezgin, Gleb, Socualaya, Kely Quispialaya, Stevenson, Jenna, Hosseini, Seyyed Ali, Chamoun, Mira, Ferrari-Souza, João Pedro, Ferreira, Pâmela C.L., Bellaver, Bruna, Leffa, Douglas Teixeira, Vitali, Paolo, Zimmer, Eduardo R., Ismail, Zahinoor, Pascoal, Tharick A., Gauthier, Serge, Rosa-Neto, Pedro
Publikováno v:
In Neurobiology of Aging December 2024 144:127-137
Autor:
Arias, Jaime, Bae, Kyungmin, Olarte, Carlos, Ölveczky, Peter Csaba, Petrucci, Laure, Rømming, Fredrik
Publikováno v:
In Science of Computer Programming March 2024 233
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing co
Externí odkaz:
http://arxiv.org/abs/2101.06838
Publikováno v:
In Heliyon October 2023 9(10)
Attack-Defence Trees (ADTs) are well-suited to assess possible attacks to systems and the efficiency of counter-measures. In this paper, we first enrich the available constructs with reactive patterns that cover further security scenarios, and equip
Externí odkaz:
http://arxiv.org/abs/1906.05283
Publikováno v:
In Applied Thermal Engineering 25 July 2023 230 Part B