13 citations · 47 across the 7 of their papers we have counts for
5 papers · 1 filter
Context-awareness of the IoT through the on-the-fly preference modeling
Radoslaw Klimek, Leszek Kotulski
The context-awareness of things that belong to IoT networks have to be considered in a distributed computation paradigm. In the paper we suggest the use of graph transformations an…
Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models
Radoslaw Klimek
The work relates to the automatic generation of logical specifications, considered as sets of temporal logic formulas, extracted directly from developed software models. The extrac…
Proposal of a multiagent-based smart environment for the IoT
Radoslaw Klimek, Leszek Kotulski
This work relates to context-awareness of things that belong to IoT networks. Preferences understood as a priority in selection are considered, and dynamic preference models for su…
Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification
Radoslaw Klimek
The work concerns automatic generation of logical specifications from requirements models. Logical specifications obtained in such a way can be subjected to formal verification usi…
A System for Deduction-based Formal Verification of Workflow-oriented Software Models
Radoslaw Klimek
The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered. Manually building…