István Majzik
Orcid: 0000-0002-1184-2882
According to our database1,
István Majzik
authored at least 80 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Lazy Abstraction Algorithm for Markov Decision Processes - Theory and Initial Evaluation.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2024
2023
Syst. Eng., September, 2023
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023
2022
Dataset, July, 2022
Dataset, July, 2022
Acta Informatica, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
2021
Proceedings of the 17th European Dependable Computing Conference, 2021
2020
Mixed-semantics composition of statecharts for the component-based design of reactive systems.
Softw. Syst. Model., 2020
2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Sci. Comput. Program., 2018
Proceedings of the Model Checking Software - 25th International Symposium, 2018
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
2017
Period. Polytech. Electr. Eng. Comput. Sci., 2017
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms.
Period. Polytech. Electr. Eng. Comput. Sci., 2017
Period. Polytech. Electr. Eng. Comput. Sci., 2017
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers.
Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017
Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
2016
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
2015
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015
2013
Proceedings of the SAFECOMP 2013, 2013
Proceedings of the New Results in Dependability and Computer Systems, 2013
2012
A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems.
Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
2011
IEEE Trans. Mob. Comput., 2011
Proceedings of the Search Based Software Engineering - Third International Symposium, 2011
Ontology-based Test Data Generation using Metaheuristics.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Noordwijkerhout, The Netherlands, 28, 2011
2010
Proceedings of the FORMS/FORMAT 2010, 2010
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
2009
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach.
Proceedings of the QEST 2009, 2009
From assessment to standardised benchmarking: Will it happen? What could we do about it?
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009
2008
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008
An integrated framework for the dependability evaluation of distributed mobile applications.
Proceedings of the SERENE 2008, 2008
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008).
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008
2007
Development of Model Based Tools to Support the Design of Railway Control Applications.
Proceedings of the Computer Safety, 2007
Proceedings of the Service Availability, 4th International Service Availability Symposium, 2007
2006
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers.
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation.
Proceedings of the ARCS 2006, 2006
2005
Reliab. Eng. Syst. Saf., 2005
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005
Proceedings of the Dependable Computing, 2005
2004
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004
Proceedings of the Scientific Engineering of Distributed Java Applications, 2004
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004
2002
Comput. J., 2002
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002
Proceedings of the Dependable Computing, 2002
2001
Dependability analysis in the early phases of UML-based system design.
Comput. Syst. Sci. Eng., 2001
Proceedings of the Computer Safety, 2001
Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts.
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001
2000
Quantitative analysis of dependability critical systems based on UML statechart models.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000
1999
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.
Formal Aspects Comput., 1999
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999
Towards a Formal Operational Semantics of UML Statechart Diagrams.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
1998
1996
Proceedings of the 22rd EUROMICRO Conference '96, 1996
Proceedings of the 22rd EUROMICRO Conference '96, 1996
1994
Proceedings of the Dependable Computing, 1994
1993