Zobrazeno 1 - 10
of 271
pro vyhledávání: '"Mateescu, Radu"'
Publikováno v:
EPTCS 399, 2024, pp. 129-168
Ensuring resource isolation at the hardware level is a crucial step towards more security inside the Internet of Things. Even though there is still no generally accepted technique to generate appropriate tests, it became clear that tests should be ge
Externí odkaz:
http://arxiv.org/abs/2403.18720
Autor:
Voiosu, Theodor, Voiosu, Andrei, Boškoski, Ivo, Arvanitakis, Marianna, Bronswijk, Michiel, Hollenbach, Marcus, Bengus, Andreea, Bălănescu, Paul, Orlandini, Beatrice, Blero, Daniel, Van der Merwe, Schalk, Mateescu, Radu Bogdan, Devière, Jacques, Costamagna, Guido
Background: The unprecedented situation caused by the coronavirus disease 2019 (COVID-19) pandemic has profoundly affected endoscopic practice in regard to access, volume, and workflow. We aimed to assess the potential changes in the technical outcom
Externí odkaz:
https://ul.qucosa.de/id/qucosa%3A83789
https://ul.qucosa.de/api/qucosa%3A83789/attachment/ATT-0/
https://ul.qucosa.de/api/qucosa%3A83789/attachment/ATT-0/
Publikováno v:
EPTCS 355, 2022, pp. 60-117
We present two behavioral models of an autonomous vehicle and its interaction with the environment. Both models use the formal modeling language LNT provided by the CADP toolbox. This paper discusses the modeling choices and the challenges of our aut
Externí odkaz:
http://arxiv.org/abs/2203.09885
Publikováno v:
EPTCS 349, 2021, pp. 1-11
CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the experience of the authors and feedback reported by users.
Comment:
Comment:
Externí odkaz:
http://arxiv.org/abs/2111.08203
Autor:
Mateescu, Radu1,2, Marina, Gabriel1,2 gabriela.ionescu@drd.umfcd.ro, Edu, Antoine1,2, Obilișteanu, Gabriela3, Bujor, Mihaela1,2, Conci, Stelian1,2, Ionescu, Gabriela4, Antonovici, Marina1,2, Isopescu, Florin1,2, Plotogea, Mihaela1,2, Ispas, Alexandru1,2, Edu, Mihnea1,2
Publikováno v:
Ginecologia.ro. May2024, Vol. 2 Issue 44, p6-10. 5p.
Autor:
Pop Ruxandra Mihaela, Diaconu Claudia Irina, Rimbaş Mihai, Mateescu Radu Bogdan, Rouhani Farid, Popp Cristiana, Manfrin Erminia, Crinò Stefano Francesco, Cauni Victor
Publikováno v:
Romanian Journal of Internal Medicine, Vol 61, Iss 2, Pp 116-124 (2023)
Undifferentiated carcinoma of the pancreas with osteoclast-like giant cells (UC-OGC) is a rare subtype of pancreatic cancer, accounting for less than 1% of all pancreatic tumors. Preoperative diagnosis is cumbersome as cross-sectional imaging is ofte
Externí odkaz:
https://doaj.org/article/e5c7f00d1f704b23a1107d5fa011205e
Publikováno v:
EPTCS 316, 2020, pp. 200-239
Asynchronous circuits have several advantages for security applications, in particular their good resistance to attacks. In this paper, we report on experiments with modeling, at various abstraction levels, a patented asynchronous circuit for detecti
Externí odkaz:
http://arxiv.org/abs/2004.13289
Autor:
Mateescu, Radu Bogdan1, Gheorghe, Cristian2, Trifan, Anca Victorita3, Saftoiu, Adrian4, Seicean, Andrada5, Diculescu, Mihai Mircea2, Banciu, Christian6, Gheorghe, Liliana Simona2, Busuioc, Bogdan7, Goldis, Adrian6, Dobru, Daniela8, Fratila, Ovidiu9, Eugen, Dumitru10, Bataga, Simona11, Constantinescu, Gabriel12, Gheonea, Dan13, Tantau, Alina14, Jinga, Mariana15, Brisc, Ciprian16, Prelipcean, Cristina Cijevschi3
Publikováno v:
Journal of Gastrointestinal & Liver Diseases. Dec2023, Vol. 32 Issue 4, p444-451. 8p.
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.
Publikováno v:
EPTCS 268, 2018, pp. 1-40
Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These faults have their roots in the software development cycle or because o
Externí odkaz:
http://arxiv.org/abs/1803.10319