{"id":"https://openalex.org/W1989163922","doi":"https://doi.org/10.1109/sesena.2013.6612263","title":"Runtime verification and reflection for wireless sensor networks","display_name":"Runtime verification and reflection for wireless sensor networks","publication_year":2013,"publication_date":"2013-05-01","ids":{"openalex":"https://openalex.org/W1989163922","doi":"https://doi.org/10.1109/sesena.2013.6612263","mag":"1989163922"},"language":"en","primary_location":{"id":"doi:10.1109/sesena.2013.6612263","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sesena.2013.6612263","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","raw_type":"proceedings-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/A5101595672","display_name":"Stefan Fischer","orcid":"https://orcid.org/0000-0003-1292-8925"},"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":true,"raw_author_name":"Stefan Fischer","raw_affiliation_strings":["Telematics Institute, University of L\u00fcbeck, Germany","Telematics Inst., Univ. of Lubeck, Lubeck, Germany"],"affiliations":[{"raw_affiliation_string":"Telematics Institute, University of L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]},{"raw_affiliation_string":"Telematics Inst., Univ. of Lubeck, Lubeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002397514","display_name":"Martin Leucker","orcid":"https://orcid.org/0000-0002-3696-9222"},"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":"Martin Leucker","raw_affiliation_strings":["Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany","Inst. for Software Eng. & Program. Languages, Univ. of Lubeck, Lubeck, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]},{"raw_affiliation_string":"Inst. for Software Eng. & Program. Languages, Univ. of Lubeck, Lubeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101595672"],"corresponding_institution_ids":["https://openalex.org/I9341345"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10712502,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"35","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9940000176429749,"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/computer-science","display_name":"Computer science","score":0.8371630311012268},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.6803336143493652},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.672021746635437},{"id":"https://openalex.org/keywords/reflection","display_name":"Reflection (computer programming)","score":0.6604617834091187},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5403682589530945},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.4730699956417084},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4479823708534241},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4400123953819275},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4374648630619049},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.42311882972717285},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.28217554092407227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2074214518070221},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09567615389823914}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8371630311012268},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6803336143493652},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.672021746635437},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.6604617834091187},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5403682589530945},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.4730699956417084},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4479823708534241},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4400123953819275},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4374648630619049},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.42311882972717285},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.28217554092407227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2074214518070221},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09567615389823914},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sesena.2013.6612263","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sesena.2013.6612263","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W2064440953","https://openalex.org/W2101623441","https://openalex.org/W2128022746","https://openalex.org/W2128559760","https://openalex.org/W2137246658","https://openalex.org/W2160614176","https://openalex.org/W2170541359","https://openalex.org/W6679260318","https://openalex.org/W6683332776"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W1968510839","https://openalex.org/W2106507440","https://openalex.org/W2809618173","https://openalex.org/W2118572231","https://openalex.org/W3120172095","https://openalex.org/W2406499533","https://openalex.org/W2950360254","https://openalex.org/W1522369122","https://openalex.org/W1563456403"],"abstract_inverted_index":{"The":[0,19],"paper":[1],"proposes":[2],"to":[3,40],"re-visit":[4],"a":[5],"light-weight":[6],"verification":[7,11,28],"technique":[8],"called":[9,31],"runtime":[10,27,32,66],"in":[12],"the":[13,62],"context":[14],"of":[15,26,65],"wireless":[16],"sensor":[17],"networks.":[18],"authors":[20],"believe":[21],"that":[22],"especially":[23],"an":[24,51],"extension":[25],"which":[29,35],"is":[30,36],"reflection":[33,67],"and":[34,45,57,68],"not":[37],"only":[38],"able":[39],"detect":[41],"faults,":[42],"but":[43],"diagnose":[44],"even":[46],"repair":[47],"them,":[48],"can":[49],"be":[50],"important":[52],"step":[53],"towards":[54],"robust,":[55],"self-organizing":[56],"self-healing":[58],"WSNs.":[59],"They":[60],"present":[61],"basic":[63],"idea":[64],"possible":[69],"applications.":[70]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}