On the public citation graph

Model‐based design of IoT systems with the BIP component framework

https://doi.org/10.1002/spe.2568
0 signed · 79 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/spe.1143openalex-snapshot
Flex‐eWare: a flexible model driven solution for designing and implementing embedded distributed systems
inferredcites →https://doi.org/10.1002/spe.2495openalex-snapshot
Exogenous coordination of concurrent software components with JavaBIP
inferredcites →https://doi.org/10.1002/spe.761openalex-snapshot
Controlling quality‐of‐service in distributed real‐time and embedded systems via adaptive middleware
inferredcites →https://doi.org/10.1007/978-1-4471-3227-1_8openalex-snapshot
Synchronous Observers and the Verification of Reactive Systems
inferredcites →https://doi.org/10.1007/978-1-4612-0865-5_26openalex-snapshot
Probability Inequalities for sums of Bounded Random Variables
inferredcites →https://doi.org/10.1007/978-3-319-04223-7_4openalex-snapshot
High-Level Internet of Things Applications Development Using Wireless Sensor Networks
inferredcites →https://doi.org/10.1007/978-3-319-11164-3_28openalex-snapshot
Faster Statistical Model Checking by Means of Abstraction and Learning
inferredcites →https://doi.org/10.1007/978-3-319-47166-2_62openalex-snapshot
A Model-Based Approach to Secure Multiparty Distributed Systems
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_8openalex-snapshot
Approximate Probabilistic Model Checking
inferredcites →https://doi.org/10.1007/978-3-642-13651-1_4openalex-snapshot
Programming Sensor Networks Using Remora Component Model
inferredcites →https://doi.org/10.1007/978-3-642-16612-9_11openalex-snapshot
Statistical Model Checking: An Overview
inferredcites →https://doi.org/10.1007/978-3-642-35887-6_17openalex-snapshot
Component Assemblies in the Context of Manycore
inferredcites →https://doi.org/10.1007/978-3-662-54434-1_7openalex-snapshot
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
inferredcites →https://doi.org/10.1007/s10009-014-0313-6openalex-snapshot
Statistical model checking QoS properties of systems with SBIP
inferredcites →https://doi.org/10.1007/s10776-016-0316-1openalex-snapshot
A Resource Oriented Framework for Service Choreography over Wireless Sensor and Actor Networks
inferredcites →https://doi.org/10.1007/s11036-013-0481-8openalex-snapshot
BeC 3: Behaviour Crowd Centric Composition for IoT applications
inferredcites →https://doi.org/10.1016/j.cose.2009.08.003openalex-snapshot
An intruder model with message inspection for model checking security protocols
inferredcites →https://doi.org/10.1016/j.future.2013.01.010openalex-snapshot
Internet of Things (IoT): A vision, architectural elements, and future directions
inferredcites →https://doi.org/10.1016/j.jss.2015.01.027openalex-snapshot
Enabling high-level application development for the Internet of Things
inferredcites →https://doi.org/10.1016/j.scico.2012.04.001openalex-snapshot
DiaSuite: A tool suite to develop Sense/Compute/Control applications
inferredcites →https://doi.org/10.1080/01621459.1963.10500830openalex-snapshot
Probability Inequalities for Sums of Bounded Random Variables
inferredcites →https://doi.org/10.1109/ecai.2015.7301201openalex-snapshot
Enabling security on 6LoWPAN / IPv6 Wireless Sensor Networks
inferredcites →https://doi.org/10.1109/hase.2011.57openalex-snapshot
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking
inferredcites →https://doi.org/10.1109/infcomw.2013.6970748openalex-snapshot
RIOT OS: Towards an OS for the Internet of Things
inferredcites →https://doi.org/10.1109/lcn.2004.38openalex-snapshot
Contiki - a lightweight and flexible operating system for tiny networked sensors
inferredcites →https://doi.org/10.1109/mass.2011.100openalex-snapshot
A Low-Power CoAP for Contiki
inferredcites →https://doi.org/10.1109/mc.2015.261openalex-snapshot
Aggregate Programming for the Internet of Things
inferredcites →https://doi.org/10.1109/ms.2011.27openalex-snapshot
Rigorous Component-Based System Design Using the BIP Framework
inferredcites →https://doi.org/10.1109/percomw.2010.5470520openalex-snapshot
Architecture and protocols for the Internet of Things: A case study
inferredcites →https://doi.org/10.1109/qrs.2016.39openalex-snapshot
Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking
inferredcites →https://doi.org/10.1109/sas.2015.7133617openalex-snapshot
Building distributed sensor network applications using BIP
inferredcites →https://doi.org/10.1109/sies.2015.7185066openalex-snapshot
Using BIP to reinforce correctness of resource-constrained IoT applications
inferredcites →https://doi.org/10.1109/sitis.2012.90openalex-snapshot
Static Verification of Wireless Sensor Networks with Formal Methods
inferredcites →https://doi.org/10.1109/soca.2013.48openalex-snapshot
PatRICIA -- A Novel Programming Model for IoT Applications on Cloud Platforms
inferredcites →https://doi.org/10.1109/sose.2014.12openalex-snapshot
Correct-by-Construction Web Service Architecture
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.1145/1340771.1340774openalex-snapshot
Programming models for sensor networks
inferredcites →https://doi.org/10.1145/1460412.1460422openalex-snapshot
Declarative tracepoints
inferredcites →https://doi.org/10.1145/1809111.1809115openalex-snapshot
Using state machines for a model driven development of web service-based sensor network applications
inferredcites →https://doi.org/10.1145/1810279.1810287openalex-snapshot
Towards a zero-configuration wireless sensor network architecture for smart buildings
inferredcites →https://doi.org/10.1145/1988051.1988058openalex-snapshot
Model driven development for rapid prototyping and optimization of wireless sensor network applications
inferredcites →https://doi.org/10.1145/2490428.2490429openalex-snapshot
Formal analysis of event-driven cyber physical systems
inferredcites →https://doi.org/10.1145/2491266.2491270openalex-snapshot
Mobile fog
inferredcites →https://doi.org/10.1145/2491956.2462184openalex-snapshot
P
inferredcites →https://doi.org/10.1145/280756.280881openalex-snapshot
System-level power estimation and optimization
inferredcites →https://doi.org/10.1145/2885498openalex-snapshot
ASTROLABE
inferredcites →https://doi.org/10.1145/990064.990081openalex-snapshot
Impact of radio irregularity on wireless sensor networks
inferredcites →https://doi.org/10.1561/1000000034openalex-snapshot
Rigorous System Design
inferredcites →https://doi.org/10.17487/rfc4944openalex-snapshot
Transmission of IPv6 Packets over IEEE 802.15.4 Networks
inferredcites →https://doi.org/10.17487/rfc7252openalex-snapshot
The Constrained Application Protocol (CoAP)
inferredcites →https://doi.org/10.3390/s16060804openalex-snapshot
Integrated Toolset for WSN Application Planning, Development, Commissioning and Maintenance: The WSN-DPCM ARTEMIS-JU Project
inferredcites →https://doi.org/10.4108/icst.simutools2009.5637openalex-snapshot
COOJA/MSPSim: interoperability testing for wireless sensor networks
inferredcites →https://doi.org/10.4304/jcm.6.6.424-438openalex-snapshot
The Web of Things: A Survey (Invited Paper)
inferredcites →https://doi.org/10.70675/40a174e5z5649z4698zb354z7beb45fe0bf5openalex-snapshot
Design flow for the rigorous development of networked embedded systems

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-030-31514-6_10openalex-snapshot
Model-Based Energy Characterization of IoT System Design Aspects
inferred← citeshttps://doi.org/10.1007/978-3-030-42517-3_4openalex-snapshot
TDDM4IoTS: A Test-Driven Development Methodology for Internet of Things (IoT)-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-10989-8_37openalex-snapshot
Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-33743-7_44openalex-snapshot
Integrating Data-Driven Security, Model Checking, and Self-adaptation for IoT Systems Using BIP Components: A Conceptual Proposal Model
inferred← citeshttps://doi.org/10.1007/s10009-020-00598-5openalex-snapshot
Energy characterization of IoT systems through design aspect monitoring
inferred← citeshttps://doi.org/10.1007/s10270-026-01399-1openalex-snapshot
Formal verification of fault tolerance mechanisms in multi-layer IoT using Event-B
inferred← citeshttps://doi.org/10.1007/s12667-023-00599-8openalex-snapshot
Formal modeling of industrial wireless applications
inferred← citeshttps://doi.org/10.1007/s40860-024-00225-zopenalex-snapshot
A formal model-based approach to design failure-aware Internet of Things architectures
inferred← citeshttps://doi.org/10.1007/s40860-024-00229-9openalex-snapshot
Development methodologies for IoT-based systems: challenges and research directions
inferred← citeshttps://doi.org/10.1016/j.iot.2021.100408openalex-snapshot
The design of secure IoT applications using patterns: State of the art and directions for research
inferred← citeshttps://doi.org/10.1109/access.2025.3606362openalex-snapshot
Designing Future Aerospace Systems: Integrating BIP Formal Verification Into F Prime Framework
inferred← citeshttps://doi.org/10.1109/jiot.2020.2971013openalex-snapshot
An Application Development Framework for Internet-of-Things Service Orchestration
inferred← citeshttps://doi.org/10.1109/jiot.2023.3281614openalex-snapshot
More Accurate Cost Estimation for Internet of Things Projects by Adaptation of Use Case Points Methodology
inferred← citeshttps://doi.org/10.1109/models-c53483.2021.00052openalex-snapshot
FTG+PM for the Model-Driven Development of Wireless Sensor Network based IoT Systems
inferred← citeshttps://doi.org/10.3390/s18061676openalex-snapshot
Collaborative Working Architecture for IoT-Based Applications
inferred← citeshttps://doi.org/10.3390/s23020790openalex-snapshot
Agile Methodologies Applied to the Development of Internet of Things (IoT)-Based Systems: A Review
inferred← citeshttps://doi.org/10.4204/eptcs.272.3openalex-snapshot
Model-Based Design of Energy-Efficient Applications for IoT Systems
inferred← citeshttps://doi.org/10.5121/csit.2018.81200openalex-snapshot
Computer Science & Information Technology (CS & IT)
inferred← citeshttps://doi.org/10.5121/csit.2018.81203openalex-snapshot
An Aspect-Oriented With BIP Components for Better Crosscutting Concerns Modernization in IOT Applications
inferred← citeshttps://doi.org/10.5121/ijcsit.2018.10100openalex-snapshot
inferred← citeshttps://doi.org/10.5121/ijcsit.2018.10200openalex-snapshot
inferred← citeshttps://doi.org/10.5121/ijcsit.2018.10300openalex-snapshot
inferred← citeshttps://doi.org/10.5121/ijcsit.2018.10500openalex-snapshot
inferred← citeshttps://doi.org/10.5121/ijcsit.2018.10600openalex-snapshot
inferred← citeshttps://doi.org/10.5121/ijcsit.2018.10601openalex-snapshot
Architectural Aspect-Aware Design for IoT Applications: Conceptual Proposal
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.