Marcel Kyas

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Autonomous Drone Landing: Marked Landing Pads and Solidified Lava Flows.

Joshua Springer, Marcel Kyas

Int. J. Semantic Comput., June, 2024

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

Joshua Springer, Gylfi Þór Guðmundsson, Marcel Kyas

CoRR, 2024

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

Joshua Springer, Gylfi Þór Guðmundsson, Marcel Kyas

CoRR, 2024

2023

The Membership Degree Min-Max Localisation Algorithm.

Thomas Hillebrandt, Heiko Will, Marcel Kyas

CoRR, 2023

2022

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

Joshua Springer, Marcel Kyas

CoRR, 2022

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

Joshua Springer, Marcel Kyas

CoRR, 2022

Evaluation of Orientation Ambiguity and Detection Rate in April Tag and WhyCode.

Joshua Springer, Marcel Kyas

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.

Joshua Springer, Marcel Kyas

Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022

2019

Securing Machine Learning Engines in IoT Applications with Attribute-Based Encryption.

Agus Kurniawan, Marcel Kyas

Proceedings of the 2019 IEEE International Conference on Intelligence and Security Informatics, 2019

Assessing the Performance of Agile Teams.

Marta Kristín Lárusdóttir, Marcel Kyas

Proceedings of the Beyond Interactions, 2019

2018

Secret Handshakes-Based Fuzzy Clustering for Sharing Personal e-Health Records.

Agus Kurniawan, Marcel Kyas

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2017

Fast routing graph extraction from floor plans.

Simon Schmitt, Larissa Zech, Katinka Wolter, Thomas Willemsen, Harald Sternberg, Marcel Kyas

Proceedings of the 2017 International Conference on Indoor Positioning and Indoor Navigation, 2017

2016

Conditional erosion to estimate routing graph out of floor plans.

Simon Schmitt, Larissa Zech, Thomas Willemsen, Harald Sternberg, Marcel Kyas

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.

Yubin Zhao, Yuan Yang, Marcel Kyas

IEEE Trans. Veh. Technol., 2015

IMAKA-Tate: secure and efficient privacy preserving for indoor positioning applications.

Mohammad Fal Sadikin, Marcel Kyas

Int. J. Parallel Emergent Distributed Syst., 2015

Light-weight Key Management Scheme for Active RFID Applications.

Mohammad Fal Sadikin, Marcel Kyas

EAI Endorsed Trans. Ind. Networks Intell. Syst., 2015

Efficient Key Management System for Large-scale Smart RFID Applications.

Mohammad Fal Sadikin, Marcel Kyas

EAI Endorsed Trans. Energy Web, 2015

A trust model-based Bayesian decision theory in large scale Internet of Things.

Agus Kurniawan, Marcel Kyas

Proceedings of the Tenth IEEE International Conference on Intelligent Sensors, 2015

A survey of experimental evaluation in indoor localization research.

Stephan Adler, Simon Schmitt, Katinka Wolter, Marcel Kyas

Proceedings of the 2015 International Conference on Indoor Positioning and Indoor Navigation, 2015

2014

Efficient Security and Privacy Protection for Emerging Smart RFID Communications.

Mohammad Fal Sadikin, Marcel Kyas

Int. J. Networked Distributed Comput., 2014

RBGF: Recursively Bounded Grid-Based Filter for Indoor Position Tracking Using Wireless Networks.

Yuan Yang, Yubin Zhao, Marcel Kyas

IEEE Commun. Lett., 2014

Cramér-Rao lower bound analysis for wireless localization systems using priori information.

Yubin Zhao, Yuan Yang, Marcel Kyas

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.

Yuan Yang, Yubin Zhao, Marcel Kyas

Proceedings of the 11th Workshop on Positioning, Navigation and Communication, 2014

Path loss and multipath effects in a real world indoor localization scenario.

Stephan Adler, Simon Schmitt, Marcel Kyas

Proceedings of the 11th Workshop on Positioning, Navigation and Communication, 2014

Recursive Bayesian Estimation Using a Topological Map for Indoor Position Tracking.

Yuan Yang, Yubin Zhao, Marcel Kyas

Proceedings of the IEEE 79th Vehicular Technology Conference, 2014

Experimental evaluation of the spatial error distribution of indoor localization algorithms.

Stephan Adler, Simon Schmitt, Marcel Kyas

Proceedings of the 2014 Ubiquitous Positioning Indoor Navigation and Location Based Service, 2014

Security and privacy protocol for emerging smart RFID applications.

Mohammad Fal Sadikin, Marcel Kyas

Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

The effects of human body shadowing in RF-based indoor localization.

Simon Schmitt, Stephan Adler, Marcel Kyas

Proceedings of the 2014 International Conference on Indoor Positioning and Indoor Navigation, 2014

Experimental evaluation of indoor localization algorithms.

Stephan Adler, Simon Schmitt, Yuan Yang, Yubin Zhao, Marcel Kyas

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.

Stephan Adler, Simon Schmitt, Marcel Kyas

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.

Mohammad Fal Sadikin, Marcel Kyas

Proceedings of the 5th International Conference on Information, 2014

