Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol. - Marcel Kyas (VEPAS, 2001)

On Message Specifications in OCL. - Marcel Kyas; Frank S. de Boer (CVUML, 2003)

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 (SFEDL@ETAPS, 2004)

An Extended Type System for OCL Supporting Templates and Transformations. - Marcel Kyas (FMOODS, 2005)

29 New Unclarities in the Semantics of UML 2.0 State Machines. - Harald Fecher; Jens Schönborn; Marcel Kyas; Willem P. de Roever (ICFEM, 2005)

Compositional Operational Semantics of a UML-Kernel-Model Language. - Harald Fecher; Marcel Kyas; Willem P. de Roever; Frank S. de Boer (SOS@ICALP, 2005)

A Compositional Trace Logic for Behavioural Interface Specifications. - Marcel Kyas; Frank S. de Boer; Willem P. de Roever (Nord. J. Comput., 2005)

Compositional Verification of Timed Components using PVS. - Marcel Kyas; Jozef Hooman (Software Engineering, 2006)

Verifying OCL specifications of UML models: tool support and compositionakity. - Marcel Kyas (2006)

An Object-Oriented Component Model for Heterogeneous Nets. - Einar Broch Johnsen; Olaf Owe; Joakim Bjørk; Marcel Kyas (FMCO, 2007)

Run-Time Monitoring of Electronic Contracts. - Marcel Kyas; Cristian Prisacariu; Gerardo Schneider (ATVA, 2008)

A Real-Time Extension of Creol for Modelling Biomedical Sensors. - Marcel Kyas; Einar Broch Johnsen (FMCO, 2008)

A Theory of Bounded Fair Scheduling. - Jens Schönborn; Marcel Kyas (ICTAC, 2008)

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. - Einar Broch Johnsen; Jasmin Christian Blanchette; Marcel Kyas; Olaf Owe (TTSS, 2008)

Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. - Marcel Kyas (TTSS, 2008)

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. - Einar Broch Johnsen; Marcel Kyas; Ingrid Chieh Yu (FM, 2009)

Executable Interface Specifications for Testing Asynchronous Creol Components. - Immo Grabe; Marcel Kyas; Martin Steffen; Arild B. Torjusen (FSEN, 2009)

