LEADER 03838nam  22007095  450 
001 996466439003316
005 20230222085531.0
010   $a3-030-31514-2
024 7 $a10.1007/978-3-030-31514-6
035   $a(CKB)4100000009362554
035   $a(DE-He213)978-3-030-31514-6
035   $a(MiAaPQ)EBC5927657
035   $a(PPN)255128185
035   $a(EXLCZ)994100000009362554
100   $a20190920d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFrom Reactive Systems to Cyber-Physical Systems$b[electronic resource] $eEssays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /$fedited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XVI, 301 p. 125 illus., 44 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11500
300   $aIncludes index.
311   $a3-030-31513-4 
327   $aAnalysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts.
330   $aThis Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career. It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11500
606   $aComputer science
606   $aMachine theory
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aElectronic digital computers?Evaluation
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aSystem Performance and Evaluation
615  0$aComputer science.
615  0$aMachine theory.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aElectronic digital computers?Evaluation.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aSystem Performance and Evaluation.
676   $a003
702   $aBartocci$b Ezio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCleaveland$b Rance$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGrosu$b Radu$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSokolsky$b Oleg$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466439003316
996   $aFrom Reactive Systems to Cyber-Physical Systems$92508181
997   $aUNISA