| 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 | 111 | 2005 |
| 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 | 107 | 2005 |
| 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 | 61 | 2015 |
| 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 | 49 | 2012 |
| Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008 | 45 | 2008 |
| 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 | 34 | 2012 |
| 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 | 29 | 2014 |
| Dynamic classes: Modular asynchronous evolution of distributed concurrent objects EB Johnsen, M Kyas, IC Yu International Symposium on Formal Methods, 596-611, 2009 | 25 | 2009 |
| 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 | 23 | 2011 |
| 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 | 22 | 2013 |
| 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 | 20* | 2010 |
| 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 | 20 | 2009 |
| 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 | 20 | 2009 |
| On message specifications in ocl M Kyas, FS de Boer Electronic Notes in Theoretical Computer Science 101, 73-93, 2004 | 20 | 2004 |
| 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 | 18 | 2014 |
| 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 | 15 | 2014 |
| 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 | 15 | 2013 |
| 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 | 14 | 2013 |
| 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 | 14 | 2013 |
| Quantitative and spatial evaluation of distance-based localization algorithms T Hillebrandt, H Will, M Kyas Progress in Location-Based Services, 173-194, 2013 | 14 | 2013 |
Simon SchmittAG Computer Systems & Telematics, Freie Universität Berlin, Berlin, GermanyVerified email at simonschmitt.com
