<?xml version="1.0" encoding="UTF-8"?><lom xmlns="http://ltsc.ieee.org/xsd/LOM" xmlns:lomfr="http://www.lom-fr.fr/xsd/LOMFR" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://ltsc.ieee.org/xsd/LOM http://www.lom-fr.fr/xsd/lomfrv1.0/std/lomfr.xsd">
<general>
<identifier>
<catalog>Canal-U_Ocms</catalog>
<entry>52671</entry>
</identifier>
<title><string language="fre"><![CDATA[Theoretical Foundations for Runtime Monitoring]]></string></title>
<language>ENG</language>
<description>
<string language="fre"><![CDATA[Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly.
In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy and provide operational characterisations for its levels. Existing monitorability definitions are mapped into the proposed hierarchy, providing a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools.
The talk is based on joint work with my collaborators in the project Theoretical Foundations for Monitorability]]></string></description>
<keyword><string language="fre"><![CDATA[informatique théorique]]></string></keyword><keyword><string language="fre"><![CDATA[Logique mathématique]]></string></keyword><keyword><string language="fre"><![CDATA[vérification]]></string></keyword>
<lomfr:documentType>
<lomfr:source>LOMFRv1.0</lomfr:source>
<lomfr:value>image en mouvement</lomfr:value>
</lomfr:documentType>
</general><lifeCycle>
<contribute>
<role>
<source>LOMv1.0</source>
<value>content provider</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:09:16
FN:INRIA (Institut national de recherche en informatique et automatique)
N:INRIA (Institut national de recherche en informatique et automatique);;;;
URL;TYPE=work:http://www.inria.fr/
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2019-09-10</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>content provider</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:09:16
FN:CNRS - Centre National de la Recherche Scientifique
N:CNRS - Centre National de la Recherche Scientifique;;;;
URL;TYPE=work:Centre National de la Recherche Scientifique
ROLE:content provider
NOTE: Le CNRS en bref Le Centre national de la recherche scientifique est un organisme public de recherche (Etablissement public à caractère scientifique et technologique, placé sous la tutelle du Ministère de l'Enseignement supérieur et de la Recherche). Il produit du savoir et met ce savoir au service de la société. Avec 30 000 personnes (dont 26 080 statutaires - 11 664 chercheurs et 14 416 ingénieurs, techniciens et administratifs), un budget 2007 de 3,080 milliards d'euros dont 513 millions d'euros de ressources propres, une implantation sur l'ensemble du territoire national, le CNRS exerce son activité dans tous les champs de la connaissance, en s'appuyant sur 1260 unités de recherche et de service. Histoire du CNRS Textes fondamentaux sur l'organisation du CNRS Bilan social Rapport annuel Image du CNRS auprès du grand public - Enquête TNS-Sofres de novembre 2006 Présent dans tous les champs de la connaissance Principal organisme de recherche à caractère pluridisciplinaire en France, le CNRS mène des recherches dans l'ensemble des domaines scientifiques, technologiques et sociétaux. Il couvre la totalité de la palette des champs scientifiques, qu'il s'agisse des mathématiques, de la physique, des sciences et technologies de l'information et de la communication, de la physique nucléaire et des hautes énergies, des sciences de la planète et de l'Univers, de la chimie, des sciences du vivant, des sciences humaines et sociales, des sciences de l'environnement ou des sciences de l'ingénierie. Le CNRS est présent dans toutes les disciplines majeures regroupées au sein de six départements scientifiques : Mathématiques, physique, planète et univers (MPPU) Chimie, Sciences du vivant, Sciences humaines et sociales, Environnement et développement durable (EDD), Sciences et technologies de l'information et de l'ingénierie (ST2I) ; et de deux instituts nationaux : Institut national de physique nucléaire et de physique des particules (IN2P3), Institut national des sciences de l'Univers (INSU). Le CNRS développe, de façon privilégiée, des collaborations entre spécialistes de différentes disciplines, et tout particulièrement avec l'université, ouvrant ainsi de nouveaux champs d'investigations qui permettent de répondre aux besoins de l'économie et de la société. Des actions interdisciplinaires de recherche sont notamment menées dans les domaines suivants : «Le Vivant et ses enjeux sociaux», «Information, communication et connaissance», «Environnement, énergie et développement durable», «Nanosciences, nanotechnologies, matériaux», «Astroparticules : des particules à l'Univers». Présent sur tout le territoire national 19 délégations en région assurent une gestion directe et locale des laboratoires et entretiennent les liens avec les partenaires locaux et les collectivités territoriales. Ouvert aux partenariats 1256 unités de recherche et de service dont près de 90 % en partenariat avec l'Enseignement supérieur et les autres organismes de recherche français ; 2649 brevets principaux, 9804 avec les extensions, 1057 licences actives et 2100 contrats industriels en cours avec les entreprises ; plus de 100 créations d'entreprises à partir de laboratoires CNRS depuis 1999 ; 5000 chercheurs étrangers accueillis dans les laboratoires, 1340 chercheurs étrangers statutaires au CNRS, 80 accords de coopération avec plus de 55 pays, 332 programmes internationaux de coopération scientifique, 54 laboratoires internationaux associés et 56 groupements de recherche internationaux, 13 jumelages de laboratoires et 10 unités mixtes internationales ; des représentations à Bonn, Bruxelles, Johannesburg, Moscou, Pékin, Santiago du Chili, Tokyo, Washington, et une antenne à Hanoï. 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2019-09-10</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>author</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:09:16
FN:Luca Aceto
N:Aceto;Luca;;;
URL;TYPE=work:https://www.gssi.it/people/professors/lectures-computer-science/item/225-aceto-luca
ROLE:author
NOTE: Luca Aceto has been a full professor of computer science at Reykjavik University since November 2004. From September 2017 he is also full professor at the Gran Sasso Science Institute, L’Aquila (Italy), where he is the scientific director of the computer science group and the coordinator of the international PhD programme in computer science. Before joining Reykjavik University, he was an associate professor at Aalborg University (1996-2006) and a lecturer at the University of Sussex (1992-1996) amongst other appointments. &nbsp;Luca Aceto is an elected member of the&nbsp;Informatics Section of Academia Europaea&nbsp;(the Academy of Europe). He also serves as the chair of the editorial board of&nbsp;LIPIcs, Leibniz International Proceedings in Informatics, and is a member of the Executive Board of the journal&nbsp;Logical Methods in Computer Science, of the Advisory Board of&nbsp;Electronic Proceedings in Theoretical Computer Science, and of the editorial boards of the&nbsp;Journal of Logical and Algebraic Methods in Programming&nbsp;and of&nbsp;Electronic Proceedings in Theoretical Computer Science. He was the president of the&nbsp;European Association for Theoretical Computer Science&nbsp;in the period July 2012-July 2016. He was the founder and first chair of&nbsp;IFIP WG 1.8 on Concurrency Theory, and co-founded and co-directed the&nbsp;Icelandic Centre of Excellence in Theoretical Computer Science&nbsp;since 2005. Aceto’s main research interests are in concurrency theory, with emphasis on the study of algebraic process description languages and on the techniques they support to specify and reason about reactive systems, logic in computer science, structural operational semantics and applications of equational logic in computer science. To date, he has published two books, ten book chapters, 58 journal papers and 74 refereed conference/workshop papers. In addition, he has edited more than 30 volumes. &nbsp;Luca Aceto received a Distinguished Dissertation Award of the British Computer Society in 1991 and the Reykjavik University Research Award in 2012. He was Teacher of the Year in Mathematics and Computer Science at Aalborg University in 1997 and 1999. 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2019-09-10</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>content provider</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:09:16
FN:UNS
N:UNS;;;;
URL;TYPE=work:http://unice.fr/
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2019-09-10</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>publisher</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:09:16
FN:INRIA (Institut national de recherche en informatique et automatique)
N:INRIA (Institut national de recherche en informatique et automatique);;;;
URL;TYPE=work:http://www.inria.fr/
ROLE:publisher
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2019-09-10</dateTime></date>
</contribute>
</lifeCycle>
<metaMetadata>
<metadataSchema>LOMv1.0</metadataSchema>
<metadataSchema>LOMFRv1.0</metadataSchema>
</metaMetadata>
<technical>
<format>video/mp4</format>
<location><![CDATA[https://www.canal-u.tv/video/inria/theoretical_foundations_for_runtime_monitoring.52671]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/fuscia/theoretical.foundations.for.runtime.monitoring_52671/luca.aceto.mp4]]></location>
<size>1395263698</size>
<duration><duration>PT1H8M54S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>master</value>
</context>
<context>
<source>LOMv1.0</source>
<value>doctorat</value>
</context>
</educational>
<rights>
<cost>
<source>LOMv1.0</source>
<value>no</value>
</cost>
<copyrightAndOtherRestrictions>
<source>LOMv1.0</source>
<value>no</value>
</copyrightAndOtherRestrictions>
<description>
<string language="fre"><![CDATA[Droits réservés à l'éditeur et aux auteurs. 
]]></string>
</description>
</rights>
<relation>
<kind>
<source>LOMv1.0</source>
<value>ispartof</value>
</kind>
<resource>
<identifier>
<catalog>URI</catalog>
<entry>https://www.canal-u.tv/producteurs/inria/colloquium_jacques_morgenstern_recherches_en_stic_nouveaux_themes_scientifiques_nouveaux_domaines_d_application_et_enjeux</entry>
</identifier>
<description>
<string language="fre"><![CDATA[Colloquium Jacques Morgenstern : recherches en STIC - nouveaux thèmes scientifiques, nouveaux domaines d’application, et enjeux]]></string>
</description>
</resource>
</relation>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre"><![CDATA[Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr]]></string>
</source>
<taxon>
<id/>
<entry>
<string language="fre"/>
</entry>
</taxon>
</taxonPath>
</classification>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>164</id>
<entry>
<string language="fre"><![CDATA[logique symbolique]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>