Interaction-based Offline Runtime Verification of Distributed Systems

You are here:

[featured_image]

Download

Download is available until [expire_date]

Version
Download 29
File Size 2.52 MB
File Count 1
Create Date June 6, 2023
Last Updated June 6, 2023

Interaction-based Offline Runtime Verification of Distributed Systems

Paper presented during the during the Fundamentals of Software Engineering Conference (FSEN) celebrated from 4^th – 5^th of May virtually and in Tehran (Iran). The paper, based on the SELFY research, is produced by Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre (CEA) and Pascale Le Gall (CentraleSupélec).

General Cookies description

This web uses its own and third parties’ cookies to the purposes of analyses the users surfing habits also to improving the web contents and services, as well as to save the user’s browsing preferences. Some of the cookies installed are necessary for the web access and does not require the user’s consent. Other cookies are accessory and has several functionalities, their installation requires the user consent. User’s may set up and consult the web cookies and its details below.

Further information at Cookies Policies

Necessary

Always Enabled

Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously.

Cookie	Duration	Description
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Functional

Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features.

Cookie	Duration	Description
cookielawinfo-checkbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".

Performance

Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.

Cookie	Duration	Description
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".

Analytics

Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc.

Cookie	Duration	Description
_pk_id.20.dd88	1 year	This cookie is installed by Matomo. The cookie is used to calculate visitor, session, camapign data and keep track of site usage for the site's analytics report. The cookies store information anonymously and assigns a randoly generated number to identify unique visitors.
_pk_ses.20.dd88	30 minutes	This cookie is installed by Matomo. The cookie is used to calculate visitor, session, camapign data and keep track of site usage for the site's analytics report. The cookies store information anonymously and assigns a randoly generated number to identify unique visitors.
cookielawinfo-checkbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".

Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads.

Cookie	Duration	Description
cookielawinfo-checkbox-advertisement	1 year	Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Advertisement" category .

Others

Other uncategorized cookies are those that are being analyzed and have not been classified into a category as yet.

Cookie	Duration	Description
cookielawinfo-checkbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.