Zobrazeno 1 - 10
of 108
pro vyhledávání: '"Trubiani, Catia"'
Microservice architectures and design patterns enhance the development of large-scale applications by promoting flexibility. Industrial practitioners perceive the importance of applying architectural patterns but they struggle to quantify their impac
Externí odkaz:
http://arxiv.org/abs/2409.03792
Autor:
Burlò, Christian Bartolo, Francalanza, Adrian, Scalas, Alceste, Trubiani, Catia, Tuosto, Emilio
We present PSTMonitor, a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of PSTMonitor is the detection of executions that deviate from expected
Externí odkaz:
http://arxiv.org/abs/2212.07329
Autor:
Mazuera-Rozo, Alejandro, Escobar-Velásquez, Camilo, Espitia-Acero, Juan, Vega-Guzmán, David, Trubiani, Catia, Linares-Vásquez, Mario, Bavota, Gabriele
Android is nowadays the most popular operating system in the world, not only in the realm of mobile devices, but also when considering desktop and laptop computers. Such a popularity makes it an attractive target for security attacks, also due to the
Externí odkaz:
http://arxiv.org/abs/2201.11807
Autor:
Burlò, Christian Bartolo, Francalanza, Adrian, Scalas, Alceste, Trubiani, Catia, Tuosto, Emilio
Publikováno v:
Proceedings 23rd IFIP WG 6.1 International Conference, COORDINATION 2021. Springer International Publishing
We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is decorated by a probability dis
Externí odkaz:
http://arxiv.org/abs/2107.08729
Thanks to platforms such as Twitter and Facebook, people can know facts and events that otherwise would have been silenced. However, social media significantly contribute also to fast spreading biased and false news while targeting specific segments
Externí odkaz:
http://arxiv.org/abs/2101.10782
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on the probability that a session terminates successfully, for some user-
Externí odkaz:
http://arxiv.org/abs/2007.11832
Autor:
Iosup, Alexandru, Trubiani, Catia, Koziolek, Anne, Amaral, José Nelson, Bondi, Andre B., Brunnert, Andreas
Organizing professional conferences online has never been more timely. Responding to the new challenges raised by COVID-19, the organizers of the ACM/SPEC International Conference on Performance Engineering 2020 had to address the question: How shoul
Externí odkaz:
http://arxiv.org/abs/2005.09085
Online Social Media represent a pervasive source of information able to reach a huge audience. Sadly, recent studies show how online social bots (automated, often malicious accounts, populating social networks and mimicking genuine users) are able to
Externí odkaz:
http://arxiv.org/abs/1909.03851
Software engineers often have to estimate the performance of a software system before having full knowledge of the system parameters, such as workload and operational profile. These uncertain parameters inevitably affect the accuracy of quality evalu
Externí odkaz:
http://arxiv.org/abs/1801.04644
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.