Get started
Author

Marcel Kyas

Observed names: Kyas, Marcel, M Kyas, Marcel Kyas A
ORCID: 0000-0003-1018-3413
Observed ORCID: 0000-0003-1018-3413
OpenAlex ID: A5033729614
Formalizing UML Models and OCL Constraints in PVS
2005 · Marcel Kyas, Harald Fecher, et al. · Electronic Notes in Theoretical Computer Science · 91
PDF
29 New Unclarities in the Semantics of UML 2.0 State Machines
2005 · Harald Fecher, Jens Schönborn, et al. · Lecture notes in computer science · 76
A survey of experimental evaluation in indoor localization research
2015 · Stephan Adler, Simon Schmitt, et al. · International Conference on Indoor Positioning and Indoor Navigation · 67
A reference system for indoor localization testbeds
2012 · Simon Schmitt, Heiko Will, et al. · International Conference on Indoor Positioning and Indoor Navigation · 49
Verifying OCL Specifications of UML models
2006 · Marcel Kyas · 47
PDF
Run-Time Monitoring of Electronic Contracts
2008 · Marcel Kyas, Cristian Prisacariu, et al. · Lecture notes in computer science · 34
The effects of human body shadowing in RF-based indoor localization
2014 · Simon Schmitt, Stephan Adler, et al. · International Conference on Indoor Positioning and Indoor Navigation · 28
A trust model-based Bayesian decision theory in large scale Internet of Things
2015 · Agus Kurniawan, Marcel Kyas · International Conference on Intelligent Sensors, Sensor Networks and Information Processing · 24
The Membership Degree Min-Max localization algorithm
2012 · Heiko Will, Thomas Hillebrandt, et al. · Ubiquitous Positioning, Indoor Navigation, and Location Based Service · 23
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
2009 · Einar Broch Johnsen, Marcel Kyas, et al. · Lecture notes in computer science · 23
Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network
2011 · Yubin Zhao, Yuan Yang, et al. · International Conference on Indoor Positioning and Indoor Navigation · 21
The Geo-n localization algorithm
2012 · Heiko Will, Thomas Hillebrandt, et al. · International Conference on Indoor Positioning and Indoor Navigation · 20
Autonomous Drone Landing with Fiducial Markers and a Gimbal-Mounted Camera for Active Tracking
2022 · Joshua Springer, Marcel Kyas · IEEE International Conference on Robotic Computing (IRC) · 18
PDF
Weighted Least-Squares by Bounding-Box (B-WLS) for NLOS Mitigation of Indoor Localization
2013 · Yuan Yang, Yubin Zhao, et al. · IEEE Vehicular Technology Conference · 18
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
2009 · Einar Broch Johnsen, Jasmin Christian Blanchette, et al. · Electronic Notes in Theoretical Computer Science · 18
PDF
Quantitative and Spatial Evaluation of Distance-Based Localization Algorithms
2013 · Thomas Hillebrandt, Heiko Will, et al. · Lecture notes in geoinformation and cartography · 17
Executable Interface Specifications for Testing Asynchronous Creol Components
2010 · Immo Grabe, Marcel Kyas, et al. · Lecture notes in computer science · 15
RFID-tate: Efficient security and privacy protection for active RFID over IEEE 802.15.4
2014 · Mohammad Fal Sadikin, Marcel Kyas · International Conference on Information, Intelligence, Systems & Applications (IISA) · 14
A statistics-based least squares (SLS) method for non-line-of-sight error of indoor localization
2013 · Yuan Yang, Yubin Zhao, et al. · IEEE Wireless Communications and Networking Conference · 14
Path loss and multipath effects in a real world indoor localization scenario
2014 · Stephan Adler, Simon Schmitt, et al. · Workshop on Positioning Navigation and Communication · 13
Adaptive Range-Based Nonlinear Filters for Wireless Indoor Positioning System Using Dynamic Gaussian Model
2014 · Yubin Zhao, Yuan Yang, et al. · IEEE Transactions on Vehicular Technology · 12
A non-parametric modeling of Time-of-flight ranging error for indoor network localization
2013 · Yuan Yang, Yubin Zhao, et al. · Globecom · 12
Evaluation of Orientation Ambiguity and Detection Rate in April Tag and WhyCode
2022 · Joshua Springer, Marcel Kyas · IEEE International Conference on Robotic Computing (IRC) · 11
PDF
Experimental evaluation of indoor localization algorithms
2014 · Stephan Adler, Simon Schmitt, et al. · International Conference on Indoor Positioning and Indoor Navigation · 11
An Object-Oriented Component Model for Heterogeneous Nets
2008 · Einar Broch Johnsen, Olaf Owe, et al. · Lecture notes in computer science · 11
Works count: 102
Citation count: 925
H-index: 16
I10-index: 27
Year
Topic
Type