@inproceedings{TothHVMM17,
  title = {Theta: A framework for abstraction refinement-based model checking},
  author = {Tamás Tóth and Ákos Hajdu and András Vörös and Zoltán Micskei and István Majzik},
  year = {2017},
  doi = {10.23919/FMCAD.2017.8102257},
  url = {https://doi.org/10.23919/FMCAD.2017.8102257},
  researchr = {https://researchr.org/publication/TothHVMM17},
  cites = {0},
  citedby = {0},
  pages = {176-179},
  booktitle = {FMCAD},
}

@inproceedings{MicskeiKHSVV14,
  title = {On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf},
  author = {Zoltán Micskei and Raimund-Andreas Konnerth and Benedek Horváth and Oszkár Semeráth and András Vörös and Dániel Varró},
  year = {2014},
  url = {http://ceur-ws.org/Vol-1290/paper3.pdf},
  researchr = {https://researchr.org/publication/MicskeiKHSVV14},
  cites = {0},
  citedby = {0},
  pages = {31-41},
  booktitle = {MoDELS},
}

@article{HajduM20,
  title = {Efficient Strategies for CEGAR-Based Model Checking},
  author = {Ákos Hajdu and Zoltán Micskei},
  year = {2020},
  doi = {10.1007/s10817-019-09535-x},
  url = {https://doi.org/10.1007/s10817-019-09535-x},
  researchr = {https://researchr.org/publication/HajduM20},
  cites = {0},
  citedby = {0},
  journal = {JAR},
  volume = {64},
  number = {6},
  pages = {1051-1091},
}

@inproceedings{KoviM10,
  title = {Robustness Testing of Standard Specifications-Based HA Middleware},
  author = {András Kövi and Zoltán Micskei},
  year = {2010},
  doi = {10.1109/ICDCSW.2010.73},
  url = {http://dx.doi.org/10.1109/ICDCSW.2010.73},
  tags = {rule-based, testing},
  researchr = {https://researchr.org/publication/KoviM10},
  cites = {0},
  citedby = {0},
  pages = {302-306},
  booktitle = {icdcsw},
}

@inproceedings{MicskeiM06,
  title = {Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers},
  author = {Zoltán Micskei and István Majzik},
  year = {2006},
  doi = {10.1109/DEPCOS-RELCOMEX.2006.37},
  url = {http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2006.37},
  tags = {rule-based, testing},
  researchr = {https://researchr.org/publication/MicskeiM06},
  cites = {0},
  citedby = {0},
  pages = {191-198},
  booktitle = {depcos},
}

@article{HonfiM19,
  title = {Classifying generated white-box tests: an exploratory study},
  author = {David Honfi and Zoltán Micskei},
  year = {2019},
  doi = {10.1007/s11219-019-09446-5},
  url = {https://doi.org/10.1007/s11219-019-09446-5},
  researchr = {https://researchr.org/publication/HonfiM19},
  cites = {0},
  citedby = {0},
  journal = {sqj},
  volume = {27},
  number = {3},
  pages = {1339-1380},
}

@article{KocsisPMKK13,
  title = {Analytics of resource transients in cloud-based applications},
  author = {Imre Kocsis and András Pataricza and Zoltán Micskei and András Kövi and Zsolt Kocsis},
  year = {2013},
  doi = {10.1504/IJCC.2013.055267},
  url = {http://dx.doi.org/10.1504/IJCC.2013.055267},
  researchr = {https://researchr.org/publication/KocsisPMKK13},
  cites = {0},
  citedby = {0},
  journal = {ijcc},
  volume = {2},
  number = {2/3},
  pages = {191-212},
}

@inproceedings{HonfiMMM17,
  title = {Model-Based Regression Testing of Autonomous Robots},
  author = {David Honfi and Gábor Molnár and Zoltán Micskei and István Majzik},
  year = {2017},
  doi = {10.1007/978-3-319-68015-6_8},
  url = {https://doi.org/10.1007/978-3-319-68015-6_8},
  researchr = {https://researchr.org/publication/HonfiMMM17},
  cites = {0},
  citedby = {0},
  pages = {119-135},
  booktitle = {sdl},
}

@inproceedings{VorosBRHMBHHMV18,
  title = {MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems},
  author = {András Vörös and Márton Búr and István Ráth and Ákos Horváth and Zoltán Micskei and László Balogh and Bálint Hegyi and Benedek Horváth and Zsolt Mázló and Dániel Varró},
  year = {2018},
  doi = {10.1007/978-3-319-77935-5_31},
  url = {https://doi.org/10.1007/978-3-319-77935-5_31},
  researchr = {https://researchr.org/publication/VorosBRHMBHHMV18},
  cites = {0},
  citedby = {0},
  pages = {460-467},
  booktitle = {NFM},
}

@inproceedings{LaranjeiroGSMCL19,
  title = {Addressing Verification and Validation Challenges in Future Cyber-Physical Systems},
  author = {Nuno Laranjeiro and Camilo Gomez and Enrico Schiavone and Leonardo Montecchi and Manoel J. M. Carvalho and Paolo Lollini and Zoltán Micskei},
  year = {2019},
  doi = {10.1109/LADC48089.2019.8995714},
  url = {https://doi.org/10.1109/LADC48089.2019.8995714},
  researchr = {https://researchr.org/publication/LaranjeiroGSMCL19},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {ladc},
}

@article{MicskeiW11,
  title = {The many meanings of UML 2 Sequence Diagrams: a survey},
  author = {Zoltán Micskei and Hélène Waeselynck},
  year = {2011},
  doi = {10.1007/s10270-010-0157-9},
  url = {http://dx.doi.org/10.1007/s10270-010-0157-9},
  researchr = {https://researchr.org/publication/MicskeiW11},
  cites = {0},
  citedby = {0},
  journal = {SoSyM},
  volume = {10},
  number = {4},
  pages = {489-514},
}

@inproceedings{MajzikSHMSM0BV19,
  title = {Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles},
  author = {István Majzik and Oszkár Semeráth and Csaba Hajdu and Kristóf Marussy and Zoltán Szatmári and Zoltán Micskei and András Vörös 0001 and Aren A. Babikian and Dániel Varró},
  year = {2019},
  doi = {10.1109/MODELS.2019.00-12},
  url = {https://doi.org/10.1109/MODELS.2019.00-12},
  researchr = {https://researchr.org/publication/MajzikSHMSM0BV19},
  cites = {0},
  citedby = {0},
  pages = {89-94},
  booktitle = {MoDELS},
}

@inproceedings{MajzikMP07,
  title = {Development of Model Based Tools to Support the Design of Railway Control Applications},
  author = {István Majzik and Zoltán Micskei and Gergely Pintér},
  year = {2007},
  doi = {10.1007/978-3-540-75101-4_41},
  url = {http://dx.doi.org/10.1007/978-3-540-75101-4_41},
  tags = {rule-based, meta-model, model-driven development, Meta-Environment, design},
  researchr = {https://researchr.org/publication/MajzikMP07},
  cites = {0},
  citedby = {0},
  pages = {430-435},
  booktitle = {safecomp},
}

@inproceedings{CseppentoM15,
  title = {Evaluating Symbolic Execution-Based Test Tools},
  author = {Lajos Cseppento and Zoltán Micskei},
  year = {2015},
  doi = {10.1109/ICST.2015.7102587},
  url = {http://dx.doi.org/10.1109/ICST.2015.7102587},
  researchr = {https://researchr.org/publication/CseppentoM15},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {icst},
}

@inproceedings{HonfiVM15,
  title = {SEViz: A Tool for Visualizing Symbolic Execution},
  author = {David Honfi and András Vörös and Zoltán Micskei},
  year = {2015},
  doi = {10.1109/ICST.2015.7102631},
  url = {http://dx.doi.org/10.1109/ICST.2015.7102631},
  researchr = {https://researchr.org/publication/HonfiVM15},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {icst},
}

@inproceedings{MicskeiMT07,
  title = {Comparing Robustness of AIS-Based Middleware Implementations},
  author = {Zoltán Micskei and István Majzik and Francis Tam},
  year = {2007},
  doi = {10.1007/978-3-540-72736-1_3},
  url = {http://dx.doi.org/10.1007/978-3-540-72736-1_3},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/MicskeiMT07},
  cites = {0},
  citedby = {0},
  pages = {20-30},
  booktitle = {isas},
}

@inproceedings{HoranyiMM13,
  title = {Scenario-based Automated Evaluation of Test Traces of Autonomous Systems},
  author = {Gergo Horányi and Zoltán Micskei and István Majzik},
  year = {2013},
  url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848607},
  researchr = {https://researchr.org/publication/HoranyiMM13},
  cites = {0},
  citedby = {0},
  booktitle = {safecomp},
}

@inproceedings{WaeselynckMRHN10,
  title = {TERMOS: A Formal Language for Scenarios in Mobile Computing Systems},
  author = {Hélène Waeselynck and Zoltán Micskei and Nicolas Riviere and Áron Hamvas and Irina Nitu},
  year = {2010},
  doi = {10.1007/978-3-642-29154-8_24},
  url = {http://dx.doi.org/10.1007/978-3-642-29154-8_24},
  researchr = {https://researchr.org/publication/WaeselynckMRHN10},
  cites = {0},
  citedby = {0},
  pages = {285-296},
  booktitle = {mobiquitous},
}

@inproceedings{KulcsarKTP0MV20,
  title = {From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain},
  author = {Géza Kulcsár and Kadosa Koltai and Szvetlin Tanyi and Bálint Péceli and Ákos Horváth 0001 and Zoltán Micskei and Pál Varga},
  year = {2020},
  doi = {10.1109/NOMS47738.2020.9110310},
  url = {https://doi.org/10.1109/NOMS47738.2020.9110310},
  researchr = {https://researchr.org/publication/KulcsarKTP0MV20},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {noms},
}

@inproceedings{HorvathGHMMRAGK20,
  title = {Model checking as a service: towards pragmatic hidden formal methods},
  author = {Benedek Horváth and Bence Graics and Ákos Hajdu and Zoltán Micskei and Vince Molnár and István Ráth and Luigi Andolfato and Ivan Gomes and Robert Karban},
  year = {2020},
  doi = {10.1145/3417990.3421407},
  url = {https://doi.org/10.1145/3417990.3421407},
  researchr = {https://researchr.org/publication/HorvathGHMMRAGK20},
  cites = {0},
  citedby = {0},
  booktitle = {MoDELS},
}

@inproceedings{PinterMKEKHP07,
  title = {Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services},
  author = {Gergely Pintér and Zoltán Micskei and András Kövi and Zoltán Égel and Imre Kocsis and Gábor Huszerl and András Pataricza},
  year = {2007},
  doi = {10.1007/978-3-540-85571-2_7},
  url = {http://dx.doi.org/10.1007/978-3-540-85571-2_7},
  tags = {rule-based, mobile, systematic-approach},
  researchr = {https://researchr.org/publication/PinterMKEKHP07},
  cites = {0},
  citedby = {0},
  pages = {150-174},
  booktitle = {ICSE},
}

@article{HonfiM20,
  title = {Automated isolation for white-box test generation},
  author = {David Honfi and Zoltán Micskei},
  year = {2020},
  doi = {10.1016/j.infsof.2020.106319},
  url = {https://doi.org/10.1016/j.infsof.2020.106319},
  researchr = {https://researchr.org/publication/HonfiM20},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {125},
  pages = {106319},
}

@incollection{MicskeiMAMVA12,
  title = {Robustness Testing Techniques and Tools},
  author = {Zoltán Micskei and Henrique Madeira and Alberto Avritzer and István Majzik and Marco Vieira and Nuno Antunes},
  year = {2012},
  doi = {10.1007/978-3-642-29032-9_16},
  url = {http://dx.doi.org/10.1007/978-3-642-29032-9_16},
  researchr = {https://researchr.org/publication/MicskeiMAMVA12},
  cites = {0},
  citedby = {0},
  pages = {323-339},
  booktitle = {Resilience Assessment and Evaluation of Computing Systems},
  editor = {Katinka Wolter and Alberto Avritzer and Marco Vieira and Aad P. A. van Moorsel},
  publisher = {Springer},
  isbn = {978-3-642-29032-9},
}

@inproceedings{WaeselynckMNR07,
  title = {Mobile Systems from a Validation Perspective: a Case Study},
  author = {Hélène Waeselynck and Zoltán Micskei and Minh Duc Nguyen and Nicolas Riviere},
  year = {2007},
  doi = {10.1109/ISPDC.2007.37},
  url = {http://dx.doi.org/10.1109/ISPDC.2007.37},
  tags = {case study, mobile},
  researchr = {https://researchr.org/publication/WaeselynckMNR07},
  cites = {0},
  citedby = {0},
  pages = {85-92},
  booktitle = {ispdc},
}

@article{CseppentoM17,
  title = {Evaluating code-based test input generator tools},
  author = {Lajos Cseppento and Zoltán Micskei},
  year = {2017},
  doi = {10.1002/stvr.1627},
  url = {https://doi.org/10.1002/stvr.1627},
  researchr = {https://researchr.org/publication/CseppentoM17},
  cites = {0},
  citedby = {0},
  journal = {stvr},
  volume = {27},
  number = {6},
}

@inproceedings{MicskeiSOM12,
  title = {A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems},
  author = {Zoltán Micskei and Zoltán Szatmári and János Oláh and István Majzik},
  year = {2012},
  doi = {10.1007/978-3-642-30947-2_55},
  url = {http://dx.doi.org/10.1007/978-3-642-30947-2_55},
  researchr = {https://researchr.org/publication/MicskeiSOM12},
  cites = {0},
  citedby = {0},
  pages = {504-513},
  booktitle = {kesamsta},
}