dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Márk Asztalos Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMárk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky, Gergely Mezei, Tamás Mészáros: Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. ECEASST 42: (2011)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene Syriani, Márk Asztalos, Manuel Wimmer, Marouane Kessentini: Towards Transformation Rule Composition. ECEASST 42: (2011)
2010
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamás Mészáros, Márk Asztalos, Gergely Mezei, Hassan Charaf: Performance Optimization of Exhaustive Rules in Graph Rewriting Systems. ICSOFT (2) 2010: 292-295
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIstván Madari, Márk Asztalos, Tamás Mészáros, László Lengyel, Hassan Charaf: Implementing QVT in a Domain-specific Modeling Framework. ICSOFT (2) 2010: 304-307
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMárk Asztalos, László Lengyel, Tihamer Levendovszky: Towards Automated, Formal Verification of Model Transformations. ICST 2010: 15-24
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMárk Asztalos, Eugene Syriani, Manuel Wimmer, Marouane Kessentini: Simplifying Model Transformation Chains by Rule Composition. MoDELS Workshops 2010: 293-307
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMárk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky: Verification of Model Transformations to Refactoring Mobile Social Networks. ECEASST 32: (2010)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamás Mészáros, Gergely Mezei, Tihamer Levendovszky, Márk Asztalos: Manual and automated performance optimization of model transformation systems. STTT 12(3-4): 231-243 (2010)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMárk Asztalos, István Madari, László Lengyel: Towards Formal Analysis of Multi-paradigm Model Transformations. Simulation 86(7): 429-452 (2010)
2009
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMárk Asztalos, László Lengyel, Tihamer Levendovszky: Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models. ECEASST 21: (2009)
2007
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell: Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. AGTIVE 2007: 540-565
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTibor Cinkler, Péter Hegyi, Márk Asztalos, Géza Geleji, János Szigeti, András Kern: Multi-Layer Traffic Engineering Through Adaptive lambda-Path Fragmentation and De-fragmentation. Networking 2006: 715-726

Coauthor Index

1Dénes Bisztray [2]
2Artur Boronat [2]
3Hassan Charaf [9] [10]
4Tibor Cinkler [1]
5Duc-Hanh Dang [2]
6Péter Ekler [6] [12]
7Rubino Geiß [2]
8Géza Geleji [1]
9Pieter Van Gorp [2]
10Joel Greenyer [2]
11Péter Hegyi [1]
12András Kern [1]
13Marouane Kessentini [7] [11]
14Ole Kniemeyer [2]
15László Lengyel [3] [4] [6] [8] [9] [12]
16Tihamer Levendovszky [3] [5] [6] [8] [12]
17István Madari [4] [9]
18Tamás Mészáros [5] [9] [10] [12]
19Gergely Mezei [5] [10] [12]
20Anantha Narayanan [2]
21Edgars Rencis [2]
22Eugene Syriani [7] [11]
23János Szigeti [1]
24Dániel Varró [2]
25Erhard Weinell [2]
26Manuel Wimmer [7] [11]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page