Mikael Ekström

48 papers A 3B 3C 11Journal 12Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A model-based approach to automation of formal verification of ROS 2-based systems. Frontiers Robotics AI Lukas Johannes Dust, Rong Gu, Saad Mubeen, Mikael Ekström, Cristina Seceleanu
2025	J	`jnl`	Pattern-based verification of ROS 2 applications using UPPAAL. Int. J. Softw. Tools Technol. Transf. Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
2024	—	`conf`	A Model-Based Methodology for Automated Verification of ROS 2 Systems. RoSE Lukas Johannes Dust, Mikael Ekström, Rong Gu, Saad Mubeen, Cristina Seceleanu
2024	B	`conf`	A User Interface for Supervision of Missions in the Multi-UAV Context Using Text-to-Speech. HAI Afshin Ameri Ekhtiarabadi, Viktor Gemo Lindgren, Baran Çürüklü, Roberto Fresco, Mikael Ekström
2024	C	`conf`	UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. FMICS Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
2023	C	`conf`	Experimental Evaluation of Callback Behavior in ROS 2 Executors. ETFA Lukas Johannes Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu
2023	B	`conf`	Interplay of Human and AI Solvers on a Planning Problem. SMC Afshin Ameri Ekhtiarabadi, Branko Miloradovic, Baran Çürüklü, Alessandro V. Papadopoulos, Mikael Ekström, Johann Dréo
2023	J	`jnl`	Optimizing Parallel Task Execution for Multi-Agent Mission Planning. IEEE Access Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro Vittorio Papadopoulos
2023	C	`conf`	Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. FMICS Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
2022	—	`conf`	Blind Vacant Frequency Channels Detection for Cognitive Radio. ICEIC Inna Valieva, Bharath Shashidhar, Mats Björkman, Johan Åkerberg, Mikael Ekström, Iurii Voitenko
2022	J	`jnl`	Dependable Navigation for Multiple Autonomous Robots with Petri Nets Based Congestion Control and Dynamic Obstacle Avoidance. J. Intell. Robotic Syst. Lan Anh Trinh, Mikael Ekström, Baran Çürüklü
2022	C	`conf`	FP-SLIC: A Fully-Pipelined FPGA Implementation of Superpixel Image Segmentation. DSD Adnan Ghaderi, Carl Ahlberg, Magnus Östgren, Fredrik Ekstrand, Mikael Ekström
2022	J	`jnl`	GMP: A Genetic Mission Planner for Heterogeneous Multirobot System Applications. IEEE Trans. Cybern. Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro Vittorio Papadopoulos
2022	—	`conf`	Machine Learning-Based Frequency Bands Classification for Efficient Frequency Hopping Spread Spectrum Applications. MILCOM Inna Valieva, Bharath Shashidhar, Mats Björkman, Johan Åkerberg, Mikael Ekström, Iurii Voitenko
2022	C	`conf`	Quantitative analysis of communication handling for centralized multi-agent robot systems using ROS2. INDIN Lukas Johannes Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Emmanuel Dean
2021	—	`conf`	Exploiting Parallelism in Multi-Task Robot Allocation Problems. ICARSC Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro V. Papadopoulos
2021	J	`jnl`	The genetic algorithm census transform: evaluation of census windows of different size and level of sparseness through hardware in-the-loop training. J. Real Time Image Process. Carl Ahlberg, Miguel Leon, Fredrik Ekstrand, Mikael Ekström
2021	—	`conf`	Trajectory tracking and stabilisation of a riderless bicycle. ITSC Niklas Persson, Martin C. Ekström, Mikael Ekström, Alessandro V. Papadopoulos
2020	A	`conf`	Adaptive Autonomy in Wireless Sensor Networks. AAMAS Mirgita Frasheri, José Manuel Cano-García, Eva González-Parada, Baran Çürüklü, Mikael Ekström, Alessandro Vittorio Papadopoulos, Cristina Urdiales
2020	C	`conf`	Towards safe human robot collaboration - Risk assessment of intelligent automation. ETFA Atieh Hanna, Kristofer Bengtsson, Per-Lage Götvall, Mikael Ekström
2019	—	`conf`	A Genetic Algorithm Approach to Multi-Agent Mission Planning Problems. ICORES (Selected Papers) Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro V. Papadopoulos
2019	C	`conf`	Extended Colored Traveling Salesperson for Modeling Multi-Agent Mission Planning Problems. ICORES Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro Vittorio Papadopoulos
2019	C	`conf`	Industrial Challenges when Planning and Preparing Collaborative and Intelligent Automation Systems for Final Assembly Stations. ETFA Atieh Hanna, Kristofer Bengtsson, Martin Dahl, Endre Erós, Per-Lage Götvall, Mikael Ekström
2019	—	`conf`	Multiple Machine Learning Algorithms Comparison for Modulation Type Classification for Efficient Cognitive Radio. MILCOM Inna Valieva, Mats Björkman, Johan Åkerberg, Mikael Ekström, Iurii Voitenko
2019	C	`conf`	Petri Net Based Navigation Planning with Dipole Field and Dynamic Window Approach for Collision Avoidance. CoDIT Lan Anh Trinh, Mikael Ekström, Baran Çürüklü
2019	B	`conf`	TAMER: Task Allocation in Multi-robot Systems Through an Entity-Relationship Model. PRIMA Branko Miloradovic, Mirgita Frasheri, Baran Çürüklü, Mikael Ekström, Alessandro Vittorio Papadopoulos
2019	A	`conf`	Unbounded Sparse Census Transform Using Genetic Algorithm. WACV Carl Ahlberg, Miguel León Ortiz, Fredrik Ekstrand, Mikael Ekström
2018	J	`jnl`	Analysis of Perceived Helpfulness in Adaptive Autonomous Agent Populations. Trans. Comput. Collect. Intell. Mirgita Frasheri, Baran Çürüklü, Mikael Ekström
2018	—	`conf`	Comparison Between Static and Dynamic Willingness to Interact in Adaptive Autonomous Agents. ICAART (1) Mirgita Frasheri, Baran Çürüklü, Mikael Ekström
2018	J	`jnl`	Toward Shared Working Space of Human and Robotic Agents Through Dipole Flow Field for Dependable Path Planning. Frontiers Neurorobotics Lan Anh Trinh, Mikael Ekström, Baran Çürüklü
2017	—	`conf`	A Genetic Mission Planner for Solving Temporal Multi-agent Problems with Concurrent Tasks. ICSI (2) Branko Miloradovic, Baran Çürüklü, Mikael Ekström
2017	J	`jnl`	Dependability for Autonomous Control with a Probability Approach. ERCIM News Lan Anh Trinh, Baran Çürüklü, Mikael Ekström
2017	C	`conf`	Failure Analysis for Adaptive Autonomous Agents using Petri Nets. FedCSIS Mirgita Frasheri, Lan Anh Trinh, Baran Çürüklü, Mikael Ekström
2017	—	`conf`	Fault Tolerance Analysis for Dependable Autonomous Agents using Colored Time Petri Nets. ICAART (1) Lan Anh Trinh, Baran Çürüklü, Mikael Ekström
2017	—	`conf`	Towards Collaborative Adaptive Autonomous Agents. ICAART (1) Mirgita Frasheri, Baran Çürüklü, Mikael Ekström
2016	—	`conf`	A genetic planner for mission planning of cooperative agents in an underwater environment. SSCI Branko Miloradovic, Baran Çürüklü, Mikael Ekström
2016	J	`jnl`	Development and Evaluation of Algorithms for Breath Alcohol Screening. Sensors Jonas Ljungblad, Bertil Hök, Mikael Ekström
2015	—	`conf`	GIMME2 - an embedded system for stereo vision and processing of megapixel images with FPGA-acceleration. ReConFig Carl Ahlberg, Fredrik Ekstrand, Mikael Ekström, Giacomo Spampinato, Lars Asplund
2014	—	`conf`	Critical performance of a new breath alcohol analyzer for screening applications. ISSNIP Jonas Ljungblad, Bertil Hök, Mikael Ekström
2014	C	`conf`	High-speed segmentation-driven high-resolution matching. ICMV Fredrik Ekstrand, Carl Ahlberg, Mikael Ekström, Giacomo Spampinato
2014	—	`conf`	Towards an Embedded Real-Time High Resolution Vision System. ISVC (2) Fredrik Ekstrand, Carl Ahlberg, Mikael Ekström, Giacomo Spampinato
2012	J	`jnl`	A Bluetooth Radio Energy Consumption Model for Low-Duty-Cycle Applications. IEEE Trans. Instrum. Meas. Martin C. Ekström, Marcus Bergblomma, Maria Lindén, Mats Björkman, Mikael Ekström
2012	—	`conf`	A wireless low latency control system for harsh environments. PDeS Marcus Bergblomma, Martin C. Ekström, Mats Björkman, Mikael Ekström, Christer Gerdtman, Maria Lindén
2012	—	`conf`	Utilization and Performance Considerations in Resource Optimized Stereo Matching for Real-time Reconfigurable Hardware. VISAPP (2) Fredrik Ekstrand, Carl Ahlberg, Mikael Ekström, Lars Asplund, Giacomo Spampinato
2011	A	`conf`	An embedded stereo vision module for 6D pose estimation and mapping. IROS Giacomo Spampinato, Jörgen Lidholm, Carl Ahlberg, Fredrik Ekstrand, Mikael Ekström, Lars Asplund
2011	—	`conf`	GIMME - A General Image Multiview Manipulation Engine. ReConFig Carl Ahlberg, Jörgen Lidholm, Fredrik Ekstrand, Giacomo Spampinato, Mikael Ekström, Lars Asplund
2011	—	`conf`	Resource limited hardware-based stereo matching for high-speed vision system. ICARA Fredrik Ekstrand, Carl Ahlberg, Mikael Ekström, Lars Asplund, Giacomo Spampinato
2010	J	`jnl`	Improved breath alcohol analysis in patients with depressed consciousness. Medical Biol. Eng. Comput. Annika Kaisdotter Andersson, Bertil Hök, Daniel Rentsch, Gernot Ruecker, Mikael Ekström