On the public citation graph

Modeling and formal verification of smart environments

https://doi.org/10.1002/sec.794
0 signed · 60 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/stvr.217openalex-snapshot
Statechart testing method for aircraft control systems
inferredcites →https://doi.org/10.1007/3-540-10003-2_79openalex-snapshot
On observing nondeterminism and concurrency
inferredcites →https://doi.org/10.1007/3-540-46029-2_13openalex-snapshot
PRISM: Probabilistic Symbolic Model Checker
inferredcites →https://doi.org/10.1007/3-540-53479-2_17openalex-snapshot
Action versus state based logics for transition systems
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/978-3-540-30473-9_15openalex-snapshot
Towards an Extensible Context Ontology for Ambient Intelligence
inferredcites →https://doi.org/10.1007/978-3-540-88564-1_51openalex-snapshot
DogOnt - Ontology Modeling for Intelligent Domotic Environments
inferredcites →https://doi.org/10.1007/978-3-642-19937-0_2openalex-snapshot
Design Time Methodology for the Formal Verification of Intelligent Domotic Environments
inferredcites →https://doi.org/10.1007/978-3-662-04396-7openalex-snapshot
Ontologies
inferredcites →https://doi.org/10.1007/978-3-662-09083-1openalex-snapshot
Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce
inferredcites →https://doi.org/10.1007/bf00121125openalex-snapshot
Formal hardware verification methods: A survey
inferredcites →https://doi.org/10.1007/bfb0022474openalex-snapshot
Petri nets, event structures and domains
inferredcites →https://doi.org/10.1007/s100090050046openalex-snapshot
NUSMV: a new symbolic model checker
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0304-3975(81)90112-2openalex-snapshot
Petri nets, event structures and domains, part I
inferredcites →https://doi.org/10.1023/a:1008645826258openalex-snapshot
A Formal Verification Environment for Railway Signaling System Design
inferredcites →https://doi.org/10.1038/scientificamerican0991-94openalex-snapshot
The Computer for the 21st Century
inferredcites →https://doi.org/10.1109/5.533956openalex-snapshot
Principles and methods of testing finite state machines-a survey
inferredcites →https://doi.org/10.1109/apsec.2005.59openalex-snapshot
Describing and verifying integrated services of home network systems
inferredcites →https://doi.org/10.1109/hase.1999.809474openalex-snapshot
Model checking UML Statechart diagrams using JACK
inferredcites →https://doi.org/10.1109/icess.2009.60openalex-snapshot
Ontology-Based Smart Home Solution and Service Composition
inferredcites →https://doi.org/10.1109/icsmc.2005.1571203openalex-snapshot
Seamlessly Engineering a Smart Environment
inferredcites →https://doi.org/10.1109/ictel.2008.4652663openalex-snapshot
Modeling the home environment using ontology with applications in software configuration management
inferredcites →https://doi.org/10.1109/ie.2011.36openalex-snapshot
Formal Verification of Device State Chart Models
inferredcites →https://doi.org/10.1109/is.2008.4670480openalex-snapshot
Methodology and tools for the design and verification of a smart management system for home comfort
inferredcites →https://doi.org/10.1109/mc.2003.1185214openalex-snapshot
Pervasive computing: a paradigm for the 21st century
inferredcites →https://doi.org/10.1109/mc.2010.335openalex-snapshot
Formal Design of Ambient Intelligence Applications
inferredcites →https://doi.org/10.1109/percom.2003.1192774openalex-snapshot
Cerberus: a context-aware security scheme for smart spaces
inferredcites →https://doi.org/10.1109/scc.2006.5openalex-snapshot
A Dynamic-SOA Home Control Gateway
inferredcites →https://doi.org/10.1109/tce.2008.4711217openalex-snapshot
The DOG gateway: enabling ontology-based intelligent domotic environments
inferredcites →https://doi.org/10.1145/1165555.1165563openalex-snapshot
Technical report column
inferredcites →https://doi.org/10.1145/1529282.1529751openalex-snapshot
CMC-UMC
inferredcites →https://doi.org/10.1145/1814539.1814551openalex-snapshot
Formal specification of wireless and pervasive healthcare applications
inferredcites →https://doi.org/10.1145/1978802.1978815openalex-snapshot
Ambient intelligence
inferredcites →https://doi.org/10.1145/242223.242257openalex-snapshot
Formal methods
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.1146/annurev.psych.54.101601.145044openalex-snapshot
Human-Computer Interaction: Psychological Aspects of the Human Use of Computing
inferredcites →https://doi.org/10.1177/154193120905301201openalex-snapshot
A Method for the Formal Verification of Human-interactive Systems
inferredcites →https://doi.org/10.1518/107118109x12524442637309openalex-snapshot
A Method for the Formal Verification of Human-interactive Systems
inferredcites →https://doi.org/10.2298/csis0701001aopenalex-snapshot
Ambient Intelligence: Concepts and applications
inferredcites →https://doi.org/10.25405/ncl.34123050openalex-snapshot
Formal Methods: State of the Art and Future Directions
inferredcites →https://doi.org/10.48550/arxiv.2003.05055openalex-snapshot
An Ontology-based Context Model in Intelligent Environments

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9781119593386.ch9openalex-snapshot
Securing Smart Cities
inferred← citeshttps://doi.org/10.1007/978-3-319-30142-6_17openalex-snapshot
Model Checking Feature Interactions
inferred← citeshttps://doi.org/10.1007/978-3-319-30184-6_4openalex-snapshot
Safe and Automatic Addition of Fault Tolerance for Smart Homes Dedicated to People with Disabilities
inferred← citeshttps://doi.org/10.1007/978-3-319-58280-1_5openalex-snapshot
Building Automation and Control Systems for Healthcare in Smart Homes
inferred← citeshttps://doi.org/10.1007/s12652-013-0209-4openalex-snapshot
Design-time formal verification for smart environments: an exploratory perspective
inferred← citeshttps://doi.org/10.1016/j.future.2018.10.003openalex-snapshot
ITEMa: A methodological approach for cognitive edge computing IoT ecosystems
inferred← citeshttps://doi.org/10.1016/j.procs.2013.09.034openalex-snapshot
Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People
inferred← citeshttps://doi.org/10.1080/10803548.2016.1214431openalex-snapshot
Towards a conceptual framework of OSH risk management in smart working environments based on smart PPE, ambient intelligence and the Internet of Things technologies
inferred← citeshttps://doi.org/10.1109/access.2017.2696031openalex-snapshot
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things
inferred← citeshttps://doi.org/10.1109/cns.2016.7860484openalex-snapshot
IoTSAT: A formal framework for security analysis of the internet of things (IoT)
inferred← citeshttps://doi.org/10.1145/3140241.3140252openalex-snapshot
Jumping the Air Gap
inferred← citeshttps://doi.org/10.1177/00375497241290369openalex-snapshot
STL4IoT: a statechart template library for IoT system design
inferred← citeshttps://doi.org/10.1186/s13174-017-0067-yopenalex-snapshot
Design framework for reliable and environment aware management of smart environment devices
inferred← citeshttps://doi.org/10.1371/journal.pone.0285700openalex-snapshot
Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets
inferred← citeshttps://doi.org/10.3166/ria.29.47-81openalex-snapshot
Représentation et vérification d’un environnement intelligent à partir de spécifications utilisateur en langage naturel
inferred← citeshttps://doi.org/10.5220/0005516402190228openalex-snapshot
A Method for Model Checking Feature Interactions
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.