István Majzik

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards abstraction-based probabilistic program analysis Acta Cybernetica	2024-09-11	Paper
Saturation Enhanced with Conditional Locality: Application to Petri Nets Application and Theory of Petri Nets and Concurrency	2024-01-29	Paper
Lazy Reachability Checking for Timed Automata with Discrete Variables Model Checking Software	2023-03-21	Paper
Configurable verification of timed automata with discrete variables Acta Informatica	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 Formal Aspects of Computing	2017-02-14	Paper
A configurable CEGAR framework with interpolation-based refinements Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models Application and Theory of Petri Nets and Concurrency	2016-10-04	Paper
scientific article; zbMATH DE number 2033511 (Why is no real title available?)	2004-01-27	Paper
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker Formal Aspects of Computing	2000-08-27	Paper
scientific article; zbMATH DE number 1304378 (Why is no real title available?)	1999-06-17	Paper
Temporal analysis of data flow control systems Automatica	1998-11-15	Paper

Research outcomes over time

This page was built for person: István Majzik