User Tools
Sidebar
research
Research topics
Executable UML modeling
- Current projects:
- txtUML: textual, executable, translatable UML
- Former project:
- Selected paper:
- Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai: Textual Diagram Layout Language and Visualization Algorithm, MODELS 2015, Ottawa, Canada, 2015
Domain-specific languages & language embedding
- Former project:
- Feldspar: Functional Embedded Language for DSP and Parallelism
- Selected papers:
- Gergely Dévai, Dániel Leskó, Máté Tejfel: Language Design and Implementation via the Combination of Embedding and Parsing, Software Technologies, Springer, 2014
- Gergely Dévai: Extended pattern matching for embedded languages, Annales Universitatis Scientiarum Budapestiensis de Rolando Eotvos Nominatae Sectio Computatorica, vol. 36, 2012
- Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegard, Anders Persson, Mary Sheeran, Josef Svenningsson and András Vajda: Feldspar: A Domain Specific Language for Digital Signal Processing algorithms, MEMOCODE 2010: International Conference on Formal Methods and Models for Codesign, Grenoble, France, 2010
Formal software verification
- Selected paper:
- Gergely Dévai: Embedding a proof system in Haskell, Lecture Notes in Computer Science, vol 6299, Springer, 2010
research.txt · Last modified: 2016/09/21 10:13 by deva
