István Majzik

Available identifiers

zbMath Open majzik.istvanMaRDI QIDQ510893

List of research outcomes

Publication	Date of Publication	Type
Saturation Enhanced with Conditional Locality: Application to Petri Nets	2024-01-29	Paper
Lazy Reachability Checking for Timed Automata with Discrete Variables	2023-03-21	Paper
Configurable verification of timed automata with discrete variables	2022-04-01	Paper
Getting the priorities right: saturation for prioritised Petri nets	2018-08-20	Paper
Lazy reachability checking for timed automata using interpolants	2017-12-01	Paper
Component-wise incremental LTL model checking	2017-02-14	Paper
A Configurable CEGAR Framework with Interpolation-Based Refinements	2016-10-19	Paper
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models	2016-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4444707	2004-01-27	Paper
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker	2000-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4251114	1999-06-17	Paper
Temporal analysis of data flow control systems	1998-11-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: István Majzik