default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcel Kyas
Person information
- affiliation: Reykjavik University, Iceland
- affiliation (former): Free University of Berlin, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2006
[b1]Marcel Kyas:
Verifying OCL specifications of UML models: tool support and compositionakity. Leiden University, 2006, ISBN 3-86541-142-8, pp. 1-199
Journal Articles
- 2024
- [j8]Joshua Springer
, Marcel Kyas:
Autonomous Drone Landing: Marked Landing Pads and Solidified Lava Flows. Int. J. Semantic Comput. 18(2): 283-299 (2024) - 2015
- [j7]Mohammad Fal Sadikin, Marcel Kyas:
Efficient Key Management System for Large-scale Smart RFID Applications. EAI Endorsed Trans. Energy Web 2(6): e1 (2015) - [j6]Mohammad Fal Sadikin, Marcel Kyas:
Light-weight Key Management Scheme for Active RFID Applications. EAI Endorsed Trans. Ind. Networks Intell. Syst. 2(5): e4 (2015) - [j5]Mohammad Fal Sadikin, Marcel Kyas:
IMAKA-Tate: secure and efficient privacy preserving for indoor positioning applications. Int. J. Parallel Emergent Distributed Syst. 30(6): 447-463 (2015) - [j4]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): 4282-4291 (2015) - 2014
- [j3]Yuan Yang, Yubin Zhao, Marcel Kyas:
RBGF: Recursively Bounded Grid-Based Filter for Indoor Position Tracking Using Wireless Networks. IEEE Commun. Lett. 18(7): 1234-1237 (2014) - [j2]Mohammad Fal Sadikin, Marcel Kyas:
Efficient Security and Privacy Protection for Emerging Smart RFID Communications. Int. J. Networked Distributed Comput. 2(3): 156-165 (2014) - 2005
- [j1]Marcel Kyas, Frank S. de Boer, Willem P. de Roever:
A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12(2): 116-132 (2005)
Conference and Workshop Papers
- 2025
- [c55]Joshua Springer, Gylfi Þór Guðmundsson, Marcel Kyas:
Toward Appearance-Based Autonomous Landing Site Identification for Multirotor Drones in Unstructured Environments. MMM (4) 2025: 198-211 - 2022
- [c54]Joshua Springer, Marcel Kyas:
Autonomous Drone Landing with Fiducial Markers and a Gimbal-Mounted Camera for Active Tracking. IRC 2022: 243-247 - [c53]Joshua Springer, Marcel Kyas:
Evaluation of Orientation Ambiguity and Detection Rate in April Tag and WhyCode. IRC 2022: 281-286 - 2019
- [c52]Marta Kristín Lárusdóttir, Marcel Kyas:
Assessing the Performance of Agile Teams. INTERACT Workshops 2019: 71-83 - [c51]Agus Kurniawan, Marcel Kyas:
Securing Machine Learning Engines in IoT Applications with Attribute-Based Encryption. ISI 2019: 30-34 - 2018
- [c50]Agus Kurniawan, Marcel Kyas:
Secret Handshakes-Based Fuzzy Clustering for Sharing Personal e-Health Records. SMC 2018: 1541-1545 - 2017
- [c49]Simon Schmitt, Larissa Zech, Katinka Wolter, Thomas Willemsen, Harald Sternberg, Marcel Kyas:
Fast routing graph extraction from floor plans. IPIN 2017: 1-8 - 2016
- [c48]Simon Schmitt, Larissa Zech, Thomas Willemsen, Harald Sternberg, Marcel Kyas:
Conditional erosion to estimate routing graph out of floor plans. IPIN 2016: 1-8 - 2015
- [c47]Stephan Adler, Simon Schmitt, Katinka Wolter, Marcel Kyas:
A survey of experimental evaluation in indoor localization research. IPIN 2015: 1-10 - [c46]Agus Kurniawan, Marcel Kyas:
A trust model-based Bayesian decision theory in large scale Internet of Things. ISSNIP 2015: 1-5 - 2014
- [c45]Yubin Zhao, Yuan Yang, Marcel Kyas:
An adaptive likelihood fusion method using dynamic Gaussian model for indoor target tracking. ICASSP 2014: 7993-7997 - [c44]Mohammad Fal Sadikin, Marcel Kyas:
RFID-tate: Efficient security and privacy protection for active RFID over IEEE 802.15.4. IISA 2014: 335-340 - [c43]Stephan Adler, Simon Schmitt, Yuan Yang, Yubin Zhao, Marcel Kyas:
Experimental evaluation of indoor localization algorithms. IPIN 2014: 291-299 - [c42]Simon Schmitt, Stephan Adler, Marcel Kyas:
The effects of human body shadowing in RF-based indoor localization. IPIN 2014: 307-313 - [c41]Stephan Adler, Simon Schmitt, Marcel Kyas:
Device-free indoor localisation using radio tomography imaging in 800/900 MHz band. IPIN 2014: 544-553 - [c40]Mohammad Fal Sadikin, Marcel Kyas:
Security and privacy protocol for emerging smart RFID applications. SNPD 2014: 1-7 - [c39]Stephan Adler, Simon Schmitt, Marcel Kyas:
Experimental evaluation of the spatial error distribution of indoor localization algorithms. UPINLBS 2014: 44-53 - [c38]Yuan Yang, Yubin Zhao, Marcel Kyas:
Recursive Bayesian Estimation Using a Topological Map for Indoor Position Tracking. VTC Spring 2014: 1-5 - [c37]Stephan Adler, Simon Schmitt, Marcel Kyas:
Path loss and multipath effects in a real world indoor localization scenario. WPNC 2014: 1-7 - [c36]Yuan Yang, Yubin Zhao, Marcel Kyas:
GeoF: A geometric Bayesian filter for indoor position tracking in mixed LOS/NLOS conditions. WPNC 2014: 1-6 - [c35]Yubin Zhao, Yuan Yang, Marcel Kyas:
Cramér-Rao lower bound analysis for wireless localization systems using priori information. WPNC 2014: 1-6 - 2013
- [c34]Yuan Yang, Yubin Zhao, Marcel Kyas:
A non-parametric modeling of Time-of-flight ranging error for indoor network localization. GLOBECOM 2013: 189-194 - [c33]Yubin Zhao, Yuan Yang, Marcel Kyas:
Likelihood adaptation of particle filter for target tracking using wireless sensor networks. GLOBECOM 2013: 3323-3328 - [c32]Stephan Adler, Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas:
Virtual testbed for indoor localization. IPIN 2013: 1-8 - [c31]Yuan Yang, Yubin Zhao, Marcel Kyas:
A grid-scan maximum likelihood estimation with a bias function for indoor network localization. IPIN 2013: 1-9 - [c30]Yubin Zhao, Yuan Yang, Marcel Kyas:
2D geometrical performance for localization algorithms from 3D perspective. IPIN 2013: 1-10 - [c29]Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas:
A virtual indoor localization testbed for Wireless Sensor Networks. SECON 2013: 239-241 - [c28]Yuan Yang, Yubin Zhao, Marcel Kyas:
Weighted Least-Squares by Bounding-Box (B-WLS) for NLOS Mitigation of Indoor Localization. VTC Spring 2013: 1-5 - [c27]Yubin Zhao, Yuan Yang, Marcel Kyas:
PSG-DPF: Distributed Particle Filter Using Pairwise Selective Gossiping for Wireless Sensor Network. VTC Spring 2013: 1-5 - [c26]Yuan Yang, Yubin Zhao, Marcel Kyas:
A statistics-based least squares (SLS) method for non-line-of-sight error of indoor localization. WCNC 2013: 2299-2304 - 2012
- [c25]Yuan Yang, Matthias Wählisch, Yubin Zhao, Marcel Kyas:
RAID the WSN: Packet-based reliable cooperative diversity. ICC 2012: 371-375 - [c24]Simon Schmitt, Heiko Will, Benjamin Aschenbrenner, Thomas Hillebrandt, Marcel Kyas:
A reference system for indoor localization testbeds. IPIN 2012: 1-8 - [c23]Heiko Will, Thomas Hillebrandt, Marcel Kyas:
The Geo-n localization algorithm. IPIN 2012: 1-10 - [c22]Heiko Will, Thomas Hillebrandt, Yuan Yang, Yubin Zhao, Marcel Kyas:
The Membership Degree Min-Max localization algorithm. UPINLBS 2012: 1-10 - [c21]Yubin Zhao, Yuan Yang, Marcel Kyas:
Dynamic searching particle filtering scheme for indoor localization in wireless sensor network. WPNC 2012: 65-70 - [c20]Heiko Will, Thomas Hillebrandt, Marcel Kyas:
The FU Berlin parallel lateration-algorithm simulation and visualization engine. WPNC 2012: 131-136 - 2011
- [c19]Yubin Zhao, Yuan Yang, Marcel Kyas:
Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network. IPIN 2011: 1-10 - 2009
- [c18]Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu:
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM 2009: 596-611 - [c17]Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen:
Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN 2009: 324-339 - [c16]Jens Schönborn, Marcel Kyas:
Refinement Patterns for Hierarchical UML State Machines. FSEN 2009: 371-386 - [c15]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. TTSS 2009: 33-48 - [c14]Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas:
Resource Modeling for Timed Creol Models. TTSS 2009: 63-75 - 2008
- [c13]Marcel Kyas, Cristian Prisacariu, Gerardo Schneider:
Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407 - [c12]Marcel Kyas, Einar Broch Johnsen:
A Real-Time Extension of Creol for Modelling Biomedical Sensors. FMCO 2008: 42-60 - [c11]Jens Schönborn, Marcel Kyas:
A Theory of Bounded Fair Scheduling. ICTAC 2008: 334-348 - [c10]Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe:
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. TTSS 2008: 89-103 - [c9]Marcel Kyas:
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. TTSS 2008: 105-120 - 2007
- [c8]Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas:
An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279 - 2006
- [c7]Marcel Kyas, Jozef Hooman:
Compositional Verification of Timed Components using PVS. Software Engineering 2006: 143-154 - 2005
- [c6]Marcel Kyas:
An Extended Type System for OCL Supporting Templates and Transformations. FMOODS 2005: 83-98 - [c5]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: 52-65 - [c4]Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer:
Compositional Operational Semantics of a UML-Kernel-Model Language. SOS@ICALP 2005: 79-96 - 2004
- [c3]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. SFEDL@ETAPS 2004: 39-47 - 2003
- [c2]Marcel Kyas, Frank S. de Boer:
On Message Specifications in OCL. CVUML 2003: 73-93 - 2001
- [c1]Marcel Kyas:
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol. VEPAS 2001: 357-370
Parts in Books or Collections
- 2013
- [p1]Thomas Hillebrandt, Heiko Will, Marcel Kyas:
Quantitative and Spatial Evaluation of Distance-Based Localization Algorithms. Progress in Location-Based Services 2013: 173-194
Editorship
- 2022
- [e1]Hans P. Reiser, Marcel Kyas:
Secure IT Systems - 27th Nordic Conference, NordSec 2022, Reykjavic, Iceland, November 30-December 2, 2022, Proceedings. Lecture Notes in Computer Science 13700, Springer 2022, ISBN 978-3-031-22294-8 [contents]
Informal and Other Publications
- 2024
- [i7]Joshua Springer, Gylfi Þór Guðmundsson, Marcel Kyas:
A Precision Drone Landing System using Visual and IR Fiducial Markers and a Multi-Payload Camera. CoRR abs/2403.03806 (2024) - [i6]Joshua Springer, Gylfi Þór Guðmundsson, Marcel Kyas:
Lowering Barriers to Entry for Fully-Integrated Custom Payloads on a DJI Matrice. CoRR abs/2405.06176 (2024) - [i5]Joshua Springer, Gylfi Þór Guðmundsson, Marcel Kyas:
Toward Appearance-based Autonomous Landing Site Identification for Multirotor Drones in Unstructured Environments. CoRR abs/2412.15486 (2024) - 2023
- [i4]Joshua Springer, Marcel Kyas:
Autonomous Drone Landing: Marked Landing Pads and Solidified Lava Flows. CoRR abs/2302.00786 (2023) - [i3]Thomas Hillebrandt, Heiko Will, Marcel Kyas:
The Membership Degree Min-Max Localisation Algorithm. CoRR abs/2303.09185 (2023) - 2022
- [i2]Joshua Springer, Marcel Kyas:
Evaluation of April Tag and WhyCode Fiducial Systems for Autonomous Precision Drone Landing with a Gimbal-Mounted Camera. CoRR abs/2203.10180 (2022) - [i1]Joshua Springer, Marcel Kyas:
Autonomous Precision Drone Landing with Fiducial Markers and a Gimbal-Mounted Camera for Active Tracking. CoRR abs/2206.04617 (2022)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 00:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
