Marcel Kyas
Marcel Kyas
Assistant Professor, Reykjavik University
Verified email at ru.is
Title
Cited by
Cited by
Year
Formalizing UML models and OCL constraints in PVS
M Kyas, H Fecher, FS De Boer, J Jacob, J Hooman, M Van Der Zwaag, ...
Electronic Notes in Theoretical Computer Science 115, 39-47, 2005
1032005
29 new unclarities in the semantics of uml 2.0 state machines
H Fecher, J Schönborn, M Kyas, WP de Roever
International Conference on Formal Engineering Methods, 52-65, 2005
1002005
A survey of experimental evaluation in indoor localization research
S Adler, S Schmitt, K Wolter, M Kyas
2015 International Conference on Indoor Positioning and Indoor Navigation …, 2015
512015
A reference system for indoor localization testbeds
S Schmitt, H Will, B Aschenbrenner, T Hillebrandt, M Kyas
2012 International Conference on Indoor Positioning and Indoor Navigation …, 2012
472012
Run-time monitoring of electronic contracts
M Kyas, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2008
432008
The membership degree min-max localization algorithm
H Will, T Hillebrandt, Y Yuan, Z Yubin, M Kyas
2012 Ubiquitous Positioning, Indoor Navigation, and Location Based Service …, 2012
302012
The effects of human body shadowing in RF-based indoor localization
S Schmitt, S Adler, M Kyas
2014 International Conference on Indoor Positioning and Indoor Navigation …, 2014
272014
Dynamic classes: Modular asynchronous evolution of distributed concurrent objects
EB Johnsen, M Kyas, IC Yu
International Symposium on Formal Methods, 596-611, 2009
252009
Intra-object versus inter-object: Concurrency and reasoning in creol
EB Johnsen, JC Blanchette, M Kyas, O Owe
Electronic Notes in Theoretical Computer Science 243, 89-103, 2009
222009
On message specifications in ocl
M Kyas, FS de Boer
Electronic Notes in Theoretical Computer Science 101, 73-93, 2004
212004
A statistics-based least squares (SLS) method for non-line-of-sight error of indoor localization
Y Yang, Y Zhao, M Kyas
2013 IEEE Wireless Communications and Networking Conference (WCNC), 2299-2304, 2013
202013
Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network
Y Zhao, Y Yang, M Kyas
2011 International Conference on Indoor Positioning and Indoor Navigation, 1-10, 2011
202011
Executable interface specifications for testing asynchronous Creol components
I Grabe, M Kyas, M Steffen, AB Torjusen
International Conference on Fundamentals of Software Engineering, 324-339, 2009
202009
Path loss and multipath effects in a real world indoor localization scenario
S Adler, S Schmitt, M Kyas
2014 11th Workshop on Positioning, Navigation and Communication (WPNC), 1-7, 2014
172014
Credo methodology: Modeling and analyzing a peer-to-peer system in credo
I Grabe, MM Jaghoori, B Aichernig, C Baier, T Blechmann, F de Boer, ...
Electronic Notes in Theoretical Computer Science 266, 33-48, 2010
17*2010
Experimental evaluation of indoor localization algorithms
S Adler, S Schmitt, Y Yang, Y Zhao, M Kyas
2014 International Conference on Indoor Positioning and Indoor Navigation …, 2014
152014
Weighted least-squares by bounding-box (b-wls) for nlos mitigation of indoor localization
Y Yang, Y Zhao, M Kyas
2013 IEEE 77th Vehicular Technology Conference (VTC Spring), 1-5, 2013
152013
A virtual indoor localization testbed for wireless sensor networks
S Schmitt, H Will, T Hillebrandt, M Kyas
2013 IEEE International Conference on Sensing, Communications and Networking …, 2013
142013
Quantitative and spatial evaluation of distance-based localization algorithms
T Hillebrandt, H Will, M Kyas
Progress in Location-Based Services, 173-194, 2013
142013
A non-parametric modeling of time-of-flight ranging error for indoor network localization
Y Yang, Y Zhao, M Kyas
2013 IEEE Global Communications Conference (GLOBECOM), 189-194, 2013
132013
The system can't perform the operation now. Try again later.
Articles 1–20