13 citations · 47 across the 7 of their papers we have counts for
7 papers
Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case
Radoslaw Klimek, Leszek Kotulski
The idea of modern urban systems and smart cities requires monitoring and careful analysis of different signals. Such signals can originate from different sources and one of the mo…
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…
Behavior recognition and analysis in smart environments for context-aware applications
Radoslaw Klimek
Providing accurate/suitable information on behaviors in sma\-rt environments is a challenging and crucial task in pervasive computing where context-awareness and pro-activity are o…
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…