{"id":"https://openalex.org/W2161256170","doi":"https://doi.org/10.1109/ase.2002.1115016","title":"Towards usable and relevant model checking techniques for the analysis of dependable interactive systems","display_name":"Towards usable and relevant model checking techniques for the analysis of dependable interactive systems","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2161256170","doi":"https://doi.org/10.1109/ase.2002.1115016","mag":"2161256170"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2002.1115016","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2002.1115016","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","raw_type":"proceedings-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/A5003761405","display_name":"Karsten Loer","orcid":"https://orcid.org/0009-0008-8971-5112"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"K. Loer","raw_affiliation_strings":["Dept. of Comput. Sci., York Univ., UK","Department of Computer Science, University of York, York, UK"],"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., York Univ., UK","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, University of York, York, UK","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090299074","display_name":"Michael D. Harrison","orcid":"https://orcid.org/0000-0002-5567-9650"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"M. Harrison","raw_affiliation_strings":["Dept. of Comput. Sci., York Univ., UK","Department of Computer Science, University of York, York, UK"],"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., York Univ., UK","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, University of York, York, UK","institution_ids":["https://openalex.org/I52099693"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5003761405"],"corresponding_institution_ids":["https://openalex.org/I52099693"],"apc_list":null,"apc_paid":null,"fwci":1.3551,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.81631352,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9988999962806702,"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/usable","display_name":"USable","score":0.8127107620239258},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7866930961608887},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5323441624641418},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40643420815467834},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2669501304626465},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.12302771210670471}],"concepts":[{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.8127107620239258},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7866930961608887},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5323441624641418},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40643420815467834},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2669501304626465},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.12302771210670471}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase.2002.1115016","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2002.1115016","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1489391022","https://openalex.org/W1520779134","https://openalex.org/W1996832037","https://openalex.org/W2096039823","https://openalex.org/W2099529102","https://openalex.org/W2132409110","https://openalex.org/W2493694810","https://openalex.org/W2752491485","https://openalex.org/W3159729475","https://openalex.org/W4235299643"],"related_works":["https://openalex.org/W2364866360","https://openalex.org/W1557832504","https://openalex.org/W2375556006","https://openalex.org/W2547728108","https://openalex.org/W1543150587","https://openalex.org/W1483584838","https://openalex.org/W1483845062","https://openalex.org/W2164474969","https://openalex.org/W2134424614","https://openalex.org/W1415634652"],"abstract_inverted_index":{"Model":[0],"checking":[1,71],"is":[2,31,72,87],"a":[3,17],"formal":[4,14],"technique":[5],"for":[6],"the":[7,29,38,44,59,98,124],"automated":[8],"analysis":[9],"of":[10,67,79,100,104],"system":[11,60,80],"models":[12,81],"against":[13],"requirements.":[15],"Once":[16],"suitable":[18],"model":[19,70],"and":[20,51,76,118],"property":[21],"have":[22],"been":[23],"specified,":[24],"no":[25],"further":[26],"interaction":[27],"by":[28,58],"analyst":[30],"required.":[32],"However,":[33],"this":[34,68],"does":[35],"not":[36,73,88],"make":[37,110],"method":[39],"necessarily":[40],"user":[41],"friendly":[42],"since":[43],"checker":[45],"must":[46],"be":[47],"provided":[48],"with":[49,123],"appropriate":[50],"complex":[52,129],"input":[53],"data.":[54],"Furthermore,":[55],"counter-examples":[56],"generated":[57],"are":[61],"often":[62],"difficult":[63],"to":[64,109,114],"interpret.":[65],"Because":[66],"complexity,":[69],"commonly":[74],"used,":[75],"exhaustive":[77],"exploration":[78],"based":[82],"on":[83],"finite":[84],"state":[85],"descriptions":[86],"exploited":[89],"within":[90],"industrial":[91],"dependable":[92],"systems":[93],"design.":[94],"The":[95],"paper":[96],"describes":[97],"development":[99],"an":[101],"integrated":[102],"collection":[103],"tools":[105],"around":[106],"SMV,":[107],"intended":[108],"it":[111],"more":[112],"accessible":[113],"practicing":[115],"software":[116],"engineers":[117],"in":[119,128],"particular":[120],"those":[121],"concerned":[122],"human":[125],"interface":[126],"issues":[127],"safety":[130],"critical":[131],"systems.":[132]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}