The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bettina Braitling" ( http://dblp.L3S.de/Authors/Bettina_Braitling )

  Author page on DBLP  Author page in RDF  Community of Bettina Braitling in ASPL-2

Publication years (Num. hits)
2009-2017 (12)
Publication types (Num. hits)
article(2) inproceedings(9) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker 0001, Holger Hermanns Cost vs. time in stochastic games and Markov automata. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bettina Braitling Spielbasierte Abstraktion von Markow-Automaten. Search on Bibsonomy 2016   RDF
1Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker 0001 Cost vs. Time in Stochastic Games and Markov Automata. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns Abstraction-Based Computation of Reward Measures for Markov Automata. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Erika Ábrahám Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám SMT-based Counterexample Generation for Markov Chains. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
1Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker 0001 Bounded Fairness for Probabilistic Distributed Algorithms. Search on Bibsonomy ACSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Bettina Braitling, Bernd Becker 0001, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. Search on Bibsonomy QEST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piet Engelke, Bernd Becker 0001, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian SUPERB: Simulator utilizing parallel evaluation of resistive bridges. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF PPSFP, SPPFP, fault mapping, Resistive bridging faults, bridging fault simulation
1Ralf Wimmer, Bettina Braitling, Bernd Becker 0001 Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license