<!DOCTYPE html>
<!-- CEURVERSION=2015-12-02 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-XXX - International Workshop on Real-Time compliant Multi-Agent Systems 2018</title>
</head>
<!--CEURLANG=eng -->
<body>




<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">

<span class="CEURVOLNR">Vol-XXX</span> <br>
<span class="CEURURN">urn:nbn:de:0074-XXX-C</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 
<span class="CEURPUBYEAR">2018</span> for the individual papers
by the papers' authors. Copying permitted for private and academic purposes.
This volume is published and copyrighted by its editors.</p>
</td>
</tr>
</tbody></table>

<hr>

<br><br><br>

<h1><a href="http://airtlab.dii.univpm.it/rtcmas/"><span class="CEURVOLACRONYM">RTcMAS 2018</span></a><br>
<span class="CEURVOLTITLE">International Workshop on Real-Time compliant Multi-Agent Systems</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the 1st International Workshop on Real-Time compliant Multi-Agent Systems</span><br>
<!-- co-located with <span class="CEURCOLOCATED">NONE</span> -->
co-located with the Federated Artificial Intelligence Meeting<br>
</h3>
<h3><span class="CEURLOCTIME">Stockholm, Sweden, July 15th, 2018</span>.</h3> 
<br>
<b> Edited by </b>
<p>

</p><h3>
   <span class="CEURVOLEDITOR">Davide Calvaresi</span> *<br>
   <span class="CEURVOLEDITOR">Aldo Franco Dragoni</span> **<br>
   <span class="CEURVOLEDITOR">Giorgio Buttazzo</span> ***<br>

</h3>

* <a href="https://www.hes-so.ch/">University of Applied Sciences Western Switzerland</a>, Switzerland
  <br>
** <a href="http://www.univpm.it/">Universit&agrave; Politecnica delle Marche</a>, Italy
  <br>
*** <a href="https://www.santannapisa.it/">Scuola Superiore Sant'Anna</a>, Italy
  <br>

<hr>

<br><br><br>

<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>

<li id="preface"><a href="preface.pdf">
<span class="AUXTITLE">Preface</span></a>
</li>

<li id="paper1"><a href="paper1.pdf">
<span class="CEURTITLE">Timing Reliability for Local Schedulers in Multi-Agent Systems</span></a>
<span class="CEURPAGES">1-15</span> <br>
<span class="CEURAUTHOR">Davide Calvaresi</span>, 
<span class="CEURAUTHOR">Giuseppe Albanese</span>, 
<span class="CEURAUTHOR">Mauro Marinoni</span>, 
<span class="CEURAUTHOR">Fabien Dubosson</span>, 
<span class="CEURAUTHOR">Paolo Sernani</span>, 
<span class="CEURAUTHOR">Aldo Franco Dragoni</span>,
<span class="CEURAUTHOR">Michael Schumacher</span>
</li>

<li id="paper2"><a href="paper2.pdf">
<span class="CEURTITLE">Time Aware Task Delegation in Agent Interactions for Video-Surveillance</span></a>
<span class="CEURPAGES">16-30</span> <br>
<span class="CEURAUTHOR">Paolo Sernani</span>, 
<span class="CEURAUTHOR">Matteo Biagiola</span>, 
<span class="CEURAUTHOR">Nicola Falcionelli</span>, 
<span class="CEURAUTHOR">Dagmawi Neway Mekuria</span>, 
<span class="CEURAUTHOR">Stefano Cremonini</span>, 
<span class="CEURAUTHOR">Aldo Franco Dragoni</span>
</li>

<li id="paper3"><a href="paper3.pdf">
<span class="CEURTITLE">A Task-sets Generator for Supporting the Analysis of Multi-Agent Systems under General Purpose and Real-Time Conditions</span></a>
<span class="CEURPAGES">31-44</span> <br>
<span class="CEURAUTHOR">Davide Calvaresi</span>, 
<span class="CEURAUTHOR">Giuseppe Albanese</span>,  
<span class="CEURAUTHOR">Mauro Marinoni</span>, 
<span class="CEURAUTHOR">Fabien Dubosson</span>, 
<span class="CEURAUTHOR">Michael Schumacher</span>
</li>

<li id="paper4"><a href="paper4.pdf">
<span class="CEURTITLE">An Agent Based WCET Analysis for Top-View Person Re-Identification</span></a>
<span class="CEURPAGES">45-59</span> <br>
<span class="CEURAUTHOR">Marina Paolanti</span>, 
<span class="CEURAUTHOR">Valerio Placidi</span>, 
<span class="CEURAUTHOR">Michele Bernardini</span>, 
<span class="CEURAUTHOR">Andrea Felicetti</span>, 
<span class="CEURAUTHOR">Rocco Pietrini</span>, 
<span class="CEURAUTHOR">Emanuele Frontoni</span>
</li>


<li id="paper5"><a href="paper5.pdf">
<span class="CEURTITLE">An Event Calculus Formalization of Timed Automata</span></a>
<span class="CEURPAGES">60-76</span> <br>
<span class="CEURAUTHOR">Nicola Falcionelli</span>,
<span class="CEURAUTHOR">Paolo Sernani</span>, 
<span class="CEURAUTHOR">Dagmawi Neway Mekuria</span>, 
<span class="CEURAUTHOR">Aldo Franco Dragoni</span>
</li>

<li id="paper6"><a href="paper6.pdf">
<span class="CEURTITLE">Towards a Real-time Mitigation of High Temperature while Drilling using a Multi-agent System</span></a>
<span class="CEURPAGES">77-92</span> <br>
<span class="CEURAUTHOR">Yazan Mualla</span>,
<span class="CEURAUTHOR">Amro Najjar</span>, 
<span class="CEURAUTHOR">Robin Vanet</span>, 
<span class="CEURAUTHOR">Olivier Boissier</span>,
<span class="CEURAUTHOR">Stephane Galland</span>
</li>

</ul>


</div>


<hr>
<span class="unobtrusive">
2018-08-03: submitted by Davide Calvaresi, 
            metadata incl. bibliographic data published under <A HREF="http://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">yyyy-mm-dd</span>: published on CEUR-WS.org 
	|<A HREF="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-XXX%2F">valid HTML5</A>|
</span>
</body></html>
