Stefan Gruner

Available identifiers

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
https://portal.mardi4nfdi.de/entity/Q5169573	2014-07-10	Paper
Visualization of Distributed Algorithms Based on Graph Relabelling Systems1 1This work has been supported by the European TMR research network GETGRATS, and by the “Conseil Régional d' Aquitane”.	2013-05-10	Paper
Mobile Agents Implementing Local Computations in Graphs	2008-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4808810	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q2753903	2001-12-09	Paper
A schematic and grammatical correspondence method for the specification of consistent distributed data models	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q5656035	1971-01-01	Paper

This page was built for person: Stefan Gruner