publications:
- title: "Theta: A framework for abstraction refinement-based model checking"
  author:
  - name: "Tamás Tóth"
    link: "https://researchr.org/alias/tam%C3%A1s-t%C3%B3th"
  - name: "Ákos Hajdu"
    link: "https://researchr.org/alias/%C3%A1kos-hajdu"
  - name: "András Vörös"
    link: "https://researchr.org/alias/andr%C3%A1s-v%C3%B6r%C3%B6s"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  year: "2017"
  doi: "https://doi.org/10.23919/FMCAD.2017.8102257"
  links:
    doi: "https://doi.org/10.23919/FMCAD.2017.8102257"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/TothHVMM17"
  researchr: "https://researchr.org/publication/TothHVMM17"
  cites: 0
  citedby: 0
  pages: "176-179"
  booktitle: "FMCAD"
  kind: "inproceedings"
  key: "TothHVMM17"
- title: "On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf"
  author:
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "Raimund-Andreas Konnerth"
    link: "https://researchr.org/alias/raimund-andreas-konnerth"
  - name: "Benedek Horváth"
    link: "https://researchr.org/alias/benedek-horv%C3%A1th"
  - name: "Oszkár Semeráth"
    link: "https://researchr.org/alias/oszk%C3%A1r-semer%C3%A1th"
  - name: "András Vörös"
    link: "https://researchr.org/alias/andr%C3%A1s-v%C3%B6r%C3%B6s"
  - name: "Dániel Varró"
    link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3"
  year: "2014"
  doi: "http://ceur-ws.org/Vol-1290/paper3.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-1290/paper3.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/MicskeiKHSVV14"
  researchr: "https://researchr.org/publication/MicskeiKHSVV14"
  cites: 0
  citedby: 0
  pages: "31-41"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "MicskeiKHSVV14"
- title: "Efficient Strategies for CEGAR-Based Model Checking"
  author:
  - name: "Ákos Hajdu"
    link: "https://researchr.org/alias/%C3%A1kos-hajdu"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  year: "2020"
  doi: "https://doi.org/10.1007/s10817-019-09535-x"
  links:
    doi: "https://doi.org/10.1007/s10817-019-09535-x"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jar/HajduM20"
  researchr: "https://researchr.org/publication/HajduM20"
  cites: 0
  citedby: 0
  journal: "JAR"
  volume: "64"
  number: "6"
  pages: "1051-1091"
  kind: "article"
  key: "HajduM20"
- title: "Robustness Testing of Standard Specifications-Based HA Middleware"
  author:
  - name: "András Kövi"
    link: "https://researchr.org/alias/andr%C3%A1s-k%C3%B6vi"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICDCSW.2010.73"
  links:
    doi: "http://dx.doi.org/10.1109/ICDCSW.2010.73"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icdcsw/KoviM10"
  tags:
  - "rule-based"
  - "testing"
  researchr: "https://researchr.org/publication/KoviM10"
  cites: 0
  citedby: 0
  pages: "302-306"
  booktitle: "icdcsw"
  kind: "inproceedings"
  key: "KoviM10"
- title: "Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers"
  author:
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2006.37"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MicskeiM06"
- title: "Classifying generated white-box tests: an exploratory study"
  author:
  - name: "David Honfi"
    link: "https://researchr.org/alias/david-honfi"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  year: "2019"
  doi: "https://doi.org/10.1007/s11219-019-09446-5"
  links:
    doi: "https://doi.org/10.1007/s11219-019-09446-5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sqj/HonfiM19"
  researchr: "https://researchr.org/publication/HonfiM19"
  cites: 0
  citedby: 0
  journal: "sqj"
  volume: "27"
  number: "3"
  pages: "1339-1380"
  kind: "article"
  key: "HonfiM19"
