Marcel Kyas
Person information
- affiliation: Free University of Berlin, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [c41]Simon Schmitt, Larissa Zech, Katinka Wolter, Thomas Willemsen, Harald Sternberg, Marcel Kyas:
Fast routing graph extraction from floor plans. IPIN 2017: 1-8 - 2016
- [c40]Simon Schmitt, Larissa Zech, Thomas Willemsen, Harald Sternberg, Marcel Kyas:
Conditional erosion to estimate routing graph out of floor plans. IPIN 2016: 1-8 - 2015
- [j14]Mohammad Fal Sadikin, Marcel Kyas:
Efficient Key Management System for Large-scale Smart RFID Applications. EAI Endorsed Trans. Energy Web 2(6): e1 (2015) - [j13]Mohammad Fal Sadikin, Marcel Kyas:
Light-weight Key Management Scheme for Active RFID Applications. EAI Endorsed Trans. Indust. Netw. & Intellig. Syst. 2(5): e4 (2015) - [j12]Mohammad Fal Sadikin, Marcel Kyas:
IMAKA-Tate: secure and efficient privacy preserving for indoor positioning applications. IJPEDS 30(6): 447-463 (2015) - [j11]Yubin Zhao, Yuan Yang, Marcel Kyas:
Adaptive Range-Based Nonlinear Filters for Wireless Indoor Positioning System Using Dynamic Gaussian Model. IEEE Trans. Vehicular Technology 64(9): 4282-4291 (2015) - [c39]Stephan Adler, Simon Schmitt, Katinka Wolter, Marcel Kyas:
A survey of experimental evaluation in indoor localization research. IPIN 2015: 1-10 - [c38]Agus Kurniawan, Marcel Kyas:
A trust model-based Bayesian decision theory in large scale Internet of Things. ISSNIP 2015: 1-5 - 2014
- [j10]Yuan Yang, Yubin Zhao, Marcel Kyas:
RBGF: Recursively Bounded Grid-Based Filter for Indoor Position Tracking Using Wireless Networks. IEEE Communications Letters 18(7): 1234-1237 (2014) - [c37]Yubin Zhao, Yuan Yang, Marcel Kyas:
An adaptive likelihood fusion method using dynamic Gaussian model for indoor target tracking. ICASSP 2014: 7993-7997 - [c36]Mohammad Fal Sadikin, Marcel Kyas:
RFID-tate: Efficient security and privacy protection for active RFID over IEEE 802.15.4. IISA 2014: 335-340 - [c35]Stephan Adler, Simon Schmitt, Yuan Yang, Yubin Zhao, Marcel Kyas:
Experimental evaluation of indoor localization algorithms. IPIN 2014: 291-299 - [c34]Simon Schmitt, Stephan Adler, Marcel Kyas:
The effects of human body shadowing in RF-based indoor localization. IPIN 2014: 307-313 - [c33]Stephan Adler, Simon Schmitt, Marcel Kyas:
Device-free indoor localisation using radio tomography imaging in 800/900 MHz band. IPIN 2014: 544-553 - [c32]Mohammad Fal Sadikin, Marcel Kyas:
Security and privacy protocol for emerging smart RFID applications. SNPD 2014: 1-7 - [c31]Stephan Adler, Simon Schmitt, Marcel Kyas:
Experimental evaluation of the spatial error distribution of indoor localization algorithms. UPINLBS 2014: 44-53 - [c30]Yuan Yang, Yubin Zhao, Marcel Kyas:
Recursive Bayesian Estimation Using a Topological Map for Indoor Position Tracking. VTC Spring 2014: 1-5 - [c29]Stephan Adler, Simon Schmitt, Marcel Kyas:
Path loss and multipath effects in a real world indoor localization scenario. WPNC 2014: 1-7 - [c28]Yuan Yang, Yubin Zhao, Marcel Kyas:
GeoF: A geometric Bayesian filter for indoor position tracking in mixed LOS/NLOS conditions. WPNC 2014: 1-6 - [c27]Yubin Zhao, Yuan Yang, Marcel Kyas:
Cramér-Rao lower bound analysis for wireless localization systems using priori information. WPNC 2014: 1-6 - 2013
- [c26]Yuan Yang, Yubin Zhao, Marcel Kyas:
A non-parametric modeling of Time-of-flight ranging error for indoor network localization. GLOBECOM 2013: 189-194 - [c25]Yubin Zhao, Yuan Yang, Marcel Kyas:
Likelihood adaptation of particle filter for target tracking using wireless sensor networks. GLOBECOM 2013: 3323-3328 - [c24]Stephan Adler, Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas:
Virtual testbed for indoor localization. IPIN 2013: 1-8 - [c23]Yuan Yang, Yubin Zhao, Marcel Kyas:
A grid-scan maximum likelihood estimation with a bias function for indoor network localization. IPIN 2013: 1-9 - [c22]Yubin Zhao, Yuan Yang, Marcel Kyas:
2D geometrical performance for localization algorithms from 3D perspective. IPIN 2013: 1-10 - [c21]Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas:
A virtual indoor localization testbed for Wireless Sensor Networks. SECON 2013: 239-241 - [c20]Yuan Yang, Yubin Zhao, Marcel Kyas:
Weighted Least-Squares by Bounding-Box (B-WLS) for NLOS Mitigation of Indoor Localization. VTC Spring 2013: 1-5 - [c19]Yubin Zhao, Yuan Yang, Marcel Kyas:
PSG-DPF: Distributed Particle Filter Using Pairwise Selective Gossiping for Wireless Sensor Network. VTC Spring 2013: 1-5 - [c18]Yuan Yang, Yubin Zhao, Marcel Kyas:
A statistics-based least squares (SLS) method for non-line-of-sight error of indoor localization. WCNC 2013: 2299-2304 - [p1]Thomas Hillebrandt, Heiko Will, Marcel Kyas:
Quantitative and Spatial Evaluation of Distance-Based Localization Algorithms. Progress in Location-Based Services 2013: 173-194 - 2012
- [c17]Yuan Yang, Matthias Wählisch, Yubin Zhao, Marcel Kyas:
RAID the WSN: Packet-based reliable cooperative diversity. ICC 2012: 371-375 - [c16]Simon Schmitt, Heiko Will, Benjamin Aschenbrenner, Thomas Hillebrandt, Marcel Kyas:
A reference system for indoor localization testbeds. IPIN 2012: 1-8 - [c15]
- [c14]Heiko Will, Thomas Hillebrandt, Yuan Yang, Yubin Zhao, Marcel Kyas:
The Membership Degree Min-Max localization algorithm. UPINLBS 2012: 1-10 - [c13]Yubin Zhao, Yuan Yang, Marcel Kyas:
Dynamic searching particle filtering scheme for indoor localization in wireless sensor network. WPNC 2012: 65-70 - [c12]Heiko Will, Thomas Hillebrandt, Marcel Kyas:
The FU Berlin parallel lateration-algorithm simulation and visualization engine. WPNC 2012: 131-136 - 2011
- [c11]Yubin Zhao, Yuan Yang, Marcel Kyas:
Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network. IPIN 2011: 1-10 - 2010
- [j9]Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi:
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010) - [j8]Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas:
Resource Modeling for Timed Creol Models. Electr. Notes Theor. Comput. Sci. 266: 63-75 (2010)
2000 – 2009
- 2009
- [j7]Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe:
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Electr. Notes Theor. Comput. Sci. 243: 89-103 (2009) - [j6]Marcel Kyas:
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. Electr. Notes Theor. Comput. Sci. 243: 105-120 (2009) - [c10]Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu:
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM 2009: 596-611 - [c9]Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen:
Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN 2009: 324-339 - [c8]Jens Schönborn, Marcel Kyas:
Refinement Patterns for Hierarchical UML State Machines. FSEN 2009: 371-386 - 2008
- [c7]Marcel Kyas, Cristian Prisacariu, Gerardo Schneider:
Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407 - [c6]Marcel Kyas, Einar Broch Johnsen:
A Real-Time Extension of Creol for Modelling Biomedical Sensors. FMCO 2008: 42-60 - [c5]
- 2007
- [c4]Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas:
An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279 - 2006
- [b1]Marcel Kyas:
Verifying OCL specifications of UML models: tool support and compositionakity. Leiden University 2006, ISBN 3-86541-142-8, pp. 1-199 - [j5]Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer:
Compositional Operational Semantics of a UML-Kernel-Model Language. Electr. Notes Theor. Comput. Sci. 156(1): 79-96 (2006) - [c3]Marcel Kyas, Jozef Hooman:
Compositional Verification of Timed Components using PVS. Software Engineering 2006: 143-154 - 2005
- [j4]Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler:
Formalizing UML Models and OCL Constraints in PVS. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005) - [j3]Marcel Kyas, Frank S. de Boer, Willem P. de Roever:
A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12(2): 116-132 (2005) - [c2]Marcel Kyas:
An Extended Type System for OCL Supporting Templates and Transformations. FMOODS 2005: 83-98 - [c1]Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever:
29 New Unclarities in the Semantics of UML 2.0 State Machines. ICFEM 2005: 52-65 - 2004
- [j2]Marcel Kyas, Frank S. de Boer:
On Message Specifications in OCL. Electr. Notes Theor. Comput. Sci. 101: 73-93 (2004) - 2001
- [j1]Marcel Kyas:
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol. Electr. Notes Theor. Comput. Sci. 50(4): 357-370 (2001)
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-12-10 23:29 CET by the dblp team