István Majzik

From MaRDI portal
Person:510893

Available identifiers

zbMath Open majzik.istvanMaRDI QIDQ510893

List of research outcomes





PublicationDate of PublicationType
Towards abstraction-based probabilistic program analysis2024-09-11Paper
Saturation Enhanced with Conditional Locality: Application to Petri Nets2024-01-29Paper
Lazy Reachability Checking for Timed Automata with Discrete Variables2023-03-21Paper
Configurable verification of timed automata with discrete variables2022-04-01Paper
Getting the priorities right: saturation for prioritised Petri nets2018-08-20Paper
Lazy reachability checking for timed automata using interpolants2017-12-01Paper
Component-wise incremental LTL model checking2017-02-14Paper
A Configurable CEGAR Framework with Interpolation-Based Refinements2016-10-19Paper
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models2016-10-04Paper
https://portal.mardi4nfdi.de/entity/Q44447072004-01-27Paper
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker2000-08-27Paper
https://portal.mardi4nfdi.de/entity/Q42511141999-06-17Paper
Temporal analysis of data flow control systems1998-11-15Paper

Research outcomes over time

This page was built for person: István Majzik

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:510893&oldid=11951558"
Powered by MediaWiki