PageSourceSearch

https://www.hanachockler.com/books/

html hanachockler.com collected 2026-10-01 15:10:00 UTC 19,598 bytes, 331 lines download raw bytes

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 &#124; 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 &raquo; Feed" href="https://www.hanachockler.com/feed/" />
24<link rel="alternate" type="application/rss+xml" title="Hana Chockler &raquo; 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&#038;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&#038;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">&darr; 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&#039;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;">&nbsp;</span></h4>
230<ul>
231<li>Hana Chockler, Georg Weissenbacher (Editors). Computer Aided Verification &#8211; 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>&nbsp;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>&nbsp;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.&nbsp;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>&nbsp;</div>
252<ul>
253<li class="column">Hana Chockler, Alan Hu (Editors).&nbsp;(Editors). Proceedings of Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008.&nbsp;Springer 2009, Lecture Notes in Computer Science, volume 5394.&nbsp;ISBN 978-3642017018.&nbsp;</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			&copy; 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">&uarr;</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 &lt; inputs.length; i++ ) { if ( &#039;23-24 July&#039; == 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.