PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Braitling, Bettina"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-based Counterexample Generation for Markov Chains.

, , , , and . MBMV, page 19-28. OFFIS-Institut für Informatik, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bettina Entmooser University of Stuttgart

Dr. Bettina Noll University of Stuttgart

Bettina Klinge University of Stuttgart

Bettina Krucker University of Stuttgart

Dr. -Ing. Bettina Rzepka University of Stuttgart

 

Other publications of authors with the same name

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata., , , , , and . QAPL, volume 154 of EPTCS, page 48-63. (2014)Cost vs. Time in Stochastic Games and Markov Automata., , , , , and . SETTA, volume 9409 of Lecture Notes in Computer Science, page 19-34. Springer, (2015)Bounded Fairness for Probabilistic Distributed Algorithms., , , , , , , and . ACSD, page 89-97. IEEE Computer Society, (2011)Spielbasierte Abstraktion von Markow-Automaten.. University of Freiburg, Germany, (2016)Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking., , and . VMCAI, volume 5403 of Lecture Notes in Computer Science, page 366-380. Springer, (2009)SMT-based Counterexample Generation for Markov Chains., , , , and . MBMV, page 19-28. OFFIS-Institut für Informatik, (2011)SUPERB: Simulator utilizing parallel evaluation of resistive bridges., , , , , and . ACM Trans. Design Autom. Electr. Syst., 14 (4): 56:1-56:21 (2009)Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems., , , , , , , and . QEST, page 27-36. IEEE Computer Society, (2010)Stochastic Bounded Model Checking: Bounded Rewards and Compositionality., , , and . MBMV, page 243-254. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking., , , , and . FMOODS/FORTE, volume 6722 of Lecture Notes in Computer Science, page 75-89. Springer, (2011)