- title: "Analytics of resource transients in cloud-based applications"
  author:
  - name: "Imre Kocsis"
    link: "https://researchr.org/alias/imre-kocsis"
  - name: "András Pataricza"
    link: "https://researchr.org/alias/andr%C3%A1s-pataricza"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "András Kövi"
    link: "https://researchr.org/alias/andr%C3%A1s-k%C3%B6vi"
  - name: "Zsolt Kocsis"
    link: "https://researchr.org/alias/zsolt-kocsis"
  year: "2013"
  doi: "http://dx.doi.org/10.1504/IJCC.2013.055267"
  links:
    doi: "http://dx.doi.org/10.1504/IJCC.2013.055267"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ijcc/KocsisPMKK13"
  researchr: "https://researchr.org/publication/KocsisPMKK13"
  cites: 0
  citedby: 0
  journal: "ijcc"
  volume: "2"
  number: "2/3"
  pages: "191-212"
  kind: "article"
  key: "KocsisPMKK13"
- title: "Model-Based Regression Testing of Autonomous Robots"
  author:
  - name: "David Honfi"
    link: "https://researchr.org/alias/david-honfi"
  - name: "Gábor Molnár"
    link: "https://researchr.org/alias/g%C3%A1bor-moln%C3%A1r"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  year: "2017"
  doi: "https://doi.org/10.1007/978-3-319-68015-6_8"
  links:
    doi: "https://doi.org/10.1007/978-3-319-68015-6_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sdl/HonfiMMM17"
  researchr: "https://researchr.org/publication/HonfiMMM17"
  cites: 0
  citedby: 0
  pages: "119-135"
  booktitle: "sdl"
  kind: "inproceedings"
  key: "HonfiMMM17"
- title: "MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems"
  author:
  - name: "András Vörös"
    link: "https://researchr.org/alias/andr%C3%A1s-v%C3%B6r%C3%B6s"
  - name: "Márton Búr"
    link: "https://researchr.org/alias/m%C3%A1rton-b%C3%BAr"
  - name: "István Ráth"
    link: "https://researchr.org/alias/istv%C3%A1n-r%C3%A1th"
  - name: "Ákos Horváth"
    link: "https://researchr.org/alias/%C3%A1kos-horv%C3%A1th"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "László Balogh"
    link: "https://researchr.org/alias/l%C3%A1szl%C3%B3-balogh"
  - name: "Bálint Hegyi"
    link: "https://researchr.org/alias/b%C3%A1lint-hegyi"
  - name: "Benedek Horváth"
    link: "https://researchr.org/alias/benedek-horv%C3%A1th"
  - name: "Zsolt Mázló"
    link: "https://researchr.org/alias/zsolt-m%C3%A1zl%C3%B3"
  - name: "Dániel Varró"
    link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3"
  year: "2018"
  doi: "https://doi.org/10.1007/978-3-319-77935-5_31"
  links:
    doi: "https://doi.org/10.1007/978-3-319-77935-5_31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nfm/VorosBRHMBHHMV18"
  researchr: "https://researchr.org/publication/VorosBRHMBHHMV18"
  cites: 0
  citedby: 0
  pages: "460-467"
  booktitle: "NFM"
  kind: "inproceedings"
  key: "VorosBRHMBHHMV18"
- title: "Addressing Verification and Validation Challenges in Future Cyber-Physical Systems"
  author:
  - name: "Nuno Laranjeiro"
    link: "https://researchr.org/alias/nuno-laranjeiro"
  - name: "Camilo Gomez"
    link: "https://researchr.org/alias/camilo-gomez"
  - name: "Enrico Schiavone"
    link: "https://researchr.org/alias/enrico-schiavone"
  - name: "Leonardo Montecchi"
    link: "https://researchr.org/alias/leonardo-montecchi"
  - name: "Manoel J. M. Carvalho"
    link: "https://researchr.org/alias/manoel-j.-m.-carvalho"
  - name: "Paolo Lollini"
    link: "https://researchr.org/alias/paolo-lollini"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  year: "2019"
  doi: "https://doi.org/10.1109/LADC48089.2019.8995714"
  links:
    doi: "https://doi.org/10.1109/LADC48089.2019.8995714"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ladc/LaranjeiroGSMCL19"
  researchr: "https://researchr.org/publication/LaranjeiroGSMCL19"
  cites: 0
  citedby: 0
  pages: "1-2"
  booktitle: "ladc"
  kind: "inproceedings"
  key: "LaranjeiroGSMCL19"
