This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
research [2015/10/03 00:19] deva |
research [2016/09/21 10:13] (current) deva |
||
---|---|---|---|
Line 3: | Line 3: | ||
=== Executable UML modeling === | === Executable UML modeling === | ||
- | * Projects: | + | * Current projects: |
* [[http://txtuml.inf.elte.hu|txtUML]]: textual, executable, translatable UML | * [[http://txtuml.inf.elte.hu|txtUML]]: textual, executable, translatable UML | ||
+ | * Former project: | ||
* [[http://modelexecution.eltesoft.hu|Model Executor]] | * [[http://modelexecution.eltesoft.hu|Model Executor]] | ||
* Selected paper: | * 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, In proceedings of [[http://www.modelsconference.org/|MODELS 2015]]. | + | * Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai: [[http://txtuml.inf.elte.hu/publications/models2015txtuml.pdf|Textual Diagram Layout Language and Visualization Algorithm]], [[http://www.modelsconference.org/|MODELS 2015]], Ottawa, Canada, 2015 |
=== Domain-specific languages & language embedding === | === Domain-specific languages & language embedding === | ||
- | * Project: [[http://feldspar.inf.elte.hu/|Feldspar]] | + | * Former project: |
+ | * [[http://feldspar.inf.elte.hu/|Feldspar]]: Functional Embedded Language for DSP and Parallelism | ||
* Selected papers: | * Selected papers: | ||
- | * 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: [[http://feldspar.inf.elte.hu/publications/FeldsparMEMOCODE2010.pdf|Feldspar: A Domain Specific Language for Digital Signal Processing algorithms]], [[http://www-memocode2010.imag.fr/|MEMOCODE 2010]]: International Conference on Formal Methods and Models for Codesign, Grenoble, France, 2010. | + | * Gergely Dévai, Dániel Leskó, Máté Tejfel: [[http://link.springer.com/chapter/10.1007/978-3-662-44920-2_9|Language Design and Implementation via the Combination of Embedding and Parsing]], Software Technologies, Springer, 2014 |
- | * Gergely Dévai, Dániel Leskó, Máté Tejfel: [[http://link.springer.com/chapter/10.1007/978-3-662-44920-2_9|Language Design and Implementation via the Combination of Embedding and Parsing]], Software Technologies, Springer, 2014. | + | * Gergely Dévai: [[http://ac.inf.elte.hu/Vol_036_2012/277_36.pdf|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: [[http://feldspar.inf.elte.hu/publications/FeldsparMEMOCODE2010.pdf|Feldspar: A Domain Specific Language for Digital Signal Processing algorithms]], [[http://www-memocode2010.imag.fr/|MEMOCODE 2010]]: International Conference on Formal Methods and Models for Codesign, Grenoble, France, 2010 | ||
=== Formal software verification === | === Formal software verification === | ||
+ | * Selected paper: | ||
+ | * Gergely Dévai: [[http://link.springer.com/chapter/10.1007/978-3-642-17685-2_10|Embedding a proof system in Haskell]], Lecture Notes in Computer Science, vol 6299, Springer, 2010 |