Gergo HORANYI - Google Scholar

Get my own profile

Cited by

	All	Since 2019
Citations	20	7
h-index	2	1
i10-index	1	0

0

4

2

201120122013201420152016201720182019202020211 1 2 4 3 1 1 2 1 4

Co-authors

Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Zoltán MicskeiBudapest University of Technology and EconomicsVerified email at mit.bme.hu

Gergo HORANYI

Gergo HORANYI

CERN, Budapest University of Technology and Economics

Verified email at inf.mit.bme.hu - Homepage

runtime verification model checking code generation software testing


Title Sort by citations Sort by year Sort by 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	17	2013
Automated evaluation of the test traces of autonomous systems G Horányi, I Majzik Technical report, BME, 2013	2	2013
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