Model checking, synthesis, and learning: essays dedicated to Bengt Jonsson on the occasion of his 60th birthday
Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Che...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
2021
|
| Schriftenreihe: | Lecture notes in Computer Science
13030 |
| Schlagworte: | |
| Zusammenfassung: | Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning |
| Beschreibung: | VIII, 219 Seiten Illustrationen |
| ISBN: | 9783030913830 |
Internformat
MARC
| LEADER | 00000nam a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV047649232 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 211220s2021 sz a||| |||| 10||| eng d | ||
| 020 | |a 9783030913830 |9 978-3-030-91383-0 | ||
| 035 | |a (OCoLC)1289780640 | ||
| 035 | |a (DE-599)BVBBV047649232 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a sz |c XA-CH | ||
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 245 | 1 | 0 | |a Model checking, synthesis, and learning |b essays dedicated to Bengt Jonsson on the occasion of his 60th birthday |c edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi |
| 264 | 1 | |a Cham |b Springer |c 2021 | |
| 300 | |a VIII, 219 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in Computer Science |v 13030 | |
| 520 | 3 | |a Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms | |
| 520 | 3 | |a This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning | |
| 653 | 0 | |a Computer logic | |
| 653 | 0 | |a Artificial intelligence | |
| 653 | 0 | |a Software engineering | |
| 653 | 0 | |a Microprogramming | |
| 653 | 0 | |a Special purpose computers | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Olderog, Ernst-Rüdiger |d 1955- |0 (DE-588)136626890 |4 edt | |
| 700 | 1 | |a Steffen, Bernhard |d 1958- |0 (DE-588)1054357390 |4 edt | |
| 700 | 1 | |a Yi, Wang |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-91384-7 |
| 830 | 0 | |a Lecture notes in Computer Science |v 13030 |w (DE-604)BV000000607 |9 13030 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033033325 | |
Datensatz im Suchindex
| _version_ | 1820875810094972928 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Olderog, Ernst-Rüdiger 1955- Steffen, Bernhard 1958- Yi, Wang |
| author2_role | edt edt edt |
| author2_variant | e r o ero b s bs w y wy |
| author_GND | (DE-588)136626890 (DE-588)1054357390 |
| author_facet | Olderog, Ernst-Rüdiger 1955- Steffen, Bernhard 1958- Yi, Wang |
| building | Verbundindex |
| bvnumber | BV047649232 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1289780640 (DE-599)BVBBV047649232 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000001cb4500</leader><controlfield tag="001">BV047649232</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">211220s2021 sz a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030913830</subfield><subfield code="9">978-3-030-91383-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1289780640</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047649232</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model checking, synthesis, and learning</subfield><subfield code="b">essays dedicated to Bengt Jonsson on the occasion of his 60th birthday</subfield><subfield code="c">edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 219 Seiten</subfield><subfield code="b">Illustrationen</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">13030</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer logic</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Microprogramming</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Special purpose computers</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Olderog, Ernst-Rüdiger</subfield><subfield code="d">1955-</subfield><subfield code="0">(DE-588)136626890</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steffen, Bernhard</subfield><subfield code="d">1958-</subfield><subfield code="0">(DE-588)1054357390</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yi, Wang</subfield><subfield code="4">edt</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-030-91384-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in Computer Science</subfield><subfield code="v">13030</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13030</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033033325</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV047649232 |
| illustrated | Illustrated |
| index_date | 2024-07-03T18:49:35Z |
| indexdate | 2025-01-10T15:21:33Z |
| institution | BVB |
| isbn | 9783030913830 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033033325 |
| oclc_num | 1289780640 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | VIII, 219 Seiten Illustrationen |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in Computer Science |
| series2 | Lecture notes in Computer Science |
| spelling | Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi Cham Springer 2021 VIII, 219 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in Computer Science 13030 Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning Computer logic Artificial intelligence Software engineering Microprogramming Special purpose computers (DE-588)1071861417 Konferenzschrift gnd-content Olderog, Ernst-Rüdiger 1955- (DE-588)136626890 edt Steffen, Bernhard 1958- (DE-588)1054357390 edt Yi, Wang edt Erscheint auch als Online-Ausgabe 978-3-030-91384-7 Lecture notes in Computer Science 13030 (DE-604)BV000000607 13030 |
| spellingShingle | Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday Lecture notes in Computer Science |
| subject_GND | (DE-588)1071861417 |
| title | Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday |
| title_auth | Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday |
| title_exact_search | Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday |
| title_exact_search_txtP | Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday |
| title_full | Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi |
| title_fullStr | Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi |
| title_full_unstemmed | Model checking, synthesis, and learning essays dedicated to Bengt Jonsson on the occasion of his 60th birthday edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi |
| title_short | Model checking, synthesis, and learning |
| title_sort | model checking synthesis and learning essays dedicated to bengt jonsson on the occasion of his 60th birthday |
| title_sub | essays dedicated to Bengt Jonsson on the occasion of his 60th birthday |
| topic_facet | Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT olderogernstrudiger modelcheckingsynthesisandlearningessaysdedicatedtobengtjonssonontheoccasionofhis60thbirthday AT steffenbernhard modelcheckingsynthesisandlearningessaysdedicatedtobengtjonssonontheoccasionofhis60thbirthday AT yiwang modelcheckingsynthesisandlearningessaysdedicatedtobengtjonssonontheoccasionofhis60thbirthday |