Gergo HORANYI
Title
Cited by
Cited by
Year
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems
G Horányi, Z Micskei, I Majzik
SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded …, 2013
132013
Automated Evaluation of the Test Traces of Autonomous Systems
G Horányi, I Majzik
Technical report, BME, 2013
12013
Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
G Horányi, I Majzik
12th Symposium on Programming Languages and Software Tools, 161-172, 2011
1*2011
Grant agreement no. 621447 Project acronym R5-COP Project full title Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems
DD Vörös, G Horányi, Z Szatmári
The system can't perform the operation now. Try again later.
Articles 1–4