{"id":"https://openalex.org/W2786733501","doi":"https://doi.org/10.1007/978-3-319-75632-5_3","title":"Monitoring Events that Carry Data","display_name":"Monitoring Events that Carry Data","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2786733501","doi":"https://doi.org/10.1007/978-3-319-75632-5_3","mag":"2786733501"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-75632-5_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-75632-5_3","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/A5040778442","display_name":"Klaus Havelund","orcid":"https://orcid.org/0000-0001-7079-0472"},"institutions":[{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Klaus Havelund","raw_affiliation_strings":["Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA"],"affiliations":[{"raw_affiliation_string":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA","institution_ids":["https://openalex.org/I1334627681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052066515","display_name":"Giles Reger","orcid":"https://orcid.org/0000-0001-6353-952X"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Giles Reger","raw_affiliation_strings":["University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064112443","display_name":"Daniel Thoma","orcid":null},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Thoma","raw_affiliation_strings":["Universit\u00e4t zu L\u00fcbeck, L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t zu L\u00fcbeck, L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083266867","display_name":"Eugen Z\u0103linescu","orcid":"https://orcid.org/0000-0002-2312-5661"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Eugen Z\u0103linescu","raw_affiliation_strings":["Technische Universit\u00e4t M\u00fcnchen, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5052066515"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":15.8325,"has_fulltext":false,"cited_by_count":49,"citation_normalized_percentile":{"value":0.99489238,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"102"},"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.9986000061035156,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980999827384949,"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.9135932326316833},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8395881652832031},{"id":"https://openalex.org/keywords/carry","display_name":"Carry (investment)","score":0.6850917339324951},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5938126444816589},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5710423588752747},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.44255346059799194},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42160624265670776},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39294156432151794},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07780307531356812}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.9135932326316833},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8395881652832031},{"id":"https://openalex.org/C2776299755","wikidata":"https://www.wikidata.org/wiki/Q432449","display_name":"Carry (investment)","level":2,"score":0.6850917339324951},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5938126444816589},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5710423588752747},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44255346059799194},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42160624265670776},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39294156432151794},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07780307531356812},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-75632-5_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-75632-5_3","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.atira.dk:openaire_cris_publications/0ac1e050-7337-4452-b94d-d7cc2ea2b1fc","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/0ac1e050-7337-4452-b94d-d7cc2ea2b1fc","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Havelund, K, Reger, G, Thoma, D & Z\u0103linescu, E 2018, Monitoring events that carry data. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10457 LNCS, Springer Nature, pp. 61-102. https://doi.org/10.1007/978-3-319-75632-5_3","raw_type":"bookPart"},{"id":"pmh:oai:pure.atira.dk:publications/0ac1e050-7337-4452-b94d-d7cc2ea2b1fc","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85042097183&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Havelund, K, Reger, G, Thoma, D & Z\u0103linescu, E 2018, Monitoring events that carry data. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10457 LNCS, Springer Nature, pp. 61-102. https://doi.org/10.1007/978-3-319-75632-5_3","raw_type":"bookPart"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":66,"referenced_works":["https://openalex.org/W64407196","https://openalex.org/W68069235","https://openalex.org/W78586765","https://openalex.org/W109080678","https://openalex.org/W855521917","https://openalex.org/W1482613269","https://openalex.org/W1490218063","https://openalex.org/W1494755801","https://openalex.org/W1513400763","https://openalex.org/W1518884487","https://openalex.org/W1535073122","https://openalex.org/W1535889317","https://openalex.org/W1556566737","https://openalex.org/W1558982743","https://openalex.org/W1569403765","https://openalex.org/W1586502670","https://openalex.org/W1595443289","https://openalex.org/W1599249895","https://openalex.org/W1759455432","https://openalex.org/W1790612874","https://openalex.org/W1825341937","https://openalex.org/W1877266832","https://openalex.org/W1910972060","https://openalex.org/W1943502734","https://openalex.org/W1965740447","https://openalex.org/W1988961870","https://openalex.org/W2002089154","https://openalex.org/W2005062077","https://openalex.org/W2025315843","https://openalex.org/W2026629052","https://openalex.org/W2027769154","https://openalex.org/W2029138738","https://openalex.org/W2030263557","https://openalex.org/W2045554431","https://openalex.org/W2072653660","https://openalex.org/W2078356878","https://openalex.org/W2087492381","https://openalex.org/W2092658016","https://openalex.org/W2096094142","https://openalex.org/W2101623441","https://openalex.org/W2111141292","https://openalex.org/W2113012730","https://openalex.org/W2115051564","https://openalex.org/W2116502002","https://openalex.org/W2125415493","https://openalex.org/W2128948567","https://openalex.org/W2132281483","https://openalex.org/W2137591753","https://openalex.org/W2145063062","https://openalex.org/W2155363127","https://openalex.org/W2164119561","https://openalex.org/W2176100176","https://openalex.org/W2226278679","https://openalex.org/W2267240189","https://openalex.org/W2281584718","https://openalex.org/W2336727880","https://openalex.org/W2339388938","https://openalex.org/W2405916544","https://openalex.org/W2523125815","https://openalex.org/W2604968291","https://openalex.org/W2738184854","https://openalex.org/W2951685722","https://openalex.org/W3099832466","https://openalex.org/W4231602332","https://openalex.org/W4238275896","https://openalex.org/W4250131223"],"related_works":["https://openalex.org/W57206970","https://openalex.org/W4235091896","https://openalex.org/W2185981755","https://openalex.org/W2023896637","https://openalex.org/W1539846681","https://openalex.org/W2498253392","https://openalex.org/W2996527951","https://openalex.org/W75787367","https://openalex.org/W2354638495","https://openalex.org/W1524177496"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":9}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}