{"id":"https://openalex.org/W1548662955","doi":"https://doi.org/10.1007/3-540-48234-2_7","title":"Model Checking for Managers","display_name":"Model Checking for Managers","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W1548662955","doi":"https://doi.org/10.1007/3-540-48234-2_7","mag":"1548662955"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-48234-2_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-48234-2_7","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":"book-chapter","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/A5071583235","display_name":"Wil Janssen","orcid":null},"institutions":[{"id":"https://openalex.org/I88459447","display_name":"Novay","ror":"https://ror.org/00266dp40","country_code":"NL","type":"nonprofit","lineage":["https://openalex.org/I88459447"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Wil Janssen","raw_affiliation_strings":["Telematica Instituut, AN Enschede, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Telematica Instituut, AN Enschede, the Netherlands","institution_ids":["https://openalex.org/I88459447"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109230703","display_name":"Radu Mateescu","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Radu Mateescu","raw_affiliation_strings":["INRIA Rhone-Alpes, Montbonnot Saint-Martin, France"],"affiliations":[{"raw_affiliation_string":"INRIA Rhone-Alpes, Montbonnot Saint-Martin, France","institution_ids":["https://openalex.org/I4210101348","https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024602195","display_name":"Sjouke Mauw","orcid":"https://orcid.org/0000-0002-2818-4433"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sjouke Mauw","raw_affiliation_strings":["CWI, GB Amsterdam, the Netherlands","Eindhoven University of Technology, Department of Mathematics and Computing Science, MB Eindhoven, the Netherlands"],"affiliations":[{"raw_affiliation_string":"CWI, GB Amsterdam, the Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Eindhoven University of Technology, Department of Mathematics and Computing Science, MB Eindhoven, the Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030929385","display_name":"Peter Fennema","orcid":"https://orcid.org/0000-0002-3549-398X"},"institutions":[{"id":"https://openalex.org/I88459447","display_name":"Novay","ror":"https://ror.org/00266dp40","country_code":"NL","type":"nonprofit","lineage":["https://openalex.org/I88459447"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Peter Fennema","raw_affiliation_strings":["Telematica Instituut, AN Enschede, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Telematica Instituut, AN Enschede, the Netherlands","institution_ids":["https://openalex.org/I88459447"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080953192","display_name":"Petra van der Stappen","orcid":null},"institutions":[{"id":"https://openalex.org/I88459447","display_name":"Novay","ror":"https://ror.org/00266dp40","country_code":"NL","type":"nonprofit","lineage":["https://openalex.org/I88459447"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Petra van der Stappen","raw_affiliation_strings":["Telematica Instituut, AN Enschede, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Telematica Instituut, AN Enschede, the Netherlands","institution_ids":["https://openalex.org/I88459447"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5071583235"],"corresponding_institution_ids":["https://openalex.org/I88459447"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.3581,"has_fulltext":false,"cited_by_count":60,"citation_normalized_percentile":{"value":0.93946635,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"92","last_page":"107"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8557647466659546},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7536343932151794},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5586004853248596},{"id":"https://openalex.org/keywords/business-rule","display_name":"Business rule","score":0.5260488986968994},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.5088772773742676},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.49431490898132324},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3824639618396759},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.38242611289024353}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8557647466659546},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7536343932151794},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5586004853248596},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.5260488986968994},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.5088772773742676},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.49431490898132324},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3824639618396759},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.38242611289024353},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.0},{"id":"https://openalex.org/C17409809","wikidata":"https://www.wikidata.org/wiki/Q161764","display_name":"Geochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/3-540-48234-2_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-48234-2_7","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":"pmh:oai:pure.tue.nl:openaire_cris_publications/734c563c-f8b5-47d1-a9ce-2415bb24b4c1","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/734c563c-f8b5-47d1-a9ce-2415bb24b4c1","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Janssen, W, Mateescu, R, Mauw, S, Fennema, P & Stappen, van der, P 1999, Model checking for managers. in D Dams, R Gerth, S Leue & M Massink (eds), Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999). Lecture Notes in Computer Science, vol. 1680, Springer, Berlin, pp. 92-107. https://doi.org/10.1007/3-540-48234-2_7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.34.4028","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.4028","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.win.tue.nl/pub/techreports/sjouke/managers.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.36.5072","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5072","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://extranet.telin.nl/dscgi/ds.py/Get/File-3885/mc_for_managers.pdf","raw_type":"text"},{"id":"pmh:oai:library.tue.nl:743367","is_oa":false,"landing_page_url":"http://repository.tue.nl/743367","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:tue:oai:pure.tue.nl:publications/734c563c-f8b5-47d1-a9ce-2415bb24b4c1","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/734c563c-f8b5-47d1-a9ce-2415bb24b4c1","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999), 92 - 107","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W31584174","https://openalex.org/W1483422122","https://openalex.org/W1535344947","https://openalex.org/W1548825518","https://openalex.org/W1901099715","https://openalex.org/W1916934041","https://openalex.org/W1984936841","https://openalex.org/W2038817560","https://openalex.org/W2115309705","https://openalex.org/W2126509366"],"related_works":["https://openalex.org/W4300427051","https://openalex.org/W1557854785","https://openalex.org/W2096807669","https://openalex.org/W2424740894","https://openalex.org/W1971875599","https://openalex.org/W2368748614","https://openalex.org/W4236271902","https://openalex.org/W2110508388","https://openalex.org/W1536804156","https://openalex.org/W2120312796"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":5}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}