{"id":"https://openalex.org/W2396809205","doi":"https://doi.org/10.3233/978-1-61499-302-5-225","title":"A Virtual Environment for Collaborative Engineering with Formal Verification","display_name":"A Virtual Environment for Collaborative Engineering with Formal Verification","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2396809205","doi":"https://doi.org/10.3233/978-1-61499-302-5-225","mag":"2396809205"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-302-5-225","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-302-5-225","pdf_url":null,"source":{"id":"https://openalex.org/S4306463470","display_name":"IOS Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"ebook platform"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"20th ISPE International Conference on Concurrent Engineering","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.3233/978-1-61499-302-5-225","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012724442","display_name":"H Krautschneider Wolfgang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Herget Wolfgang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Krauß Christopher","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Krauß Christopher","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058305712","display_name":"Nonnengart Andreas","orcid":"https://orcid.org/0000-0001-8274-1651"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nonnengart Andreas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116358700","display_name":"Spieldenner Torsten","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Spieldenner Torsten","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116358701","display_name":"Warwas Stefan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Warwas Stefan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5116358702","display_name":"Zinnikus Ingo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zinnikus Ingo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19181709,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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/T11159","display_name":"Manufacturing Process and Optimization","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"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/T11006","display_name":"BIM and Construction Integration","score":0.927299976348877,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.5469233989715576},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4035613536834717},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.32980436086654663},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20628145337104797}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5469233989715576},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4035613536834717},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.32980436086654663},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20628145337104797}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-61499-302-5-225","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-302-5-225","pdf_url":null,"source":{"id":"https://openalex.org/S4306463470","display_name":"IOS Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"ebook platform"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"20th ISPE International Conference on Concurrent Engineering","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.3233/978-1-61499-302-5-225","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-302-5-225","pdf_url":null,"source":{"id":"https://openalex.org/S4306463470","display_name":"IOS Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"ebook platform"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"20th ISPE International Conference on Concurrent Engineering","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,32],"present":[4],"a":[5,34],"collaborative,":[6],"web-based":[7],"framework":[8,76],"to":[9,37,67],"create":[10],"3D":[11,47],"scenarios":[12],"for":[13,39],"product":[14],"design,":[15],"simulation":[16],"and":[17,27,41,77],"training":[18],"assisted":[19],"by":[20],"animated":[21],"avatars.":[22],"To":[23],"support":[24],"correct":[25],"design":[26,30],"anticipate":[28],"critical":[29],"decisions":[31],"employ":[33],"verification":[35,66],"approach":[36],"check":[38],"safety":[40],"reachability":[42],"properties.":[43],"By":[44],"animating":[45],"the":[46,59,65,68,72,75,79],"model":[48],"based":[49,81],"on":[50,82],"prover":[51],"results":[52],"(trace":[53],"witnesses":[54],"out":[55],"of":[56,64,74],"constructive":[57],"proofs)":[58],"system":[60],"provides":[61],"tangible":[62],"feedback":[63],"designer.":[69],"We":[70],"describe":[71],"components":[73],"illustrate":[78],"functionality":[80],"an":[83],"existing":[84],"factory":[85],"production":[86],"line.":[87]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}