Marcel Kyas

ORCID

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 17

Top Venues

Leiden University (PHD)

Education History

Leiden University

PHD

Publications

Thomas Hillebrandt, Heiko Will, Marcel Kyas
The Membership Degree Min-Max Localisation Algorithm. CoRR (2023)
Joshua Springer, Marcel Kyas
Autonomous Drone Landing: Marked Landing Pads and Solidified Lava Flows. CoRR (2023)
Joshua Springer, Marcel Kyas
Evaluation of April Tag and WhyCode Fiducial Systems for Autonomous Precision Drone Landing with a Gimbal-Mounted Camera. CoRR (2022)
Joshua Springer, Marcel Kyas
Autonomous Drone Landing with Fiducial Markers and a Gimbal-Mounted Camera for Active Tracking. IRC (2022)
Joshua Springer, Marcel Kyas
Evaluation of Orientation Ambiguity and Detection Rate in April Tag and WhyCode. IRC (2022)
Joshua Springer, Marcel Kyas
Autonomous Precision Drone Landing with Fiducial Markers and a Gimbal-Mounted Camera for Active Tracking. CoRR (2022)
Agus Kurniawan, Marcel Kyas
Securing Machine Learning Engines in IoT Applications with Attribute-Based Encryption. ISI (2019)
Marta Kristín Lárusdóttir, Marcel Kyas
Assessing the Performance of Agile Teams. INTERACT Workshops (2019)
Agus Kurniawan, Marcel Kyas
Secret Handshakes-Based Fuzzy Clustering for Sharing Personal e-Health Records. SMC (2018)
Simon Schmitt, Larissa Zech, Katinka Wolter, Thomas Willemsen, Harald Sternberg, Marcel Kyas
Fast routing graph extraction from floor plans. IPIN (2017)
Simon Schmitt, Larissa Zech, Thomas Willemsen, Harald Sternberg, Marcel Kyas
Conditional erosion to estimate routing graph out of floor plans. IPIN (2016)
Mohammad Fal Sadikin, Marcel Kyas
Efficient Key Management System for Large-scale Smart RFID Applications. EAI Endorsed Trans. Energy Web 2 (6) (2015)
Mohammad Fal Sadikin, Marcel Kyas
Light-weight Key Management Scheme for Active RFID Applications. EAI Endorsed Trans. Ind. Networks Intell. Syst. 2 (5) (2015)
Agus Kurniawan, Marcel Kyas
A trust model-based Bayesian decision theory in large scale Internet of Things. ISSNIP (2015)
Yubin Zhao, Yuan Yang, Marcel Kyas
Adaptive Range-Based Nonlinear Filters for Wireless Indoor Positioning System Using Dynamic Gaussian Model. IEEE Trans. Veh. Technol. 64 (9) (2015)
Mohammad Fal Sadikin, Marcel Kyas
IMAKA-Tate: secure and efficient privacy preserving for indoor positioning applications. Int. J. Parallel Emergent Distributed Syst. 30 (6) (2015)
Stephan Adler, Simon Schmitt, Katinka Wolter, Marcel Kyas
A survey of experimental evaluation in indoor localization research. IPIN (2015)
Yuan Yang, Yubin Zhao, Marcel Kyas
RBGF: Recursively Bounded Grid-Based Filter for Indoor Position Tracking Using Wireless Networks. IEEE Commun. Lett. 18 (7) (2014)
Stephan Adler, Simon Schmitt, Marcel Kyas
Device-free indoor localisation using radio tomography imaging in 800/900 MHz band. IPIN (2014)
Stephan Adler, Simon Schmitt, Marcel Kyas
Experimental evaluation of the spatial error distribution of indoor localization algorithms. UPINLBS (2014)
Yubin Zhao, Yuan Yang, Marcel Kyas
An adaptive likelihood fusion method using dynamic Gaussian model for indoor target tracking. ICASSP (2014)
Mohammad Fal Sadikin, Marcel Kyas
Security and privacy protocol for emerging smart RFID applications. SNPD (2014)
Mohammad Fal Sadikin, Marcel Kyas
RFID-tate: Efficient security and privacy protection for active RFID over IEEE 802.15.4. IISA (2014)
Stephan Adler, Simon Schmitt, Marcel Kyas
Path loss and multipath effects in a real world indoor localization scenario. WPNC (2014)
Yubin Zhao, Yuan Yang, Marcel Kyas
Cramér-Rao lower bound analysis for wireless localization systems using priori information. WPNC (2014)
Stephan Adler, Simon Schmitt, Yuan Yang, Yubin Zhao, Marcel Kyas
Experimental evaluation of indoor localization algorithms. IPIN (2014)
Yuan Yang, Yubin Zhao, Marcel Kyas
GeoF: A geometric Bayesian filter for indoor position tracking in mixed LOS/NLOS conditions. WPNC (2014)
Yuan Yang, Yubin Zhao, Marcel Kyas
Recursive Bayesian Estimation Using a Topological Map for Indoor Position Tracking. VTC Spring (2014)
Mohammad Fal Sadikin, Marcel Kyas
Efficient Security and Privacy Protection for Emerging Smart RFID Communications. Int. J. Networked Distributed Comput. 2 (3) (2014)
Simon Schmitt, Stephan Adler, Marcel Kyas
The effects of human body shadowing in RF-based indoor localization. IPIN (2014)
Yubin Zhao, Yuan Yang, Marcel Kyas
PSG-DPF: Distributed Particle Filter Using Pairwise Selective Gossiping for Wireless Sensor Network. VTC Spring (2013)
Stephan Adler, Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas
Virtual testbed for indoor localization. IPIN (2013)
Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas
A virtual indoor localization testbed for Wireless Sensor Networks. SECON (2013)
Yuan Yang, Yubin Zhao, Marcel Kyas
Weighted Least-Squares by Bounding-Box (B-WLS) for NLOS Mitigation of Indoor Localization. VTC Spring (2013)
Yuan Yang, Yubin Zhao, Marcel Kyas
A grid-scan maximum likelihood estimation with a bias function for indoor network localization. IPIN (2013)
Yubin Zhao, Yuan Yang, Marcel Kyas
Likelihood adaptation of particle filter for target tracking using wireless sensor networks. GLOBECOM (2013)
Yubin Zhao, Yuan Yang, Marcel Kyas
2D geometrical performance for localization algorithms from 3D perspective. IPIN (2013)
Yuan Yang, Yubin Zhao, Marcel Kyas
A statistics-based least squares (SLS) method for non-line-of-sight error of indoor localization. WCNC (2013)
Yuan Yang, Yubin Zhao, Marcel Kyas
A non-parametric modeling of Time-of-flight ranging error for indoor network localization. GLOBECOM (2013)
Heiko Will, Thomas Hillebrandt, Yuan Yang, Yubin Zhao, Marcel Kyas
The Membership Degree Min-Max localization algorithm. UPINLBS (2012)
Heiko Will, Thomas Hillebrandt, Marcel Kyas
The FU Berlin parallel lateration-algorithm simulation and visualization engine. WPNC (2012)
Yubin Zhao, Yuan Yang, Marcel Kyas
Dynamic searching particle filtering scheme for indoor localization in wireless sensor network. WPNC (2012)
Heiko Will, Thomas Hillebrandt, Marcel Kyas
The Geo-n localization algorithm. IPIN (2012)
Yuan Yang, Matthias Wählisch, Yubin Zhao, Marcel Kyas
RAID the WSN: Packet-based reliable cooperative diversity. ICC (2012)
Simon Schmitt, Heiko Will, Benjamin Aschenbrenner, Thomas Hillebrandt, Marcel Kyas
A reference system for indoor localization testbeds. IPIN (2012)
Yubin Zhao, Yuan Yang, Marcel Kyas
Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network. IPIN (2011)
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas
Resource Modeling for Timed Creol Models. Electron. Notes Theor. Comput. Sci. 266 (2010)
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
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electron. Notes Theor. Comput. Sci. 266 (2010)
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen
Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN (2009)
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM (2009)
Jens Schönborn, Marcel Kyas
Refinement Patterns for Hierarchical UML State Machines. FSEN (2009)
Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Electron. Notes Theor. Comput. Sci. 243 (2009)
Marcel Kyas
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. Electron. Notes Theor. Comput. Sci. 243 (2009)
Jens Schönborn, Marcel Kyas
A Theory of Bounded Fair Scheduling. ICTAC (2008)
Marcel Kyas, Cristian Prisacariu, Gerardo Schneider
Run-Time Monitoring of Electronic Contracts. ATVA (2008)
Marcel Kyas, Einar Broch Johnsen
A Real-Time Extension of Creol for Modelling Biomedical Sensors. FMCO (2008)
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas
An Object-Oriented Component Model for Heterogeneous Nets. FMCO (2007)
Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer
Compositional Operational Semantics of a UML-Kernel-Model Language. Electron. Notes Theor. Comput. Sci. 156 (1) (2006)
Marcel Kyas, Jozef Hooman
Compositional Verification of Timed Components using PVS. Software Engineering (2006)
Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever
29 New Unclarities in the Semantics of UML 2.0 State Machines. ICFEM (2005)
Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
Formalizing UML Models and OCL Constraints in PVS. Electron. Notes Theor. Comput. Sci. 115 (2005)
Marcel Kyas, Frank S. de Boer, Willem P. de Roever
A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12 (2) (2005)
Marcel Kyas
An Extended Type System for OCL Supporting Templates and Transformations. FMOODS (2005)
Marcel Kyas, Frank S. de Boer
On Message Specifications in OCL. Electron. Notes Theor. Comput. Sci. 101 (2004)
Marcel Kyas
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol. Electron. Notes Theor. Comput. Sci. 50 (4) (2001)

Marcel Kyas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcel Kyas