Vol. 61 No. 2 (2017)

Published: 2017-05-23

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2016

Hassan Charaf, Gábor Harsányi, András Poppe, Sándor Imre, Bálint Kiss, Tamás Dabóczi, Gyula Katona, Lajos Nagy, Gábor Magyar, István Kiss

83-115
- PDF
Supporting Unit Test Generation via Automated Isolation

Dávid Honfi, Zoltán Micskei

116-131
- PDF
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms

Vince Molnár, István Majzik

132-150
- PDF
PLC Program Translation for Verification Purposes

Dániel Darvas, István Majzik, Enrique Blanco Viñuela

151-165
- PDF
Formal Verification of Real-Time Systems with Data Processing

Tamás Tóth, István Majzik

166-174
- PDF
Evaluation of Optimization Strategies for Incremental Graph Queries

Gábor Szárnyas, János Maginecz, Dániel Varró

175-192
- PDF
On the Graphicity of the Independence Structure of Linear Active Networks

Csongor Gy. Csehi, András Recski

193-197
- PDF
Applying and Augmenting Deep Reinforcement Learning in Serious Games through Interaction

Aline Dobrovsky, Uwe M. Borghoff, Marko Hofmann

198-208
- PDF
Team PhyPA: Brain-Computer Interfacing for Everyday Human-Computer Interaction

Thorsten O. Zander, Laurens R. Krol

209-216
- PDF
Constructions for the Optimal Pebbling of Grids

Ervin Győri, Gyula Y. Katona, László F. Papp

217-223
- PDF
R–DFT-based Parameter Estimation for WiGig

Barna Csuka, Zsolt Kollár

224-230
- PDF