- title: "The many meanings of UML 2 Sequence Diagrams: a survey"
  author:
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "Hélène Waeselynck"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-waeselynck"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/s10270-010-0157-9"
  links:
    doi: "http://dx.doi.org/10.1007/s10270-010-0157-9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sosym/MicskeiW11"
  researchr: "https://researchr.org/publication/MicskeiW11"
  cites: 0
  citedby: 0
  journal: "SoSyM"
  volume: "10"
  number: "4"
  pages: "489-514"
  kind: "article"
  key: "MicskeiW11"
- title: "Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles"
  author:
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  - name: "Oszkár Semeráth"
    link: "https://researchr.org/alias/oszk%C3%A1r-semer%C3%A1th"
  - name: "Csaba Hajdu"
    link: "https://researchr.org/alias/csaba-hajdu"
  - name: "Kristóf Marussy"
    link: "https://researchr.org/alias/krist%C3%B3f-marussy"
  - name: "Zoltán Szatmári"
    link: "https://researchr.org/alias/zolt%C3%A1n-szatm%C3%A1ri"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "András Vörös 0001"
    link: "https://researchr.org/alias/andr%C3%A1s-v%C3%B6r%C3%B6s-0001"
  - name: "Aren A. Babikian"
    link: "https://researchr.org/alias/aren-a.-babikian"
  - name: "Dániel Varró"
    link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3"
  year: "2019"
  doi: "https://doi.org/10.1109/MODELS.2019.00-12"
  links:
    doi: "https://doi.org/10.1109/MODELS.2019.00-12"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/MajzikSHMSM0BV19"
  researchr: "https://researchr.org/publication/MajzikSHMSM0BV19"
  cites: 0
  citedby: 0
  pages: "89-94"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "MajzikSHMSM0BV19"
- title: "Development of Model Based Tools to Support the Design of Railway Control Applications"
  author:
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "Gergely Pintér"
    link: "https://researchr.org/alias/gergely-pint%C3%A9r"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75101-4_41"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MajzikMP07"
- title: "Evaluating Symbolic Execution-Based Test Tools"
  author:
  - name: "Lajos Cseppento"
    link: "https://researchr.org/alias/lajos-cseppento"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/ICST.2015.7102587"
  links:
    doi: "http://dx.doi.org/10.1109/ICST.2015.7102587"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/CseppentoM15"
  researchr: "https://researchr.org/publication/CseppentoM15"
  cites: 0
  citedby: 0
  pages: "1-10"
  booktitle: "icst"
  kind: "inproceedings"
  key: "CseppentoM15"
- title: "SEViz: A Tool for Visualizing Symbolic Execution"
  author:
  - name: "David Honfi"
    link: "https://researchr.org/alias/david-honfi"
  - name: "András Vörös"
    link: "https://researchr.org/alias/andr%C3%A1s-v%C3%B6r%C3%B6s"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/ICST.2015.7102631"
  links:
    doi: "http://dx.doi.org/10.1109/ICST.2015.7102631"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/HonfiVM15"
  researchr: "https://researchr.org/publication/HonfiVM15"
  cites: 0
  citedby: 0
  pages: "1-8"
  booktitle: "icst"
  kind: "inproceedings"
  key: "HonfiVM15"
- title: "Comparing Robustness of AIS-Based Middleware Implementations"
  author:
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  - name: "Francis Tam"
    link: "https://researchr.org/alias/francis-tam"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72736-1_3"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MicskeiMT07"
