{"id":"https://openalex.org/W2477536926","doi":"https://doi.org/10.1007/3-540-58555-9","title":"FME '94: Industrial Benefit of Formal Methods","display_name":"FME '94: Industrial Benefit of Formal Methods","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W2477536926","doi":"https://doi.org/10.1007/3-540-58555-9","mag":"2477536926"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-58555-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-58555-9","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"},"type":"book","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/A5064346225","display_name":"Maurice Naftalin","orcid":null},"institutions":[{"id":"https://openalex.org/I108326093","display_name":"Ithaka Harbors","ror":"https://ror.org/018xens77","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I108326093"]},{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I200763008","display_name":"Justus-Liebig-Universit\u00e4t Gie\u00dfen","ror":"https://ror.org/033eqas34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200763008"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210104948","display_name":"Lloyd's","ror":"https://ror.org/01hz1eb30","country_code":"GB","type":"other","lineage":["https://openalex.org/I4210104948"]}],"countries":["DE","GB","NL","US"],"is_corresponding":true,"raw_author_name":"Naftalin, Maurice","raw_affiliation_strings":["Applied Information Engineering Department, Lloyd's Register of Shipping 29 Wellesley Road, Croydon CR0 2AJ, United Kingdom","Gerneral Systems Development, S. L. Pg. Manuel Girona, 71, lr.2a, 08034 Barcelona, Spain","Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","Department of Computer Science, Cornell University 4130 Upson Hall, Ithaka, NY 14853, USA","Universit~t Karlsruhe Vincenz-Priessnitz-Strage 3, D-76128 Karlsruhe, Germany","Translimina Ltd. 37 Orpington Road, Winchmore Hill, London N21 3PD, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Applied Information Engineering Department, Lloyd's Register of Shipping 29 Wellesley Road, Croydon CR0 2AJ, United Kingdom","institution_ids":["https://openalex.org/I4210104948"]},{"raw_affiliation_string":"Gerneral Systems Development, S. L. Pg. Manuel Girona, 71, lr.2a, 08034 Barcelona, Spain","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Computer Science, Cornell University 4130 Upson Hall, Ithaka, NY 14853, USA","institution_ids":["https://openalex.org/I108326093","https://openalex.org/I205783295"]},{"raw_affiliation_string":"Universit~t Karlsruhe Vincenz-Priessnitz-Strage 3, D-76128 Karlsruhe, Germany","institution_ids":["https://openalex.org/I200763008"]},{"raw_affiliation_string":"Translimina Ltd. 37 Orpington Road, Winchmore Hill, London N21 3PD, United Kingdom","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"FME 1994 Barcelona","orcid":null},"institutions":[{"id":"https://openalex.org/I108326093","display_name":"Ithaka Harbors","ror":"https://ror.org/018xens77","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I108326093"]},{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I200763008","display_name":"Justus-Liebig-Universit\u00e4t Gie\u00dfen","ror":"https://ror.org/033eqas34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200763008"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210104948","display_name":"Lloyd's","ror":"https://ror.org/01hz1eb30","country_code":"GB","type":"other","lineage":["https://openalex.org/I4210104948"]}],"countries":["DE","GB","NL","US"],"is_corresponding":false,"raw_author_name":"FME 1994 Barcelona","raw_affiliation_strings":["Translimina Ltd. 37 Orpington Road, Winchmore Hill, London N21 3PD, United Kingdom","Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","Universit~t Karlsruhe Vincenz-Priessnitz-Strage 3, D-76128 Karlsruhe, Germany","Applied Information Engineering Department, Lloyd's Register of Shipping 29 Wellesley Road, Croydon CR0 2AJ, United Kingdom","Department of Computer Science, Cornell University 4130 Upson Hall, Ithaka, NY 14853, USA","Gerneral Systems Development, S. L. Pg. Manuel Girona, 71, lr.2a, 08034 Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Translimina Ltd. 37 Orpington Road, Winchmore Hill, London N21 3PD, United Kingdom","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Universit~t Karlsruhe Vincenz-Priessnitz-Strage 3, D-76128 Karlsruhe, Germany","institution_ids":["https://openalex.org/I200763008"]},{"raw_affiliation_string":"Applied Information Engineering Department, Lloyd's Register of Shipping 29 Wellesley Road, Croydon CR0 2AJ, United Kingdom","institution_ids":["https://openalex.org/I4210104948"]},{"raw_affiliation_string":"Department of Computer Science, Cornell University 4130 Upson Hall, Ithaka, NY 14853, USA","institution_ids":["https://openalex.org/I108326093","https://openalex.org/I205783295"]},{"raw_affiliation_string":"Gerneral Systems Development, S. L. Pg. Manuel Girona, 71, lr.2a, 08034 Barcelona, Spain","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064346225"],"corresponding_institution_ids":["https://openalex.org/I108326093","https://openalex.org/I193662353","https://openalex.org/I200763008","https://openalex.org/I205783295","https://openalex.org/I4210104948"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.8861,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.94656489,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"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.4650999903678894,"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.4650999903678894,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8532816171646118},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6158297657966614},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41783440113067627},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.412952721118927}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8532816171646118},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6158297657966614},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41783440113067627},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.412952721118927}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-58555-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-58555-9","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"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W1591622305","https://openalex.org/W1587246512","https://openalex.org/W2913714777","https://openalex.org/W61995002"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2016-08-23T00:00:00"}