Gábor Pap

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Design Decisions

Top Venues

Publications

Laszlo Juracz, Zsolt Lattmann, Tihamer Levendovszky, Graham Hemingway, Will Gaggioli, Tanner Netterville, Gábor Pap, Kevin Smyth, Larry Howard
VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. MDHPCL@MoDELS (2013)
Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger
Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping (2011)
Ákos Lédeczi, András Nádas, Péter Völgyesi, György Balogh, Branislav Kusy, János Sallai, Gábor Pap, Sebestyen Dóra, Károly Molnár, Miklós Maróti, Gyula Simon
Countersniper system for urban warfare. ACM Trans. Sens. Networks 1 (2) (2005)
Gyula Simon, Miklós Maróti, Ákos Lédeczi, György Balogh, Branislav Kusy, András Nádas, Gábor Pap, János Sallai, Ken Frampton
Sensor network-based countersniper system. SenSys (2004)