András Vörös

From MaRDI portal
Person:510890

Available identifiers

zbMath Open voros.andrasDBLP145/5877WikidataQ57100191 ScholiaQ57100191MaRDI QIDQ510890

List of research outcomes





PublicationDate of PublicationType
Supplementary Material for "Iterative Exploration of Distinct Requirement Violation Scenarios for Fault-tolerant Architectures"2023-12-08Dataset
Saturation-Based Incremental LTL Model Checking with Inductive Proofs2019-09-17Paper
Getting the priorities right: saturation for prioritised Petri nets2018-08-20Paper
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
New Search Strategies for the Petri Net CEGAR Approach2015-08-27Paper
Extensions to the CEGAR Approach on Petri Nets2015-01-09Paper

Research outcomes over time

This page was built for person: András Vörös

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