[an error occurred while processing this directive]<meta name="keywords"
      content="Department of Computer Science, Project, Verified Communication Protocols for Multicore/SoC Architectures"></meta>
<meta name="description"
      content="Department of Computer Science, Project, Verified Communication Protocols for Multicore/SoC Architectures, VerifiedCom.Protocols"></meta>
<title>Department of Computer Science - Research Project: Verified Communication Protocols for Multicore/SoC Architectures</title>
[an error occurred while processing this directive]
<!-- BREADCRUMBS -->
<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 class="active">Verified Communication Protocols for Multicore/SoC Architectures</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-6 col-md-push-3" id="maincontent">
         <div class="page-title">
            <div class="row">
               <div class="col-xs-12 col-md-12">
                  <h1>Verified Communication Protocols for Multicore/SoC Architectures</h1>
               </div>
            </div>
            <div class="row">
               <div class="col-xs-12 col-md-12">1st April 2008 to 31st March 2011</div>
            </div>
         </div>
         <div class="personalContent"></div>
         <h2>Selected Publications</h2>
         <p>
            <a href="/projects/publications/date/VerifiedCom.Protocols.html"
               class="btn btn-dark-brown-outline btn-thin text-uppercase">View All</a>
         </p>
         <ul class="list-unbulleted list-unbulleted-spaced"><li> <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> </li><li> <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> </li><li> <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> </li>
         </ul>
         <div class="row">
            <h3>Principal Investigator</h3>
         </div>
         <div class="row">
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy" href="/people/Tom.Melham/"
                  style="background-image:url('/files/8725//Melham%20Small.jpg')"></a>
               <center>
                  <a href="/people/Tom.Melham/">
                     <span class="newcaption">
                        <span itemprop="name">Tom Melham</span>
                     </span>
                  </a>
               </center>
            </div>
         </div>
         <div class="row">
            <h3>People</h3>
         </div>
         <div class="row">
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">Peter Boehm</span>
                  </span>
               </center>
            </div>
         </div>
         <div class="row space-below">
            [an error occurred while processing this directive]
         </div>
      </div>
      <!-- TACTICAL BOXES (Column 3) -->
      <div class="col-xs-12 col-md-3 col-md-push-3 no-print">
         <div class="row">
            <div class="col-xs-12 col-sm-6 col-md-12">
               <div class="panel panel-dark-brown panel-links text-center">
                  <div class="panel-heading clearfix">
                     <h2 class="panel-title panel-title-small text-uppercase">See also</h2>
                     <span class="underbar"></span>
                  </div>
                  <div class="panel-body no-top-padding">
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/people/Tom.Melham">
                              <span itemprop="name">Tom Melham</span>
                           </a>
                        </li>
                     </ul>
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/research/verification">Automated Verification</a>
                        </li>
                     </ul>
                  </div>
               </div>
            </div>
         </div>
      </div>
      <div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">
         <!-- NAVIGATION (Column 1) -->
         [an error occurred while processing this directive]
      </div>
   </div>
</div>
[an error occurred while processing this directive]