![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Zoltán Micskei
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c23]Levente Bajczi
, Zsófia Ádám
, Zoltán Micskei
:
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). TACAS (3) 2024: 330-334 - 2023
- [j9]Benedek Horváth
, Vince Molnár
, Bence Graics
, Ákos Hajdu
, István Ráth
, Ákos Horváth
, Robert Karban, Gelys Trancho, Zoltán Micskei
:
Pragmatic verification and validation of industrial executable SysML models. Syst. Eng. 26(6): 693-714 (2023) - [j8]Márton Elekes
, Vince Molnár, Zoltán Micskei
:
Assessing the specification of modelling language semantics: a study on UML PSSM. Softw. Qual. J. 31(2): 575-617 (2023) - [i3]Márton Elekes, Vince Molnár, Zoltán Micskei:
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines. CoRR abs/2309.14884 (2023) - 2021
- [c22]Márton Elekes
, Zoltán Micskei
:
Towards Testing the UML PSSM Test Suite. LADC 2021: 1-4 - 2020
- [j7]David Honfi
, Zoltán Micskei
:
Automated isolation for white-box test generation. Inf. Softw. Technol. 125: 106319 (2020) - [j6]Ákos Hajdu
, Zoltán Micskei
:
Efficient Strategies for CEGAR-Based Model Checking. J. Autom. Reason. 64(6): 1051-1091 (2020) - [c21]Benedek Horváth
, Bence Graics
, Ákos Hajdu
, Zoltán Micskei, Vince Molnár
, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban:
Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) 2020: 37:1-37:5 - [c20]Géza Kulcsár, Kadosa Koltai, Szvetlin Tanyi, Bálint Péceli, Ákos Horváth, Zoltán Micskei, Pál Varga:
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain. NOMS 2020: 1-6
2010 – 2019
- 2019
- [j5]David Honfi
, Zoltán Micskei
:
Classifying generated white-box tests: an exploratory study. Softw. Qual. J. 27(3): 1339-1380 (2019) - [c19]Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone
, Leonardo Montecchi
, Manoel J. M. Carvalho, Paolo Lollini
, Zoltán Micskei:
Addressing Verification and Validation Challenges in Future Cyber-Physical Systems. LADC 2019: 1-2 - [c18]István Majzik, Oszkár Semeráth, Csaba Hajdu
, Kristóf Marussy
, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró
:
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS 2019: 89-94 - [i2]David Honfi, Zoltán Micskei:
Automated Isolation for White-box Test Generation. CoRR abs/1910.02513 (2019) - 2018
- [c17]András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth
, Zsolt Mázló, Dániel Varró
:
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. NFM 2018: 460-467 - 2017
- [j4]David Honfi, Zoltán Micskei:
Supporting Unit Test Generation via Automated Isolation. Period. Polytech. Electr. Eng. Comput. Sci. 61(2): 116-131 (2017) - [j3]Lajos Cseppento, Zoltán Micskei
:
Evaluating code-based test input generator tools. Softw. Test. Verification Reliab. 27(6) (2017) - [c16]Tamás Tóth
, Ákos Hajdu
, András Vörös, Zoltán Micskei, István Majzik:
Theta: A framework for abstraction refinement-based model checking. FMCAD 2017: 176-179 - [c15]David Honfi, Gábor Molnár, Zoltán Micskei, István Majzik:
Model-Based Regression Testing of Autonomous Robots. SDL Forum 2017: 119-135 - [c14]Gyula Sallai
, Ákos Hajdu
, Tamás Tóth
, Zoltán Micskei:
Towards Evaluating Size Reduction Techniques for Software Model Checking. VPT@ETAPS 2017: 75-91 - [i1]David Honfi, Zoltán Micskei:
Classifying the Correctness of Generated White-Box Tests: An Exploratory Study. CoRR abs/1706.02217 (2017) - 2015
- [c13]Lajos Cseppento, Zoltán Micskei:
Evaluating Symbolic Execution-Based Test Tools. ICST 2015: 1-10 - [c12]David Honfi, András Vörös
, Zoltán Micskei:
SEViz: A Tool for Visualizing Symbolic Execution. ICST 2015: 1-8 - 2014
- [c11]Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth
, Oszkár Semeráth, András Vörös, Dániel Varró:
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS 2014: 31-41 - 2013
- [b1]Zoltán Micskei:
Nyelvek és keretrendszerek tesztek specifikálására. Budapest University of Technology and Economics, Hungary, 2013 - [j2]Imre Kocsis, András Pataricza, Zoltán Micskei, András Kövi, Zsolt Kocsis:
Analytics of resource transients in cloud-based applications. Int. J. Cloud Comput. 2(2/3): 191-212 (2013) - [c10]Gergo Horányi, Zoltán Micskei, István Majzik:
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems. DECS@SAFECOMP 2013 - 2012
- [c9]Zoltán Micskei
, Zoltán Szatmári, János Oláh, István Majzik
:
A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems. KES-AMSTA 2012: 504-513 - [p1]Zoltán Micskei, Henrique Madeira, Alberto Avritzer, István Majzik, Marco Vieira, Nuno Antunes
:
Robustness Testing Techniques and Tools. Resilience Assessment and Evaluation of Computing Systems 2012: 323-339 - 2011
- [j1]Zoltán Micskei
, Hélène Waeselynck:
The many meanings of UML 2 Sequence Diagrams: a survey. Softw. Syst. Model. 10(4): 489-514 (2011) - 2010
- [c8]András Kövi, Zoltán Micskei
:
Robustness Testing of Standard Specifications-Based HA Middleware. ICDCS Workshops 2010: 302-306 - [c7]Hélène Waeselynck, Zoltán Micskei, Nicolas Rivière, Áron Hamvas, Irina Nitu:
TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. MobiQuitous 2010: 285-296
2000 – 2009
- 2008
- [c6]László Gönczy, István Majzik
, Ákos Horváth, Dániel Varró
, András Balogh, Zoltán Micskei
, András Pataricza
:
Tool Support for Engineering Certifiable Software. SafeCert@ETAPS 2008: 79-85 - 2007
- [c5]Gergely Pintér, Zoltán Micskei
, András Kövi, Zoltán Égel, Imre Kocsis
, Gábor Huszerl
, András Pataricza
:
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. WADS 2007: 150-174 - [c4]Zoltán Micskei, István Majzik, Francis Tam:
Comparing Robustness of AIS-Based Middleware Implementations. ISAS 2007: 20-30 - [c3]Hélène Waeselynck, Zoltán Micskei
, Minh Duc Nguyen, Nicolas Rivière:
Mobile Systems from a Validation Perspective: a Case Study. ISPDC 2007: 85-92 - [c2]István Majzik, Zoltán Micskei, Gergely Pintér:
Development of Model Based Tools to Support the Design of Railway Control Applications. SAFECOMP 2007: 430-435 - 2006
- [c1]Zoltán Micskei
, István Majzik
:
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. DepCoS-RELCOMEX 2006: 191-198
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint