Følg
Marcel Kyas
Marcel Kyas
Assistant Professor, Reykjavik University
Verifisert e-postadresse på ru.is
Tittel
Sitert av
Sitert av
År
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
1222005
29 new unclarities in the semantics of uml 2.0 state machines
H Fecher, J Schönborn, M Kyas, WP de Roever
Formal Methods and Software Engineering: 7th International Conference on …, 2005
1222005
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
842015
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
562012
Run-time monitoring of electronic contracts
M Kyas, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2008
492008
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
482012
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
422014
A trust model-based Bayesian decision theory in large scale Internet of Things
A Kurniawan, M Kyas
2015 IEEE Tenth International Conference on Intelligent Sensors, Sensor …, 2015
272015
Dynamic classes: Modular asynchronous evolution of distributed concurrent objects
EB Johnsen, M Kyas, IC Yu
International Symposium on Formal Methods, 596-611, 2009
272009
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
272009
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
252011
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
212014
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
212009
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
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
192013
Quantitative and spatial evaluation of distance-based localization algorithms
T Hillebrandt, H Will, M Kyas
Progress in Location-Based Services, 173-194, 2013
182013
Semantic issues in UML 2.0 state machines
H Fecher, M Kyas, J Schönborn
182005
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
162014
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
152013
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20