{"id":"https://openalex.org/W2099276158","doi":"https://doi.org/10.1007/11880240_49","title":"A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems","display_name":"A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2099276158","doi":"https://doi.org/10.1007/11880240_49","mag":"2099276158"},"language":"en","primary_location":{"id":"doi:10.1007/11880240_49","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11880240_49","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":"conference-paper","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/A5011102701","display_name":"Heather J. Goldsby","orcid":null},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Heather Goldsby","raw_affiliation_strings":["Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, USA","Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan#TAB#","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047852703","display_name":"Betty H. C. Cheng","orcid":"https://orcid.org/0000-0001-9825-5359"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Betty H. C. Cheng","raw_affiliation_strings":["Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, USA","Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan#TAB#","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087886042","display_name":"Sascha Konrad","orcid":null},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sascha Konrad","raw_affiliation_strings":["Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, USA","Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan#TAB#","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030951250","display_name":"Stephane Kamdoum","orcid":null},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephane Kamdoum","raw_affiliation_strings":["Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, USA","Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan#TAB#","institution_ids":["https://openalex.org/I87216513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I87216513"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"707","last_page":"721"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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.9991000294685364,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8410071134567261},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.8026019334793091},{"id":"https://openalex.org/keywords/sequence-diagram","display_name":"Sequence diagram","score":0.7737008333206177},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.6547862887382507},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6512803435325623},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.6503998041152954},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.5522310137748718},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.5151571035385132},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5009021759033203},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.48656001687049866},{"id":"https://openalex.org/keywords/state-diagram","display_name":"State diagram","score":0.4554469585418701},{"id":"https://openalex.org/keywords/use-case-diagram","display_name":"Use Case Diagram","score":0.42636895179748535},{"id":"https://openalex.org/keywords/visual-modeling","display_name":"Visual modeling","score":0.4125424027442932},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.3122667670249939},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.18771973252296448},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09250393509864807}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8410071134567261},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.8026019334793091},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.7737008333206177},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.6547862887382507},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6512803435325623},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.6503998041152954},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.5522310137748718},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.5151571035385132},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5009021759033203},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.48656001687049866},{"id":"https://openalex.org/C16671368","wikidata":"https://www.wikidata.org/wiki/Q230885","display_name":"State diagram","level":3,"score":0.4554469585418701},{"id":"https://openalex.org/C161756209","wikidata":"https://www.wikidata.org/wiki/Q613423","display_name":"Use Case Diagram","level":5,"score":0.42636895179748535},{"id":"https://openalex.org/C2780330621","wikidata":"https://www.wikidata.org/wiki/Q7936609","display_name":"Visual modeling","level":4,"score":0.4125424027442932},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.3122667670249939},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.18771973252296448},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09250393509864807}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/11880240_49","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11880240_49","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W62250206","https://openalex.org/W1503170978","https://openalex.org/W1506588809","https://openalex.org/W1531153647","https://openalex.org/W1532594152","https://openalex.org/W1539432158","https://openalex.org/W1597414920","https://openalex.org/W1649645444","https://openalex.org/W1996832037","https://openalex.org/W2054966624","https://openalex.org/W2061420542","https://openalex.org/W2100500368","https://openalex.org/W2114000297","https://openalex.org/W2118551527","https://openalex.org/W2120105875","https://openalex.org/W2134001468","https://openalex.org/W2140225592","https://openalex.org/W2142718416","https://openalex.org/W2159720139","https://openalex.org/W2159958244","https://openalex.org/W4242102241","https://openalex.org/W4285719527","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W3090430358","https://openalex.org/W2914561978","https://openalex.org/W2773262262","https://openalex.org/W2355056070","https://openalex.org/W2354107069","https://openalex.org/W2366901981","https://openalex.org/W2774128211","https://openalex.org/W2071217003","https://openalex.org/W2366829786","https://openalex.org/W2364659677"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}