國立虎尾科技大學 |

Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal Methods in Outer Space/ edited by Ezio Bartocci, Yliès Falcone, Martin Leucker.
其他題名:	Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
其他作者:	Bartocci, Ezio.
面頁冊數:	XII, 193 p. 40 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computers. -
電子資源:	https://doi.org/10.1007/978-3-030-87348-6
ISBN:	9783030873486

Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
Formal Methods in Outer SpaceEssays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /[electronic resource] :edited by Ezio Bartocci, Yliès Falcone, Martin Leucker. - 1st ed. 2021. - XII, 193 p. 40 illus.online resource. - Programming and Software Engineering ;13065. - Programming and Software Engineering ;8987.

The K Vision for the Future of Programming Language Design and Analysis -- Refining the Safety-Liveness Classification of Temporal Properties According to Realizability -- Domain Analysis & Description – Sorts, Types, Intents -- Dynamic interval analysis by abstract interpretation -- Runtime Verification: Passing on the Baton -- Hardware-Assisted Online Data Race Detection -- Comparing two methods for checking runtime properties -- Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems -- Collision-Free 3D Flocking Using the Distributed Simplex Architecture -- A Context-Free Symbiosis of Runtime Verification & Automata Learning -- Reverse Engineering through Automata Learning.

This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators. After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the Turning Goals Into Reality engineering innovation award, the Outstanding Technology Development award, and the JPL Mariner, Ranger, Voyager, and Magellan awards. Klaus has provided constant and generous service to the formal methods community by organizing, participating in, and chairing numerous committees. His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards. His research activities have generated more than 100 publications with more than 100 collaborators, cited over 12,000 times. The book title reflects Klaus’s main research and engineering focus throughout his career: formal methods, often applied at NASA. The contributions, which went through a peer-review process, cover a wide spectrum of the topics related to his scientific interests, including programming language design, static analysis, runtime verification, dynamic assurance, and automata learning.

ISBN: 9783030873486

Standard No.: 10.1007/978-3-030-87348-6doiSubjects--Topical Terms:

565115
Computers.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
LDR:03902nam a22004335i 4500 001 1056191
003 DE-He213
005 20210925192513.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030873486 $9 978-3-030-87348-6
024 7 $a 10.1007/978-3-030-87348-6 $2 doi
035 $a 978-3-030-87348-6
050 4 $a QA75.5-76.95
050 4 $a QA76.63
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UY $2 thema
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
245 1 0 $a Formal Methods in Outer Space $h [electronic resource] : $b Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / $c edited by Ezio Bartocci, Yliès Falcone, Martin Leucker.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XII, 193 p. 40 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 13065
505 0 $a The K Vision for the Future of Programming Language Design and Analysis -- Refining the Safety-Liveness Classification of Temporal Properties According to Realizability -- Domain Analysis & Description – Sorts, Types, Intents -- Dynamic interval analysis by abstract interpretation -- Runtime Verification: Passing on the Baton -- Hardware-Assisted Online Data Race Detection -- Comparing two methods for checking runtime properties -- Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems -- Collision-Free 3D Flocking Using the Distributed Simplex Architecture -- A Context-Free Symbiosis of Runtime Verification & Automata Learning -- Reverse Engineering through Automata Learning.
520 $a This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators. After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the Turning Goals Into Reality engineering innovation award, the Outstanding Technology Development award, and the JPL Mariner, Ranger, Voyager, and Magellan awards. Klaus has provided constant and generous service to the formal methods community by organizing, participating in, and chairing numerous committees. His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards. His research activities have generated more than 100 publications with more than 100 collaborators, cited over 12,000 times. The book title reflects Klaus’s main research and engineering focus throughout his career: formal methods, often applied at NASA. The contributions, which went through a peer-review process, cover a wide spectrum of the topics related to his scientific interests, including programming language design, static analysis, runtime verification, dynamic assurance, and automata learning.
650 0 $a Computers. $3 565115
650 0 $a Software engineering. $3 562952
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer organization. $3 596298
650 1 4 $a Theory of Computation. $3 669322
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
700 1 $a Bartocci, Ezio. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069319
700 1 $a Falcone, Yliès. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1274419
700 1 $a Leucker, Martin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 793773
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030873479
776 0 8 $i Printed edition: $z 9783030873493
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-87348-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)