Stochastic model checking: rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8453 : Tutorial |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | VII, 280 S. graph. Darst. |
| ISBN: | 9783662454886 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV042199381 | ||
| 003 | DE-604 | ||
| 005 | 20141126 | ||
| 007 | t| | ||
| 008 | 141120s2014 gw d||| |||| 10||| eng d | ||
| 015 | |a 14,N42 |2 dnb | ||
| 016 | 7 | |a 1059308150 |2 DE-101 | |
| 020 | |a 9783662454886 |c Pb. : ca. EUR 51.36 (DE) (freier Pr.), ca. EUR 52.80 (AT) (freier Pr.), ca. sfr 64.00 (freier Pr.) |9 978-3-662-45488-6 | ||
| 035 | |a (OCoLC)897368233 | ||
| 035 | |a (DE-599)DNB1059308150 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-83 |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 003.76 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Stochastic model checking |b rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |c Anne Remke ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2014 | |
| 300 | |a VII, 280 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8453 : Tutorial | |
| 650 | 0 | 7 | |a Stochastisches System |0 (DE-588)4057635-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematisches Modell |0 (DE-588)4114528-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Vahrn |2 gnd-content | |
| 689 | 0 | 0 | |a Stochastisches System |0 (DE-588)4057635-8 |D s |
| 689 | 0 | 1 | |a Mathematisches Modell |0 (DE-588)4114528-8 |D s |
| 689 | 0 | 2 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Remke, Anne |d 1980- |e Sonstige |0 (DE-588)135805562 |4 oth | |
| 711 | 2 | |a ROCKS |d 2012 |c Vahrn |j Sonstige |0 (DE-588)1062690656 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-45489-3 |
| 830 | 0 | |a Lecture notes in computer science |v 8453 : Tutorial |w (DE-604)BV000000607 |9 8453 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4797573&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027638295&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027638295 | |
Datensatz im Suchindex
| _version_ | 1820875635683229696 |
|---|---|
| adam_text |
TABLE OF CONTENTS
ANALYZING OSCILLATORY BEHAVIOR WITH FORMAL METHODS 1
ALEXANDER ANDREYCHENKO, THILO KRIIGER, AND DAVID SPIELER
A TUTORIAL ON INTERACTIVE MARKOV CHAINS 26
FLORIAN ARNOLD, DANIEL GEBLER, DENNIS GUCK, AND HASSAN HATEFI
A THEORY FOR THE SEMANTICS OF STOCHASTIC AND NON-DETERMINISTIC
CONTINUOUS SYSTEMS 67
CARLOS E. BUDDE, PEDRO R. D'ARGENIO, PEDRO SANCHEZ TERRAF, AND
NICOLAS WOLOVICK
ON ABSTRACTION OF PROBABILISTIC SYSTEMS 87
CHRISTIAN DEHNERT, DANIEL GEBLER, MICHELE VOLPATO, AND
DAVID N. JANSEN
COMPUTING BEHAVIORAL RELATIONS FOR PROBABILISTIC CONCURRENT
SYSTEMS 117
DANIEL GEBLER, VAHID HASHEMI, AND ANDREA TURRINI
MARKOV REWARD
MODELS AND MARKOV DECISION PROCESSES IN DISCRETE AND
CONTINUOUS TIME: PERFORMANCE EVALUATION AND OPTIMIZATION 156
ALEXANDER GOUBERMAN AND MARKUS SIEGLE
APPLYING MEAN-FIELD APPROXIMATION TO CONTINUOUS TIME MARKOV
CHAINS 242
ANNA KOLESNICHENKO, VALERIO SENNI, ALIREZA POURRANJABAR, AND
ANNE REMKE
AUTHOR INDEX 281
HTTP://D-NB.INFO/1059308150 |
| any_adam_object | 1 |
| author_GND | (DE-588)135805562 |
| building | Verbundindex |
| bvnumber | BV042199381 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)897368233 (DE-599)DNB1059308150 |
| dewey-full | 003.76 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003.76 |
| dewey-search | 003.76 |
| dewey-sort | 13.76 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV042199381</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141126</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">141120s2014 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,N42</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1059308150</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662454886</subfield><subfield code="c">Pb. : ca. EUR 51.36 (DE) (freier Pr.), ca. EUR 52.80 (AT) (freier Pr.), ca. sfr 64.00 (freier Pr.)</subfield><subfield code="9">978-3-662-45488-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)897368233</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1059308150</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.76</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Stochastic model checking</subfield><subfield code="b">rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures</subfield><subfield code="c">Anne Remke ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 280 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8453 : Tutorial</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Vahrn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Remke, Anne</subfield><subfield code="d">1980-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135805562</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ROCKS</subfield><subfield code="d">2012</subfield><subfield code="c">Vahrn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1062690656</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-662-45489-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8453 : Tutorial</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8453</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4797573&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027638295&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027638295</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Vahrn gnd-content |
| genre_facet | Konferenzschrift 2012 Vahrn |
| id | DE-604.BV042199381 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:18:47Z |
| institution | BVB |
| institution_GND | (DE-588)1062690656 |
| isbn | 9783662454886 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027638295 |
| oclc_num | 897368233 |
| open_access_boolean | |
| owner | DE-83 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-83 DE-91G DE-BY-TUM DE-11 |
| physical | VII, 280 S. graph. Darst. |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.) Berlin [u.a.] Springer 2014 VII, 280 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8453 : Tutorial Stochastisches System (DE-588)4057635-8 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Mathematisches Modell (DE-588)4114528-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Vahrn gnd-content Stochastisches System (DE-588)4057635-8 s Mathematisches Modell (DE-588)4114528-8 s Model Checking (DE-588)4434799-6 s DE-604 Remke, Anne 1980- Sonstige (DE-588)135805562 oth ROCKS 2012 Vahrn Sonstige (DE-588)1062690656 oth Erscheint auch als Online-Ausgabe 978-3-662-45489-3 Lecture notes in computer science 8453 : Tutorial (DE-604)BV000000607 8453 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4797573&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027638295&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Lecture notes in computer science Stochastisches System (DE-588)4057635-8 gnd Model Checking (DE-588)4434799-6 gnd Mathematisches Modell (DE-588)4114528-8 gnd |
| subject_GND | (DE-588)4057635-8 (DE-588)4434799-6 (DE-588)4114528-8 (DE-588)1071861417 |
| title | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |
| title_auth | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |
| title_exact_search | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |
| title_full | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.) |
| title_fullStr | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.) |
| title_full_unstemmed | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.) |
| title_short | Stochastic model checking |
| title_sort | stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems international autumn school rocks 2012 vahrn italy october 22 26 2012 advanced lectures |
| title_sub | rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |
| topic | Stochastisches System (DE-588)4057635-8 gnd Model Checking (DE-588)4434799-6 gnd Mathematisches Modell (DE-588)4114528-8 gnd |
| topic_facet | Stochastisches System Model Checking Mathematisches Modell Konferenzschrift 2012 Vahrn |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4797573&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027638295&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT remkeanne stochasticmodelcheckingrigorousdependabilityanalysisusingmodelcheckingtechniquesforstochasticsystemsinternationalautumnschoolrocks2012vahrnitalyoctober22262012advancedlectures AT rocksvahrn stochasticmodelcheckingrigorousdependabilityanalysisusingmodelcheckingtechniquesforstochasticsystemsinternationalautumnschoolrocks2012vahrnitalyoctober22262012advancedlectures |