On the public citation graph
Static Verification of Wireless Sensor Networks with Formal Methods
0 signed · 30 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-48317-9_17openalex-snapshot
The Event Calculus Explained
inferredcites →https://doi.org/10.1016/j.adhoc.2010.03.002openalex-snapshot
DTN routing in body sensor networks with dynamic postural partitioning
inferredcites →https://doi.org/10.1016/s1574-6526(07)x0300-6openalex-snapshot
Handbook of Knowledge Representation
inferredcites →https://doi.org/10.1088/0967-3334/29/11/r01openalex-snapshot
Wireless body sensor networks for health-monitoring applications
inferredcites →https://doi.org/10.1093/comjnl/bxp129openalex-snapshot
Moppet: A Model-Driven Performance Engineering Framework for Wireless Sensor Networks
inferredcites →https://doi.org/10.1093/logcom/14.5.703openalex-snapshot
Event Calculus Reasoning Through Satisfiability
inferredcites →https://doi.org/10.1109/iembs.2005.1615645openalex-snapshot
Wireless sensor and data transmission needs and technologies for patient monitoring in the operating room and intensive care unit
inferredcites →https://doi.org/10.1109/ipdps.2006.1639414openalex-snapshot
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
inferredcites →https://doi.org/10.1109/ipdps.2009.5160907openalex-snapshot
AVR-INJECT: A tool for injecting faults in Wireless Sensor Nodes
inferredcites →https://doi.org/10.1109/ipsn.2005.1440978openalex-snapshot
Avrora: scalable sensor network simulation with precise timing
inferredcites →https://doi.org/10.1109/rivf.2006.1696417openalex-snapshot
Probabilistic verification of sensor networks
inferredcites →https://doi.org/10.1109/tc.2011.96openalex-snapshot
Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks
inferredcites →https://doi.org/10.1117/12.542491openalex-snapshot
Impact of energy depletion and reliability on wireless sensor network connectivity
inferredcites →https://doi.org/10.1145/1031495.1031521openalex-snapshot
An analysis of a large scale habitat monitoring application
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.2568openalex-snapshot
Model‐based design of IoT systems with the BIP component framework
inferred← citeshttps://doi.org/10.1007/978-3-319-12817-7_8openalex-snapshot
A Formal Approach for a Dependability Assessment of a mHealth Monitoring System
inferred← citeshttps://doi.org/10.1007/978-981-15-7234-0_46openalex-snapshot
Smart Ecosystem to Facilitate the Elderly in Ambient Assisted Living
inferred← citeshttps://doi.org/10.1007/s10732-014-9258-xopenalex-snapshot
Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach
inferred← citeshttps://doi.org/10.1007/s40860-020-00108-zopenalex-snapshot
Deployment of sensor nodes for aquaculture in western Godavari delta: results, challenges and issues
inferred← citeshttps://doi.org/10.1063/5.0287528openalex-snapshot
Designing mycount: A web based application on accounting information systems for service companies
inferred← citeshttps://doi.org/10.1109/icicos53627.2021.9651899openalex-snapshot
Performance of Virtual Machine Managers for Computer Network Learning
inferred← citeshttps://doi.org/10.1109/wcica.2014.7052704openalex-snapshot
A survey of testing and debugging testbeds for sensor networks
inferred← citeshttps://doi.org/10.1145/2508222.2508235openalex-snapshot
A survey on resiliency assessment techniques for wireless sensor networks
inferred← citeshttps://doi.org/10.3233/aise230018openalex-snapshot
Self-Adapted Resource Allocation in V2X Communication
inferred← citeshttps://doi.org/10.3390/s17010019openalex-snapshot
A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks
inferred← citeshttps://doi.org/10.3390/s18041246openalex-snapshot
Active and Assisted Living Ecosystem for the Elderly
inferred← citeshttps://doi.org/10.3390/s22010309openalex-snapshot
Application of Reinforcement Learning and Deep Learning in Multiple-Input and Multiple-Output (MIMO) Systems
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.