Radoslaw Klimek

57 papers A 1B 5C 5Misc 2Journal 18Unranked 24
YearRankTypeTitle / Venue / Authors
2025 — conf
A Modular Simulation and Decision Platform for Enhancing Mountain Rescue Operations.
ISD
Radoslaw Klimek, Krzysztof Lazarz, Michal Palucki, Mateusz Swiatek
2025 J jnl
Ambient-aware continuous aid for mountain rescue activities.
CoRR
Radoslaw Klimek
2025 — conf
Context-aware Intelligent Tourist Assistant.
PACIS
Radoslaw Klimek
2025 J jnl
Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values.
CoRR
Radoslaw Klimek, Jakub Blazowski
2025 J jnl
Logic Mining from Process Logs: Towards Automated Specification and Verification.
CoRR
Radoslaw Klimek, Julia Witek
2025 — conf
RE-oriented Model Development with LLM Support and Deduction-based Verification.
SIGSOFT FSE Companion
Radoslaw Klimek
2025 J jnl
RE-oriented Model Development with LLM Support and Deduction-based Verification.
CoRR
Radoslaw Klimek
2025 A conf
Re-evaluation of Logical Specification in Behavioural Verification.
EASE
Radoslaw Klimek, Jakub Semczyszyn
2025 J jnl
Re-evaluation of Logical Specification in Behavioural Verification.
CoRR
Radoslaw Klimek, Jakub Semczyszyn
2024 J jnl
Ambient-aware continuous aid for mountain rescue activities.
Inf. Sci.
Radoslaw Klimek
2024 — conf
Automatic Generation of Logical Specifications for Behavioural Models.
ASE Workshops
Radoslaw Klimek, Julia Witek
2024 — conf
Automatic Generation of Logical Specifications for Behavioural Models.
RENE@ASE
Radoslaw Klimek, Julia Witek
2024 — conf
Improving Smart Contract Code with LLMs.
ISD
Radoslaw Klimek
2024 — conf
Logical square-driven and state-oriented generation of behavioural models.
ASE Workshops
Radoslaw Klimek
2024 — conf
System For Monitoring Forests with Context-Aware Capabilities.
ISD
Radoslaw Klimek
2022 — conf
Police Interventions as a Context-aware System. A Case of a Contextual Data Modelling.
ISD
Radoslaw Klimek
2022 B conf
Weight matching via pairwise comparison for MaxSAT.
KES
Radoslaw Klimek
2021 — conf
Profile-Driven Synthetic Trajectories Generation to Enhance Smart System Solutions.
ICCS (4)
Radoslaw Klimek, Arkadiusz Olesek
2020 — conf
Modelling Contextual Data for Smart Environments. Case Study of a System to Support Mountain Rescuers.
ICCS (5)
Radoslaw Klimek
2020 J jnl
Sensor-Enabled Context-Aware and Pro-Active Queue Management Systems in Intelligent Environments.
Sensors
Radoslaw Klimek
2019 J jnl
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models.
J. Log. Algebraic Methods Program.
Radoslaw Klimek
2018 J jnl
Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services.
IEEE Access
Radoslaw Klimek
2018 — conf
Proposal of a Smart Gun System Supporting Police Interventions.
ICAISC (2)
Radoslaw Klimek, Zuzanna Drwila, Patrycja Dzienisik
2018 — conf
System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers.
ICAISC (2)
Radoslaw Klimek
2018 C conf
Visualization of logical formulas.
FedCSIS
Radoslaw Klimek
2017 — ch.
Behavioural Patterns from Cellular Data Streams and Outdoor Lighting as Strong Allies for Smart Urban Ecosystems.
State of the Art in AI Applied to Ambient Intelligence
Radoslaw Klimek, Leszek Kotulski, Adam Sedziwy
2017 C conf
Context-aware and pro-active queue management systems in intelligent environments.
FedCSIS
Radoslaw Klimek
2017 — conf
Proposal of a Multi-agent System for a Smart Outdoor Lighting Environment.
ICAISC (2)
Radoslaw Klimek
2017 — conf
Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers.
ICAISC (2)
Radoslaw Klimek
2016 — conf
Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems.
ICAISC (1)
Radoslaw Klimek
2015 B conf
Behavior Recognition and Analysis in Smart Environments for Context-Aware Applications.
SMC
Radoslaw Klimek
2015 Misc conf
Proposal of a Context-Aware Smart Home Ecosystem.
ICAISC
Radoslaw Klimek, Grzegorz Rogus
2015 Misc conf
Towards a Better Understanding and Behavior Recognition of Inhabitants in Smart Cities. A Public Transport Case.
ICAISC
Radoslaw Klimek, Leszek Kotulski
2015 J jnl
Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case.
CoRR
Radoslaw Klimek, Leszek Kotulski
2014 J jnl
A System for Deduction-based Formal Verification of Workflow-oriented Software Models.
CoRR
Radoslaw Klimek
2014 J jnl
A system for deduction-based formal verification of workflow-oriented software models.
Int. J. Appl. Math. Comput. Sci.
Radoslaw Klimek
2014 J jnl
Automatic generation of logical specifications for context-aware systems.
CoRR
Radoslaw Klimek
2014 J jnl
Context-awareness of the IoT through the on-the-fly preference modeling.
CoRR
Radoslaw Klimek, Leszek Kotulski
2014 J jnl
Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification.
CoRR
Radoslaw Klimek
2014 — conf
Modeling Context-Aware and Agent-Ready Systems for the Outdoor Smart Lighting.
ICAISC (2)
Radoslaw Klimek, Grzegorz Rogus
2014 B conf
Proposal of a multiagent-based smart environment for the IoT.
Intelligent Environments (Workshops)
Radoslaw Klimek, Leszek Kotulski
2014 J jnl
Proposal of a multiagent-based smart environment for the IoT.
CoRR
Radoslaw Klimek, Leszek Kotulski
2014 J jnl
Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models.
CoRR
Radoslaw Klimek
2013 — conf
A Deduction-based System for Formal Verification of Agent-ready Web Services.
KES-AMSTA
Radoslaw Klimek
2013 — conf
Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration.
ICMMI
Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki
2013 B conf
From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models.
SEFM
Radoslaw Klimek
2013 — conf
Preference Models and Their Elicitation and Analysis for Context-Aware Applications.
ICMMI
Radoslaw Klimek
2013 — conf
State-Space Reduction through Preference Modeling.
ICAISC (2)
Radoslaw Klimek, Igor Wojnicki, Sebastian Ernst
2013 — conf
Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications.
PECCS
Radoslaw Klimek
2013 C conf
Towards deductive-based support for software development processes.
FedCSIS
Radoslaw Klimek
2013 C conf
Verification of ArchiMate process specifications based on deductive temporal reasoning.
FedCSIS
Radoslaw Klimek, Piotr Szwed
2013 C conf
Verifying data integration agents with deduction-based models.
FedCSIS
Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki
2012 — conf
Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications.
ENASE (Selected Papers)
Radoslaw Klimek
2012 B conf
Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach.
ENASE
Radoslaw Klimek
2012 — conf
Towards Formal and Deduction-based Analysis of Business Models for SOA Processes.
ICAART (2)
Radoslaw Klimek
2010 J jnl
Formal Analysis of Use Case Diagrams.
Comput. Sci.
Radoslaw Klimek, Piotr Szwed
2005 — ch.
On some Problems with Modelling of Exceptions in UML.
Software Engineering: Evolution and Emerging Technologies
Radoslaw Klimek, Pawel Skrzynski, Michal Turek