| 书目名称 | Principles of Verification: Cycling the Probabilistic Landscape | | 副标题 | Essays Dedicated to | | 编辑 | Nils Jansen,Sebastian Junges,Matthias Volk | | 视频video | | | 概述 | Chapters explain many research and implementation successes inspired by Joost-Pieter Katoen.Contributions from leading scientists.Honors an influential researcher, teacher, and community leader | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | .This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master‘s and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente...Joost-Pieter‘s main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy of Sciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at ke | | 出版日期 | Book 2025 | | 关键词 | Formal Methods; Computer-Aided Verification; Concurrency Theory; Probabilistic Computation; Semantics; Mo | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-75775-4 | | isbn_softcover | 978-3-031-75774-7 | | isbn_ebook | 978-3-031-75775-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|
发表于 2025-3-21 17:50:01
