{"id":"https://openalex.org/W33007048","doi":null,"title":"Design and model-checking techniques applied to real-time RTI time management","display_name":"Design and model-checking techniques applied to real-time RTI time management","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W33007048","mag":"33007048"},"language":"en","primary_location":{"id":"pmh:oai:oatao.univ-toulouse.fr:4509","doi":null,"is_oa":false,"landing_page_url":"http://oatao.univ-toulouse.fr/4509/1/Siron_4509.pdf","pdf_url":"http://oatao.univ-toulouse.fr/4509/1/Siron_4509.pdf","source":{"id":"https://openalex.org/S4306401987","display_name":"Open Archive Toulouse Archive Ouverte (University of Toulouse)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I17866349","host_organization_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","host_organization_lineage":["https://openalex.org/I17866349"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004997830","display_name":"Jean-Baptiste Chaudron","orcid":"https://orcid.org/0000-0002-2142-1336","observed_orcids":["https://orcid.org/0000-0002-2142-1336"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jean-Baptiste Chaudron","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2142-1336","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000460592","display_name":"\u00c9ric Noulard","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u00c9ric Noulard","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5038046921","display_name":"Pierre Siron","orcid":"https://orcid.org/0000-0002-2330-3763","observed_orcids":["https://orcid.org/0000-0002-2330-3763"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pierre Siron","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2330-3763","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5346,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8734287,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9154999852180481,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9154999852180481,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.03539999946951866,"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/T14270","display_name":"Simulation and Modeling Applications","score":0.008500000461935997,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/time-management","display_name":"time management","score":0.5830000042915344},{"id":"https://openalex.org/keywords/hla","display_name":"HLA","score":0.6489999890327454},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.7689999938011169},{"id":"https://openalex.org/keywords/distributed-simulation","display_name":"distributed simulation","score":0.5109999775886536},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.49399998784065247}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7789160013198853},{"id":"https://openalex.org/C166235249","wikidata":"https://www.wikidata.org/wiki/Q355217","display_name":"Time management","level":2,"score":0.7038413882255554},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4655839502811432},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4457378089427948},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4320662021636963},{"id":"https://openalex.org/C2775907273","wikidata":"https://www.wikidata.org/wiki/Q7805281","display_name":"Time constraint","level":2,"score":0.419344425201416},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4030725061893463},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3664666414260864},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32917606830596924},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11842837929725647},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:oatao.univ-toulouse.fr:4509","doi":null,"is_oa":false,"landing_page_url":"http://oatao.univ-toulouse.fr/4509/1/Siron_4509.pdf","pdf_url":"http://oatao.univ-toulouse.fr/4509/1/Siron_4509.pdf","source":{"id":"https://openalex.org/S4306401987","display_name":"Open Archive Toulouse Archive Ouverte (University of Toulouse)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I17866349","host_organization_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","host_organization_lineage":["https://openalex.org/I17866349"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"mag:33007048","doi":null,"is_oa":false,"landing_page_url":"https://oatao.univ-toulouse.fr/4509/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2894754395","https://openalex.org/W1557120759","https://openalex.org/W2620788970","https://openalex.org/W2003620864","https://openalex.org/W1492017230","https://openalex.org/W2274836552","https://openalex.org/W1602342937","https://openalex.org/W198453290","https://openalex.org/W1664746499","https://openalex.org/W2396167915"],"abstract_inverted_index":{"The":[0],"design":[1,69],"and":[2,85,91,95,106,124],"implementation":[3],"of":[4,48,82,109],"an":[5],"RTI":[6,52,97],"includes":[7],"several":[8],"HLA":[9],"services,":[10],"a":[11,70],"very":[12],"important":[13],"being":[14],"the":[15,25,43,55,78,104,107,110,118,125,131],"time":[16,19,35,56,73,79,121],"management.":[17],"Several":[18],"management":[20,57,74,122],"protocols":[21],"exist":[22],"ranging":[23],"from":[24],"Chandy-Misra-Bryant":[26],"(CMB)":[27],"null":[28],"message":[29],"conservative":[30,72,120],"algorithm":[31,75,98,123],"up":[32],"to":[33,93,101,129],"optimistic":[34],"warp":[36],"one.":[37],"We":[38,112],"are":[39],"interested":[40],"in":[41,99,115],"enhancing":[42],"high-performance":[44],"and/or":[45],"real-time":[46,132],"performance":[47],"our":[49],"open":[50],"source":[51],"(CERTI)":[53],"including":[54],"protocol.":[58],"For":[59],"achieving":[60],"these":[61],"goals":[62],"we":[63],"explored":[64],"two":[65],"complementary":[66],"approaches,":[67],"first,":[68],"new":[71,96,119],"which":[76],"avoid":[77],"creep":[80],"problem":[81],"classical":[83],"CMB":[84],"then":[86],"apply":[87],"model":[88],"checking":[89],"techniques":[90,127],"tools":[92],"existing":[94],"order":[100],"formally":[102],"ensure":[103],"validity":[105],"complexity":[108],"algorithms.":[111],"will":[113],"present":[114],"this":[116],"paper":[117],"model-checking":[126],"applied":[128],"predict":[130],"performance.":[133]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2016-06-24T00:00:00"}