• Bayesian Network Multimorbidity Models in COVID-19 Mortality 

  Nagy, Tamás; Bruncsics, Bence; Antal, Péter (2021)

  Clusters of multimorbidities indicate common molecular and physiological causal mechanisms, which can help to identify promising targets for novel drugs and treatments. We analyzed the comorbidities for COVID-19 death cases ...

• Modelling a CubeSat-based Space Mission and its Operation 

  Batista, Carlos L. G.; Mattiello-Francisco, Fátima (2021)

  Since the early 2000’ years, the CubeSats have been growing and getting more and more “space” in the Space industry. Their short development schedule, low cost equipment and piggyback launches create a new way to access ...

• Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts 

  Staderini, Mirko; Bondavalli, Andrea (2021)

  Ethereum smart contracts had ever-increasing development in recent years. Hidden vulnerabilities can not be patched once a smart contract is deployed on a blockchain because of the code immutability. The use of static ...

• Model-Driven Development of Heterogeneous Cyber-Physical Systems 

  Csuvarszki, János Csanád; Graics, Bence; Vörös, András (2021)

  Cyber-physical systems (CPS) are becoming more prevalent for the reliable execution of critical tasks, e.g., in the aerospace and medical fields. The development of such systems is challenging, due to the heterogeneity of ...

• Towards Interactive Learning for Model-based Software Engineering 

  Barcsa-Szabó, Áron; Várady, Balázs; Farkas, Rebeka; Molnár, Vince; Vörös, András (2021)

  Model-based technologies improve the efficiency of the design and development of IT systems by making it possible to automate verification, code generation and system analysis based on a formal model. A simple way of ...

View more