Zobrazeno 1 - 10
of 178
pro vyhledávání: '"Vörös András"'
Publikováno v:
EPTCS 402, 2024, pp. 105-117
Constrained Horn Clauses (CHCs) have conventionally been used as a low-level representation in formal verification. Most existing solvers use a diverse set of specialized techniques, including direct state space traversal or under-approximating abstr
Externí odkaz:
http://arxiv.org/abs/2404.15215
Autor:
Szabó, Richárd, Vörös, András
Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical, as system failure can cause serious damage to property and human live
Externí odkaz:
http://arxiv.org/abs/2108.12773
Publikováno v:
EPTCS 316, 2020, pp. 240-260
Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees, according to
Externí odkaz:
http://arxiv.org/abs/2004.13290
Autor:
Tabár, László, Dean, Peter B., Ming-Fang Yen, Amy, Yi-Ying Wu, Wendy, Tarján, Miklós, Lee Tucker, F., Hsiu-Hsi Chen, Tony, Vörös, András
Publikováno v:
In European Journal of Radiology November 2023 168
Publikováno v:
In European Journal of Radiology April 2023 161
Autor:
Wullschleger, Andrea, Vörös, András, Rechsteiner, Beat, Rickenbacher, Ariane, Maag Merki, Katharina
Publikováno v:
In Teaching and Teacher Education January 2023 121
Autor:
Tabár, László, Dean, Peter B., Lee Tucker, F., Ming-Fang Yen, Amy, Li-Sheng Chen, Sam, Ting-Yu Lin, Abbie, Hsu, Chen-Yang, Munpolsri, Pattaranan, Yi-Ying Wu, Wendy, Smith, Robert A., Duffy, Stephen W., Hsiu-Hsi Chen, Tony, Tarján, Miklós, Vörös, András
Publikováno v:
In European Journal of Radiology July 2023
Autor:
Vörös, András ⁎, Boda, Zsófia, Elmer, Timon, Hoffman, Marion, Mepham, Kieran, Raabe, Isabel J., Stadtfeld, Christoph
Publikováno v:
In Social Networks May 2022 69:180-193
Publikováno v:
ICWSM 2017
Online platforms are an increasingly popular tool for people to produce, promote or sell their work. However recent studies indicate that social disparities and biases present in the real world might transfer to online platforms and could be exacerba
Externí odkaz:
http://arxiv.org/abs/1705.02972
Autor:
Vörös, András *, Boda, Zsófia, Elmer, Timon, Hoffman, Marion, Mepham, Kieran, Raabe, Isabel J., Stadtfeld, Christoph
Publikováno v:
In Social Networks May 2021 65:71-84