Refinement Patterns for Hierarchical UML State Machines. - Jens Schönborn; Marcel Kyas (FSEN, 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 001; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen; Joachim Klein 001; Sascha Klüppelholz; Marcel Kyas; Wolfgang Leister; et al. (TTSS, 2009)

Resource Modeling for Timed Creol Models. - Rudolf Schlatte; Bernhard K. Aichernig; Andreas Griesmayer; Marcel Kyas (TTSS, 2009)

Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network. - Yubin Zhao; Yuan Yang 005; Marcel Kyas (IPIN, 2011)

RAID the WSN: Packet-based reliable cooperative diversity. - Yuan Yang 005; Matthias Wählisch; Yubin Zhao; Marcel Kyas (ICC, 2012)

A reference system for indoor localization testbeds. - Simon Schmitt; Heiko Will; Benjamin Aschenbrenner; Thomas Hillebrandt; Marcel Kyas (IPIN, 2012)

The Geo-n localization algorithm. - Heiko Will; Thomas Hillebrandt; Marcel Kyas (IPIN, 2012)

The Membership Degree Min-Max localization algorithm. - Heiko Will; Thomas Hillebrandt; Yuan Yang 005; Yubin Zhao; Marcel Kyas (UPINLBS, 2012)

The FU Berlin parallel lateration-algorithm simulation and visualization engine. - Heiko Will; Thomas Hillebrandt; Marcel Kyas (WPNC, 2012)

Dynamic searching particle filtering scheme for indoor localization in wireless sensor network. - Yubin Zhao; Yuan Yang 005; Marcel Kyas (WPNC, 2012)

A non-parametric modeling of Time-of-flight ranging error for indoor network localization. - Yuan Yang 005; Yubin Zhao; Marcel Kyas (GLOBECOM, 2013)

Likelihood adaptation of particle filter for target tracking using wireless sensor networks. - Yubin Zhao; Yuan Yang 005; Marcel Kyas (GLOBECOM, 2013)

Virtual testbed for indoor localization. - Stephan Adler; Simon Schmitt; Heiko Will; Thomas Hillebrandt; Marcel Kyas (IPIN, 2013)

A grid-scan maximum likelihood estimation with a bias function for indoor network localization. - Yuan Yang 005; Yubin Zhao; Marcel Kyas (IPIN, 2013)

2D geometrical performance for localization algorithms from 3D perspective. - Yubin Zhao; Yuan Yang 005; Marcel Kyas (IPIN, 2013)

A virtual indoor localization testbed for Wireless Sensor Networks. - Simon Schmitt; Heiko Will; Thomas Hillebrandt; Marcel Kyas (SECON, 2013)

Weighted Least-Squares by Bounding-Box (B-WLS) for NLOS Mitigation of Indoor Localization. - Yuan Yang 005; Yubin Zhao; Marcel Kyas (VTC Spring, 2013)

PSG-DPF: Distributed Particle Filter Using Pairwise Selective Gossiping for Wireless Sensor Network. - Yubin Zhao; Yuan Yang 005; Marcel Kyas (VTC Spring, 2013)

A statistics-based least squares (SLS) method for non-line-of-sight error of indoor localization. - Yuan Yang 005; Yubin Zhao; Marcel Kyas (WCNC, 2013)

Quantitative and Spatial Evaluation of Distance-Based Localization Algorithms. - Thomas Hillebrandt; Heiko Will; Marcel Kyas (Progress in Location-Based Services, 2013)

An adaptive likelihood fusion method using dynamic Gaussian model for indoor target tracking. - Yubin Zhao; Yuan Yang 005; Marcel Kyas (ICASSP, 2014)

RFID-tate: Efficient security and privacy protection for active RFID over IEEE 802.15.4. - Mohammad Fal Sadikin; Marcel Kyas (IISA, 2014)

Device-free indoor localisation using radio tomography imaging in 800/900 MHz band. - Stephan Adler; Simon Schmitt; Marcel Kyas (IPIN, 2014)

Experimental evaluation of indoor localization algorithms. - Stephan Adler; Simon Schmitt; Yuan Yang 005; Yubin Zhao; Marcel Kyas (IPIN, 2014)

The effects of human body shadowing in RF-based indoor localization. - Simon Schmitt; Stephan Adler; Marcel Kyas (IPIN, 2014)

Security and privacy protocol for emerging smart RFID applications. - Mohammad Fal Sadikin; Marcel Kyas (SNPD, 2014)

Experimental evaluation of the spatial error distribution of indoor localization algorithms. - Stephan Adler; Simon Schmitt; Marcel Kyas (UPINLBS, 2014)

Recursive Bayesian Estimation Using a Topological Map for Indoor Position Tracking. - Yuan Yang 005; Yubin Zhao; Marcel Kyas (VTC Spring, 2014)

Path loss and multipath effects in a real world indoor localization scenario. - Stephan Adler; Simon Schmitt; Marcel Kyas (WPNC, 2014)

GeoF: A geometric Bayesian filter for indoor position tracking in mixed LOS/NLOS conditions. - Yuan Yang 005; Yubin Zhao; Marcel Kyas (WPNC, 2014)

Cramér-Rao lower bound analysis for wireless localization systems using priori information. - Yubin Zhao; Yuan Yang 005; Marcel Kyas (WPNC, 2014)

RBGF: Recursively Bounded Grid-Based Filter for Indoor Position Tracking Using Wireless Networks. - Yuan Yang 005; Yubin Zhao; Marcel Kyas (IEEE Commun. Lett., 2014)

Efficient Security and Privacy Protection for Emerging Smart RFID Communications. - Mohammad Fal Sadikin; Marcel Kyas (Int. J. Networked Distributed Comput., 2014)

A survey of experimental evaluation in indoor localization research. - Stephan Adler; Simon Schmitt; Katinka Wolter; Marcel Kyas (IPIN, 2015)

A trust model-based Bayesian decision theory in large scale Internet of Things. - Agus Kurniawan; Marcel Kyas (ISSNIP, 2015)

Efficient Key Management System for Large-scale Smart RFID Applications. - Mohammad Fal Sadikin; Marcel Kyas (EAI Endorsed Trans. Energy Web, 2015)

Light-weight Key Management Scheme for Active RFID Applications. - Mohammad Fal Sadikin; Marcel Kyas (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2015)

IMAKA-Tate: secure and efficient privacy preserving for indoor positioning applications. - Mohammad Fal Sadikin; Marcel Kyas (Int. J. Parallel Emergent Distributed Syst., 2015)

Adaptive Range-Based Nonlinear Filters for Wireless Indoor Positioning System Using Dynamic Gaussian Model. - Yubin Zhao; Yuan Yang 005; Marcel Kyas (IEEE Trans. Veh. Technol., 2015)

Conditional erosion to estimate routing graph out of floor plans. - Simon Schmitt; Larissa Zech; Thomas Willemsen; Harald Sternberg; Marcel Kyas (IPIN, 2016)

Fast routing graph extraction from floor plans. - Simon Schmitt; Larissa Zech; Katinka Wolter; Thomas Willemsen; Harald Sternberg; Marcel Kyas (IPIN, 2017)

Secret Handshakes-Based Fuzzy Clustering for Sharing Personal e-Health Records. - Agus Kurniawan; Marcel Kyas (SMC, 2018)

Assessing the Performance of Agile Teams. - Marta Kristín Lárusdóttir; Marcel Kyas (INTERACT Workshops, 2019)

Securing Machine Learning Engines in IoT Applications with Attribute-Based Encryption. - Agus Kurniawan; Marcel Kyas (ISI, 2019)

Autonomous Drone Landing with Fiducial Markers and a Gimbal-Mounted Camera for Active Tracking. - Joshua Springer; Marcel Kyas (IRC, 2022)

Evaluation of Orientation Ambiguity and Detection Rate in April Tag and WhyCode. - Joshua Springer; Marcel Kyas (IRC, 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)

Autonomous Precision Drone Landing with Fiducial Markers and a Gimbal-Mounted Camera for Active Tracking. - Joshua Springer; Marcel Kyas (CoRR, 2022)

The Membership Degree Min-Max Localisation Algorithm. - Thomas Hillebrandt; Heiko Will; Marcel Kyas (CoRR, 2023)

Lowering Barriers to Entry for Fully-Integrated Custom Payloads on a DJI Matrice. - Joshua Springer; Gylfi Þór Guðmundsson; Marcel Kyas (CBMI, 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)

Autonomous Drone Landing: Marked Landing Pads and Solidified Lava Flows. - Joshua Springer; Marcel Kyas (Int. J. Semantic Comput., 2024)

Toward Appearance-Based Autonomous Landing Site Identification for Multirotor Drones in Unstructured Environments. - Joshua Springer; Gylfi Þór Guðmundsson; Marcel Kyas (MMM (4), 2025)