Follow
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
1182005
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
1172005
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
782015
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
552012
Run-time monitoring of electronic contracts
M Kyas, C Prisacariu, G Schneider
Automated Technology for Verification and Analysis: 6th International …, 2008
482008
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
412012
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
382014
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
Dynamic classes: Modular asynchronous evolution of distributed concurrent objects
EB Johnsen, M Kyas, IC Yu
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
242009
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
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
Fundamentals of Software Engineering: Third IPM International Conference …, 2010
212010
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
On message specifications in ocl
M Kyas, FS de Boer
Electronic Notes in Theoretical Computer Science 101, 73-93, 2004
192004
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
182015
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
172013
Quantitative and spatial evaluation of distance-based localization algorithms
T Hillebrandt, H Will, M Kyas
Progress in Location-Based Services, 173-194, 2013
172013
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
Semantic issues in UML 2.0 state machines
H Fecher, M Kyas, J Schönborn
162005
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
The system can't perform the operation now. Try again later.
Articles 1–20