1 <!doctype html> 2 <!--[if !IE]> 3 <html class="no-js non-ie" lang="en-GB"> <![endif]--> 4 <!--[if IE 7 ]> 5 <html class="no-js ie7" lang="en-GB"> <![endif]--> 6 <!--[if IE 8 ]> 7 <html class="no-js ie8" lang="en-GB"> <![endif]--> 8 <!--[if IE 9 ]> 9 <html class="no-js ie9" lang="en-GB"> <![endif]--> 10 <!--[if gt IE 9]><!--> 11<html class="no-js" lang="en-GB"> <!--<![endif]--> 12 <head> 13 14 <meta charset="UTF-8"/> 15 <meta name="viewport" content="width=device-width, initial-scale=1.0"> 16 17 <title>Edited books and book chapters | Hana Chockler</title> 18 19 <link rel="profile" href="http://gmpg.org/xfn/11"/> 20 <link rel="pingback" href="https://www.hanachockler.com/xmlrpc.php"/> 21 22 <link rel='dns-prefetch' href='//s.w.org' /> 23<link rel="alternate" type="application/rss+xml" title="Hana Chockler » Feed" href="https://www.hanachockler.com/feed/" /> 24<link rel="alternate" type="application/rss+xml" title="Hana Chockler » Comments Feed" href="https://www.hanachockler.com/comments/feed/" /> 25
25<script type="text/javascript"> 26 window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/11\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/11\/svg\/","svgExt":".svg","source":{"concatemoji":"https:\/\/www.hanachockler.com\/wp-includes\/js\/wp-emoji-release.min.js?ver=5.0.29"}}; 27 !function(e,a,t){var n,r,o,i=a.createElement("canvas"),p=i.getContext&&i.getContext("2d");function s(e,t){var a=String.fromCharCode;p.clearRect(0,0,i.width,i.height),p.fillText(a.apply(this,e),0,0);e=i.toDataURL();return p.clearRect(0,0,i.width,i.height),p.fillText(a.apply(this,t),0,0),e===i.toDataURL()}function c(e){var t=a.createElement("script");t.src=e,t.defer=t.type="text/javascript",a.getElementsByTagName("head")[0].appendChild(t)}for(o=Array("flag","emoji"),t.supports={everything:!0,everythingExceptFlag:!0},r=0;r<o.length;r++)t.supports[o[r]]=function(e){if(!p||!p.fillText)return!1;switch(p.textBaseline="top",p.font="600 32px Arial",e){case"flag":return s([55356,56826,55356,56819],[55356,56826,8203,55356,56819])?!1:!s([55356,57332,56128,56423,56128,56418,56128,56421,56128,56430,56128,56423,56128,56447],[55356,57332,8203,56128,56423,8203,56128,56418,8203,56128,56421,8203,56128,56430,8203,56128,56423,8203,56128,56447]);case"emoji":return!s([55358,56760,9792,65039],[55358,56760,8203,9792,65039])}return!1}(o[r]),t.supports.everything=t.supports.everything&&t.supports[o[r]],"flag"!==o[r]&&(t.supports.everythingExceptFlag=t.supports.everythingExceptFlag&&t.supports[o[r]]);t.supports.everythingExceptFlag=t.supports.everythingExceptFlag&&!t.supports.flag,t.DOMReady=!1,t.readyCallback=function(){t.DOMReady=!0},t.supports.everything||(n=function(){t.readyCallback()},a.addEventListener?(a.addEventListener("DOMContentLoaded",n,!1),e.addEventListener("load",n,!1)):(e.attachEvent("onload",n),a.attachEvent("onreadystatechange",function(){"complete"===a.readyState&&t.readyCallback()})),(n=t.source||{}).concatemoji?c(n.concatemoji):n.wpemoji&&n.twemoji&&(c(n.twemoji),c(n.wpemoji)))}(window,document,window._wpemojiSettings); 28 </script>
28 29 <style type="text/css"> 30img.wp-smiley, 31img.emoji { 32 display: inline !important; 33 border: none !important; 34 box-shadow: none !important; 35 height: 1em !important; 36 width: 1em !important; 37 margin: 0 .07em !important; 38 vertical-align: -0.1em !important; 39 background: none !important; 40 padding: 0 !important; 41} 42</style> 43<link rel='stylesheet' id='fttb-style-css' href='https://www.hanachockler.com/wp-content/plugins/float-to-top-button/css/float-to-top-button.min.css?ver=2.0.9' type='text/css' media='all' /> 44<link rel='stylesheet' id='wp-block-library-css' href='https://www.hanachockler.com/wp-includes/css/dist/block-library/style.min.css?ver=5.0.29' type='text/css' media='all' /> 45<link rel='stylesheet' id='contact-form-7-css' href='https://www.hanachockler.com/wp-content/plugins/contact-form-7/includes/css/styles.css?ver=5.0.1' type='text/css' media='all' /> 46<link rel='stylesheet' id='sdm-styles-css' href='https://www.hanachockler.com/wp-content/plugins/simple-download-monitor/css/sdm_wp_styles.css?ver=5.0.29' type='text/css' media='all' /> 47<link rel='stylesheet' id='parent-style-css' href='https://www.hanachockler.com/wp-content/themes/responsive/style.css?ver=5.0.29' type='text/css' media='all' /> 48<link rel='stylesheet' id='child-style-css' href='https://www.hanachockler.com/wp-content/themes/responsive-child/style.css?ver=5.0.29' type='text/css' media='all' /> 49<link rel='stylesheet' id='responsive-style-css' href='https://www.hanachockler.com/wp-content/themes/responsive/core/css/style.css?ver=1.9.8.0' type='text/css' media='all' /> 50<link rel='stylesheet' id='responsive-media-queries-css' href='https://www.hanachockler.com/wp-content/themes/responsive/core/css/responsive.css?ver=1.9.8.0' type='text/css' media='all' /> 51<link rel='stylesheet' id='responsive-child-style-css' href='https://www.hanachockler.com/wp-content/themes/responsive-child/style.css?ver=1.0.0' type='text/css' media='all' /> 52<link rel='stylesheet' id='sccss_style-css' href='https://www.hanachockler.com/?sccss=1&ver=5.0.29' type='text/css' media='all' />
53<script type='text/javascript' src='https://www.hanachockler.com/wp-includes/js/jquery/jquery.js?ver=1.12.4'></script>
vendor: 1 bytes, line 53
53
54<script type='text/javascript' src='https://www.hanachockler.com/wp-includes/js/jquery/jquery-migrate.min.js?ver=1.4.1'></script>
vendor: 1 bytes, line 54
54
55<script type='text/javascript'> 56/* <![CDATA[ */ 57var sdm_ajax_script = {"ajaxurl":"https:\/\/www.hanachockler.com\/wp-admin\/admin-ajax.php"}; 58/* ]]> */ 59</script>
vendor: 1 bytes, line 59
59
60<script type='text/javascript' src='https://www.hanachockler.com/wp-content/plugins/simple-download-monitor/js/sdm_wp_scripts.js?ver=5.0.29'></script>
vendor: 1 bytes, line 60
60
61<script type='text/javascript' src='https://www.hanachockler.com/wp-content/themes/responsive/core/js/responsive-modernizr.min.js?ver=2.6.1'></script>
61 62<link rel='https://api.w.org/' href='https://www.hanachockler.com/wp-json/' /> 63<link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://www.hanachockler.com/xmlrpc.php?rsd" /> 64<link rel="wlwmanifest" type="application/wlwmanifest+xml" href="https://www.hanachockler.com/wp-includes/wlwmanifest.xml" /> 65<meta name="generator" content="WordPress 5.0.29" /> 66<link rel="canonical" href="https://www.hanachockler.com/books/" /> 67<link rel='shortlink' href='https://www.hanachockler.com/?p=202' /> 68<link rel="alternate" type="application/json+oembed" href="https://www.hanachockler.com/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fwww.hanachockler.com%2Fbooks%2F" /> 69<link rel="alternate" type="text/xml+oembed" href="https://www.hanachockler.com/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fwww.hanachockler.com%2Fbooks%2F&format=xml" /> 70<style type="text/css" media="screen">.menu-item.hide_this_item{ display:none !important; }</style>
70<script> 71 jQuery(document).ready(function(){ 72 var copyright_text = "Gregory Chockler"; 73 var cyberchimps_link = "1"; 74 var siteurl = "https://www.hanachockler.com"; 75 if(copyright_text == "") 76 { 77 jQuery(".copyright #copyright_link").text(" "+"Default copyright text"); 78 } 79 else{ 80 jQuery(".copyright #copyright_link").text(" "+copyright_text); 81 } 82 jQuery(".copyright #copyright_link").attr('href',siteurl); 83 if(cyberchimps_link == 1) 84 { 85 jQuery(".powered").css("display","block"); 86 } 87 else{ 88 jQuery(".powered").css("display","none"); 89 } 90 }); 91 </script>
91 92<!-- We need this for debugging --> 93<!-- Responsive 1.9.8.0 --> 94<!-- Responsive Child 1.0.0 --> 95<link rel="icon" href="https://www.hanachockler.com/wp-content/uploads/2016/04/cropped-Astrology-Year-Of-Rabbit-icon-32x32.png" sizes="32x32" /> 96<link rel="icon" href="https://www.hanachockler.com/wp-content/uploads/2016/04/cropped-Astrology-Year-Of-Rabbit-icon-192x192.png" sizes="192x192" /> 97<link rel="apple-touch-icon-precomposed" href="https://www.hanachockler.com/wp-content/uploads/2016/04/cropped-Astrology-Year-Of-Rabbit-icon-180x180.png" /> 98<meta name="msapplication-TileImage" content="https://www.hanachockler.com/wp-content/uploads/2016/04/cropped-Astrology-Year-Of-Rabbit-icon-270x270.png" /> 99<!-- Custom CSS Styles --> 100<style type="text/css" media="screen"> 101.entry-title {display : none;} 102.post-title {display : none;} 103.widget-title h3 { 104 word-wrap: break-word; 105 font-size: 18px; 106 font-weight: normal; 107 color:#3366ff; 108 padding-bottom: 1px; 109} 110#content-full { 111 margin-top: 0px; 112 margin-bottom: 0px; 113} 114#content { 115 margin-top: 10px; 116 margin-bottom: 0px; 117} 118#widgets { 119 margin-top: 30px; 120} 121h4 { 122 font-size: 1.500em; 123 margin-bottom: 0.5em; 124 margin-top: 1em; 125} 126p { 127 margin-top: 0.5em; 128 margin-bottom: 0.5em; 129 margin-left: 0em; 130 margin-right: 0.5em; 131} 132.widget-wrapper { 133 -webkit-border-radius: 4px; 134 -moz-border-radius: 4px; 135 background-color: #f9f9f9; 136 border: 1px solid #e5e5e5; 137 border-radius: 4px; 138 margin: 0 0 10px; 139 padding: 10px; 140} 141ul { 142 margin-top: 0px; 143 margin-right: 1.5em; 144 margin-bottom: 1.5em; 145 margin-left: 0px; 146 padding-left: 1.2em; 147} 148div#container{width:1100px;} 149#container { 150max-width: inherit; 151} 152h4 {font-weight: normal;} 153 154</style> 155 </head> 156 157<body class="page-template page-template-full-width-page page-template-full-width-page-php page page-id-202"> 158 159<div id="container" class="hfeed"> 160 161 <div class="skip-container cf"> 162 <a class="skip-link screen-reader-text focusable" href="#content">↓ Skip to Main Content</a> 163 </div><!-- .skip-container --> 164 <div id="header"> 165 166 167 <ul id="menu-primary-menu" class="top-menu"><li id="menu-item-133" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-home menu-item-133"><a href="https://www.hanachockler.com/">About Me</a></li> 168<li id="menu-item-490" class="menu-item menu-item-type-post_type menu-item-object-page current-menu-ancestor current-menu-parent current_page_parent current_page_ancestor menu-item-has-children menu-item-490"><a href="https://www.hanachockler.com/publications/">Publications</a> 169<ul class="sub-menu"> 170 <li id="menu-item-459" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-459"><a href="https://www.hanachockler.com/conferences/">Conferences</a></li> 171 <li id="menu-item-453" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-453"><a href="https://www.hanachockler.com/journals/">Journals</a></li> 172 <li id="menu-item-474" class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item page-item-202 current_page_item menu-item-474"><a href="https://www.hanachockler.com/books/">Edited books and book chapters</a></li> 173</ul> 174</li> 175<li id="menu-item-218" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-218"><a href="https://www.hanachockler.com/research/">Research</a></li> 176<li id="menu-item-501" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-501"><a href="https://www.hanachockler.com/rex/">ReX</a></li> 177<li id="menu-item-225" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-225"><a href="https://www.hanachockler.com/teaching/">Teaching</a></li> 178<li id="menu-item-235" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-235"><a href="https://www.hanachockler.com/students/">Students</a></li> 179<li id="menu-item-230" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-230"><a href="https://www.hanachockler.com/patents/">Patents</a></li> 180<li id="menu-item-573" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-573"><a href="https://www.hanachockler.com/public-engagement/">Public Engagement</a></li> 181</ul> 182 183 184 185 <div id="logo"> 186 <span class="site-name"><a href="https://www.hanachockler.com/" title="Hana Chockler" rel="home">Hana Chockler</a></span> 187 <span class="site-description">Department of Informatics, King's College London</span> 188 </div><!-- end of #logo --> 189 190 191 <div class="main-nav"><ul id="menu-primary-menu-1" class="menu"><li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-home menu-item-133"><a href="https://www.hanachockler.com/">About Me</a></li> 192<li class="menu-item menu-item-type-post_type menu-item-object-page current-menu-ancestor current-menu-parent current_page_parent current_page_ancestor menu-item-has-children menu-item-490"><a href="https://www.hanachockler.com/publications/">Publications</a> 193<ul class="sub-menu"> 194 <li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-459"><a href="https://www.hanachockler.com/conferences/">Conferences</a></li> 195 <li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-453"><a href="https://www.hanachockler.com/journals/">Journals</a></li> 196 <li class="menu-item menu-item-type-post_type menu-item-object-page current-menu-item page_item page-item-202 current_page_item menu-item-474"><a href="https://www.hanachockler.com/books/">Edited books and book chapters</a></li> 197</ul> 198</li> 199<li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-218"><a href="https://www.hanachockler.com/research/">Research</a></li> 200<li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-501"><a href="https://www.hanachockler.com/rex/">ReX</a></li> 201<li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-225"><a href="https://www.hanachockler.com/teaching/">Teaching</a></li> 202<li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-235"><a href="https://www.hanachockler.com/students/">Students</a></li> 203<li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-230"><a href="https://www.hanachockler.com/patents/">Patents</a></li> 204<li class="menu-item menu-item-type-post_type menu-item-object-page menu-item-573"><a href="https://www.hanachockler.com/public-engagement/">Public Engagement</a></li> 205</ul></div> 206 207 208 </div><!-- end of #header --> 209 210 <div id="wrapper" class="clearfix"> 211
212<div id="content-full" class="grid col-940"> 213 214 215 216 217 <div id="post-202" class="post-202 page type-page status-publish hentry"> 218 219 220 <h1 class="entry-title post-title">Edited books and book chapters</h1> 221 222 223 <div class="post-entry"> 224 225<p>Books</p> 226 227 228<h4 style="text-align: left;"><span style="color: #3366ff;">Edited books and book chapters</span></h4> 229<h4 style="text-align: left;"><span style="color: #3366ff;"> </span></h4> 230<ul> 231<li>Hana Chockler, Georg Weissenbacher (Editors). Computer Aided Verification – 30th International Conference, CAV2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. 232<ul> 233<li>Part I. LNCS 10981, Springer 2018,<br>ISBN 978-3-319-96144-6.</li> 234<li> Part II. LNCS 10982, Springer 2018,<br>ISBN 978-3-319-96141-5.</li> 235</ul> 236</li> 237</ul> 238<p></p> 239<ul> 240<li>Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (Editors). Validation of Evolving Software. Springer 2015, ISBN 978-3319106229. Co-authored chapters: 241<ul> 242<li> Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. Introduction.</li> 243<li>Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. Challenges of Existing Technology.</li> 244<li>Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. Complementarities Among the Technologies Presented in the Book.</li> 245<li>Hana Chockler, Sitvanit Ruah. Lightweight Static Analysis Check of Upgrades in C/C++ Software.</li> 246</ul> 247</li> 248</ul> 249<div class="section"> 250<div class="layoutArea"> 251<div> </div> 252<ul> 253<li class="column">Hana Chockler, Alan Hu (Editors). (Editors). Proceedings of Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008. Springer 2009, Lecture Notes in Computer Science, volume 5394. ISBN 978-3642017018. </li> 254</ul> 255</div> 256</div> </div> 257 <!-- end of .post-entry --> 258 259 260 261<div class="post-edit"></div> 262 </div><!-- end of #post-202 --> 263 264 265 266 267 268 269 270</div><!-- end of #content-full --> 271 272</div><!-- end of #wrapper --> 273</div><!-- end of #container --> 274 275<div id="footer" class="clearfix"> 276 277 <div id="footer-wrapper"> 278 279 280 <div class="grid col-940"> 281 282 <div class="grid col-540"> 283 </div><!-- end of col-540 --> 284 285 <div class="grid col-380 fit"> 286 <ul class="social-icons"></ul><!-- .social-icons --> </div><!-- end of col-380 fit --> 287 288 </div><!-- end of col-940 --> 289 290 <div class="grid col-300 copyright"> 291 © 2026<a id="copyright_link" href="https://www.hanachockler.com/" title="Hana Chockler"> 292 Hana Chockler </a> 293 </div><!-- end of .copyright --> 294 295 <div class="grid col-300 scroll-top"><a href="#scroll-top" title="scroll to top">↑</a></div> 296 297 <div class="grid col-300 fit powered"> 298 <a href="http://cyberchimps.com/responsive-theme/" title="Responsive Theme" rel="noindex, nofollow"> 299 Responsive Theme</a> 300 powered by <a href="http://wordpress.org/" title="WordPress"> 301 WordPress</a> 302 </div><!-- end .powered --> 303 304 </div><!-- end #footer-wrapper --> 305 306 </div><!-- end #footer --> 307
308<script type='text/javascript' src='https://www.hanachockler.com/wp-content/plugins/float-to-top-button/js/jquery.scrollUp.min.js?ver=2.0.9'></script>
vendor: 1 bytes, line 308
308
309<script type='text/javascript'> 310/* <![CDATA[ */ 311var fttb = {"topdistance":"300","topspeed":"300","animation":"fade","animationinspeed":"200","animationoutspeed":"200","scrolltext":"Top of Page","imgurl":"https:\/\/www.hanachockler.com\/wp-content\/plugins\/float-to-top-button\/images\/","arrow_img":"arrow001.png","arrow_img_url":"","position":"lowerright","spacing_horizontal":"150px","spacing_vertical":"20px","opacity_out":"75","opacity_over":"99","zindex":"2147483647"}; 312/* ]]> */ 313</script>
vendor: 1 bytes, line 313
313
314<script type='text/javascript' src='https://www.hanachockler.com/wp-content/plugins/float-to-top-button/js/float-to-top-button.min.js?ver=2.0.9'></script>
vendor: 1 bytes, line 314
314
315<script type='text/javascript'> 316/* <![CDATA[ */ 317var wpcf7 = {"apiSettings":{"root":"https:\/\/www.hanachockler.com\/wp-json\/contact-form-7\/v1","namespace":"contact-form-7\/v1"},"recaptcha":{"messages":{"empty":"Please verify that you are not a robot."}}}; 318/* ]]> */ 319</script>
vendor: 1 bytes, line 319
319
320<script type='text/javascript' src='https://www.hanachockler.com/wp-content/plugins/contact-form-7/includes/js/scripts.js?ver=5.0.1'></script>
vendor: 1 bytes, line 320
320
321<script type='text/javascript'> 322/* <![CDATA[ */ 323var wpcf7_redirect_forms = {"393":{"page_id":"0","external_url":"","use_external_url":"","http_build_query":"","open_in_new_tab":"","after_sent_script":"document.addEventListener( 'wpcf7submit', function( event ) { var inputs = event.detail.inputs; alert('haha'); for ( var i = 0; i < inputs.length; i++ ) { if ( '23-24 July' == inputs[i].name ) { alert( inputs[i].value ); break; } } }, false );","thankyou_page_url":""},"392":{"page_id":"","external_url":"","use_external_url":"","http_build_query":"","open_in_new_tab":"","after_sent_script":"","thankyou_page_url":""}}; 324/* ]]> */ 325</script>
vendor: 1 bytes, line 325
325
326<script type='text/javascript' src='https://www.hanachockler.com/wp-content/plugins/wpcf7-redirect/js/wpcf7-redirect-script.js'></script>
vendor: 1 bytes, line 326
326
327<script type='text/javascript' src='https://www.hanachockler.com/wp-content/themes/responsive/core/js/responsive-scripts.min.js?ver=1.2.6'></script>
vendor: 1 bytes, line 327
327
328<script type='text/javascript' src='https://www.hanachockler.com/wp-content/themes/responsive/core/js/jquery.placeholder.min.js?ver=2.0.7'></script>
vendor: 1 bytes, line 328
328
329<script type='text/javascript' src='https://www.hanachockler.com/wp-includes/js/wp-embed.min.js?ver=5.0.29'></script>
329 330</body> 331</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.