Volgen
Andreas Gaiser
Andreas Gaiser
Axivion GmbH
Geverifieerd e-mailadres voor axivion.com
Titel
Geciteerd door
Geciteerd door
Jaar
Proving termination of probabilistic programs using patterns
J Esparza, A Gaiser, S Kiefer
International Conference on Computer Aided Verification, 123-138, 2012
582012
Comparison of algorithms for checking emptiness on Büchi automata
A Gaiser, S Schwoon
arXiv preprint arXiv:0910.3766, 2009
422009
Rabinizer: Small Deterministic Automata for LTL(F,G)
A Gaiser, J Křetínský, J Esparza
International Symposium on Automated Technology for Verification and …, 2012
232012
Computing least fixed points of probabilistic systems of polynomials
J Esparza, A Gaiser, S Kiefer
arXiv preprint arXiv:0912.4226, 2009
212009
Probabilistic abstractions with arbitrary domains
J Esparza, A Gaiser
International Static Analysis Symposium, 334-350, 2011
82011
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars
J Esparza, A Gaiser, S Kiefer
Information Processing Letters 113 (10-11), 381-385, 2013
62013
Verification of Reachability Properties and Termination for Probabilistic Systems
A Gaiser
Technische Universität München, 2013
12013
On least fixed points of systems of positive polynomials
J Esparza, A Gaiser, S Kiefer
ACM Communications in Computer Algebra 43 (3/4), 81-83, 2010
12010
6.3. Probabilistic Verification and Program Analysis.
A Gaiser
Joint Workshop of the German Research Training Groups in Computer Science, 98, 2011
2011
Erreichbarkeitsanalyse funktionaler Programme mit Grundtermersetzungssystemen
A Gaiser
Stuttgart, Universität Stuttgart, Diplomarbeit, 2008
2008
Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten
A Gaiser
Universitätsbibliothek der Universität Stuttgart, 2007
2007
Worst-Case-Gleichgewichte
A Gaiser
2006
wAnalyzer-ein Tool für die Datenflussanalyse
A Gaiser, F Stahr
2004
Probabilistic Abstractions with Arbitrary Domains
A Gaiser, J Esparza
funktionaler Programme mit Grundtermersetzungssystemen
A Gaiser
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15