An adaptive likelihood fusion method using dynamic Gaussian model for indoor target tracking.

Yubin Zhao, Yuan Yang, Marcel Kyas

Proceedings of the IEEE International Conference on Acoustics, 2014

2013

Quantitative and Spatial Evaluation of Distance-Based Localization Algorithms.

Thomas Hillebrandt, Heiko Will, Marcel Kyas

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.

Yuan Yang, Yubin Zhao, Marcel Kyas

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.

Yubin Zhao, Yuan Yang, Marcel Kyas

Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

Weighted Least-Squares by Bounding-Box (B-WLS) for NLOS Mitigation of Indoor Localization.

Yuan Yang, Yubin Zhao, Marcel Kyas

Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

A virtual indoor localization testbed for Wireless Sensor Networks.

Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas

Proceedings of the 10th Annual IEEE International Conference on Sensing, 2013

2D geometrical performance for localization algorithms from 3D perspective.

Yubin Zhao, Yuan Yang, Marcel Kyas

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.

Yuan Yang, Yubin Zhao, Marcel Kyas

Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2013

Virtual testbed for indoor localization.

Stephan Adler, Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas

Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2013

Likelihood adaptation of particle filter for target tracking using wireless sensor networks.

Yubin Zhao, Yuan Yang, Marcel Kyas

Proceedings of the 2013 IEEE Global Communications Conference, 2013

A non-parametric modeling of Time-of-flight ranging error for indoor network localization.

Yuan Yang, Yubin Zhao, Marcel Kyas

Proceedings of the 2013 IEEE Global Communications Conference, 2013

2012

Dynamic searching particle filtering scheme for indoor localization in wireless sensor network.

Yubin Zhao, Yuan Yang, Marcel Kyas

Proceedings of the 9th Workshop on Positioning, Navigation and Communication, 2012

The FU Berlin parallel lateration-algorithm simulation and visualization engine.

Heiko Will, Thomas Hillebrandt, Marcel Kyas

Proceedings of the 9th Workshop on Positioning, Navigation and Communication, 2012

The Membership Degree Min-Max localization algorithm.

Heiko Will, Thomas Hillebrandt, Yuan Yang, Yubin Zhao, Marcel Kyas

Proceedings of the 2012 Ubiquitous Positioning, 2012

The Geo-n localization algorithm.

Heiko Will, Thomas Hillebrandt, Marcel Kyas

Proceedings of the 2012 International Conference on Indoor Positioning and Indoor Navigation, 2012

A reference system for indoor localization testbeds.

Simon Schmitt, Heiko Will, Benjamin Aschenbrenner, Thomas Hillebrandt, Marcel Kyas

Proceedings of the 2012 International Conference on Indoor Positioning and Indoor Navigation, 2012

RAID the WSN: Packet-based reliable cooperative diversity.

Yuan Yang, Matthias Wählisch, Yubin Zhao, Marcel Kyas

Proceedings of IEEE International Conference on Communications, 2012

2011

Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network.

Yubin Zhao, Yuan Yang, Marcel Kyas

Proceedings of the 2011 International Conference on Indoor Positioning and Indoor Navigation, 2011

2009

Resource Modeling for Timed Creol Models.

Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas

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.

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Refinement Patterns for Hierarchical UML State Machines.

Jens Schönborn, Marcel Kyas

Proceedings of the Fundamentals of Software Engineering, 2009

Executable Interface Specifications for Testing Asynchronous Creol Components.

Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen

Proceedings of the Fundamentals of Software Engineering, 2009

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects.

Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu

Proceedings of the FM 2009: Formal Methods, 2009

2008

Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol.

Marcel Kyas

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.

Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

A Theory of Bounded Fair Scheduling.

Jens Schönborn, Marcel Kyas

Proceedings of the Theoretical Aspects of Computing, 2008

A Real-Time Extension of Creol for Modelling Biomedical Sensors.

Marcel Kyas, Einar Broch Johnsen

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Run-Time Monitoring of Electronic Contracts.

Marcel Kyas, Cristian Prisacariu, Gerardo Schneider

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

An Object-Oriented Component Model for Heterogeneous Nets.

Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006

Verifying OCL specifications of UML models: tool support and compositionakity.

Marcel Kyas

PhD thesis, 2006

Compositional Verification of Timed Components using PVS.

Marcel Kyas, Jozef Hooman

Proceedings of the Software Engineering 2006, 2006

2005

A Compositional Trace Logic for Behavioural Interface Specifications.

Marcel Kyas, Frank S. de Boer, Willem P. de Roever

Nord. J. Comput., 2005

Compositional Operational Semantics of a UML-Kernel-Model Language.

Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

29 New Unclarities in the Semantics of UML 2.0 State Machines.

Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever

Proceedings of the Formal Methods and Software Engineering, 2005

An Extended Type System for OCL Supporting Templates and Transformations.

Marcel Kyas

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

Formalizing UML Models and OCL Constraints in PVS.

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

2003

On Message Specifications in OCL.

Marcel Kyas, Frank S. de Boer

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.

Marcel Kyas

Proceedings of the Verification of Parameterized Systems, 2001