[Retracted] IIBE: An Improved Identity‐Based Encryption Algorithm for WSN Security
CH Cao, YN Tang, DY Huang… - Security and …, 2021 - Wiley Online Library
Wireless sensor networks (WSN) have problems such as limited power, weak computing
power, poor communication ability, and vulnerability to attack. However, the existing …
power, poor communication ability, and vulnerability to attack. However, the existing …
A comprehensive survey of UPPAAL‐assisted formal modeling and verification
UPPAAL is a formal modeling and verification tool based on timed automata, capable of
effectively analyzing real‐time software and hardware systems. In this article, we investigate …
effectively analyzing real‐time software and hardware systems. In this article, we investigate …
Dual mode for vehicular platoon safety: Simulation and formal verification
In order to cope with uncertainties in a platoon, this paper proposes a reconfigurable multi-
agent architecture to address the platoon safety problem by handling two modes: the normal …
agent architecture to address the platoon safety problem by handling two modes: the normal …
Transformation of Business Process Model and Notation models onto Petri nets and their analysis
Business Process Model and Notation is known as a widely used standard for business
processes modeling. However, its main drawback is that it lacks formal semantics, leading to …
processes modeling. However, its main drawback is that it lacks formal semantics, leading to …
Multiobjective optimization approach for a portable development of reconfigurable real-time systems: From specification to implementation
This paper deals with the reconfigurable real-time systems that should be adapted to their
environment under real-time constraints. The reconfiguration allows moving from one …
environment under real-time constraints. The reconfiguration allows moving from one …
Simplified agent-based resource sharing approach for WSN-WSN interaction in IoT/CPS projects
G Yıldırım, Y Tatar - IEEE Access, 2018 - ieeexplore.ieee.org
This paper focuses on the problem of interoperability and resource sharing in wireless
sensor networks (WSNs) running under the Internet of Things (IoT) and cyber-physical …
sensor networks (WSNs) running under the Internet of Things (IoT) and cyber-physical …
New power-oriented methodology for dynamic resizing and mobility of reconfigurable wireless sensor networks
This paper deals with reconfigurable wireless sensor networks (RWSNs) that should be
adapted to their environment in order to minimize the energy consumption during the …
adapted to their environment in order to minimize the energy consumption during the …
Improved multi-step look-ahead control policies for automated manufacturing systems
The deadlock control problem in automated manufacturing systems (AMSs) has received
much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets …
much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets …
On algebraic identification of critical states for deadlock control in automated manufacturing systems modeled with Petri nets
Petri nets are an important and popular tool to model and analyze deadlocks in automated
manufacturing systems. The state space of a Petri net model can be divided into two disjoint …
manufacturing systems. The state space of a Petri net model can be divided into two disjoint …
On methodology for the verification of reconfigurable timed net condition/event systems
This paper deals with the formal verification of reconfigurable discrete event control systems
(RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A …
(RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A …