English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling

Bedarkar, K., Vardishvili, M., Bozhko, S., Maida, M., & Brandenburg, B. (2022). From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. In RTSS 2022 (pp. 197-210). Piscataway, NJ: IEEE. doi:10.1109/RTSS55097.2022.00026.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-000D-4028-E Version Permalink: https://hdl.handle.net/21.11116/0000-000D-4035-F
Genre: Conference Paper
Latex : From Intuition to {Coq}: {A} Case Study in Verified Response-Time Analysis 1 of {FIFO} Scheduling

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Bedarkar, Kimaya1, Author           
Vardishvili, Mariam1, Author           
Bozhko, Sergey1, Author           
Maida, Marco1, Author           
Brandenburg, Björn1, Author           
Affiliations:
1Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105285              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2022
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: DOI: 10.1109/RTSS55097.2022.00026
BibTex Citekey: BedarkarRTSS22
 Degree: -

Event

show
hide
Title: 43rd IEEE Real-Time Systems Symposium
Place of Event: Houston, TX, USA
Start-/End Date: 2022-12-05 - 2022-12-08

Legal Case

show

Project information

show hide
Project name : TOROS
Grant ID : 803111
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)

Source 1

show
hide
Title: RTSS 2022
  Subtitle : 43rd IEEE Real-Time Systems Symposium ; Proceedings
  Abbreviation : RTSS 2022
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Piscataway, NJ : IEEE
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 197 - 210 Identifier: ISBN: 978-1-6654-5346-2