User Tools

Site Tools


research

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
research [2015/10/03 00:13]
deva created
research [2016/09/21 10:13]
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: [[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
research.txt · Last modified: 2016/09/21 10:13 by deva