1
0
0
(1 - 30 von 35
)
VMCAI 2009
ivv5hpp.uni-muenster.de
Ralf Wimmer, Bettina Braitling and Bernd Becker. Counterexample Generation for Discrete-time Markov Chains using Bounded Model Checking Andreas Holzer, Christian Schallhart, Michael Tautschnig and Helmut Veith.
Publications - www-i2.informatik.rwth-aachen.de
www-i2.informatik.rwth-aachen.de
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Abraham. Counterexample Generation for Markov Chains using SMT-based Bounded Model …
dblp: Bettina Braitling
dblp.uni-trier.de
List of computer science publications by Bettina Braitling
Rechnerarchitektur - Universität Freiburg
ira.informatik.uni-freiburg.de
(7) Fehlersimulation (Betreuerin: Bettina Braitling) (8) ATPG (Betreuer: Alexander Czutro) Themenbereich 4: Formale Verifikationsverfahren (9) SAT-basierte Verifikation
Counter Example Generation for Stochastic Systems using Bounded Model...
ths.rwth-aachen.de
[bibtex] · Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Abraham. Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. Proc. of ...
Dependable Systems and Software: CTMDP speed dating
depend.cs.uni-saarland.de
Bettina Braitling, Freiburg Patricia Bouyer-Decitre, Paris (will give a presentation) Tomas Brazdil, Brno (will give a presentation, also present on Thu) Peter Buchholz, Dortmund (will give a presentation, also present on Thu) Pepijn Crouzen, Saarbrücken Tugrul Dayar, Ankara (comes by …
dblp: Quantitative Evaluation of Systems 2010
dblp.uni-trier.de
Bibliographic content of Quantitative Evaluation of Systems 2010
Publications IIF of last two years — Institut für Informatik
www.informatik.uni-freiburg.de
Sie sind hier: Startseite › Research › Publications IIF of last two years. Artikelaktionen. Drucken; Info ... Ralf Wimmer, Bettina Braitling, ...
SMT-based Counterexample Generation for Markov Chains. |
www.algosyn.rwth-aachen.de
by Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Abrahám. Reference: SMT-based Counterexample Generation for Markov ...
Luis María Ferrer Fioriti · Depend
depend.cs.uni-saarland.de
first.surname [at] cs.uni-saarland.de (btw my surname is Ferrer Fioriti!) ... with Bettina Braitling, Hassan Hatefi, Ralf Wimmer, Bernd Becker and Holger Hermanns.
alle Publikationen IIF — Institut für Informatik
www.informatik.uni-freiburg.de
alle Publikationen IIF . Website durchsuchen. nur im aktuellen Bereich Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis Maria Ferrer Fioriti, ...
dblp: Counterexample Generation for Markov Chains Using SMT-Based...
dblp.uni-trier.de
Bibliographic details on Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.
Announcements – Page 3 – CAP Projectwww.cap-sino-german-lab.science › ...
www.cap-sino-german-lab.science
Bettina Braitling, from ALU, meets several peers from ISCAS during SETTA 2015, held in Nanjing from Nov. 02 to Nov. 05, andrea December 30,
Abhishek Dhama - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
· Ralf Wimmer , Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen , Holger Hermanns, Abhishek Dhama, Oliver E. Theel:
B. Braitling meets ISCAS peers at SETTA’15 – CAP Project
www.cap-sino-german-lab.science
Bettina Braitling, from ALU, meets several peers from ISCAS during SETTA 2015, held in Nanjing from Nov. 02 to Nov. 05,
dblp: Ernst Moritz Hahn
dblp.uni-trier.de
List of computer science publications by Ernst Moritz Hahn
all Publications IIF — Institut für Informatik
www.informatik.uni-freiburg.de
all Publications IIF. back to publications of last two years Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Maria Ferrer Fioriti, Holger Hermanns, ...
dblp: Luis María Ferrer Fioriti
dblp.uni-trier.de
List of computer science publications by Luis María Ferrer Fioriti
dblp: BibTeX records: Pepijn Crouzen
dblp.uni-trier.de
List of computer science publications by BibTeX records: Pepijn Crouzen
LNCS Formal Techniques for Distributed Systems
ifip.hal.science
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Adaptable Processes (Extended Abstract) Mario Bravetti, Cinzia Di Giusto, ...
Partners & People – CAP Project
www.cap-sino-german-lab.science
ALU – Albert-Ludwigs-University. Bernd Becker · Ralf Wimmer · Tobias Schubert · Bettina Braitling · Karsten Scheibler. RWTH – RWTH Aachen University.
Verwandte Suchanfragen zu Bettina Braitling
Ernst Moritz Hassan Hatefi Moritz Hahn | Ernst Moritz Hahn Erika Ábrahám Oliver Theel | Nils Jansen Ilia Polian Ralf Wimmer |
Personen Vorname "Bettina" (29441) Name "Braitling" (11) |
sortiert nach Relevanz / Datum