Stefan Gruner

zbMath Opengruner.stefanWikidataQ102232574 ScholiaQ102232574MaRDI QIDQ832016

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
Constraint reusing and \(k\)-induction for three-valued bounded model checking	2023-08-02	Paper
Model checking of concurrent software systems via heuristic-guided SAT solving	2022-11-04	Paper
Spotlight abstraction in model checking real-time task schedulability	2022-03-24	Paper
A bounded model checker for three-valued abstractions of concurrent software systems	2018-09-27	Paper
Parameterisation of three-valued abstractions	2016-04-01	Paper
Instantiation reduction in iterative parameterised three-valued model checking	2016-04-01	Paper
Abstraction, refinement, enrichment	2014-07-10	Paper
Visualization of distributed algorithms based on graph relabelling systems	2013-05-10	Paper
Mobile Agents Implementing Local Computations in Graphs	2008-11-20	Paper
scientific article; zbMATH DE number 2090118 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1670632 (Why is no real title available?)	2001-12-09	Paper
A schematic and grammatical correspondence method for the specification of consistent distributed data models	2001-07-05	Paper
scientific article; zbMATH DE number 3386505 (Why is no real title available?)	1971-01-01	Paper

Research outcomes over time

This page was built for person: Stefan Gruner