- title: "Scenario-based Automated Evaluation of Test Traces of Autonomous Systems"
  author:
  - name: "Gergo Horányi"
    link: "https://researchr.org/alias/gergo-hor%C3%A1nyi"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  year: "2013"
  doi: "http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848607"
  links:
    doi: "http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848607"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/safecomp/HoranyiMM13"
  researchr: "https://researchr.org/publication/HoranyiMM13"
  cites: 0
  citedby: 0
  booktitle: "safecomp"
  kind: "inproceedings"
  key: "HoranyiMM13"
- title: "TERMOS: A Formal Language for Scenarios in Mobile Computing Systems"
  author:
  - name: "Hélène Waeselynck"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-waeselynck"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "Nicolas Riviere"
    link: "https://researchr.org/alias/nicolas-riviere"
  - name: "Áron Hamvas"
    link: "https://researchr.org/alias/%C3%A1ron-hamvas"
  - name: "Irina Nitu"
    link: "https://researchr.org/alias/irina-nitu"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-29154-8_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-29154-8_24"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mobiquitous/WaeselynckMRHN10"
  researchr: "https://researchr.org/publication/WaeselynckMRHN10"
  cites: 0
  citedby: 0
  pages: "285-296"
  booktitle: "mobiquitous"
  kind: "inproceedings"
  key: "WaeselynckMRHN10"
- title: "From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain"
  author:
  - name: "Géza Kulcsár"
    link: "https://researchr.org/alias/g%C3%A9za-kulcs%C3%A1r"
  - name: "Kadosa Koltai"
    link: "https://researchr.org/alias/kadosa-koltai"
  - name: "Szvetlin Tanyi"
    link: "https://researchr.org/alias/szvetlin-tanyi"
  - name: "Bálint Péceli"
    link: "https://researchr.org/alias/b%C3%A1lint-p%C3%A9celi"
  - name: "Ákos Horváth 0001"
    link: "https://researchr.org/alias/%C3%A1kos-horv%C3%A1th-0001"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "Pál Varga"
    link: "https://researchr.org/alias/p%C3%A1l-varga"
  year: "2020"
  doi: "https://doi.org/10.1109/NOMS47738.2020.9110310"
  links:
    doi: "https://doi.org/10.1109/NOMS47738.2020.9110310"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/noms/KulcsarKTP0MV20"
  researchr: "https://researchr.org/publication/KulcsarKTP0MV20"
  cites: 0
  citedby: 0
  pages: "1-6"
  booktitle: "noms"
  kind: "inproceedings"
  key: "KulcsarKTP0MV20"
- title: "Model checking as a service: towards pragmatic hidden formal methods"
  author:
  - name: "Benedek Horváth"
    link: "https://researchr.org/alias/benedek-horv%C3%A1th"
  - name: "Bence Graics"
    link: "https://researchr.org/alias/bence-graics"
  - name: "Ákos Hajdu"
    link: "https://researchr.org/alias/%C3%A1kos-hajdu"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "Vince Molnár"
    link: "https://researchr.org/alias/vince-moln%C3%A1r"
  - name: "István Ráth"
    link: "https://researchr.org/alias/istv%C3%A1n-r%C3%A1th"
  - name: "Luigi Andolfato"
    link: "https://researchr.org/alias/luigi-andolfato"
  - name: "Ivan Gomes"
    link: "https://researchr.org/alias/ivan-gomes"
  - name: "Robert Karban"
    link: "https://researchr.org/alias/robert-karban"
  year: "2020"
  doi: "https://doi.org/10.1145/3417990.3421407"
  links:
    doi: "https://doi.org/10.1145/3417990.3421407"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/HorvathGHMMRAGK20"
  researchr: "https://researchr.org/publication/HorvathGHMMRAGK20"
  cites: 0
  citedby: 0
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "HorvathGHMMRAGK20"
- title: "Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services"
  author:
  - name: "Gergely Pintér"
    link: "https://researchr.org/alias/gergely-pint%C3%A9r"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "András Kövi"
    link: "https://researchr.org/alias/andr%C3%A1s-k%C3%B6vi"
  - name: "Zoltán Égel"
    link: "https://researchr.org/alias/zolt%C3%A1n-%C3%A9gel"
  - name: "Imre Kocsis"
    link: "https://researchr.org/alias/imre-kocsis"
  - name: "Gábor Huszerl"
    link: "https://researchr.org/alias/g%C3%A1bor-huszerl"
  - name: "András Pataricza"
    link: "https://researchr.org/alias/andr%C3%A1s-pataricza"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-85571-2_7"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PinterMKEKHP07"
