Marcel Kyas

Orcid: 0000-0003-1018-3413

Affiliations:
  • Reykjavik University, Iceland
  • Free University of Berlin, Germany (former)


According to our database1, Marcel Kyas authored at least 69 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Autonomous Drone Landing: Marked Landing Pads and Solidified Lava Flows.
Int. J. Semantic Comput., June, 2024

Lowering Barriers to Entry for Fully-Integrated Custom Payloads on a DJI Matrice.
CoRR, 2024

A Precision Drone Landing System using Visual and IR Fiducial Markers and a Multi-Payload Camera.
CoRR, 2024

2023
The Membership Degree Min-Max Localisation Algorithm.
CoRR, 2023

2022
Autonomous Precision Drone Landing with Fiducial Markers and a Gimbal-Mounted Camera for Active Tracking.
CoRR, 2022

Evaluation of April Tag and WhyCode Fiducial Systems for Autonomous Precision Drone Landing with a Gimbal-Mounted Camera.
CoRR, 2022

Evaluation of Orientation Ambiguity and Detection Rate in April Tag and WhyCode.
Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022

Autonomous Drone Landing with Fiducial Markers and a Gimbal-Mounted Camera for Active Tracking.
Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022

2019
Securing Machine Learning Engines in IoT Applications with Attribute-Based Encryption.
Proceedings of the 2019 IEEE International Conference on Intelligence and Security Informatics, 2019

Assessing the Performance of Agile Teams.
Proceedings of the Beyond Interactions, 2019

2018
Secret Handshakes-Based Fuzzy Clustering for Sharing Personal e-Health Records.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2017
Fast routing graph extraction from floor plans.
Proceedings of the 2017 International Conference on Indoor Positioning and Indoor Navigation, 2017

2016
Conditional erosion to estimate routing graph out of floor plans.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2016

2015
Adaptive Range-Based Nonlinear Filters for Wireless Indoor Positioning System Using Dynamic Gaussian Model.
IEEE Trans. Veh. Technol., 2015

IMAKA-Tate: secure and efficient privacy preserving for indoor positioning applications.
Int. J. Parallel Emergent Distributed Syst., 2015

Light-weight Key Management Scheme for Active RFID Applications.
EAI Endorsed Trans. Ind. Networks Intell. Syst., 2015

Efficient Key Management System for Large-scale Smart RFID Applications.
EAI Endorsed Trans. Energy Web, 2015

A trust model-based Bayesian decision theory in large scale Internet of Things.
Proceedings of the Tenth IEEE International Conference on Intelligent Sensors, 2015

A survey of experimental evaluation in indoor localization research.
Proceedings of the 2015 International Conference on Indoor Positioning and Indoor Navigation, 2015

2014
Efficient Security and Privacy Protection for Emerging Smart RFID Communications.
Int. J. Networked Distributed Comput., 2014

RBGF: Recursively Bounded Grid-Based Filter for Indoor Position Tracking Using Wireless Networks.
IEEE Commun. Lett., 2014

Cramér-Rao lower bound analysis for wireless localization systems using priori information.
Proceedings of the 11th Workshop on Positioning, Navigation and Communication, 2014

GeoF: A geometric Bayesian filter for indoor position tracking in mixed LOS/NLOS conditions.
Proceedings of the 11th Workshop on Positioning, Navigation and Communication, 2014

Path loss and multipath effects in a real world indoor localization scenario.
Proceedings of the 11th Workshop on Positioning, Navigation and Communication, 2014

Recursive Bayesian Estimation Using a Topological Map for Indoor Position Tracking.
Proceedings of the IEEE 79th Vehicular Technology Conference, 2014

Experimental evaluation of the spatial error distribution of indoor localization algorithms.
Proceedings of the 2014 Ubiquitous Positioning Indoor Navigation and Location Based Service, 2014

Security and privacy protocol for emerging smart RFID applications.
Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

The effects of human body shadowing in RF-based indoor localization.
Proceedings of the 2014 International Conference on Indoor Positioning and Indoor Navigation, 2014

