‪Gergo HORANYI‬ - ‪Google Scholar‬

Mijn eigen profiel maken

Geciteerd door

	Alles	Sinds 2019
Citaties	20	7
h-index	2	1
i10-index	1	0

0

4

2

201120122013201420152016201720182019202020211 1 2 4 3 1 1 2 1 4

Medeauteurs

Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsGeverifieerd e-mailadres voor mit.bme.hu
Zoltán MicskeiBudapest University of Technology and EconomicsGeverifieerd e-mailadres voor mit.bme.hu

Gergo HORANYI

Gergo HORANYI

CERN, Budapest University of Technology and Economics

Geverifieerd e-mailadres voor inf.mit.bme.hu - Homepage

runtime verification model checking code generation software testing


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–4