Andreas Gaiser
Andreas Gaiser
Axivion GmbH
Dirección de correo verificada de axivion.com
Título
Citado por
Citado por
Año
Proving termination of probabilistic programs using patterns
J Esparza, A Gaiser, S Kiefer
International Conference on Computer Aided Verification, 123-138, 2012
482012
Comparison of algorithms for checking emptiness on Büchi automata
A Gaiser, S Schwoon
arXiv preprint arXiv:0910.3766, 2009
342009
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
192012
Computing least fixed points of probabilistic systems of polynomials
J Esparza, A Gaiser, S Kiefer
arXiv preprint arXiv:0912.4226, 2009
172009
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
42013
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
Universitätsbibliothek der Universität Stuttgart, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15