Radoslaw Klimek

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 15

Top Topics

Logical Formulas

Intelligent Environments

Behavior Recognition

Formal Verification

Top Venues

Publications

Radoslaw Klimek
Ambient-aware continuous aid for mountain rescue activities. Inf. Sci. 653 (2024)
Radoslaw Klimek
Weight matching via pairwise comparison for MaxSAT. KES (2022)
Radoslaw Klimek
Police Interventions as a Context-aware System. A Case of a Contextual Data Modelling. ISD (2022)
Radoslaw Klimek, Arkadiusz Olesek
Profile-Driven Synthetic Trajectories Generation to Enhance Smart System Solutions. ICCS (4) (2021)
Radoslaw Klimek
Sensor-Enabled Context-Aware and Pro-Active Queue Management Systems in Intelligent Environments. Sensors 20 (20) (2020)
Radoslaw Klimek
Modelling Contextual Data for Smart Environments. Case Study of a System to Support Mountain Rescuers. ICCS (5) (2020)
Radoslaw Klimek
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. J. Log. Algebraic Methods Program. 104 (2019)
Radoslaw Klimek
System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers. ICAISC (2) (2018)
Radoslaw Klimek
Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services. IEEE Access 6 (2018)
Radoslaw Klimek, Zuzanna Drwila, Patrycja Dzienisik
Proposal of a Smart Gun System Supporting Police Interventions. ICAISC (2) (2018)
Radoslaw Klimek
Visualization of logical formulas. FedCSIS (2018)
Radoslaw Klimek
Proposal of a Multi-agent System for a Smart Outdoor Lighting Environment. ICAISC (2) (2017)
Radoslaw Klimek
Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers. ICAISC (2) (2017)
Radoslaw Klimek
Context-aware and pro-active queue management systems in intelligent environments. FedCSIS (2017)
Radoslaw Klimek
Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems. ICAISC (1) (2016)
Radoslaw Klimek, Leszek Kotulski
Towards a Better Understanding and Behavior Recognition of Inhabitants in Smart Cities. A Public Transport Case. ICAISC (2015)
Radoslaw Klimek, Leszek Kotulski
Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case. CoRR (2015)
Radoslaw Klimek, Grzegorz Rogus
Proposal of a Context-Aware Smart Home Ecosystem. ICAISC (2015)
Radoslaw Klimek
Behavior Recognition and Analysis in Smart Environments for Context-Aware Applications. SMC (2015)
Radoslaw Klimek, Leszek Kotulski
Proposal of a multiagent-based smart environment for the IoT. CoRR (2014)
Radoslaw Klimek
Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models. CoRR (2014)
Radoslaw Klimek, Leszek Kotulski
Proposal of a multiagent-based smart environment for the IoT. Intelligent Environments (Workshops) (2014)
Radoslaw Klimek, Grzegorz Rogus
Modeling Context-Aware and Agent-Ready Systems for the Outdoor Smart Lighting. ICAISC (2) (2014)
Radoslaw Klimek
Automatic generation of logical specifications for context-aware systems. CoRR (2014)
Radoslaw Klimek
Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification. CoRR (2014)
Radoslaw Klimek
A system for deduction-based formal verification of workflow-oriented software models. Int. J. Appl. Math. Comput. Sci. 24 (4) (2014)
Radoslaw Klimek
A System for Deduction-based Formal Verification of Workflow-oriented Software Models. CoRR (2014)
Radoslaw Klimek, Leszek Kotulski
Context-awareness of the IoT through the on-the-fly preference modeling. CoRR (2014)
Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki
Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration. ICMMI (2013)
Radoslaw Klimek
Preference Models and Their Elicitation and Analysis for Context-Aware Applications. ICMMI (2013)
Radoslaw Klimek
From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. SEFM (2013)
Radoslaw Klimek, Igor Wojnicki, Sebastian Ernst
State-Space Reduction through Preference Modeling. ICAISC (2) (2013)
Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki
Verifying data integration agents with deduction-based models. FedCSIS (2013)
Radoslaw Klimek
A Deduction-based System for Formal Verification of Agent-ready Web Services. KES-AMSTA (2013)
Radoslaw Klimek
Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications. PECCS (2013)
Radoslaw Klimek
Towards deductive-based support for software development processes. FedCSIS (2013)
Radoslaw Klimek, Piotr Szwed
Verification of ArchiMate process specifications based on deductive temporal reasoning. FedCSIS (2013)
Radoslaw Klimek
Towards Formal and Deduction-based Analysis of Business Models for SOA Processes. ICAART (2) (2012)
Radoslaw Klimek
Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach. ENASE (2012)
Radoslaw Klimek
Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications. ENASE (Selected Papers) (2012)
Radoslaw Klimek, Piotr Szwed
Formal Analysis of Use Case Diagrams. Comput. Sci. 11 (2010)