Experimental evaluation of indoor localization algorithms.
Proceedings of the 2014 International Conference on Indoor Positioning and Indoor Navigation, 2014

Device-free indoor localisation using radio tomography imaging in 800/900 MHz band.
Proceedings of the 2014 International Conference on Indoor Positioning and Indoor Navigation, 2014

RFID-tate: Efficient security and privacy protection for active RFID over IEEE 802.15.4.
Proceedings of the 5th International Conference on Information, 2014

An adaptive likelihood fusion method using dynamic Gaussian model for indoor target tracking.
Proceedings of the IEEE International Conference on Acoustics, 2014

2013
Quantitative and Spatial Evaluation of Distance-Based Localization Algorithms.
Proceedings of the Progress in Location-Based Services, 2013

A statistics-based least squares (SLS) method for non-line-of-sight error of indoor localization.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

PSG-DPF: Distributed Particle Filter Using Pairwise Selective Gossiping for Wireless Sensor Network.
Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

Weighted Least-Squares by Bounding-Box (B-WLS) for NLOS Mitigation of Indoor Localization.
Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

A virtual indoor localization testbed for Wireless Sensor Networks.
Proceedings of the 10th Annual IEEE International Conference on Sensing, 2013

2D geometrical performance for localization algorithms from 3D perspective.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2013

A grid-scan maximum likelihood estimation with a bias function for indoor network localization.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2013

Virtual testbed for indoor localization.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2013

Likelihood adaptation of particle filter for target tracking using wireless sensor networks.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

A non-parametric modeling of Time-of-flight ranging error for indoor network localization.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

2012
Dynamic searching particle filtering scheme for indoor localization in wireless sensor network.
Proceedings of the 9th Workshop on Positioning, Navigation and Communication, 2012

The FU Berlin parallel lateration-algorithm simulation and visualization engine.
Proceedings of the 9th Workshop on Positioning, Navigation and Communication, 2012

The Membership Degree Min-Max localization algorithm.
Proceedings of the 2012 Ubiquitous Positioning, 2012

The Geo-n localization algorithm.
Proceedings of the 2012 International Conference on Indoor Positioning and Indoor Navigation, 2012

A reference system for indoor localization testbeds.
Proceedings of the 2012 International Conference on Indoor Positioning and Indoor Navigation, 2012

RAID the WSN: Packet-based reliable cooperative diversity.
Proceedings of IEEE International Conference on Communications, 2012

2011
Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network.
Proceedings of the 2011 International Conference on Indoor Positioning and Indoor Navigation, 2011

2009
Resource Modeling for Timed Creol Models.
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Refinement Patterns for Hierarchical UML State Machines.
Proceedings of the Fundamentals of Software Engineering, 2009

Executable Interface Specifications for Testing Asynchronous Creol Components.
Proceedings of the Fundamentals of Software Engineering, 2009

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

A Theory of Bounded Fair Scheduling.
Proceedings of the Theoretical Aspects of Computing, 2008

A Real-Time Extension of Creol for Modelling Biomedical Sensors.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Run-Time Monitoring of Electronic Contracts.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
An Object-Oriented Component Model for Heterogeneous Nets.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006
Verifying OCL specifications of UML models: tool support and compositionakity.
PhD thesis, 2006

Compositional Verification of Timed Components using PVS.
Proceedings of the Software Engineering 2006, 2006

2005
A Compositional Trace Logic for Behavioural Interface Specifications.
Nord. J. Comput., 2005

Compositional Operational Semantics of a UML-Kernel-Model Language.
Proceedings of the Second Workshop on Structural Operational Semantics, 2005

29 New Unclarities in the Semantics of UML 2.0 State Machines.
Proceedings of the Formal Methods and Software Engineering, 2005

An Extended Type System for OCL Supporting Templates and Transformations.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004
Formalizing UML Models and OCL Constraints in PVS.
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

2003
On Message Specifications in OCL.
Proceedings of the Workshop on the Compositional Verification of UML Models, 2003

2001
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol.
Proceedings of the Verification of Parameterized Systems, 2001


  Loading...