BibTeX records: Bettina Braitling

download as .bib file

@article{DBLP:journals/fac/HatefiWBFBH17,
  author       = {Hassan Hatefi and
                  Ralf Wimmer and
                  Bettina Braitling and
                  Luis Mar{\'{\i}}a Ferrer Fioriti and
                  Bernd Becker and
                  Holger Hermanns},
  title        = {Cost vs. time in stochastic games and Markov automata},
  journal      = {Formal Aspects Comput.},
  volume       = {29},
  number       = {4},
  pages        = {629--649},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00165-016-0411-1},
  doi          = {10.1007/S00165-016-0411-1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HatefiWBFBH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Braitling16,
  author       = {Bettina Braitling},
  title        = {Spielbasierte Abstraktion von Markow-Automaten},
  school       = {University of Freiburg, Germany},
  year         = {2016},
  url          = {https://www.freidok.uni-freiburg.de/data/11272},
  urn          = {urn:nbn:de:bsz:25-freidok-112724},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Braitling16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/HatefiBWFHB15,
  author       = {Hassan Hatefi and
                  Bettina Braitling and
                  Ralf Wimmer and
                  Luis Mar{\'{\i}}a Ferrer Fioriti and
                  Holger Hermanns and
                  Bernd Becker},
  editor       = {Xuandong Li and
                  Zhiming Liu and
                  Wang Yi},
  title        = {Cost vs. Time in Stochastic Games and Markov Automata},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - First International Symposium, {SETTA} 2015, Nanjing, China, November
                  4-6, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9409},
  pages        = {19--34},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25942-0\_2},
  doi          = {10.1007/978-3-319-25942-0\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/HatefiBWFHB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BraitlingFHWBH15,
  author       = {Bettina Braitling and
                  Luis Mar{\'{\i}}a Ferrer Fioriti and
                  Hassan Hatefi and
                  Ralf Wimmer and
                  Bernd Becker and
                  Holger Hermanns},
  editor       = {Deepak D'Souza and
                  Akash Lal and
                  Kim Guldstrand Larsen},
  title        = {Abstraction-Based Computation of Reward Measures for Markov Automata},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 16th International
                  Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8931},
  pages        = {172--189},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46081-8\_10},
  doi          = {10.1007/978-3-662-46081-8\_10},
  timestamp    = {Tue, 07 May 2024 20:11:13 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/BraitlingFHWBH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BraitlingFHWBH14,
  author       = {Bettina Braitling and
                  Luis Mar{\'{\i}}a Ferrer Fioriti and
                  Hassan Hatefi and
                  Ralf Wimmer and
                  Bernd Becker and
                  Holger Hermanns},
  editor       = {Nathalie Bertrand and
                  Luca Bortolussi},
  title        = {MeGARA: Menu-based Game Abstraction and Abstraction Refinement of
                  Markov Automata},
  booktitle    = {Proceedings Twelfth International Workshop on Quantitative Aspects
                  of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
                  12-13 April 2014},
  series       = {{EPTCS}},
  volume       = {154},
  pages        = {48--63},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.154.4},
  doi          = {10.4204/EPTCS.154.4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BraitlingFHWBH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/BraitlingWBA13,
  author       = {Bettina Braitling and
                  Ralf Wimmer and
                  Bernd Becker and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Christian Haubelt and
                  Dirk Timmermann},
  title        = {Stochastic Bounded Model Checking: Bounded Rewards and Compositionality},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
                  March 12-14, 2013},
  pages        = {243--254},
  publisher    = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
                  Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
                  Universit{\"{a}}t Rostock},
  year         = {2013},
  timestamp    = {Fri, 26 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/BraitlingWBA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/CrouzenHHDTWBB11,
  author       = {Pepijn Crouzen and
                  Ernst Moritz Hahn and
                  Holger Hermanns and
                  Abhishek Dhama and
                  Oliver E. Theel and
                  Ralf Wimmer and
                  Bettina Braitling and
                  Bernd Becker},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Bounded Fairness for Probabilistic Distributed Algorithms},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {89--97},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.21},
  doi          = {10.1109/ACSD.2011.21},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/CrouzenHHDTWBB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BraitlingWBJA11,
  author       = {Bettina Braitling and
                  Ralf Wimmer and
                  Bernd Becker and
                  Nils Jansen and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Counterexample Generation for Markov Chains Using SMT-Based Bounded
                  Model Checking},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {75--89},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_5},
  doi          = {10.1007/978-3-642-21461-5\_5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BraitlingWBJA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/BraitlingWBJA11,
  author       = {Bettina Braitling and
                  Ralf Wimmer and
                  Bernd Becker and
                  Nils Jansen and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Frank Oppenheimer},
  title        = {SMT-based Counterexample Generation for Markov Chains},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
                  21-23, 2011},
  pages        = {19--28},
  publisher    = {OFFIS-Institut f{\"{u}}r Informatik},
  year         = {2011},
  timestamp    = {Fri, 26 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/BraitlingWBJA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/WimmerBBHCHDT10,
  author       = {Ralf Wimmer and
                  Bettina Braitling and
                  Bernd Becker and
                  Ernst Moritz Hahn and
                  Pepijn Crouzen and
                  Holger Hermanns and
                  Abhishek Dhama and
                  Oliver E. Theel},
  title        = {Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic
                  Systems},
  booktitle    = {{QEST} 2010, Seventh International Conference on the Quantitative
                  Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
                  2010},
  pages        = {27--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QEST.2010.12},
  doi          = {10.1109/QEST.2010.12},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/WimmerBBHCHDT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/todaes/EngelkeBRSBP09,
  author       = {Piet Engelke and
                  Bernd Becker and
                  Michel Renovell and
                  J{\"{u}}rgen Schl{\"{o}}ffel and
                  Bettina Braitling and
                  Ilia Polian},
  title        = {{SUPERB:} Simulator utilizing parallel evaluation of resistive bridges},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {14},
  number       = {4},
  pages        = {56:1--56:21},
  year         = {2009},
  url          = {https://doi.org/10.1145/1562514.1596831},
  doi          = {10.1145/1562514.1596831},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/EngelkeBRSBP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/WimmerBB09,
  author       = {Ralf Wimmer and
                  Bettina Braitling and
                  Bernd Becker},
  editor       = {Neil D. Jones and
                  Markus M{\"{u}}ller{-}Olm},
  title        = {Counterexample Generation for Discrete-Time Markov Chains Using Bounded
                  Model Checking},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 10th International
                  Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5403},
  pages        = {366--380},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-93900-9\_29},
  doi          = {10.1007/978-3-540-93900-9\_29},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/WimmerBB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ats/EngelkeBPRB07,
  author       = {Piet Engelke and
                  Bettina Braitling and
                  Ilia Polian and
                  Michel Renovell and
                  Bernd Becker},
  title        = {{SUPERB:} Simulator Utilizing Parallel Evaluation of Resistive Bridges},
  booktitle    = {16th Asian Test Symposium, {ATS} 2007, Beijing, China, October 8-11,
                  2007},
  pages        = {433--438},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ATS.2007.71},
  doi          = {10.1109/ATS.2007.71},
  timestamp    = {Wed, 09 Nov 2022 21:30:34 +0100},
  biburl       = {https://dblp.org/rec/conf/ats/EngelkeBPRB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.