{"id":"https://openalex.org/W1518926628","doi":"https://doi.org/10.1007/978-3-642-17071-3_15","title":"Methodologies for Specification of Real-Time Systems Using Timed I/O Automata","display_name":"Methodologies for Specification of Real-Time Systems Using Timed I/O Automata","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1518926628","doi":"https://doi.org/10.1007/978-3-642-17071-3_15","mag":"1518926628"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-17071-3_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-17071-3_15","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112710864","display_name":"Alexandre David","orcid":null},"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":"Alexandre David","raw_affiliation_strings":["Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Computer Science, Aalborg University, Denmark","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":["Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030129842","display_name":"Axel Legay","orcid":"https://orcid.org/0000-0003-2287-8925"},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Axel Legay","raw_affiliation_strings":["INRIA/IRISA, Rennes Cedex, France"],"affiliations":[{"raw_affiliation_string":"INRIA/IRISA, Rennes Cedex, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2802519937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090034962","display_name":"Ulrik Nyman","orcid":"https://orcid.org/0000-0001-6430-540X"},"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":"Ulrik Nyman","raw_affiliation_strings":["Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056755949","display_name":"Andrzej W\u0105sowski","orcid":"https://orcid.org/0000-0003-0532-2685"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andrzej W\u0105sowski","raw_affiliation_strings":["IT University of Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5112710864"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.0895,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.75983392,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"290","last_page":"310"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9993000030517578,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8374035358428955},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.687673807144165},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5540343523025513},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5273897051811218},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5160088539123535},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5133839845657349},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4994189739227295},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.47952723503112793},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.474789559841156},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4592966139316559},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4512627422809601},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.44027796387672424},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43439146876335144},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.426052451133728},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36838018894195557},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3357095718383789},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08676183223724365}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8374035358428955},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.687673807144165},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5540343523025513},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5273897051811218},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5160088539123535},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5133839845657349},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4994189739227295},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.47952723503112793},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.474789559841156},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4592966139316559},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4512627422809601},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.44027796387672424},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43439146876335144},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.426052451133728},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36838018894195557},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3357095718383789},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08676183223724365},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-17071-3_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-17071-3_15","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/2447c13c-1c9a-4819-a305-b5ba71baf48f","is_oa":false,"landing_page_url":"https://pure.itu.dk/portal/da/publications/2447c13c-1c9a-4819-a305-b5ba71baf48f","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"David, A, Larsen, K G, Legay, A, Nyman, U M & Wasowski, A 2010, Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. in Lecture Notes in Computer Science : Formal Methods for Components and Objects. vol. 6286, Springer, pp. 290-310.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/e86f7333-27b6-48ed-88f6-4046b1578b8f","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/e86f7333-27b6-48ed-88f6-4046b1578b8f","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"David , A , Larsen , K G , Legay , A , Nyman , U & Wasowski , A 2010 , ' Methodologies for Specification of Real-Time Systems Using Timed I/O Automata ' , Lecture Notes in Computer Science , vol. 6286 , pp. 290-310 . https://doi.org/10.1007/978-3-642-17071-3_15","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W3838144","https://openalex.org/W81848849","https://openalex.org/W105220891","https://openalex.org/W1498342204","https://openalex.org/W1503973138","https://openalex.org/W1532739430","https://openalex.org/W1532760414","https://openalex.org/W1542369348","https://openalex.org/W1569203277","https://openalex.org/W1599995366","https://openalex.org/W1750114171","https://openalex.org/W1865562238","https://openalex.org/W1871610027","https://openalex.org/W1937686558","https://openalex.org/W1959890433","https://openalex.org/W1968150358","https://openalex.org/W1989956236","https://openalex.org/W2036836043","https://openalex.org/W2083964867","https://openalex.org/W2101508170","https://openalex.org/W2104224153","https://openalex.org/W2113108692","https://openalex.org/W2120743705","https://openalex.org/W2136608864","https://openalex.org/W2137918685","https://openalex.org/W2139101939","https://openalex.org/W2144965436","https://openalex.org/W2149480831","https://openalex.org/W2153177812","https://openalex.org/W2156009911","https://openalex.org/W2156314014","https://openalex.org/W2159181605","https://openalex.org/W2159433799","https://openalex.org/W2169630160","https://openalex.org/W2170151971","https://openalex.org/W2170306229","https://openalex.org/W2293287097","https://openalex.org/W2504260463","https://openalex.org/W2796564118","https://openalex.org/W2914011863","https://openalex.org/W2914055623","https://openalex.org/W3135659769","https://openalex.org/W4236251966","https://openalex.org/W6637251723"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W1592102986","https://openalex.org/W2350953867","https://openalex.org/W2103740034","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W1513903619","https://openalex.org/W2203774400","https://openalex.org/W2157373800"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}