@Booklet{ViatraDSM:tdk2005, title = {Automated Model Transformations in Domain Specific Visual Languages}, author = {Istv{\'a}n R{\'a}th and Andr{\'a}s Schmidt and D{\'a}vid V{\'a}g{\'o}}, howpublished = {Student Report (TDK), Budapest University of Technology and Economics}, month = {October}, year = 2005 } @Booklet{Viatra:tdk2007, title = {Event-based model transformations with incremental pattern matching}, author = {G\'abor Bergmann and Andr\'as \"Okr\"os}, howpublished = {Student Report (TDK), Budapest University of Technology and Economics}, month = {October}, year = 2007 } @MastersThesis{ViatraDSM:MastThesisIR, author = {Istv{\'a}n R{\'a}th}, title = {Declarative Specification of Domain Specific Visual Languages}, school = {Budapest University of Technology and Economics}, year = 2006 } @MastersThesis{ViatraDSM:MastThesisDV, author = {D{\'a}vid V{\'a}g{\'o}}, title = {Simulation and transformation of domain-specific languages}, school = {Budapest University of Technology and Economics}, year = 2006 } @InProceedings{dspd2006, author = {Istv\'an R\'ath and D{\'a}niel Varr{\'o}}, title = {Challenges for Advanced Domain-Specific Modeling Frameworks}, booktitle = {International Workshop on Domain Specific Program Development (DSPD 2006)}, year = {2006}, address = {Nantes, France}, month = {July} } @InProceedings{cscs2006, author = {Istv\'an R\'ath}, title = {Declarative mapping between abstract and concrete syntax of domain-specific visual languages}, booktitle = {The Proceedings of the Fifth Conference of PhD Students in Computer Science}, year = {2006} } @InProceedings{gramot08, author = {G\'abor Bergmann and Andr\'as \"Okr\"os and Istv\'an R\'ath and D\'aniel Varr\'o and Gergely Varr\'o}, title = {{Incremental pattern matching in the VIATRA transformation system}}, booktitle = {GRaMoT'08, 3rd International Workshop on Graph and Model Transformation}, year = {2008}, organization = {30th International Conference on Software Engineering}, note = {} } @inproceedings{icmt2008, title = {Live Model Transformations Driven by Incremental Pattern Matching}, author = {István R\'{a}th and G\'{a}bor Bergmann and Andr\'{a}s \"Okr\"os and D\'{a}niel Varr\'{o}}, booktitle = {Theory and Practice of Model Transformations}, publisher = {Springer Berlin / Heidelberg}, issn = {0302-9743 (Print) 1611-3349 (Online)}, isbn = {978-3-540-69926-2}, url = {http://www.springerlink.com/content/g43052uj0p27428v/}, abstract = {In the current paper, we introduce a live model transformation framework, which continuously maintains a transformation context such that model changes to source inputs can be readily identified, and their effects can be incrementally propagated. Our framework builds upon an incremental pattern matcher engine, which keeps track of matches of complex contextual constraints captured in the form of graph patterns. As a result, complex model changes can be treated as elementary change events. Reactions to the changes of match sets are specified by graph transformation rules with a novel transactional execution semantics incorporating both pseudo-parallel and serializable behaviour.}, volume = {5063/2008}, series = {LNCS}, year = {2008}, pages = {107--121}, subject_collection = {Computer Science}, doi = {10.1007/978-3-540-69927-9_8}, } @inproceedings{icgt2008, title = {{A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation}}, author = {G\'{a}bor Bergmann and \'{A}kos Horv\'{a}th and Istv\'{a}n R\'{a}th and D\'{a}niel Varr\'{o}}, booktitle = {{ICGT2008, The 4th International Conference on Graph Transformation}}, note = {}, } @inproceedings{vlhcc2008, title = {{Design-time Simulation of Domain-specific Models By Incremental Pattern Matching}}, author = {István R\'{a}th and D\'{a}vid V\'{a}g\'{o} and D\'{a}niel Varr\'{o}}, booktitle = {{2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)}}, note = {}, year = {2008} } @article{gtvmt09, author = {G\'abor Bergmann and Istv\'an R\'ath and D\'aniel Varr\'o}, title = {Parallelization of Graph Transformation Based on Incremental Pattern Matching}, journal = {Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques}, volume = {18}, year = {2009}, } @conference{icmt2009, author={G\'abor Bergmann and \'Akos Horv\'ath and Istv\'an R\'ath and D\'aniel Varr\'o}, title= {Efficient Model Transformations by Combining Pattern Matching Strategies}, booktitle={Proc. of ICMT'09, 2nd Intl. Conference on Model Transformation}, year={2009}, publisher={Springer}, } @Misc{SDE:HP, author = {{The SENSORIA EU FP6 Research Project}}, title = {{The SENSORIA Development Environment Homepage}}, year = {2009}, note = {{\url{http://svn.pst.ifi.lmu.de/trac/sct}}} } @Book{Knuth:ArtOfComputerProgramming, author = {{Donald Knuth}}, title = {{The Art of Computer Programming}}, publisher = {{Addison-Wesley}}, year = {1997}, volume = {1}, edition = {{Third}}, note = {Section 1.2.11: Asymptotic Representations}, annote = {ISBN 0-201-89683-4} } @InProceedings{MDTPI2009, author = {Bal\'azs Polg\'{a}r and Istv\'an R\'{a}th and Zolt\'an Szatm\'{a}ri and Istv\'an Majzik}, title = {{Model-based Integration, Execution and Certification of Development Tool-chains}}, booktitle = {2nd ECMDA Workshop on Model-Driven Tool and Process Integration}, year = {2009}, note = {} } @conference{MODELS09, author = {István Ráth and Gergely Varr\'o and D\'aniel Varr\'o}, title = {Change-driven Model Transformations}, booktitle = {Proc. of MODELS'09, ACM/IEEE 12th International Conference On Model Driven Engineering Languages And Systems}, issn = {0302-9743 (Print) 1611-3349 (Online)}, isbn = {978-3-642-04424-3}, url = {http://www.springerlink.com/content/n60j0r8m14506183/}, volume = {5795/2009}, series = {Lecture Notes in Computer Science}, year = {2009}, pages = {342-356}, subject_collection = {Computer Science}, doi = {10.1007/978-3-642-04425-0_26}, } @InProceedings{TavasziSzel2009, author = {Istv\'an R\'ath}, title = {Modelltranszform\'aci\'ok integr\'alt alkalmaz\'asa domain-specifikus nyelvekben}, booktitle = {Tavaszi Sz\'el Konferenciakiadv\'any}, year = {2009} } @Article{Sosym09:Traceability, author = {Istv\'an R\'ath and Andr\'as \"Okr\"os and D\'aniel Varr\'o}, title = {Synchronization of Abstract and Concrete Syntax in Domain-specific Modeling Languages}, journal = {Journal of Software and Systems Modeling}, year = {2009}, note = {To appear.} } @Article{STTT09:AntWorld, author = {G\'abor Bergmann and \'Akos Horv\'ath and Istv\'an R\'ath and D\'aniel Varr\'o}, title = {Experimental Assessment of Combining Pattern Matching Strategies with {VIATRA2}}, journal = {Journal of Software Tools in Technology Transfer}, year = {2009}, note = {To appear.} } @InBook{FMN:2009, author = {Andr\'as Pataricza and D\'aniel Varr\'o and Istv\'an Majzik and Bal\'azs Polg\'ar and István Ráth and \'Akos Horv\'ath}, title = {Festschrift for Manfred Nagl (65th birthday)}, chapter = {Workflow-driven tool integration using model transformations}, publisher = {Springer}, series = {Lecture Notes in Computer Science Festschrift}, volume = {5765}, year = {2009}, note = {Accepted.} } @InBook{_SENSORIA:Book, author = {Istv\'an R\'ath and Philip Mayer}, title = {Software Engineering for Service-Oriented Overlay Computers}, chapter = {The {SENSORIA} Development Environment}, publisher = {Springer}, year = {2009} } @InBook{SENSORIABook:SDE, author = {Philip Mayer and Istv\'an R\'ath}, title = {Rigorous Software Engineering for Service-Oriented Systems - Results of the {SENSORIA} project on Software Engineering for Service-Oriented Computing}, chapter = {The {SENSORIA} Development Environment}, publisher = {Springer}, year = {2010} } @InBook{SENSORIABook:AdvancesInGT, author = {Gábor Bergmann and Artur Boronat and Reiko Heckel and Paolo Torrini and Istv\'an R\'ath and Dániel Varró}, title = {Rigorous Software Engineering for Service-Oriented Systems - Results of the {SENSORIA} project on Software Engineering for Service-Oriented Computing}, chapter = {Advances in model transformation by graph transformations: Specification, Analysis and Execution}, publisher = {Springer}, year = {2010} } @article{gtvmt10, author = {Paolo Torrini and Reiko Heckel and Istv\'an R\'ath and G\'abor Bergmann}, title = {Stochastic Graph Transformation with Regions}, journal = {Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques}, volume = {}, year = {2010}, } @InProceedings{ASMTA2010, author = {Ajab Khan and Reiko Heckel and Paolo Torrini and Istv\'an R\'ath}, title = {Model-based Stochastic Simulation of P2P VoIP Using Graph Transformation}, year = {2010}, booktitle = {Proceedings of the 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications}, annote = {} } @inproceedings{hegedus-sefm2010, author = {{\'A}bel Heged{\"u}s and Istv\'an R\'ath and D\'aniel Varr\'o}, title = {{Back-annotation of Simulation Traces with Change-Driven Model Transformations}}, booktitle = {Proceedings of the Eigth International Conference on Software Engineering and Formal Methods}, year = {2010}, note = {Accepted.} } @conference{MODELS10, author = {G\'abor Bergmann and \'Akos Horv\'ath and Istv\'an R\'ath and D\'aniel Varr\'o}, title = {Incremental Evaluation of Model Queries over EMF Models}, booktitle = {Proc. of MODELS'10, CM/IEEE 13th International Conference On Model Driven Engineering Languages And Systems}, year = {2010}, note = {Accepted.} } @techreport{SEFM10ToolDemo:back-ann, Author = {\'Abel Heged\"{u}s and R\'ath Istv\'an and D\'aniel Varr\'o}, Title = {From {BPEL} to {SAL} and {B}ack: a {T}ool {D}emo on {B}ack-{A}nnotation with {VIATRA2}}, Institution = {Consiglio Nazionale delle Ricerche (CNR)}, Year = {2010}, note = {Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track} } @InProceedings{FASE10:GrASS, author = {Paolo Torrini and Reiko Heckel and István Ráth}, title = {Stochastic Simulation of Graph Transformation Systems}, booktitle = {Proc. of FASE2010, Fundamental Approaches to Software Engineering}, year = {2010}, note = {Accepted.} } @Article{Sosym10:ChangeDriven, author = {Bergmann Gábor and István Ráth and Gergely Varró and D\'aniel Varr\'o}, title = {Change-driven Model Transformations: Taxonomy and Language}, journal = {Journal of Software and Systems Modeling}, year = {2010}, note = {Submitted.} } @InProceedings{Minisy:2007, author = {Istv\'an R\'ath}, title = {Challenges for advanced domain-specific modeling frameworks}, booktitle = {Proceedings of the 14th PhD Minisymposium}, pages = {118-120}, year = {2007}, organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems}, } @InProceedings{Minisy:2008, author = {Istv\'an R\'ath}, title = {Design-time simulation of domain-specific modeling languages by interactive model transformation}, booktitle = {Proceedings of the 15th PhD Minisymposium}, pages = {58--62}, year = {2008}, organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems}, } @InProceedings{Minisy:2009, author = {Istv\'an R\'ath}, title = {Enhancing design-time model execution in domain-specific languages by incremental pattern matching}, booktitle = {Proceedings of the 16th PhD Minisymposium}, pages = {16--20}, year = {2009}, organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems}, }