{"id":"https://openalex.org/W2102108943","doi":"https://doi.org/10.1007/978-3-540-70545-1_48","title":"Discriminative Model Checking","display_name":"Discriminative Model Checking","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2102108943","doi":"https://doi.org/10.1007/978-3-540-70545-1_48","mag":"2102108943"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-70545-1_48","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-70545-1_48","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/A5075456281","display_name":"Peter Niebert","orcid":null},"institutions":[{"id":"https://openalex.org/I4210115196","display_name":"Laboratoire d\u2019Informatique Fondamentale de Marseille","ror":"https://ror.org/022my8t07","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210115196","https://openalex.org/I4210142724","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Peter Niebert","raw_affiliation_strings":["Laboratoire d\u2019Informatique Fondamentale de Marseille, CMI, 39, rue Joliot Curie, 13453, Marseille Cedex 13, France","Laboratoire d'Informatique Fondamentale de Marseille, CMI, Marseille Cedex 13, France 13453#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019Informatique Fondamentale de Marseille, CMI, 39, rue Joliot Curie, 13453, Marseille Cedex 13, France","institution_ids":["https://openalex.org/I4210115196"]},{"raw_affiliation_string":"Laboratoire d'Informatique Fondamentale de Marseille, CMI, Marseille Cedex 13, France 13453#TAB#","institution_ids":["https://openalex.org/I4210115196"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061223044","display_name":"Doron Peled","orcid":"https://orcid.org/0000-0002-7280-6578"},"institutions":[{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Doron Peled","raw_affiliation_strings":["Department of Computer Science, Bar Ilan University, Ramat Gan, 52900, Israel","Department of Computer Science, Bar Ilan University, Ramat Gan, Israel 52900"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Bar Ilan University, Ramat Gan, 52900, Israel","institution_ids":["https://openalex.org/I13955877"]},{"raw_affiliation_string":"Department of Computer Science, Bar Ilan University, Ramat Gan, Israel 52900","institution_ids":["https://openalex.org/I13955877"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109219790","display_name":"Amir Pnueli","orcid":null},"institutions":[{"id":"https://openalex.org/I36672615","display_name":"Courant Institute of Mathematical Sciences","ror":"https://ror.org/037tm7f56","country_code":"US","type":"education","lineage":["https://openalex.org/I36672615","https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amir Pnueli","raw_affiliation_strings":["Computing Science Department, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, NY 10012","Computing Science Department, Courant Institute of Mathematical Sciences, New York University, New York NY 10012"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Science Department, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, NY 10012","institution_ids":["https://openalex.org/I36672615"]},{"raw_affiliation_string":"Computing Science Department, Courant Institute of Mathematical Sciences, New York University, New York NY 10012","institution_ids":["https://openalex.org/I36672615"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"504","last_page":"516"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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.9990000128746033,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"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.8591122031211853},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.8372070789337158},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7993993759155273},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5865841507911682},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4588812291622162},{"id":"https://openalex.org/keywords/specification","display_name":"Specification","score":0.444631427526474},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3631739020347595},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.10149416327476501},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07034999132156372}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8591122031211853},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.8372070789337158},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7993993759155273},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5865841507911682},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4588812291622162},{"id":"https://openalex.org/C117222624","wikidata":"https://www.wikidata.org/wiki/Q7575010","display_name":"Specification","level":2,"score":0.444631427526474},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3631739020347595},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10149416327476501},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07034999132156372},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-70545-1_48","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-70545-1_48","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":[{"score":0.6200000047683716,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1556566737","https://openalex.org/W1585803290","https://openalex.org/W1589421353","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1607782211","https://openalex.org/W1761635979","https://openalex.org/W1975657455","https://openalex.org/W1982129592","https://openalex.org/W1984478483","https://openalex.org/W2002128397","https://openalex.org/W2016206563","https://openalex.org/W2023808162","https://openalex.org/W2034797990","https://openalex.org/W2079680418","https://openalex.org/W2080265580","https://openalex.org/W2121461840","https://openalex.org/W2143564693","https://openalex.org/W2402038485","https://openalex.org/W2497180905","https://openalex.org/W4255168061"],"related_works":["https://openalex.org/W2953113086","https://openalex.org/W1552191998","https://openalex.org/W2056825861","https://openalex.org/W4226455345","https://openalex.org/W2765989158","https://openalex.org/W2592399342","https://openalex.org/W1559579193","https://openalex.org/W1999652909","https://openalex.org/W2014062517","https://openalex.org/W2245550411"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}