default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIstván Majzik
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c60]Dániel Szekeres
, Kristóf Marussy, István Majzik:
A Lazy Abstraction Algorithm for Markov Decision Processes - Theory and Initial Evaluation. ASMTA 2024: 81-96- [i1]Dániel Szekeres, Kristóf Marussy, István Majzik:
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation. CoRR abs/2406.00824 (2024) - 2023
- [j16]Dániel Szekeres, István Majzik:
Towards Abstraction-based Probabilistic Program Analysis. Acta Cybern. 26(3): 671-711 (2023) - [j15]Bence Graics, Vince Molnár, István Majzik:
Component-based specification, design and verification of adaptive systems. Syst. Eng. 26(5): 567-589 (2023) - [c59]Bence Graics, Milán Mondok, Vince Molnár, István Majzik:
Model-Based Testing of Asynchronously Communicating Distributed Controllers. FACS 2023: 23-44 - [c58]Bence Graics, Vince Molnár, István Majzik:
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. FMICS 2023: 76-95 - 2022
- [j14]Tamás Tóth, István Majzik:
Configurable verification of timed automata with discrete variables. Acta Informatica 59(1): 1-35 (2022) - [c57]Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
System architecture synthesis for performability by logic solvers. MoDELS 2022: 43-54 - [d2]Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". Zenodo, 2022
- [d1]Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". Zenodo, 2022 - 2021
- [c56]Dániel Szekeres, Kristóf Marussy, István Majzik:
Tensor-based reliability analysis of complex static fault trees. EDCC 2021: 33-40 - 2020
- [j13]Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró:
Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. 19(6): 1483-1517 (2020)
2010 – 2019
- 2019
- [c55]Vince Molnár, István Majzik:
Saturation Enhanced with Conditional Locality: Application to Petri Nets. Petri Nets 2019: 342-361 - [c54]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 - 2018
- [j12]András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik:
Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157: 17-40 (2018) - [c53]Kristóf Marussy, István Majzik:
Constructing Dependability Analysis Models of Reconfigurable Production Systems. CASE 2018: 1158-1163 - [c52]Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró:
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. ICSE (Companion Volume) 2018: 113-116 - [c51]Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini:
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. ISoLA (4) 2018: 249-272 - [c50]Tamás Tóth, István Majzik:
Lazy Reachability Checking for Timed Automata with Discrete Variables. SPIN 2018: 235-254 - 2017
- [j11]Vince Molnár, István Majzik:
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms. Period. Polytech. Electr. Eng. Comput. Sci. 61(2): 132-150 (2017) - [j10]Dániel Darvas, István Majzik, Enrique Blanco Viñuela:
PLC Program Translation for Verification Purposes. Period. Polytech. Electr. Eng. Comput. Sci. 61(2): 151-165 (2017) - [j9]Tamás Tóth, István Majzik:
Formal Verification of Real-Time Systems with Data Processing. Period. Polytech. Electr. Eng. Comput. Sci. 61(2): 166-174 (2017) - [c49]Kristóf Marussy, Vince Molnár, András Vörös, István Majzik:
Getting the Priorities Right: Saturation for Prioritised Petri Nets. Petri Nets 2017: 223-242 - [c48]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 - [c47]Tamás Tóth, István Majzik:
Lazy Reachability Checking for Timed Automata Using Interpolants. FORMATS 2017: 264-280 - [c46]David Honfi, Gábor Molnár, Zoltán Micskei, István Majzik:
Model-Based Regression Testing of Autonomous Robots. SDL Forum 2017: 119-135 - [c45]Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik:
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. FESCA@ETAPS 2017: 31-45 - 2016
- [j8]Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik:
Component-wise incremental LTL model checking. Formal Aspects Comput. 28(3): 345-379 (2016) - [c44]András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik:
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Petri Nets 2016: 123-132 - [c43]Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek:
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. Petri Nets 2016: 281-300 - [c42]Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik:
A Configurable CEGAR Framework with Interpolation-Based Refinements. FORTE 2016: 158-174 - [c41]Dániel Darvas, István Majzik, Enrique Blanco Viñuela:
Formal Verification of Safety PLC Based Control Software. IFM 2016: 508-522 - [c40]Dániel Darvas, Enrique Blanco Viñuela, István Majzik:
PLC code generation based on a formal specification language. INDIN 2016: 389-396 - [c39]Dániel Darvas, István Majzik, Enrique Blanco Viñuela:
Conformance checking for programmable logic controller programs and specifications. SIES 2016: 29-36 - 2015
- [c38]Tamás Tóth, András Vörös, István Majzik:
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol. SERENE 2015: 31-45 - 2014
- [e1]István Majzik, Marco Vieira:
Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings. Lecture Notes in Computer Science 8785, Springer 2014, ISBN 978-3-319-12240-3 [contents] - 2013
- [c37]Tamás Tóth, András Vörös, István Majzik:
K-Induction Based Verification of Real-Time Safety Critical Systems. DepCoS-RELCOMEX 2013: 469-478 - [c36]Gergo Horányi, Zoltán Micskei, István Majzik:
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems. DECS@SAFECOMP 2013 - 2012
- [c35]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 - [p2]Andrea Bondavalli, Paolo Lollini, István Majzik, Leonardo Montecchi:
Modelling and Model-Based Assessment. Resilience Assessment and Evaluation of Computing Systems 2012: 153-165 - [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
- [j7]Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, István Majzik, Hans-Peter Schwefel:
The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE Trans. Mob. Comput. 10(6): 783-796 (2011) - [c34]Zoltán Szatmári, János Oláh, István Majzik:
Ontology-based Test Data Generation using Metaheuristics. ICINCO (2) 2011: 217-222 - [c33]János Oláh, István Majzik:
Search-Based Functional Test Data Generation Using Data Metamodel. SSBSE 2011: 273 - 2010
- [c32]András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró:
Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering 2010: 224-248 - [c31]Balázs Polgár, István Ráth, István Majzik:
Model-based Integration Framework for Development and Testing Tool-chains. FORMS/FORMAT 2010: 227-235
2000 – 2009
- 2009
- [c30]János Oláh, István Majzik:
A Model Based Framework for Specifying and Executing Fault Injection Experiments. DepCoS-RELCOMEX 2009: 107-114 - [c29]Henrique Madeira, István Majzik:
From assessment to standardised benchmarking: Will it happen? What could we do about it? DSN 2009: 295-296 - [c28]Melinda Magyar, István Majzik:
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach. QEST 2009: 95-96 - 2008
- [c27]Andrea Ceccarelli, István Majzik, Danilo Iovino, Fausto Caneschi, Gergely Pintér, Andrea Bondavalli:
A Resilient SIL 2 Driver Machine Interface for Train Control Systems. DepCoS-RELCOMEX 2008: 365-374 - [c26]Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel:
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). DSN 2008: 542-543 - [c25]Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli:
An integrated framework for the dependability evaluation of distributed mobile applications. SERENE 2008: 29-38 - [c24]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
- [c23]Zoltán Micskei, István Majzik, Francis Tam:
Comparing Robustness of AIS-Based Middleware Implementations. ISAS 2007: 20-30 - [c22]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
- [c21]Péter Domokos, István Majzik:
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation. ARCS Workshops 2006: 66-75 - [c20]Zoltán Micskei, István Majzik:
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. DepCoS-RELCOMEX 2006: 191-198 - 2005
- [j6]Zsigmond Pap, István Majzik, András Pataricza, András Szegi:
Methods of checking general safety criteria in UML statechart specifications. Reliab. Eng. Syst. Saf. 87(1): 89-107 (2005) - [c19]Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza:
A Data Mining Approach to Identify Key Factors in Dependability Experiments. EDCC 2005: 263-280 - [c18]Péter Domokos, István Majzik:
Design and Analysis of Fault Tolerant Architectures by Model Weaving. HASE 2005: 15-24 - [c17]Gergely Pintér, István Majzik:
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. HASE 2005: 111-120 - 2004
- [c16]Gergely Pintér, István Majzik:
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms. EUROMICRO 2004: 136-143 - [c15]Gergely Pintér, István Majzik:
Modeling and Analysis of Exception Handling by Using UML Statecharts. FIDJI 2004: 58-67 - [c14]Gergely Pintér, István Majzik:
Runtime Verification of Statechart Implementations. WADS 2004: 148-172 - [c13]István Majzik, Gergely Pintér, Péter Tamás Kovács:
UML Based Design of Time Triggered Systems. ISORC 2004: 60-63 - 2002
- [j5]Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin:
Quantitative Analysis of UML Statechart Models of Dependable Systems. Comput. J. 45(3): 260-277 (2002) - [c12]István Majzik, Gábor Huszerl:
Towards Dependability Modeling of FT-CORBA Architectures. EDCC 2002: 121-139 - [c11]István Majzik, András Pataricza, Andrea Bondavalli:
Stochastic Dependability Analysis of System Architecture Based on UML Models. WADS 2002: 219-244 - [c10]György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró:
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE 2002: 267-270 - 2001
- [j4]Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia:
Dependability analysis in the early phases of UML-based system design. Comput. Syst. Sci. Eng. 16(5): 265-275 (2001) - [c9]Gábor Huszerl, István Majzik:
Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. EUROMICRO 2001: 200-207 - [c8]Zsigmond Pap, István Majzik, András Pataricza:
Checking General Safety Criteria on UML Statecharts. SAFECOMP 2001: 46-55 - 2000
- [c7]Gábor Huszerl, István Majzik:
Quantitative analysis of dependability critical systems based on UML statechart models. HASE 2000: 83-92
1990 – 1999
- 1999
- [j3]Diego Latella, István Majzik, Mieke Massink:
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspects Comput. 11(6): 637-664 (1999) - [c6]Diego Latella, István Majzik, Mieke Massink:
Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS 1999 - [c5]Andrea Bondavalli, Ivan Mura, István Majzik:
Automatic Dependability Analysis for Supporting Design Decisions in UML. HASE 1999: 64-74 - [c4]Andrea Bondavalli, Ivan Mura, István Majzik:
Automated Dependability Analysis of UML Designs. ISORC 1999: 139- - 1998
- [j2]Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini:
Temporal analysis of data flow control systems. Autom. 34(2): 169-182 (1998) - 1996
- [c3]B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini:
Reachability and Timing Analysis in Data Flow Networks: A Case Study. EUROMICRO 1996: 193- - [c2]István Majzik:
Software Monitoring and Debugging Using Compressed Signature Sequences. EUROMICRO 1996: 311-318 - 1994
- [c1]István Majzik, András Pataricza, Mario Dal Cin, Wolfgang Hohl, Joachim Hönig, Volkmar Sieh:
Hierarchical Checking of Multiprocessors Using Watchdog Processors. EDCC 1994: 386-403 - 1993
- [j1]András Pataricza, István Majzik, Wolfgang Hohl, Joachim Hönig:
Watchdog processors in parallel systems. Microprocess. Microprogramming 39(2-5): 69-74 (1993)
Coauthor Index
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-11-07 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
