[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Verified Communication Protocols for Multicore/SoC Architectures"></meta><meta name="description" content="Publications, by type,Verified Communication Protocols for Multicore/SoC Architectures, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Verified Communication Protocols for Multicore/SoC Architectures: Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/research/">Research</a></li><li><a href="/research/verification/">Automated Verification</a></li><li><a href="/research/verification/projects.html">projects</a></li><li><a href="/projects/VerifiedCom.Protocols/">Verified Communication Protocols for Multicore/SoC Architectures</a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Verified Communication Protocols for Multicore/SoC Architectures: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/projects/publications/date/VerifiedCom.Protocols.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/projects/publications/title/VerifiedCom.Protocols.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/projects/publications/type/VerifiedCom.Protocols.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/projects/publications/bibtex/VerifiedCom.Protocols.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Incremental and Verified Modelling of the PCI Express Protocol </strong> </p>
	    <p class="publicationAuthors"> <em> Peter B&#xf6;hm  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>IEEE Transactions on Computer&#x2212;aided Design of Integrated Circuits and Systems</em>.
        2010.
        </p> <p
            class="publicationNote"> 14 pages&#x201a; to appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3662-abstract.html">
			Details <span class="sr-only" > about <em> Incremental and Verified Modelling of the PCI Express Protocol  </em></span> </a> |
			<a href="/publications/publication3662.bib">
			BibTeX  <span class="sr-only" > data for <em> Incremental and Verified Modelling of the PCI Express Protocol  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Framework for Incremental Modelling and Verification of On&#x2212;Chip Protocols </strong> </p>
	    <p class="publicationAuthors"> <em> Peter B&#xf6;hm  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Tenth Conference on Formal Methods in Computer Aided Design (FMCAD'10)</em>.
        October,
            2010.
        </p> <p
            class="publicationNote"> 8 pages&#x201a; to appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3661-abstract.html">
			Details <span class="sr-only" > about <em> A Framework for Incremental Modelling and Verification of On&#x2212;Chip Protocols  </em></span> </a> |
			<a href="/publications/publication3661.bib">
			BibTeX  <span class="sr-only" > data for <em> A Framework for Incremental Modelling and Verification of On&#x2212;Chip Protocols  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Formalised Framework for Incremental Modelling of On&#x2212;Chip Communication </strong> </p>
	    <p class="publicationAuthors"> <em> Peter B&#xf6;hm  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Participants' Proceedings of the Eighth International Workshop on Designing Correct Circuits (DCC'08)&#x201a; a satellite event of the ETAPS 2010 conferences</em>.
        March,
            2010.
        </p> <p
            class="publicationNote"> to appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3458-abstract.html">
			Details <span class="sr-only" > about <em> A Formalised Framework for Incremental Modelling of On&#x2212;Chip Communication  </em></span> </a> |
			<a href="/publications/publication3458.bib">
			BibTeX  <span class="sr-only" > data for <em> A Formalised Framework for Incremental Modelling of On&#x2212;Chip Communication  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Incremental Modelling and Verification of the PCI Express Transaction Layer </strong> </p>
	    <p class="publicationAuthors"> <em> Peter B&#xf6;hm  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Seventh ACM&#x2212;IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'09)</em>.
        
                Pages 36&#x2013;45.
            IEEE Computer Society.
        July,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3457-abstract.html">
			Details <span class="sr-only" > about <em> Incremental Modelling and Verification of the PCI Express Transaction Layer  </em></span> </a> |
			<a href="/publications/publication3457.bib">
			BibTeX  <span class="sr-only" > data for <em> Incremental Modelling and Verification of the PCI Express Transaction Layer  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/MEMCOD.2009.5185376">
		DOI (10.1109/MEMCOD.2009.5185376)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Refinement Approach to Design and Verification of On&#x2212;Chip Communication Protocols </strong> </p>
	    <p class="publicationAuthors"> <em> Peter B&#xf6;hm and Tom Melham  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Eighth Conference on Formal Methods in Computer&#x2212;Aided Design (FMCAD'08)</em>.
        
                Pages 136&#x2013;143.
            IEEE Computer Society.
        November,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2767-abstract.html">
			Details <span class="sr-only" > about <em> A Refinement Approach to Design and Verification of On&#x2212;Chip Communication Protocols  </em></span> </a> |
			<a href="/publications/publication2767.bib">
			BibTeX  <span class="sr-only" > data for <em> A Refinement Approach to Design and Verification of On&#x2212;Chip Communication Protocols  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/FMCAD.2008.ECP.22">
		DOI (10.1109/FMCAD.2008.ECP.22)
		</a> 
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Technical reports
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Design and Verification of On&#x2212;Chip Communication Protocols </strong> </p>
	    <p class="publicationAuthors"> <em> Peter B&#xf6;hm and Tom Melham  </em> </p>
	
	<p class="publicationDetails"> 
            No. RR&#x2212;08&#x2212;05.
        OUCL.
        April,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1053-abstract.html">
			Details <span class="sr-only" > about <em> Design and Verification of On&#x2212;Chip Communication Protocols  </em></span> </a> |
			<a href="/publications/publication1053.bib">
			BibTeX  <span class="sr-only" > data for <em> Design and Verification of On&#x2212;Chip Communication Protocols  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/634/RR-08-05.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Design and Verification of On&#x2212;Chip Communication Protocols  </em></span>

					    </a>


				    
					| <a href="http://web2.comlab.ox.ac.uk/oucl/publications/tr/RR-08-05.html"> Link <span class="sr-only" > to <em> Design and Verification of On&#x2212;Chip Communication Protocols  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">[an error occurred while processing this directive]</div></div></div>[an error occurred while processing this directive]