var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fdblp.org%2Fpid%2F242%2F3911.bib&jsonp=1&noBootstrap=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fdblp.org%2Fpid%2F242%2F3911.bib&jsonp=1&noBootstrap=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fdblp.org%2Fpid%2F242%2F3911.bib&jsonp=1&noBootstrap=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2024\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search.\n \n \n \n \n\n\n \n Babikian, A. A.; Semeráth, O.; and Varró, D.\n\n\n \n\n\n\n IEEE Trans. Software Eng., 50(1): 48–68. 2024.\n \n\n\n\n
\n\n\n\n \n \n \"ConcretizationPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/tse/BabikianSV24,\n  author       = {Aren A. Babikian and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Concretization of Abstract Traffic Scene Specifications Using Metaheuristic\n                  Search},\n  journal      = {{IEEE} Trans. Software Eng.},\n  volume       = {50},\n  number       = {1},\n  pages        = {48--68},\n  year         = {2024},\n  url          = {https://doi.org/10.1109/TSE.2023.3331254},\n  doi          = {10.1109/TSE.2023.3331254},\n  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/tse/BabikianSV24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Refining Abstract Specifications into Dangerous Traffic Scenarios.\n \n \n \n \n\n\n \n Babikian, A. A.\n\n\n \n\n\n\n In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024, pages 456–458, 2024. ACM\n \n\n\n\n
\n\n\n\n \n \n \"RefiningPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icse/Babikian24,\n  author       = {Aren A. Babikian},\n  title        = {Refining Abstract Specifications into Dangerous Traffic Scenarios},\n  booktitle    = {Proceedings of the 2024 {IEEE/ACM} 46th International Conference on\n                  Software Engineering: Companion Proceedings, {ICSE} Companion 2024,\n                  Lisbon, Portugal, April 14-20, 2024},\n  pages        = {456--458},\n  publisher    = {{ACM}},\n  year         = {2024},\n  url          = {https://doi.org/10.1145/3639478.3641224},\n  doi          = {10.1145/3639478.3641224},\n  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icse/Babikian24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing.\n \n \n \n \n\n\n \n Hou-Liu, J.; Jiang, Z.; and Babikian, A. A.\n\n\n \n\n\n\n In Wimmer, M.; Egyed, A.; Combemale, B.; and Chechik, M., editor(s), Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024, pages 66–70, 2024. ACM\n \n\n\n\n
\n\n\n\n \n \n \"Concretize:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/models/Hou-LiuJB24,\n  author       = {Jerry Hou{-}Liu and\n                  Zhekai Jiang and\n                  Aren A. Babikian},\n  editor       = {Manuel Wimmer and\n                  Alexander Egyed and\n                  Beno{\\^{\\i}}t Combemale and\n                  Marsha Chechik},\n  title        = {Concretize: {A} Model-Driven Tool for Scenario-Based Autonomous Vehicle\n                  Testing},\n  booktitle    = {Proceedings of the {ACM/IEEE} 27th International Conference on Model\n                  Driven Engineering Languages and Systems, {MODELS} Companion 2024,\n                  Linz, Austria, September 22-27, 2024},\n  pages        = {66--70},\n  publisher    = {{ACM}},\n  year         = {2024},\n  url          = {https://doi.org/10.1145/3652620.3687793},\n  doi          = {10.1145/3652620.3687793},\n  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/models/Hou-LiuJB24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track.\n \n \n \n \n\n\n \n Babikian, A. A.; and Varró, D.\n\n\n \n\n\n\n In Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, SBFT 2024, Lisbon, Portugal, 14 April 2024, pages 73–74, 2024. ACM\n \n\n\n\n
\n\n\n\n \n \n \"OptAnglePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/sbst/BabikianV24,\n  author       = {Aren A. Babikian and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {OptAngle at the {SBFT} 2024 Tool Competition - Cyber-Physical Systems\n                  Track},\n  booktitle    = {Proceedings of the 17th {ACM/IEEE} International Workshop on Search-Based\n                  and Fuzz Testing, {SBFT} 2024, Lisbon, Portugal, 14 April 2024},\n  pages        = {73--74},\n  publisher    = {{ACM}},\n  year         = {2024},\n  url          = {https://doi.org/10.1145/3643659.3648561},\n  doi          = {10.1145/3643659.3648561},\n  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/sbst/BabikianV24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Artifacts for the paper \"Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition\" (Version 1).\n \n \n \n \n\n\n \n Babikian, A. A.; Ficsor, A.; Semeráth, O.; Mussbacher, G.; and Varró, D.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.13286657, August 2024.\n Accessed on YYYY-MM-DD.\n\n\n\n
\n\n\n\n \n \n \"ArtifactsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@misc{DBLP:data/11/BabikianFSMV24,\n  author       = {Aren A. Babikian and\n                  Attila Ficsor and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  Gunter Mussbacher and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Artifacts for the paper "Automated and Complete Generation of Traffic\n                  Scenarios at Road Junctions Using a Multi-level Danger Definition"\n                  (Version 1)},\n  publisher    = {Zenodo},\n  year         = {2024},\n  month        = aug,\n  howpublished = {\\url{https://doi.org/10.5281/zenodo.13286657}},\n  note         = {Accessed on YYYY-MM-DD.},\n  url          = {https://doi.org/10.5281/zenodo.13286657},\n  doi          = {10.5281/ZENODO.13286657},\n  timestamp    = {Wed, 19 Mar 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/data/11/BabikianFSMV24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Artifacts for the paper \"Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search\" (Version 4).\n \n \n \n \n\n\n \n Babikian, A. A.; Semeráth, O.; and Varró, D.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.10667878, February 2024.\n Accessed on YYYY-MM-DD.\n\n\n\n
\n\n\n\n \n \n \"ArtifactsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@misc{DBLP:data/11/BabikianSV24,\n  author       = {Aren A. Babikian and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Artifacts for the paper "Concretization of Abstract Traffic Scene\n                  Specifications Using Metaheuristic Search" (Version 4)},\n  publisher    = {Zenodo},\n  year         = {2024},\n  month        = feb,\n  howpublished = {\\url{https://doi.org/10.5281/zenodo.10667878}},\n  note         = {Accessed on YYYY-MM-DD.},\n  url          = {https://doi.org/10.5281/zenodo.10667878},\n  doi          = {10.5281/ZENODO.10667878},\n  timestamp    = {Wed, 19 Feb 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/data/11/BabikianSV24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition.\n \n \n \n \n\n\n \n Babikian, A. A.; Ficsor, A.; Semeráth, O.; Mussbacher, G.; and Varró, D.\n\n\n \n\n\n\n CoRR, abs/2410.07079. 2024.\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2410-07079,\n  author       = {Aren A. Babikian and\n                  Attila Ficsor and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  Gunter Mussbacher and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Automated and Complete Generation of Traffic Scenarios at Road Junctions\n                  Using a Multi-level Danger Definition},\n  journal      = {CoRR},\n  volume       = {abs/2410.07079},\n  year         = {2024},\n  url          = {https://doi.org/10.48550/arXiv.2410.07079},\n  doi          = {10.48550/ARXIV.2410.07079},\n  eprinttype    = {arXiv},\n  eprint       = {2410.07079},\n  timestamp    = {Tue, 19 Nov 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2410-07079.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2023\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search.\n \n \n \n \n\n\n \n Babikian, A. A.; Semeráth, O.; and Varró, D.\n\n\n \n\n\n\n CoRR, abs/2307.07826. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"ConcretizationPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2307-07826,\n  author       = {Aren A. Babikian and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Concretization of Abstract Traffic Scene Specifications Using Metaheuristic\n                  Search},\n  journal      = {CoRR},\n  volume       = {abs/2307.07826},\n  year         = {2023},\n  url          = {https://doi.org/10.48550/arXiv.2307.07826},\n  doi          = {10.48550/ARXIV.2307.07826},\n  eprinttype    = {arXiv},\n  eprint       = {2307.07826},\n  timestamp    = {Tue, 25 Jul 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-07826.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Automated generation of consistent models using qualitative abstractions and exploration strategies.\n \n \n \n \n\n\n \n Babikian, A. A.; Semeráth, O.; Li, A.; Marussy, K.; and Varró, D.\n\n\n \n\n\n\n Softw. Syst. Model., 21(5): 1763–1787. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/sosym/BabikianSLMV22,\n  author       = {Aren A. Babikian and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  Anqi Li and\n                  Krist{\\'{o}}f Marussy and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Automated generation of consistent models using qualitative abstractions\n                  and exploration strategies},\n  journal      = {Softw. Syst. Model.},\n  volume       = {21},\n  number       = {5},\n  pages        = {1763--1787},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/s10270-021-00918-6},\n  doi          = {10.1007/S10270-021-00918-6},\n  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/sosym/BabikianSLMV22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Artifacts for the paper \"Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization\" (Version 1).\n \n \n \n \n\n\n \n Babikian, A. A.; Semeráth, O.; and Varró, D.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.6345283, March 2022.\n Accessed on YYYY-MM-DD.\n\n\n\n
\n\n\n\n \n \n \"ArtifactsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@misc{DBLP:data/10/BabikianSV22,\n  author       = {Aren A. Babikian and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Artifacts for the paper "Concretization of Abstract Traffic Scene\n                  Specifications Using Multi-objective Optimization" (Version 1)},\n  publisher    = {Zenodo},\n  year         = {2022},\n  month        = mar,\n  howpublished = {\\url{https://doi.org/10.5281/zenodo.6345283}},\n  note         = {Accessed on YYYY-MM-DD.},\n  url          = {https://doi.org/10.5281/zenodo.6345283},\n  doi          = {10.5281/ZENODO.6345283},\n  timestamp    = {Thu, 12 Dec 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/data/10/BabikianSV22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Artifacts for the paper \"Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization\" (Version 2).\n \n \n \n \n\n\n \n Babikian, A. A.; Semeráth, O.; and Varró, D.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.6993691, March 2022.\n Accessed on YYYY-MM-DD.\n\n\n\n
\n\n\n\n \n \n \"ArtifactsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@misc{DBLP:data/10/BabikianSV22a,\n  author       = {Aren A. Babikian and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Artifacts for the paper "Concretization of Abstract Traffic Scene\n                  Specifications Using Multi-objective Optimization" (Version 2)},\n  publisher    = {Zenodo},\n  year         = {2022},\n  month        = mar,\n  howpublished = {\\url{https://doi.org/10.5281/zenodo.6993691}},\n  note         = {Accessed on YYYY-MM-DD.},\n  url          = {https://doi.org/10.5281/zenodo.6993691},\n  doi          = {10.5281/ZENODO.6993691},\n  timestamp    = {Thu, 12 Dec 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/data/10/BabikianSV22a.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Artifacts for the paper \"Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search\" (Version 3).\n \n \n \n \n\n\n \n Babikian, A. A.; Semeráth, O.; and Varró, D.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.7960892, March 2022.\n Accessed on YYYY-MM-DD.\n\n\n\n
\n\n\n\n \n \n \"ArtifactsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@misc{DBLP:data/10/BabikianSV22b,\n  author       = {Aren A. Babikian and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Artifacts for the paper "Concretization of Abstract Traffic Scene\n                  Specifications Using Metaheuristic Search" (Version 3)},\n  publisher    = {Zenodo},\n  year         = {2022},\n  month        = mar,\n  howpublished = {\\url{https://doi.org/10.5281/zenodo.7960892}},\n  note         = {Accessed on YYYY-MM-DD.},\n  url          = {https://doi.org/10.5281/zenodo.7960892},\n  doi          = {10.5281/ZENODO.7960892},\n  timestamp    = {Thu, 12 Dec 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/data/10/BabikianSV22b.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Automated generation of consistent, diverse and structurally realistic graph models.\n \n \n \n \n\n\n \n Semeráth, O.; Babikian, A. A.; Chen, B.; Li, C.; Marussy, K.; Szárnyas, G.; and Varró, D.\n\n\n \n\n\n\n Softw. Syst. Model., 20(5): 1713–1734. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/sosym/SemerathBCLMSV21,\n  author       = {Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  Aren A. Babikian and\n                  Boqi Chen and\n                  Chuning Li and\n                  Krist{\\'{o}}f Marussy and\n                  G{\\'{a}}bor Sz{\\'{a}}rnyas and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Automated generation of consistent, diverse and structurally realistic\n                  graph models},\n  journal      = {Softw. Syst. Model.},\n  volume       = {20},\n  number       = {5},\n  pages        = {1713--1734},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/s10270-021-00884-z},\n  doi          = {10.1007/S10270-021-00884-Z},\n  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/sosym/SemerathBCLMSV21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Specification Language for Consistent Model Generation based on Partial Models.\n \n \n \n \n\n\n \n Marussy, K.; Semeráth, O.; Babikian, A. A.; and Varró, D.\n\n\n \n\n\n\n J. Object Technol., 19(3): 3:1–22. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/jot/MarussySBV20,\n  author       = {Krist{\\'{o}}f Marussy and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  Aren A. Babikian and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {A Specification Language for Consistent Model Generation based on\n                  Partial Models},\n  journal      = {J. Object Technol.},\n  volume       = {19},\n  number       = {3},\n  pages        = {3:1--22},\n  year         = {2020},\n  url          = {https://doi.org/10.5381/jot.2020.19.3.a12},\n  doi          = {10.5381/JOT.2020.19.3.A12},\n  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/jot/MarussySBV20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.\n \n \n \n \n\n\n \n Babikian, A. A.; Semeráth, O.; and Varró, D.\n\n\n \n\n\n\n In Wehrheim, H.; and Cabot, J., editor(s), Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, volume 12076, of Lecture Notes in Computer Science, pages 441–461, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/fase/BabikianSV20,\n  author       = {Aren A. Babikian and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  editor       = {Heike Wehrheim and\n                  Jordi Cabot},\n  title        = {Automated Generation of Consistent Graph Models with First-Order Logic\n                  Theorem Provers},\n  booktitle    = {Fundamental Approaches to Software Engineering - 23rd International\n                  Conference, {FASE} 2020, Held as Part of the European Joint Conferences\n                  on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,\n                  April 25-30, 2020, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12076},\n  pages        = {441--461},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-45234-6\\_22},\n  doi          = {10.1007/978-3-030-45234-6\\_22},\n  timestamp    = {Fri, 14 May 2021 08:34:14 +0200},\n  biburl       = {https://dblp.org/rec/conf/fase/BabikianSV20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles.\n \n \n \n \n\n\n \n Babikian, A. A.\n\n\n \n\n\n\n In Guerra, E.; and Iovino, L., editor(s), MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings, pages 24:1–24:7, 2020. ACM\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/models/Babikian20,\n  author       = {Aren A. Babikian},\n  editor       = {Esther Guerra and\n                  Ludovico Iovino},\n  title        = {Automated generation of test scenario models for the system-level\n                  safety assurance of autonomous vehicles},\n  booktitle    = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven\n                  Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,\n                  2020, Companion Proceedings},\n  pages        = {24:1--24:7},\n  publisher    = {{ACM}},\n  year         = {2020},\n  url          = {https://doi.org/10.1145/3417990.3419484},\n  doi          = {10.1145/3417990.3419484},\n  timestamp    = {Wed, 23 Feb 2022 12:16:51 +0100},\n  biburl       = {https://dblp.org/rec/conf/models/Babikian20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated generation of consistent models with structural and attribute constraints.\n \n \n \n \n\n\n \n Semeráth, O.; Babikian, A. A.; Li, A.; Marussy, K.; and Varró, D.\n\n\n \n\n\n\n In Syriani, E.; Sahraoui, H. A.; de Lara, J.; and Abrahão, S., editor(s), MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, pages 187–199, 2020. ACM\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/models/SemerathBLMV20,\n  author       = {Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  Aren A. Babikian and\n                  Anqi Li and\n                  Krist{\\'{o}}f Marussy and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  editor       = {Eugene Syriani and\n                  Houari A. Sahraoui and\n                  Juan de Lara and\n                  Silvia Abrah{\\~{a}}o},\n  title        = {Automated generation of consistent models with structural and attribute\n                  constraints},\n  booktitle    = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven\n                  Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,\n                  2020},\n  pages        = {187--199},\n  publisher    = {{ACM}},\n  year         = {2020},\n  url          = {https://doi.org/10.1145/3365438.3410962},\n  doi          = {10.1145/3365438.3410962},\n  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/models/SemerathBLMV20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Artifacts for \"Automated Generation of Consistent Models with Structural and Attribute Constraints\" (Version 1).\n \n \n \n \n\n\n \n Semeráth, O.; Babikian, A. A.; Li, A.; Marussy, K.; and Varró, D.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.3950552, July 2020.\n Accessed on YYYY-MM-DD.\n\n\n\n
\n\n\n\n \n \n \"ArtifactsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@misc{DBLP:data/10/SemerathBLMV20,\n  author       = {Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  Aren A. Babikian and\n                  Anqi Li and\n                  Krist{\\'{o}}f Marussy and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  title        = {Artifacts for "Automated Generation of Consistent Models with Structural\n                  and Attribute Constraints" (Version 1)},\n  publisher    = {Zenodo},\n  year         = {2020},\n  month        = jul,\n  howpublished = {\\url{https://doi.org/10.5281/zenodo.3950552}},\n  note         = {Accessed on YYYY-MM-DD.},\n  url          = {https://doi.org/10.5281/zenodo.3950552},\n  doi          = {10.5281/ZENODO.3950552},\n  timestamp    = {Thu, 19 Sep 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/data/10/SemerathBLMV20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Viatra solver: a framework for the automated generation of consistent domain-specific models.\n \n \n \n \n\n\n \n Semeráth, O.; Babikian, A. A.; Pilarski, S.; and Varró, D.\n\n\n \n\n\n\n In Atlee, J. M.; Bultan, T.; and Whittle, J., editor(s), Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pages 43–46, 2019. IEEE / ACM\n \n\n\n\n
\n\n\n\n \n \n \"ViatraPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icse/SemerathBPV19,\n  author       = {Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  Aren A. Babikian and\n                  Sebastian Pilarski and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  editor       = {Joanne M. Atlee and\n                  Tevfik Bultan and\n                  Jon Whittle},\n  title        = {Viatra solver: a framework for the automated generation of consistent\n                  domain-specific models},\n  booktitle    = {Proceedings of the 41st International Conference on Software Engineering:\n                  Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31,\n                  2019},\n  pages        = {43--46},\n  publisher    = {{IEEE} / {ACM}},\n  year         = {2019},\n  url          = {https://doi.org/10.1109/ICSE-Companion.2019.00034},\n  doi          = {10.1109/ICSE-COMPANION.2019.00034},\n  timestamp    = {Tue, 24 May 2022 15:28:49 +0200},\n  biburl       = {https://dblp.org/rec/conf/icse/SemerathBPV19.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles.\n \n \n \n \n\n\n \n Majzik, I.; Semeráth, O.; Hajdu, C.; Marussy, K.; Szatmári, Z.; Micskei, Z.; Vörös, A.; Babikian, A. A.; and Varró, D.\n\n\n \n\n\n\n In Kessentini, M.; Yue, T.; Pretschner, A.; Voss, S.; and Burgueño, L., editor(s), 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019, pages 89–94, 2019. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/models/MajzikSHMSM0BV19,\n  author       = {Istv{\\'{a}}n Majzik and\n                  Oszk{\\'{a}}r Semer{\\'{a}}th and\n                  Csaba Hajdu and\n                  Krist{\\'{o}}f Marussy and\n                  Zolt{\\'{a}}n Szatm{\\'{a}}ri and\n                  Zolt{\\'{a}}n Micskei and\n                  Andr{\\'{a}}s V{\\"{o}}r{\\"{o}}s and\n                  Aren A. Babikian and\n                  D{\\'{a}}niel Varr{\\'{o}}},\n  editor       = {Marouane Kessentini and\n                  Tao Yue and\n                  Alexander Pretschner and\n                  Sebastian Voss and\n                  Loli Burgue{\\~{n}}o},\n  title        = {Towards System-Level Testing with Coverage Guarantees for Autonomous\n                  Vehicles},\n  booktitle    = {22nd {ACM/IEEE} International Conference on Model Driven Engineering\n                  Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,\n                  2019},\n  pages        = {89--94},\n  publisher    = {{IEEE}},\n  year         = {2019},\n  url          = {https://doi.org/10.1109/MODELS.2019.00-12},\n  doi          = {10.1109/MODELS.2019.00-12},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/models/MajzikSHMSM0BV19.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);