On some Problems with Modelling of Exceptions in UML. - Radoslaw Klimek; Pawel Skrzynski; Michal Turek (Software Engineering: Evolution and Emerging Technologies, 2005)

Formal Analysis of Use Case Diagrams. - Radoslaw Klimek; Piotr Szwed (Comput. Sci., 2010)

Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach. - Radoslaw Klimek (ENASE, 2012)

Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications. - Radoslaw Klimek (ENASE (Selected Papers), 2012)

Towards Formal and Deduction-based Analysis of Business Models for SOA Processes. - Radoslaw Klimek (ICAART (2), 2012)

Towards deductive-based support for software development processes. - Radoslaw Klimek (FedCSIS, 2013)

Verifying data integration agents with deduction-based models. - Radoslaw Klimek; Lukasz Faber; Marek Kisiel-Dorohinicki (FedCSIS, 2013)

Verification of ArchiMate process specifications based on deductive temporal reasoning. - Radoslaw Klimek; Piotr Szwed (FedCSIS, 2013)

State-Space Reduction through Preference Modeling. - Radoslaw Klimek; Igor Wojnicki; Sebastian Ernst (ICAISC (2), 2013)

Preference Models and Their Elicitation and Analysis for Context-Aware Applications. - Radoslaw Klimek (ICMMI, 2013)

Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration. - Radoslaw Klimek; Lukasz Faber; Marek Kisiel-Dorohinicki (ICMMI, 2013)

A Deduction-based System for Formal Verification of Agent-ready Web Services. - Radoslaw Klimek (KES-AMSTA, 2013)

Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications. - Radoslaw Klimek (PECCS, 2013)

From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. - Radoslaw Klimek (SEFM, 2013)

Modeling Context-Aware and Agent-Ready Systems for the Outdoor Smart Lighting. - Radoslaw Klimek; Grzegorz Rogus (ICAISC (2), 2014)

Proposal of a multiagent-based smart environment for the IoT. - Radoslaw Klimek; Leszek Kotulski (Intelligent Environments (Workshops), 2014)

A system for deduction-based formal verification of workflow-oriented software models. - Radoslaw Klimek (Int. J. Appl. Math. Comput. Sci., 2014)

Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification. - Radoslaw Klimek (CoRR, 2014)

Automatic generation of logical specifications for context-aware systems. - Radoslaw Klimek (CoRR, 2014)

Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models. - Radoslaw Klimek (CoRR, 2014)

Context-awareness of the IoT through the on-the-fly preference modeling. - Radoslaw Klimek; Leszek Kotulski (CoRR, 2014)

Towards a Better Understanding and Behavior Recognition of Inhabitants in Smart Cities. A Public Transport Case. - Radoslaw Klimek; Leszek Kotulski (ICAISC, 2015)

Proposal of a Context-Aware Smart Home Ecosystem. - Radoslaw Klimek; Grzegorz Rogus (ICAISC, 2015)

Behavior Recognition and Analysis in Smart Environments for Context-Aware Applications. - Radoslaw Klimek (SMC, 2015)

Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems. - Radoslaw Klimek (ICAISC (1), 2016)

Context-aware and pro-active queue management systems in intelligent environments. - Radoslaw Klimek (FedCSIS, 2017)

Proposal of a Multi-agent System for a Smart Outdoor Lighting Environment. - Radoslaw Klimek (ICAISC (2), 2017)

Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers. - Radoslaw Klimek (ICAISC (2), 2017)

Behavioural Patterns from Cellular Data Streams and Outdoor Lighting as Strong Allies for Smart Urban Ecosystems. - Radoslaw Klimek; Leszek Kotulski; Adam Sedziwy (State of the Art in AI Applied to Ambient Intelligence, 2017)

Visualization of logical formulas. - Radoslaw Klimek (FedCSIS, 2018)

System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers. - Radoslaw Klimek (ICAISC (2), 2018)

Proposal of a Smart Gun System Supporting Police Interventions. - Radoslaw Klimek; Zuzanna Drwila; Patrycja Dzienisik (ICAISC (2), 2018)

Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services. - Radoslaw Klimek (IEEE Access, 2018)

Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. - Radoslaw Klimek (J. Log. Algebraic Methods Program., 2019)

Modelling Contextual Data for Smart Environments. Case Study of a System to Support Mountain Rescuers. - Radoslaw Klimek (ICCS (5), 2020)

Sensor-Enabled Context-Aware and Pro-Active Queue Management Systems in Intelligent Environments. - Radoslaw Klimek (Sensors, 2020)

Profile-Driven Synthetic Trajectories Generation to Enhance Smart System Solutions. - Radoslaw Klimek; Arkadiusz Olesek (ICCS (4), 2021)

Police Interventions as a Context-aware System. A Case of a Contextual Data Modelling. - Radoslaw Klimek (ISD, 2022)

Weight matching via pairwise comparison for MaxSAT. - Radoslaw Klimek (KES, 2022)

System For Monitoring Forests with Context-Aware Capabilities. - Radoslaw Klimek (ISD, 2024)

Improving Smart Contract Code with LLMs. - Radoslaw Klimek (ISD, 2024)

Logical square-driven and state-oriented generation of behavioural models. - Radoslaw Klimek (ASE Workshops, 2024)

Automatic Generation of Logical Specifications for Behavioural Models. - Radoslaw Klimek; Julia Witek (ASE Workshops, 2024)

Ambient-aware continuous aid for mountain rescue activities. - Radoslaw Klimek (Inf. Sci., 2024)

Context-aware Intelligent Tourist Assistant. - Radoslaw Klimek (PACIS, 2025)

RE-oriented Model Development with LLM Support and Deduction-based Verification. - Radoslaw Klimek (SIGSOFT FSE Companion, 2025)

Re-evaluation of Logical Specification in Behavioural Verification. - Radoslaw Klimek; Jakub Semczyszyn (CoRR, 2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification. - Radoslaw Klimek; Julia Witek (CoRR, 2025)