Marcel Kyas

Cited by

	All	Since 2018
Citations	1039	319
h-index	17	8
i10-index	30	8

120

200420052006200720082009201020112012201320142015201620172018201920202021202220238 10 20 26 27 49 55 41 51 67 88 84 103 77 88 71 60 50 42 8

Public access

View all

2 articles

1 article

available

not available

Based on funding mandates

Co-authors

Simon SchmittAG Computer Systems & Telematics, Freie Universität Berlin, Berlin, GermanyVerified email at simonschmitt.com
Stephan AdlerSafety IO GmbHVerified email at safetyio.com
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Hillel KuglerBar-Ilan UniversityVerified email at biu.ac.il
Agus KurniawanFreie Universität Berlin and Universitas IndonesiaVerified email at fu-berlin.de
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
Andreas GriesmayerImperial College LondonVerified email at arm.com
Mohammad Mahdi JaghooriDockmeh, CWIVerified email at cwi.nl
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Christel BaierTU DresdenVerified email at tu-dresden.de
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Matthias WählischAssistant Professor of Computer Science, Freie Universität BerlinVerified email at fu-berlin.de
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, FranceVerified email at isae-supaero.fr
Volker StolzHøgskulen på Vestlandet & Universitetet i OsloVerified email at foldr.org
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk

Marcel Kyas

Assistant Professor, Reykjavik University

Verified email at ru.is


Title Sort by citations Sort by year Sort by 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	118	2005
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	117	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	78	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	55	2012
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider Automated Technology for Verification and Analysis: 6th International …, 2008	48	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	41	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	38	2014
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	25	2011
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	24	2009
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	22	2009
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	21	2014
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	21	2010
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	20	2013
On message specifications in ocl M Kyas, FS de Boer Electronic Notes in Theoretical Computer Science 101, 73-93, 2004	19	2004
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	18	2015
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	17	2013
Quantitative and spatial evaluation of distance-based localization algorithms T Hillebrandt, H Will, M Kyas Progress in Location-Based Services, 173-194, 2013	17	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	17*	2010
Semantic issues in UML 2.0 state machines H Fecher, M Kyas, J Schönborn	16	2005
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors