Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Visa alla
Alla
Sedan 2019
Citat
20
7
h-index
2
1
i10-index
1
0
0
4
2
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
1
1
2
4
3
1
1
2
1
4
Medförfattare
Istvan Majzik
Associate Professor, Budapest University of Technology and Economics
Verifierad e-postadress på mit.bme.hu
Zoltán Micskei
Budapest University of Technology and Economics
Verifierad e-postadress på mit.bme.hu
Följ
Gergo HORANYI
CERN,
Budapest University of Technology and Economics
Verifierad e-postadress på inf.mit.bme.hu -
Startsida
runtime verification
model checking
code generation
software testing
Artiklar
Citeras av
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–4
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen