{"id":"https://openalex.org/W2402472642","doi":"https://doi.org/10.1007/3-540-45177-3_11","title":"Specification-Level Integration of Simulation and Dependability Analysis","display_name":"Specification-Level Integration of Simulation and Dependability Analysis","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W2402472642","doi":"https://doi.org/10.1007/3-540-45177-3_11","mag":"2402472642"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-45177-3_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45177-3_11","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":"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/A5062836381","display_name":"Swapna S. Gokhale","orcid":"https://orcid.org/0000-0001-8443-8146"},"institutions":[{"id":"https://openalex.org/I140172145","display_name":"University of Connecticut","ror":"https://ror.org/02der9h97","country_code":"US","type":"education","lineage":["https://openalex.org/I140172145"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Swapna S. Gokhale","raw_affiliation_strings":["Dept. of Computer Science and Engineering, University of Connecticut, Storrs, CT, 06269, USA","Dept. of Comput. Sci. & Eng., Univ. of Connecticut, Storrs, CT"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science and Engineering, University of Connecticut, Storrs, CT, 06269, USA","institution_ids":["https://openalex.org/I140172145"]},{"raw_affiliation_string":"Dept. of Comput. Sci. & Eng., Univ. of Connecticut, Storrs, CT","institution_ids":["https://openalex.org/I140172145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028347228","display_name":"J.R. Horgan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joseph R. Horgan","raw_affiliation_strings":["Applied Research, Telcordia Technologies, 445 South Street, Morristown, NJ, 07960, USA","Applied Research, Telcordia Technologies, Morristown, NJ#TAB#"],"affiliations":[{"raw_affiliation_string":"Applied Research, Telcordia Technologies, 445 South Street, Morristown, NJ, 07960, USA","institution_ids":[]},{"raw_affiliation_string":"Applied Research, Telcordia Technologies, Morristown, NJ#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036851432","display_name":"Kishor S. Trivedi","orcid":"https://orcid.org/0000-0001-7396-6330"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kishor S. Trivedi","raw_affiliation_strings":["Dept. of Electrical and Computer Engineering Center for Advanced Computing and Communication, Duke University, Durham, NC, 27708, USA","Dept. of Electrical and Computer Engineering, Center for Advanced Computing and Communication, Duke University, Durham, NC#TAB#"],"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering Center for Advanced Computing and Communication, Duke University, Durham, NC, 27708, USA","institution_ids":["https://openalex.org/I170897317"]},{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, Center for Advanced Computing and Communication, Duke University, Durham, NC#TAB#","institution_ids":["https://openalex.org/I170897317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5062836381"],"corresponding_institution_ids":["https://openalex.org/I140172145"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.3041,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.67310266,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"245","last_page":"266"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9987000226974487,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9979000091552734,"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/dependability","display_name":"Dependability","score":0.9082025289535522},{"id":"https://openalex.org/keywords/maintainability","display_name":"Maintainability","score":0.7563323974609375},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7413120865821838},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.5551062226295471},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.5371552109718323},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5366197824478149},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4995689392089844},{"id":"https://openalex.org/keywords/reference-architecture","display_name":"Reference architecture","score":0.44459444284439087},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.40313583612442017},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.34818118810653687},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.33813369274139404},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18724066019058228},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18260452151298523}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.9082025289535522},{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.7563323974609375},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7413120865821838},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.5551062226295471},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.5371552109718323},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5366197824478149},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4995689392089844},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.44459444284439087},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.40313583612442017},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.34818118810653687},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.33813369274139404},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18724066019058228},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18260452151298523}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/3-540-45177-3_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45177-3_11","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":"mag:2402472642","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/icse/wads2002.html#GokhaleHT02","pdf_url":null,"source":{"id":"https://openalex.org/S4306421219","display_name":"Workshop on Algorithms and Data Structures","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Workshop on Algorithms and Data Structures","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1647163334","https://openalex.org/W1804580900","https://openalex.org/W1844353665","https://openalex.org/W1914830711","https://openalex.org/W1951071653","https://openalex.org/W2090188531","https://openalex.org/W2096973649","https://openalex.org/W2103544170","https://openalex.org/W2113004249","https://openalex.org/W2119239145","https://openalex.org/W2122824813","https://openalex.org/W2141476082","https://openalex.org/W2146082668","https://openalex.org/W2155196766","https://openalex.org/W2163699139","https://openalex.org/W6903571951"],"related_works":["https://openalex.org/W42618409","https://openalex.org/W2479603315","https://openalex.org/W1489474506","https://openalex.org/W940350530","https://openalex.org/W2099554144","https://openalex.org/W1582506407","https://openalex.org/W2080340430","https://openalex.org/W2950390191","https://openalex.org/W2020005398","https://openalex.org/W2181980956","https://openalex.org/W2236495023","https://openalex.org/W2487633154","https://openalex.org/W2476440271","https://openalex.org/W2758486110","https://openalex.org/W2973175894","https://openalex.org/W2497449346","https://openalex.org/W2039695073","https://openalex.org/W2061621222","https://openalex.org/W2267861283","https://openalex.org/W2586143506"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}