User Tools

Site Tools


research

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
research [2015/10/03 00:29]
deva
research [2015/10/03 13:38]
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
     * [[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:+  * Former project:
     * [[http://​feldspar.inf.elte.hu/​|Feldspar]]:​ Functional Embedded Language for DSP and Parallelism     * [[http://​feldspar.inf.elte.hu/​|Feldspar]]:​ Functional Embedded Language for DSP and Parallelism
   * Selected papers:   * Selected papers:
     * 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
-    * 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: [[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     * 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 ===
research.txt · Last modified: 2016/09/21 10:13 by deva