Gergely Dévai

According to our database, Gergely Dévai authored at least 14 papers between 2007 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Programhelyesség-bizonyítás fordítási időben

Gergely Dévai

PhD thesis, 2018

2016

txtUML.

Gergely Dévay, Tibor Gregorics, Melinda Tóth, Domonkos Asztalos, Dávid János Németh, Gábor Ferenc Kovács, Boldizsár Németh, Zoltán Gera, András Dobreff, Balázs Gregorics, András Nagy, Martin Budai, Zsolt Kulik, Kristóf Kanyó

Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

2015

Textual diagram layout language and visualization algorithm.

Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, Gergely Dévai

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

UML Model Execution via Code Generation.

Gergely Dévai, Máté Karácsony, Boldizsár Németh, Róbert Kitlei, Tamás Kozsik

Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014

Language abstractions for low level optimization techniques.

Gergely Dévai, Zoltán Gera, Zoltán Kelemen

Comput. Sci. Inf. Syst., 2014

Textual, Executable, Translatable UML.

Gergely Dévai, Gábor Ferenc Kovács, Ádám An

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

2013

Language Design and Implementation via the Combination of Embedding and Parsing.

Gergely Dévai, Dániel Leskó, Máté Tejfel

Proceedings of the Software Technologies - 8th International Joint Conference, 2013

Embedding and Parsing Combined for Efficient Language Design.

Gergely Dévai, Dániel Leskó, Máté Tejfel

Proceedings of the ICSOFT 2013, 2013

The EDSL's Struggle for Their Sources.

Gergely Dévai, Dániel Leskó, Máté Tejfel

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2010

Measuring the Overhead of C++ Standard Template Library Safe Variants.

Norbert Pataki, Zalán Szügyi, Gergely Dévai

Proceedings of the Second Workshop on Generative Technologies, 2010

Feldspar: A domain specific language for digital signal processing algorithms.

Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegård, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2009

Embedding a Proof System in Haskell.

Gergely Dévai

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008

Programming Language Elements for Correctness Proofs.

Gergely Dévai

Acta Cybern., 2008

2007

An Introduction to the Lambda Calculus.

Zoltán Csörnyei, Gergely Dévai

Proceedings of the Central European Functional Programming School, Second Summer School, 2007