{"id":"https://openalex.org/W589201892","doi":null,"title":"Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings","display_name":"Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W589201892","mag":"589201892"},"language":"en","primary_location":{"id":"pmh:oai:pure.tue.nl:openaire/079421dd-2854-4d45-991b-ab1d2ba18d03","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/079421dd-2854-4d45-991b-ab1d2ba18d03","pdf_url":"https://research.tue.nl/files/1713564/200141386.pdf","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,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Baeten, J C M, Bosnacki, D, Voeten, J P M & Holenderski, L (eds) 2001, Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings. Computer science reports, vol. 0114, Technische Universiteit Eindhoven, Eindhoven.","raw_type":"info:eu-repo/semantics/book"},"volume":null,"type":"book","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/files/1713564/200141386.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110382800","display_name":"J. C. M. Baeten","orcid":"https://orcid.org/0000-0003-0287-0555","observed_orcids":["https://orcid.org/0000-0003-0287-0555"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jcm Jos Baeten","raw_affiliation_strings":["Department of Mathematics and Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077791579","display_name":"Dragan Bo\u0161na\u010dki","orcid":"https://orcid.org/0000-0003-4371-4436","observed_orcids":["https://orcid.org/0000-0003-4371-4436"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dragan Bo\u0161na\u010dki","raw_affiliation_strings":["Department of Mathematics and Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044483019","display_name":"Jpm Jeroen Voeten","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jpm Jeroen Voeten","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5000945444","display_name":"Leszek Holenderski","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Leszek Holenderski","raw_affiliation_strings":["Department of Mathematics and Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06756757,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":1.0},{"id":"https://openalex.org/keywords/hardware-verification","display_name":"hardware verification","score":0.8259999752044678},{"id":"https://openalex.org/keywords/software-verification","display_name":"software verification","score":0.9990000128746033},{"id":"https://openalex.org/keywords/communication-protocols","display_name":"communication protocols","score":0.6899999976158142},{"id":"https://openalex.org/keywords/sequential-circuit-design","display_name":"sequential circuit design","score":0.8140000104904175},{"id":"https://openalex.org/keywords/embedded-systems","display_name":"embedded systems","score":0.9850000143051147},{"id":"https://openalex.org/keywords/model-checking-tools","display_name":"model checking tools","score":0.7269999980926514},{"id":"https://openalex.org/keywords/manufacturing-processes","display_name":"production process","score":0.36000001430511475}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.8448635339736938},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.727929949760437},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5337041020393372},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4811088442802429},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.4804382026195526},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.46510133147239685},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4523981809616089},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4249439537525177},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28086501359939575},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14506781101226807},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.09995341300964355},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:oai:pure.tue.nl:openaire/079421dd-2854-4d45-991b-ab1d2ba18d03","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/079421dd-2854-4d45-991b-ab1d2ba18d03","pdf_url":"https://research.tue.nl/files/1713564/200141386.pdf","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,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Baeten, J C M, Bosnacki, D, Voeten, J P M & Holenderski, L (eds) 2001, Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings. Computer science reports, vol. 0114, Technische Universiteit Eindhoven, Eindhoven.","raw_type":"info:eu-repo/semantics/book"},{"id":"pmh:557074","doi":null,"is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=557074","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,"listed_in":[],"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":"Book"},{"id":"pmh:oai:library.tue.nl:557074","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/557074","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,"listed_in":[],"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":"Book"},{"id":"pmh:tue:oai:library.tue.nl:557074","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/557074","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,"listed_in":[],"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":"info:eu-repo/semantics/book"},{"id":"pmh:tue:oai:pure.tue.nl:publications/079421dd-2854-4d45-991b-ab1d2ba18d03","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/079421dd-2854-4d45-991b-ab1d2ba18d03","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,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/book"},{"id":"mag:589201892","doi":null,"is_oa":false,"landing_page_url":"https://pure.tue.nl/ws/files/1713564/200141386.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/079421dd-2854-4d45-991b-ab1d2ba18d03","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/079421dd-2854-4d45-991b-ab1d2ba18d03","pdf_url":"https://research.tue.nl/files/1713564/200141386.pdf","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,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Baeten, J C M, Bosnacki, D, Voeten, J P M & Holenderski, L (eds) 2001, Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings. Computer science reports, vol. 0114, Technische Universiteit Eindhoven, Eindhoven.","raw_type":"info:eu-repo/semantics/book"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W589201892.pdf","grobid_xml":"https://content.openalex.org/works/W589201892.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4251512478","https://openalex.org/W2003823575","https://openalex.org/W2560313048","https://openalex.org/W2803481836","https://openalex.org/W3132886498","https://openalex.org/W2312711958","https://openalex.org/W2052115660","https://openalex.org/W4405618099","https://openalex.org/W7095401982","https://openalex.org/W7097393808"],"abstract_inverted_index":{"This":[0,135],"report":[1],"contains":[2,184],"the":[3,7,18,35,41,51,63,81,88,96,99,106,161,178,181,188,196,207,212,216,233,235,252],"preliminary":[4],"proceedings":[5,183],"of":[6,34,50,56,65,68,80,85,90,105,198,211],"third":[8],"Dutch":[9],"Model\\nChecking":[10],"Day,":[11],"held":[12],"on":[13,190],"7th":[14],"November":[15],"2001":[16],"at":[17],"Technische":[19],"Universiteit":[20],"Eindhoven.\\nModel":[21],"checking":[22,53,58,93],"is":[23,87],"an":[24,166],"automatic":[25],"technique":[26],"for":[27,221,259],"verifying":[28],"hardware":[29,155],"and":[30,75,101,118,130,139,170,177,215,223,246],"software\\nsystems.":[31],"The":[32,200],"advance":[33],"research":[36,217],"in":[37,40,62,123,133,147,195],"this":[38,226],"area":[39],"past":[42],"few":[43],"years\\nhas":[44],"lead":[45],"to":[46,111,168,171,187,231],"a":[47],"significant":[48],"improvement":[49],"model":[52,57,92,124],"tools.":[54],"Successful\\napplications":[55],"have":[59,172],"been":[60],"reported":[61],"verification":[64],"a\\nwide":[66],"variety":[67],"systems,":[69,153],"like":[70,230],"complex":[71],"sequential":[72],"circuit":[73],"designs":[74],"communication\\nprotocols.":[76],"An":[77],"important":[78],"evidence":[79],"great":[82],"practical":[83,129],"potential":[84],"model\\nchecking":[86],"development":[89],"in-house":[91],"tools":[94],"within":[95],"major\\ncompanies":[97],"from":[98,116,206],"information":[100],"telecommunication":[102],"industry.\\nThe":[103],"objective":[104],"Model":[107,162,201],"Checking":[108,163,202],"Day":[109,164,203],"was":[110],"bring":[112],"together":[113],"researchers\\nand":[114],"practitioners":[115],"academia":[117],"industry":[119],"who":[120],"are":[121,193],"interested":[122],"checking.\\nThe":[125],"presentations":[126,189],"featured":[127],"both":[128],"theoretical":[131],"advances":[132],"the\\narea.":[134],"includes":[136],"new":[137,175],"techniques":[138],"methodologies,":[140],"as":[141,143,151],"well":[142],"experience\\nwith":[144],"their":[145,261],"application":[146],"various":[148],"areas,":[149],"such":[150],"embedded":[152],"communication\\nprotocols,":[154],"components,":[156],"production":[157],"processes,":[158],"etc.\\nBesides":[159],"this,":[160],"provided":[165],"opportunity":[167],"exchange\\nexperiences,":[169],"discussions":[173],"about":[174],"ideas":[176],"latest":[179],"developments\\nin":[180],"area.\\nThis":[182],"contributions":[185],"related":[186],"this\\nday,":[191],"details":[192],"given":[194],"table":[197],"contents.":[199],"received\\ngenerous":[204],"support":[205],"Formal":[208],"Methods":[209],"Group":[210],"Technische\\nUniversiteit":[213],"Eindhoven":[214],"school":[218],"IPA":[219],"(Institute":[220],"Programming\\nresearch":[222],"Algorithmics).":[224],"At":[225],"point":[227],"I":[228],"would":[229],"thank":[232],"members\\nof":[234],"program":[236],"committee":[237],"Dragan":[238],"Bosnacki":[239],"(TU/e":[240,249,256],"Computer":[241,257],"Science),":[242],"Leszek\\nHolenderski":[243],"(Philips":[244],"Research)":[245],"Jeroen":[247],"Voeten":[248],"Electrical":[250],"Engineering),\\nand":[251],"secretary":[253],"Elize":[254],"Russell":[255],"Science)":[258],"all":[260],"work.":[262]},"counts_by_year":[],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2016-06-24T00:00:00"}