Login / Signup
Dániel Krupp
Publication Activity (10 Years)
Years Active: 2005-2018
Publications (10 Years): 6
Top Topics
Control Algorithm
Symbolic Execution
Mechanical Engineering
Electricity Consumption
Top Venues
SCAM
SQAMIA
ICPC
ICSE (Companion Volume)
</>
Publications
</>
Gábor Horváth
,
Péter Szécsi
,
Zoltán Gera
,
Dániel Krupp
,
Norbert Pataki
Implementation and evaluation of cross translation unit symbolic execution for C family languages.
ICSE (Companion Volume)
(2018)
Zoltán Porkoláb
,
Tibor Brunner
,
Dániel Krupp
,
Márton Csordás
Codecompass: an open software comprehension framework for industrial usage.
ICPC
(2018)
Gábor Horváth
,
Péter Szécsi
,
Zoltán Gera
,
Dániel Krupp
,
Norbert Pataki
[Engineering Paper] Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer.
SCAM
(2018)
Mário Santos
,
João Saraiva
,
Zoltán Porkoláb
,
Dániel Krupp
Energy Consumption Measurement of C/C++ Programs Using Clang Tooling.
SQAMIA
(2017)
Richárd Szalay
,
Zoltán Porkoláb
,
Dániel Krupp
Measuring Mangled Name Ambiguity in Large C / C++ Projects.
SQAMIA
(2017)
Richárd Szalay
,
Zoltán Porkoláb
,
Dániel Krupp
Towards Better Symbol Resolution for C/C++ Programs: A Cluster-Based Solution.
SCAM
(2017)
Dániel Krupp
,
János Levendovszky
Open-loop overload control algorithm for signalling traffic.
Telecommun. Syst.
52 (2) (2013)
Kristóf Fodor
,
Dániel Krupp
,
Gergely Biczók
,
János L. Gerevich
,
Krisztián Sugár
SAMSON: Smart Address Management in Self-Organizing Networks.
EUNICE
(2005)