{"id":"https://openalex.org/W2055410814","doi":"https://doi.org/10.1007/s10009-006-0006-x","title":"Model-checking the preservation of temporal properties upon feature integration","display_name":"Model-checking the preservation of temporal properties upon feature integration","publication_year":2006,"publication_date":"2006-09-25","ids":{"openalex":"https://openalex.org/W2055410814","doi":"https://doi.org/10.1007/s10009-006-0006-x","mag":"2055410814"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-006-0006-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-006-0006-x","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","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/A5052887063","display_name":"Dimitar P. Guelev","orcid":"https://orcid.org/0000-0002-3101-7433"},"institutions":[{"id":"https://openalex.org/I4210105926","display_name":"Institute of Mathematics and Informatics","ror":"https://ror.org/01b5dy719","country_code":"BG","type":"facility","lineage":["https://openalex.org/I24768866","https://openalex.org/I4210105926"]}],"countries":["BG"],"is_corresponding":true,"raw_author_name":"Dimitar P. Guelev","raw_affiliation_strings":["Section of Logic, Institute of Mathematics and Informatics, Acad. G. Bonchev str., bl. 8., 1113, Sofia, Bulgaria","Institute of Mathematics and Informatics, Section of Logic, Acad. G. Bonchev str., bl. 8., 1113, Sofia, Bulgaria#TAB#"],"affiliations":[{"raw_affiliation_string":"Section of Logic, Institute of Mathematics and Informatics, Acad. G. Bonchev str., bl. 8., 1113, Sofia, Bulgaria","institution_ids":["https://openalex.org/I4210105926"]},{"raw_affiliation_string":"Institute of Mathematics and Informatics, Section of Logic, Acad. G. Bonchev str., bl. 8., 1113, Sofia, Bulgaria#TAB#","institution_ids":["https://openalex.org/I4210105926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055690957","display_name":"Mark Ryan","orcid":"https://orcid.org/0000-0002-1632-497X"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mark D. Ryan","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK","University of Birmingham, School of Computer Science, Acad. G. Bonchev str., bl. 8., B15 2TT, Birmingham, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"University of Birmingham, School of Computer Science, Acad. G. Bonchev str., bl. 8., B15 2TT, Birmingham, UK#TAB#","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011513275","display_name":"Pierre\u2010Yves Schobbens","orcid":"https://orcid.org/0000-0001-8677-4485"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Pierre Yves Schobbens","raw_affiliation_strings":["Institut d\u2019Informatique, Facult\u00e9s Universitaires de Namur, Namur, Belgium","Facult\u00e9s Universitaires de Namur, Institut d\u2019Informatique, Acad. G. Bonchev str., bl. 8., B15 2TT, Namur, Belgium#TAB#"],"affiliations":[{"raw_affiliation_string":"Institut d\u2019Informatique, Facult\u00e9s Universitaires de Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]},{"raw_affiliation_string":"Facult\u00e9s Universitaires de Namur, Institut d\u2019Informatique, Acad. G. Bonchev str., bl. 8., B15 2TT, Namur, Belgium#TAB#","institution_ids":["https://openalex.org/I149768937"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5052887063"],"corresponding_institution_ids":["https://openalex.org/I4210105926"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.13110724,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":"1","first_page":"53","last_page":"62"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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.9994000196456909,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9962000250816345,"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.8288826942443848},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.8003356456756592},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.7808433771133423},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.754867672920227},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6851663589477539},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5934346318244934},{"id":"https://openalex.org/keywords/distinctive-feature","display_name":"Distinctive feature","score":0.5237736105918884},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43242567777633667},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42148298025131226},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2946837544441223}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8288826942443848},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.8003356456756592},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.7808433771133423},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.754867672920227},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6851663589477539},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5934346318244934},{"id":"https://openalex.org/C2778744346","wikidata":"https://www.wikidata.org/wiki/Q1152224","display_name":"Distinctive feature","level":2,"score":0.5237736105918884},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43242567777633667},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42148298025131226},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2946837544441223},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10009-006-0006-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-006-0006-x","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:pure.unamur.be:openaire_cris_publications/375296b0-17a9-487d-961b-e1c141020dc6","is_oa":false,"landing_page_url":"https://researchportal.unamur.be/en/publications/375296b0-17a9-487d-961b-e1c141020dc6","pdf_url":null,"source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Guelev, D P, Ryan, M D & Schobbens, P Y 2007, 'Model-checking the preservation of temporal properties upon feature integration', International Journal on Software Tools for Technology Transfer, vol. 9, no. 1, pp. 53-62. https://doi.org/10.1007/s10009-006-0006-x","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/50461e83-c9dc-4abe-84d1-05ddae3d15a5","is_oa":false,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/50461e83-c9dc-4abe-84d1-05ddae3d15a5","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Guelev, DP, Ryan, M & Schobbens, PY 2007, 'Model-checking the Preservation of Temporal Properties upon Feature Integration', International Journal on Software Tools for Technology Transfer, vol. 9, no. 1, pp. 53-62. https://doi.org/10.1007/s10009-006-0006-x","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1491593738","https://openalex.org/W1492291048","https://openalex.org/W1503170978","https://openalex.org/W1506171745","https://openalex.org/W1547802228","https://openalex.org/W1675507648","https://openalex.org/W1679534293","https://openalex.org/W2005646175","https://openalex.org/W2068847249","https://openalex.org/W2103146530","https://openalex.org/W2103976539","https://openalex.org/W2147752328","https://openalex.org/W4206347415","https://openalex.org/W4251228600","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W4235160909","https://openalex.org/W1484021165","https://openalex.org/W3021865842","https://openalex.org/W2041209185","https://openalex.org/W2542590036","https://openalex.org/W2196991573","https://openalex.org/W2030935018","https://openalex.org/W1785234853","https://openalex.org/W4253492586"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}