Radoslaw Klimek

57 papers A 1B 5C 5Misc 2Journal 18Unranked 24

Year	Rank	Type	Title / 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