{"id":"https://openalex.org/W4404278136","doi":"https://doi.org/10.1007/978-3-031-76554-4_11","title":"Monitoring Real-Time Systems Under Parametric Delay","display_name":"Monitoring Real-Time Systems Under Parametric Delay","publication_year":2024,"publication_date":"2024-11-12","ids":{"openalex":"https://openalex.org/W4404278136","doi":"https://doi.org/10.1007/978-3-031-76554-4_11"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-76554-4_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-76554-4_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://vbn.aau.dk/ws/files/803758844/paper_8661-1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089746112","display_name":"Martin Fr\u00e4nzle","orcid":"https://orcid.org/0000-0002-9138-8340"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Fr\u00e4nzle","raw_affiliation_strings":["Carl von Ossietzky Universit\u00e4t, Oldenburg, Germany"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universit\u00e4t, Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024387839","display_name":"Thomas M. Grosen","orcid":"https://orcid.org/0009-0008-7719-6482"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Thomas M. Grosen","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark","Aalborg University, The Technical Faculty of IT and Design, DK"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Aalborg University, The Technical Faculty of IT and Design, DK","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kim G. Larsen","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark","Aalborg University, The Technical Faculty of IT and Design, DK"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Aalborg University, The Technical Faculty of IT and Design, DK","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064596121","display_name":"Mart\u00edn Zimmermann","orcid":"https://orcid.org/0000-0002-8038-2453"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Martin Zimmermann","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark","Aalborg University, The Technical Faculty of IT and Design, DK"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Aalborg University, The Technical Faculty of IT and Design, DK","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5024387839"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.2766,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92521811,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"194","last_page":"213"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8292659521102905},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5424895286560059},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5305267572402954},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.059896111488342285},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.05938968062400818}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8292659521102905},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5424895286560059},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5305267572402954},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.059896111488342285},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.05938968062400818}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-76554-4_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-76554-4_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:publications/13b5d054-2f71-4357-8e30-f1f67825be2b","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/13b5d054-2f71-4357-8e30-f1f67825be2b","pdf_url":"https://vbn.aau.dk/ws/files/803758844/paper_8661-1.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Fr\u00e4nzle, M, Grosen, T M, Larsen, K G & Zimmermann, M 2024, Monitoring Real-Time Systems Under Parametric Delay. in N Kosmatov & L Kov\u00e1cs (eds), Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13\u201315, 2024, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15234 LNCS, pp. 194-213, 19th International Conference on integrated Formal Methods, iFM 2024, Manchester, United Kingdom, 13/11/2024. https://doi.org/10.1007/978-3-031-76554-4_11","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/13b5d054-2f71-4357-8e30-f1f67825be2b","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/13b5d054-2f71-4357-8e30-f1f67825be2b","pdf_url":"https://vbn.aau.dk/ws/files/803758844/paper_8661-1.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Fr\u00e4nzle, M, Grosen, T M, Larsen, K G & Zimmermann, M 2024, Monitoring Real-Time Systems Under Parametric Delay. in N Kosmatov & L Kov\u00e1cs (eds), Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13\u201315, 2024, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15234 LNCS, pp. 194-213, 19th International Conference on integrated Formal Methods, iFM 2024, Manchester, United Kingdom, 13/11/2024. https://doi.org/10.1007/978-3-031-76554-4_11","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404278136.pdf","grobid_xml":"https://content.openalex.org/works/W4404278136.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W6669264","https://openalex.org/W16991763","https://openalex.org/W1508821727","https://openalex.org/W1535889317","https://openalex.org/W1538672397","https://openalex.org/W1547304883","https://openalex.org/W1962072139","https://openalex.org/W2000947342","https://openalex.org/W2025782239","https://openalex.org/W2031188261","https://openalex.org/W2049696538","https://openalex.org/W2101508170","https://openalex.org/W2101804404","https://openalex.org/W2150220388","https://openalex.org/W2187057619","https://openalex.org/W2189285614","https://openalex.org/W2469998798","https://openalex.org/W2734454381","https://openalex.org/W3096990961","https://openalex.org/W3131101596","https://openalex.org/W3199608686","https://openalex.org/W4210984521","https://openalex.org/W4223588439","https://openalex.org/W4293399542","https://openalex.org/W4312552352","https://openalex.org/W4376615011","https://openalex.org/W4396820463","https://openalex.org/W4403618145"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}