Zobrazeno 1 - 10
of 68
pro vyhledávání: '"Rodrigues, Genaina"'
Autor:
Araujo, Gabriel, Caldas, Ricardo, Formica, Federico, Rodrigues, Genaína, Pelliccione, Patrizio, Menghi, Claudio
Cyber-physical systems (CPS) development requires verifying whether system behaviors violate their requirements. This analysis often considers system behaviors expressed by execution traces and requirements expressed by signal-based temporal properti
Externí odkaz:
http://arxiv.org/abs/2406.17268
Autor:
Caldas, Ricardo, Garcia, Juan Antonio Pinera, Schiopu, Matei, Pelliccione, Patrizio, Rodrigues, Genaina, Berger, Thorsten
Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has emerged as a crucial discipline for building maintainable and reusable ro
Externí odkaz:
http://arxiv.org/abs/2404.11498
Autor:
Carwehl, Marc, Imrie, Calum, Vogel, Thomas, Rodrigues, Genaína, Calinescu, Radu, Grunske, Lars
In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behaviour in response to uncertainty. By comparison, solutions that reduce th
Externí odkaz:
http://arxiv.org/abs/2401.17187
Autor:
Feng, Nick, Marsso, Lina, Yaman, Sinem Getir, Baatartogtokh, Yesugen, Ayad, Reem, de Mello, Victória Oldemburgo, Townsend, Beverley, Standen, Isobel, Stefanakos, Ioannis, Imrie, Calum, Rodrigues, Genaína Nunes, Cavalcanti, Ana, Calinescu, Radu, Chechik, Marsha
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empathetic, and cultural (SLEEC) norms and values of their stakeholders. No
Externí odkaz:
http://arxiv.org/abs/2401.05673
To accurately make adaptation decisions, a self-adaptive system needs precise means to analyze itself at runtime. To this end, runtime verification can be used in the feedback loop to check that the managed system satisfies its requirements formalize
Externí odkaz:
http://arxiv.org/abs/2303.16530
Publikováno v:
Information and Software Technology, 2022
Context: The goal of specification pattern catalogs for real-time requirements is to mask the complexity of specifying such requirements in a timed temporal logic for verification. For this purpose, they provide frontends to express and translate pat
Externí odkaz:
http://arxiv.org/abs/2211.03817
Autor:
Weyns, Danny, Gerostathopoulos, Ilias, Buhnova, Barbora, Cardozo, Nicolas, Cioroaica, Emilia, Dusparic, Ivana, Grunske, Lars, Jamshidi, Pooyan, Julien, Christine, Michael, Judith, Moreno, Gabriel, Nejati, Shiva, Pelliccione, Patrizio, Quin, Federico, Rodrigues, Genaina, Schmerl, Bradley, Vieira, Marco, Vogel, Thomas, Wohlrab, Rebekka
Artifacts support evaluating new research results and help comparing them with the state of the art in a field of interest. Over the past years, several artifacts have been introduced to support research in the field of self-adaptive systems. While t
Externí odkaz:
http://arxiv.org/abs/2206.12492
Autor:
Calinescu, Radu, Imrie, Calum, Mangal, Ravi, Rodrigues, Genaína Nunes, Păsăreanu, Corina, Santana, Misael Alpizar, Vázquez, Gricel
We present DeepDECS, a new method for the synthesis of correct-by-construction discrete-event controllers for autonomous systems that use deep neural network (DNN) classifiers for the perception step of their decision-making processes. Despite major
Externí odkaz:
http://arxiv.org/abs/2202.03360
Autor:
Gil, Eric Bernd, Caldas, Ricardo, Rodrigues, Arthur, da Silva, Gabriel Levi Gomes, Rodrigues, Genaína Nunes, Pelliccione, Patrizio
Recent worldwide events shed light on the need of human-centered systems engineering in the healthcare domain. These systems must be prepared to evolve quickly but safely, according to unpredicted environments and ever-changing pathogens that spread
Externí odkaz:
http://arxiv.org/abs/2103.14948
Autor:
Caldas, Ricardo Diniz, Rodrigues, Arthur, Gil, Eric Bernd, Rodrigues, Genaína Nunes, Vogel, Thomas, Pelliccione, Patrizio
Publikováno v:
IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020)
Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of adaptation mechanisms. However, the computational effort to obtain guaran
Externí odkaz:
http://arxiv.org/abs/2004.11793