- title: "Automated isolation for white-box test generation"
  author:
  - name: "David Honfi"
    link: "https://researchr.org/alias/david-honfi"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  year: "2020"
  doi: "https://doi.org/10.1016/j.infsof.2020.106319"
  links:
    doi: "https://doi.org/10.1016/j.infsof.2020.106319"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/infsof/HonfiM20"
  researchr: "https://researchr.org/publication/HonfiM20"
  cites: 0
  citedby: 0
  journal: "INFSOF"
  volume: "125"
  pages: "106319"
  kind: "article"
  key: "HonfiM20"
- title: "Robustness Testing Techniques and Tools"
  author:
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "Henrique Madeira"
    link: "https://researchr.org/alias/henrique-madeira"
  - name: "Alberto Avritzer"
    link: "https://researchr.org/alias/alberto-avritzer"
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  - name: "Marco Vieira"
    link: "https://researchr.org/alias/marco-vieira"
  - name: "Nuno Antunes"
    link: "https://researchr.org/alias/nuno-antunes"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-29032-9_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-29032-9_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/sp/wolter2012/MicskeiMAMVA12"
  researchr: "https://researchr.org/publication/MicskeiMAMVA12"
  cites: 0
  citedby: 0
  pages: "323-339"
  booktitle: "Resilience Assessment and Evaluation of Computing Systems"
  editor:
  - name: "Katinka Wolter"
    link: "https://researchr.org/alias/katinka-wolter"
  - name: "Alberto Avritzer"
    link: "https://researchr.org/alias/alberto-avritzer"
  - name: "Marco Vieira"
    link: "https://researchr.org/alias/marco-vieira"
  - name: "Aad P. A. van Moorsel"
    link: "https://researchr.org/alias/aad-p.-a.-van-moorsel"
  publisher: "Springer"
  isbn: "978-3-642-29032-9"
  kind: "incollection"
  key: "MicskeiMAMVA12"
- title: "Mobile Systems from a Validation Perspective: a Case Study"
  author:
  - name: "Hélène Waeselynck"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-waeselynck"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "Minh Duc Nguyen"
    link: "https://researchr.org/alias/minh-duc-nguyen"
  - name: "Nicolas Riviere"
    link: "https://researchr.org/alias/nicolas-riviere"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/ISPDC.2007.37"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "WaeselynckMNR07"
- title: "Evaluating code-based test input generator tools"
  author:
  - name: "Lajos Cseppento"
    link: "https://researchr.org/alias/lajos-cseppento"
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  year: "2017"
  doi: "https://doi.org/10.1002/stvr.1627"
  links:
    doi: "https://doi.org/10.1002/stvr.1627"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/stvr/CseppentoM17"
  researchr: "https://researchr.org/publication/CseppentoM17"
  cites: 0
  citedby: 0
  journal: "stvr"
  volume: "27"
  number: "6"
  kind: "article"
  key: "CseppentoM17"
- title: "A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems"
  author:
  - name: "Zoltán Micskei"
    link: "http://mit.bme.hu/~micskeiz/"
  - name: "Zoltán Szatmári"
    link: "https://researchr.org/alias/zolt%C3%A1n-szatm%C3%A1ri"
  - name: "János Oláh"
    link: "https://researchr.org/alias/j%C3%A1nos-ol%C3%A1h"
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-30947-2_55"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-30947-2_55"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kesamsta/MicskeiSOM12"
  researchr: "https://researchr.org/publication/MicskeiSOM12"
  cites: 0
  citedby: 0
  pages: "504-513"
  booktitle: "kesamsta"
  kind: "inproceedings"
  key: "MicskeiSOM12"