BibTeX records: Zoltán Szatmári

download as .bib file

@inproceedings{DBLP:conf/models/MajzikSHMSM0BV19,
  author    = {Istv{\'{a}}n Majzik and
               Oszk{\'{a}}r Semer{\'{a}}th and
               Csaba Hajdu and
               Krist{\'{o}}f Marussy and
               Zolt{\'{a}}n Szatm{\'{a}}ri and
               Zolt{\'{a}}n Micskei and
               Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
               Aren A. Babikian and
               D{\'{a}}niel Varr{\'{o}}},
  editor    = {Marouane Kessentini and
               Tao Yue and
               Alexander Pretschner and
               Sebastian Voss and
               Loli Burgue{\~{n}}o},
  title     = {Towards System-Level Testing with Coverage Guarantees for Autonomous
               Vehicles},
  booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
               Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
               2019},
  pages     = {89--94},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/MODELS.2019.00-12},
  doi       = {10.1109/MODELS.2019.00-12},
  timestamp = {Mon, 02 Dec 2019 08:27:36 +0100},
  biburl    = {https://dblp.org/rec/conf/models/MajzikSHMSM0BV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SemerathBHSV17,
  author    = {Oszk{\'{a}}r Semer{\'{a}}th and
               {\'{A}}gnes Barta and
               {\'{A}}kos Horv{\'{a}}th and
               Zolt{\'{a}}n Szatm{\'{a}}ri and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {Formal validation of domain-specific languages with derived features
               and well-formedness constraints},
  journal   = {Software and Systems Modeling},
  volume    = {16},
  number    = {2},
  pages     = {357--392},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10270-015-0485-x},
  doi       = {10.1007/s10270-015-0485-x},
  timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sosym/SemerathBHSV17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcc/KocsisTSDPG16,
  author    = {Imre Kocsis and
               {\'{A}}ron T{\'{o}}th and
               Zolt{\'{a}}n Szatm{\'{a}}ri and
               Tam{\'{a}}s Dab{\'{o}}czi and
               Andr{\'{a}}s Pataricza and
               G{\'{a}}bor Guta},
  title     = {Towards cyber-physical system technologies over Apache {VCL}},
  journal   = {{IJCC}},
  volume    = {5},
  number    = {1/2},
  pages     = {91--111},
  year      = {2016},
  url       = {https://doi.org/10.1504/IJCC.2016.075101},
  doi       = {10.1504/IJCC.2016.075101},
  timestamp = {Sat, 06 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijcc/KocsisTSDPG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/UjhelyiBHHIRSV15,
  author    = {Zolt{\'{a}}n Ujhelyi and
               G{\'{a}}bor Bergmann and
               {\'{A}}bel Heged{\"{u}}s and
               {\'{A}}kos Horv{\'{a}}th and
               Benedek Izs{\'{o}} and
               Istv{\'{a}}n R{\'{a}}th and
               Zolt{\'{a}}n Szatm{\'{a}}ri and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {EMF-IncQuery: An integrated development environment for live model
               queries},
  journal   = {Sci. Comput. Program.},
  volume    = {98},
  pages     = {80--99},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.01.004},
  doi       = {10.1016/j.scico.2014.01.004},
  timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/UjhelyiBHHIRSV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/GallinaS15,
  author    = {Barbara Gallina and
               Zolt{\'{a}}n Szatm{\'{a}}ri},
  editor    = {Pekka Abrahamsson and
               Luis Corral and
               Markku Oivo and
               Barbara Russo},
  title     = {Ontology-Based Identification of Commonalities and Variabilities Among
               Safety Processes},
  booktitle = {Product-Focused Software Process Improvement - 16th International
               Conference, {PROFES} 2015, Bolzano, Italy, December 2-4, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9459},
  pages     = {182--189},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26844-6\_13},
  doi       = {10.1007/978-3-319-26844-6\_13},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/profes/GallinaS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/IzsoSBHR13,
  author    = {Benedek Izs{\'{o}} and
               Zolt{\'{a}}n Szatm{\'{a}}ri and
               G{\'{a}}bor Bergmann and
               {\'{A}}kos Horv{\'{a}}th and
               Istv{\'{a}}n R{\'{a}}th},
  editor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  title     = {Towards precise metrics for predicting graph query performance},
  booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  pages     = {421--431},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693100},
  doi       = {10.1109/ASE.2013.6693100},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/IzsoSBHR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/MicskeiSOM12,
  author    = {Zolt{\'{a}}n Micskei and
               Zolt{\'{a}}n Szatm{\'{a}}ri and
               J{\'{a}}nos Ol{\'{a}}h and
               Istv{\'{a}}n Majzik},
  editor    = {Gordan Jezic and
               Mario Kusek and
               Ngoc Thanh Nguyen and
               Robert J. Howlett and
               Lakhmi C. Jain},
  title     = {A Concept for Testing Robustness and Safety of the Context-Aware Behaviour
               of Autonomous Systems},
  booktitle = {Agent and Multi-Agent Systems. Technologies and Applications - 6th
               {KES} International Conference, {KES-AMSTA} 2012,Dubrovnik, Croatia,
               June 25-27, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7327},
  pages     = {504--513},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30947-2\_55},
  doi       = {10.1007/978-3-642-30947-2\_55},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/kesamsta/MicskeiSOM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/IzsoSBHRV12,
  author    = {Benedek Izs{\'{o}} and
               Zolt{\'{a}}n Szatm{\'{a}}ri and
               G{\'{a}}bor Bergmann and
               {\'{A}}kos Horv{\'{a}}th and
               Istv{\'{a}}n R{\'{a}}th and
               D{\'{a}}niel Varr{\'{o}}},
  editor    = {Mira Balaban and
               Jordi Cabot and
               Martin Gogolla and
               Claas Wilke},
  title     = {Ontology driven design of {EMF} metamodels and well-formedness constraints},
  booktitle = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
               Austria, September 30, 2012},
  pages     = {37--42},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2428516.2428523},
  doi       = {10.1145/2428516.2428523},
  timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/models/IzsoSBHRV12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SzatmariOM11,
  author    = {Zolt{\'{a}}n Szatm{\'{a}}ri and
               J{\'{a}}nos Ol{\'{a}}h and
               Istv{\'{a}}n Majzik},
  editor    = {Jean{-}Louis Ferrier and
               Alain Bernard and
               Oleg Yu. Gusikhin and
               Kurosh Madani},
  title     = {Ontology-based Test Data Generation using Metaheuristics},
  booktitle = {{ICINCO} 2011 - Proceedings of the 8th International Conference on
               Informatics in Control, Automation and Robotics, Volume 2, Noordwijkerhout,
               The Netherlands, 28 - 31 July, 2011},
  pages     = {217--222},
  publisher = {SciTePress},
  year      = {2011},
  timestamp = {Wed, 02 May 2012 08:27:36 +0200},
  biburl    = {https://dblp.org/rec/conf/icinco/SzatmariOM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/PatariczaGKS11,
  author    = {Andr{\'{a}}s Pataricza and
               L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
               Andr{\'{a}}s K{\"{o}}vi and
               Zolt{\'{a}}n Szatm{\'{a}}ri},
  editor    = {Ladjel Bellatreche and
               Filipe Mota Pinto},
  title     = {A Methodology for Standards-Driven Metamodel Fusion},
  booktitle = {Model and Data Engineering - First International Conference, {MEDI}
               2011, {\'{O}}bidos, Portugal, September 28-30, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6918},
  pages     = {270--277},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24443-8\_28},
  doi       = {10.1007/978-3-642-24443-8\_28},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/medi/PatariczaGKS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics