BUTE DMIS FTSRG Publications (2008) (BibTeX)

@INPROCEEDINGS{Safecert08,
  AUTHOR = {L{\'a}szl{\'o} G{\"o}nczy and Istv\'an Majzik and A\'kos Horv\'ath and D{\'a}niel Varr{\'o} and Andr\'as Balogh and Zolt\'an Micskei and Andr\'as Pataricza},
  TITLE = {{Tool Support for Engineering Certifiable Software}},
  BOOKTITLE = {Proc. of First Workshop on the Certification of Safety-Critical Software Controlled
  Systems  (SafeCert08)},
  EDITOR = {Michaela Huhn and Hardi Hungar},
  SERIES = {},
  PUBLISHER = {},
  NOTE = {},
  PAGES = {68-73},
  YEAR = {2008},
  ADDRESS = {Budapest, Hungary},
  ABSTRACT = {Formal methods can effectively support the model driven develoment and analysis of IT applications in many
domains. Typically, the domain-specific engineering models are transformed to formal analysis models (to
compute measures that help the designer in verifying the design decisions) and verified models are mapped
to test and implementation related software artefacts. An overview of four European projects demonstrates
the use of support tools and tool integration facilities in development processes of systems having in sight
the demand of certification according to domain-specific standards.}
}

@ARTICLE{simon08robust,
  AUTHOR = {Simon, Gyula and Moln\'ar, Mikl\'os and G\"onczy, L\'aszl\'o and Cousin, Bernard},
  TITLE = {{Robust k-coverage Algorithms for Sensor Networks}},
  JOURNAL = {IEEE Transactions on Instrumentation and Measurement},
  VOLUME = {57},
  YEAR = {2008},
  NUMBER = {},
  SERIES = {IEEE},
  NOTE = {{To Appear}},
  MONTH = {August}
}

@techreport{micskei-waeselynck-laas-08389,
  author={Zoltan Micskei and Helene Waeselynck},
  title={A survey of UML 2.0 sequence diagrams' semantics},
  year={2008},
  abstract={Scenario languages are widely used in software development. Typical usage scenarios, forbidden behaviors, test cases and many more aspects can be depicted with graphical scenarios. Scenario languages were introduced into the Unified Modeling Language (UML) under the name of Sequence Diagrams. The 2.0 version of UML changed Sequence Diagrams significantly, the expressiveness of the language was highly increased. However it was carried out without defining a precise semantics for the language. This paper presents the semantics defined in the specification, collects and categorizes the problems with the current approach, and gives a survey of proposed formal semantics for Sequence Diagrams.},
  institution={Laboratoire d'Analyse et d'Architecture des Systemes (LAAS)},
  month={August},
  number={08389}
}

@INPROCEEDINGS{depcos08-ceccarelli-majzik-iovino-caneschi-pinter-bondavalli,
  AUTHOR = {Ceccarelli, A. and Majzik, I. and Iovino, D. and Caneschi, F. and Pint{\'e}r, G. and Bondavalli, A.},
  TITLE = {A resilient SIL 2 Driver Machine Interface for train control systems},
  BOOKTITLE = {IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08)},
  MONTH = {June},
  YEAR = {2008}
}

@INPROCEEDINGS{forms08-majzik-bondavalli-klapka-madsen-iovino,
  AUTHOR = {Majzik, I. and Bondavalli, A. and Klapka, S. and Madsen, T.K. and Iovino, D.},
  TITLE = {Formal Methods in the Evaluation of a Safe Driver Machine Interface},
  BOOKTITLE = {Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008)},
  MONTH = {October},
  YEAR = {2008}
}

@INPROCEEDINGS{forms08-lollini-montecchi-magyar-majzik-bondavalli,
  AUTHOR = {Lollini, P. and Montecchi, L. and Magyar, M. and Majzik, I. and Bondavalli, A.},
  TITLE = {Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems},
  BOOKTITLE = {Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008)},
  MONTH = {October 9-10},
  PAGES = {225--232},
  YEAR = {2008}
}

@INPROCEEDINGS{serene08-kovacs-lollini-majzik-bondavalli,
  AUTHOR = {Kov{\'a}cs, M. and Lollini, P. and Majzik, I. and Bondavalli, A.},
  TITLE = {An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications},
  BOOKTITLE = {RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008)},
  MONTH = {November 17-19},
  PAGES = {29--38},
  YEAR = {2008}
}

@article{sosym2008-mtbe,
  author = {Zolt{\'a}n Balogh and D{\'a}niel Varr{\'o}},
  note = {Appeared online},
  title = {Model Transformation by Example Using Inductive Logic Programming},
  journal = {Software and Systems Modeling},
  year = {2008},
}

@inproceedings{agtive07-toolcontest,
  volume = {5088},
  author = {D{\'a}niel Varr{\'o} and M{\'a}rk Asztalos and D{\'e}nes Bisztray
            and Artur Boronat and Duc-Hanh Dang and Rubino Geiss and Joel
            Greenyer and Pieter Van Gorp and Ole Kniemeyer and Anantha Narayanan
            and Edgars Rencis and Erhard Weinell},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proc. Third International Workshop and Symposium on Applications
               of Graph Transormation with Industrial Relevance (AGTIVE 2007)},
  editor = {Andy Sch{\"}rr and Manfred Nagl and Albert Z{\"u}ndorf},
  title = {Transformation of UML Models to CSP: A Case Study for Graph
           Transformation Tools},
  publisher = {Springer},
  pages = {540--565},
  year = {2008},
}

@inproceedings{sisak-pinter-majzik-2008-forms-automated-verification-of-complex-behavioral-models-using-the-sal-model-checker,
  author = {{\'A}ron Sisak and Gergely Pint{\'e}r and Istv{\'a}n Majzik},
  note = {(Accepted, in press)},
  booktitle = {{Formal Methods for Automation and Safety in Railway and
               Automotive Systems (Proceedings of the FORMS-2008 Conference)}},
  editor = {G. Tarnai and E. Schnieder},
  title = {{Automated Verification of Complex Behavioral Models Using the SAL
           Model Checker}},
  address = {Budapest, Hungary},
  publisher = {L\'Harmattan},
  year = 2008,
}

@article{ijcsse08-kgv,
  author = {M{\'a}te Kov{\'a}cs and L{\'a}szl{\'o} G{\"o}nczy and D{\'a}niel Varr{\'o}},
  note = {To appear},
  title = {Formal analysis of BPEL workflows with compensation by model checking},
  journal = {International Journal of Computer Systems and Engineering},
  year = {2008},
}

@inproceedings{agtive07-vhv,
  volume = {5088},
  author = {Gergely Varr{\'o} and {\'A}kos Horv{\'a}th and D{\'a}niel Varr{\'o}
            },
  series = {Lecture Notes in Computer Science},
  booktitle = {Proc. Third International Workshop and Symposium on Applications
               of Graph Transormation with Industrial Relevance (AGTIVE 2007)},
  editor = {Andy Sch{\"}rr and Manfred Nagl and Albert Z{\"u}ndorf},
  title = {Recursive Graph Pattern Matching: With Magic Sets and Global Search
           Plans},
  publisher = {Springer},
  year = {2008},
}

@article{pinter-madeira-vieira-majzik-pataricza-2007-ijkms-integration-of-olap-and-data-mining-for-analysis-of-results-from-dependability-evaluation-experiments,
  title = {{Integration of OLAP and Data Mining for Analysis of Results from
           Dependability Evaluation Experiments}},
  author = {Gergely Pint{\'e}r and Henrique Madeira and Marco Vieira and
            Istv{\'a}n Majzik and Andr{\'a}s Pataricza},
  note = {Accepted, in press},
  year = 2008,
  journal = {{International Journal of Knowledge Management Studies}},
}

@inproceedings{icmt08-rbov08,
  volume = {5063},
  location = {Z{\"u}rich, Switzerland, July 1-2, 2008},
  author = {Istv{\'a}n R{\'a}th and G{\'a}bor Bergmann and Andr{\'a}s
            {\"O}kr{\"o}s and D{\'a}niel Varr{\'o}},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proc. First International Conference on the Theory and Practice
               of Model Transformations (ICMT 2008)},
  editor = {Antonio Vallecillo and Jeff Gray and Alfonso Pierantonio},
  title = {Live Model Transformations Driven by Incremental Pattern Matching},
  publisher = {Springer},
  pages = {107-121},
  year = {2008},
}

@inbook{pinter-2008-ads-model-based-approaches-for-dependability-in-ad-hoc-mobile-networks-and-services,
  volume = 5135,
  chapter = {{Gergely Pint{\'e}r and Zolt{\'a}n Micskei and Andr{\'a}s K{\"o}vi
             and Zolt{\'a}n {\'E}gel and Imre Kocsis and G{\'a}bor Huszerl and
             Andr{\'a}s Pataricza: Model-Based Approaches for Dependability in
             Ad-Hoc Mobile Networks and Services}},
  note = {(Accepted, in press)},
  series = {Lecture Notes in Computer Science (LNCS)},
  editor = {Rogerio de Lemos and Felicita Di Giandomenico and Cristina Gacek and
            Henry Muccini and Marlon Vieira},
  title = {{Architecting Dependable Systems V.}},
  publisher = {Springer},
  year = 2008,
}

@inproceedings{gramot08-borvv,
  author = {G{\'a}bor Bergmann and Andr{\'a}s {\"O}kr{\"o}s and Istv{\'a}n
            R{\'a}th and D{\'a}niel Varr{\'o} and Gergely Varr{\'o}},
  editor = {Gabor Karsai and Gabriele Taentzer},
  publisher = {ACM},
  location = {Leipzig, Germany, May 12, 2008},
  note = {To Appear},
  booktitle = {Proc. Graph and Model Transformations (GRAMOT 2008)},
  title = {Incremental pattern matching in the VIATRA model transformation
           system},
  year = {2008},
}

@inproceedings{icgt08-bhrv,
  volume = {5214},
  location = {Leicester, United Kingdom, September 7-13, 2008},
  author = {G{\'a}bor Bergmann and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th
            and D{\'a}niel Varr{\'o}},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proc. 4th International Conference on Graph Transformations, ICGT
               2008},
  editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele
            Taentzer},
  title = {A Benchmark Evaluation of Incremental Pattern Matching in Graph
           Transformation},
  publisher = {Springer},
  ee = {http://dx.doi.org/10.1007/978-3-540-87405-8_27},
  pages = {396-410},
  year = {2008},
}