User Tools

Site Tools


This is an old revision of the document!

A PCRE internal error occured. This might be caused by a faulty plugin

===== Research topics ===== === Executable UML modeling === * Current projects: * [[|txtUML]]: textual, executable, translatable UML * [[|Model Executor]] * 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.1443872309.txt.gz · Last modified: 2015/10/03 13:38 by deva