{"id":"https://openalex.org/W116619839","doi":"https://doi.org/10.1007/s00287-004-0381-1","title":"Model Checking","display_name":"Model Checking","publication_year":2004,"publication_date":"2004-04-01","ids":{"openalex":"https://openalex.org/W116619839","doi":"https://doi.org/10.1007/s00287-004-0381-1","mag":"116619839"},"language":"de","primary_location":{"id":"doi:10.1007/s00287-004-0381-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00287-004-0381-1","pdf_url":null,"source":{"id":"https://openalex.org/S155002599","display_name":"Informatik-Spektrum","issn_l":"0170-6012","issn":["0170-6012","1432-122X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Informatik-Spektrum","raw_type":"journal-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/A5034793142","display_name":"Ralf Buscherm\u00f6hle","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ralf Buscherm\u00f6hle","raw_affiliation_strings":["Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland"],"affiliations":[{"raw_affiliation_string":"Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064502671","display_name":"Mark Br\u00f6rkens","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mark Br\u00f6rkens","raw_affiliation_strings":["Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland"],"affiliations":[{"raw_affiliation_string":"Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001895454","display_name":"Ingo Br\u00fcckner","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ingo Br\u00fcckner","raw_affiliation_strings":["Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland"],"affiliations":[{"raw_affiliation_string":"Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053665575","display_name":"Werner Damm","orcid":"https://orcid.org/0000-0002-7277-1803"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Werner Damm","raw_affiliation_strings":["Carl von Ossietzky Universit\u00e4t Oldenburg, Fakult\u00e4t II\nInformatik, Wirtschafts- und Rechtswissenschaften, Department\nf\u00fcr Informatik, Abteilung Sicherheitskritische Eingebettete\nSysteme, Oldenburg, Deutschland"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universit\u00e4t Oldenburg, Fakult\u00e4t II\nInformatik, Wirtschafts- und Rechtswissenschaften, Department\nf\u00fcr Informatik, Abteilung Sicherheitskritische Eingebettete\nSysteme, Oldenburg, Deutschland","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109869142","display_name":"Wilhelm Hasselbring","orcid":null},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wilhelm Hasselbring","raw_affiliation_strings":["Carl von Ossietzky Universit\u00e4t Oldenburg, Fakult\u00e4t II\nInformatik, Wirtschafts- und Rechtswissenschaften, Department\nf\u00fcr Informatik, Abteilung Software Engineering, Oldenburg, Deutschland"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universit\u00e4t Oldenburg, Fakult\u00e4t II\nInformatik, Wirtschafts- und Rechtswissenschaften, Department\nf\u00fcr Informatik, Abteilung Software Engineering, Oldenburg, Deutschland","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062854895","display_name":"Bernhard Josko","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernhard Josko","raw_affiliation_strings":["Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland"],"affiliations":[{"raw_affiliation_string":"Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112273311","display_name":"Christoph Schulte","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Schulte","raw_affiliation_strings":["Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland"],"affiliations":[{"raw_affiliation_string":"Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070109385","display_name":"Thomas Wolf","orcid":"https://orcid.org/0000-0003-4136-8859"},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Wolf","raw_affiliation_strings":["Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland"],"affiliations":[{"raw_affiliation_string":"Oldenburger Forschungs- und Entwicklungsinstitut f\u00fcr\nInformatik-Werkzeuge und -Systeme (OFFIS), Bereich\nSicherheitskritische Systeme, Escherweg 2, 26121, Oldenburg, Deutschland","institution_ids":["https://openalex.org/I202367325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5034793142"],"corresponding_institution_ids":["https://openalex.org/I202367325"],"apc_list":{"value":2590,"currency":"EUR","value_usd":3090},"apc_paid":null,"fwci":0.6968,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.68332879,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"27","issue":"2","first_page":"146","last_page":"158"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9984999895095825,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9958999752998352,"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/computer-science","display_name":"Computer science","score":0.4585977792739868},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3278511166572571}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4585977792739868},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3278511166572571}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00287-004-0381-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00287-004-0381-1","pdf_url":null,"source":{"id":"https://openalex.org/S155002599","display_name":"Informatik-Spektrum","issn_l":"0170-6012","issn":["0170-6012","1432-122X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Informatik-Spektrum","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W105454859","https://openalex.org/W120333500","https://openalex.org/W129979374","https://openalex.org/W1505685495","https://openalex.org/W1517173520","https://openalex.org/W1556082611","https://openalex.org/W1564947547","https://openalex.org/W1592055490","https://openalex.org/W1885037678","https://openalex.org/W1934074768","https://openalex.org/W1961217896","https://openalex.org/W1987073197","https://openalex.org/W1995691455","https://openalex.org/W1998017916","https://openalex.org/W2016816643","https://openalex.org/W2023808162","https://openalex.org/W2061438988","https://openalex.org/W2080267935","https://openalex.org/W2081647087","https://openalex.org/W2099120582","https://openalex.org/W2101508170","https://openalex.org/W2117189826","https://openalex.org/W2118555022","https://openalex.org/W2147314098","https://openalex.org/W2157812571","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W3144889436"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}