ask others

Marcel Kyas

> Home > Persons

Person information

affiliation: Free University of Berlin, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/SchmittZWSK16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/SchmittZWSK16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ew/SadikinK15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ew/SadikinK15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/inis/SadikinK15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/inis/SadikinK15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/paapp/SadikinK15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/paapp/SadikinK15
Mohammad Fal Sadikin, Marcel Kyas:
IMAKA-Tate: secure and efficient privacy preserving for indoor positioning applications. IJPEDS 30(6): 447-463 (2015)
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tvt/ZhaoYK15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tvt/ZhaoYK15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/AdlerSWK15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/AdlerSWK15
Stephan Adler, Simon Schmitt, Katinka Wolter, Marcel Kyas:
A survey of experimental evaluation in indoor localization research. IPIN 2015: 1-10
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issnip/KurniawanK15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/issnip/KurniawanK15
Agus Kurniawan, Marcel Kyas:
A trust model-based Bayesian decision theory in large scale Internet of Things. ISSNIP 2015: 1-5
2014
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/icl/YangZK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/icl/YangZK14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icassp/ZhaoYK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icassp/ZhaoYK14
Yubin Zhao, Yuan Yang, Marcel Kyas:
An adaptive likelihood fusion method using dynamic Gaussian model for indoor target tracking. ICASSP 2014: 7993-7997
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iisa/SadikinK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iisa/SadikinK14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/AdlerSYZK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/AdlerSYZK14
Stephan Adler, Simon Schmitt, Yuan Yang, Yubin Zhao, Marcel Kyas:
Experimental evaluation of indoor localization algorithms. IPIN 2014: 291-299
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/SchmittAK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/SchmittAK14
Simon Schmitt, Stephan Adler, Marcel Kyas:
The effects of human body shadowing in RF-based indoor localization. IPIN 2014: 307-313
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/AdlerSK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/AdlerSK14
Stephan Adler, Simon Schmitt, Marcel Kyas:
Device-free indoor localisation using radio tomography imaging in 800/900 MHz band. IPIN 2014: 544-553
[c32]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/snpd/SadikinK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/snpd/SadikinK14
Mohammad Fal Sadikin, Marcel Kyas:
Security and privacy protocol for emerging smart RFID applications. SNPD 2014: 1-7
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/upinlbs/AdlerSK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/upinlbs/AdlerSK14
Stephan Adler, Simon Schmitt, Marcel Kyas:
Experimental evaluation of the spatial error distribution of indoor localization algorithms. UPINLBS 2014: 44-53
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vtc/YangZK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/vtc/YangZK14
Yuan Yang, Yubin Zhao, Marcel Kyas:
Recursive Bayesian Estimation Using a Topological Map for Indoor Position Tracking. VTC Spring 2014: 1-5
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wpnc/AdlerSK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wpnc/AdlerSK14
Stephan Adler, Simon Schmitt, Marcel Kyas:
Path loss and multipath effects in a real world indoor localization scenario. WPNC 2014: 1-7
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wpnc/YangZK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wpnc/YangZK14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wpnc/ZhaoYK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wpnc/ZhaoYK14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/globecom/YangZK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/globecom/YangZK13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/globecom/ZhaoYK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/globecom/ZhaoYK13
Yubin Zhao, Yuan Yang, Marcel Kyas:
Likelihood adaptation of particle filter for target tracking using wireless sensor networks. GLOBECOM 2013: 3323-3328
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/AdlerSWHK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/AdlerSWHK13
Stephan Adler, Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas:
Virtual testbed for indoor localization. IPIN 2013: 1-8
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/YangZK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/YangZK13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/ZhaoYK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/ZhaoYK13
Yubin Zhao, Yuan Yang, Marcel Kyas:
2D geometrical performance for localization algorithms from 3D perspective. IPIN 2013: 1-10
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/secon/SchmittWHK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/secon/SchmittWHK13
Simon Schmitt, Heiko Will, Thomas Hillebrandt, Marcel Kyas:
A virtual indoor localization testbed for Wireless Sensor Networks. SECON 2013: 239-241
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vtc/YangZK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/vtc/YangZK13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vtc/ZhaoYK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/vtc/ZhaoYK13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wcnc/YangZK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wcnc/YangZK13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/lngc/HillebrandtWK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/series/lngc/HillebrandtWK13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icc/YangWZK12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icc/YangWZK12
Yuan Yang, Matthias Wählisch, Yubin Zhao, Marcel Kyas:
RAID the WSN: Packet-based reliable cooperative diversity. ICC 2012: 371-375
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/SchmittWAHK12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/SchmittWAHK12
Simon Schmitt, Heiko Will, Benjamin Aschenbrenner, Thomas Hillebrandt, Marcel Kyas:
A reference system for indoor localization testbeds. IPIN 2012: 1-8
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/WillHK12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/WillHK12
Heiko Will, Thomas Hillebrandt, Marcel Kyas:
The Geo-n localization algorithm. IPIN 2012: 1-10
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/upinlbs/WillHYZK12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/upinlbs/WillHYZK12
Heiko Will, Thomas Hillebrandt, Yuan Yang, Yubin Zhao, Marcel Kyas:
The Membership Degree Min-Max localization algorithm. UPINLBS 2012: 1-10
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wpnc/ZhaoYK12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wpnc/ZhaoYK12
Yubin Zhao, Yuan Yang, Marcel Kyas:
Dynamic searching particle filtering scheme for indoor localization in wireless sensor network. WPNC 2012: 65-70
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wpnc/WillHK12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wpnc/WillHK12
Heiko Will, Thomas Hillebrandt, Marcel Kyas:
The FU Berlin parallel lateration-algorithm simulation and visualization engine. WPNC 2012: 131-136
2011
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/ZhaoYK11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ipin/ZhaoYK11
Yubin Zhao, Yuan Yang, Marcel Kyas:
Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network. IPIN 2011: 1-10
2010
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/GrabeJABBBGJKKKLSSSTXY10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/SchlatteAGK10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/SchlatteAGK10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/JohnsenBKO09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/JohnsenBKO09
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Kyas09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Kyas09
Marcel Kyas:
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. Electr. Notes Theor. Comput. Sci. 243: 105-120 (2009)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/JohnsenKY09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fm/JohnsenKY09
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu:
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM 2009: 596-611
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsen/GrabeKST09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fsen/GrabeKST09
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen:
Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN 2009: 324-339
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsen/SchonbornK09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fsen/SchonbornK09
Jens Schönborn, Marcel Kyas:
Refinement Patterns for Hierarchical UML State Machines. FSEN 2009: 371-386
2008
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/KyasPS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/atva/KyasPS08
Marcel Kyas, Cristian Prisacariu, Gerardo Schneider:
Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/KyasJ08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmco/KyasJ08
Marcel Kyas, Einar Broch Johnsen:
A Real-Time Extension of Creol for Modelling Biomedical Sensors. FMCO 2008: 42-60
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/SchonbornK08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ictac/SchonbornK08
Jens Schönborn, Marcel Kyas:
A Theory of Bounded Fair Scheduling. ICTAC 2008: 334-348
2007
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/JohnsenOBK07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmco/JohnsenOBK07
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas:
An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279
2006
[b1]
- view
  - electronic edition @ d-nb.info
- export record
  dblp key:
  - phd/nl/Kyas2006
- ask others
- share record
  short URL:
  - http://dblp.org/rec/phd/nl/Kyas2006
Marcel Kyas:
Verifying OCL specifications of UML models: tool support and compositionakity. Leiden University 2006, ISBN 3-86541-142-8, pp. 1-199
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/FecherKRB06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/FecherKRB06
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]
- view
  - electronic edition @ emis.de
- export record
  dblp key:
  - conf/se/Kyas06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/se/Kyas06
Marcel Kyas, Jozef Hooman:
Compositional Verification of Timed Components using PVS. Software Engineering 2006: 143-154
2005
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/KyasFBJHZAK05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/KyasFBJHZAK05
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]
- no documents available
- export record
  dblp key:
  - journals/njc/KyasBR05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/njc/KyasBR05
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmoods/Kyas05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmoods/Kyas05
Marcel Kyas:
An Extended Type System for OCL Supporting Templates and Transformations. FMOODS 2005: 83-98
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/FecherSKR05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icfem/FecherSKR05
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/KyasB04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/KyasB04
Marcel Kyas, Frank S. de Boer:
On Message Specifications in OCL. Electr. Notes Theor. Comput. Sci. 101: 73-93 (2004)
2001
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Kyas01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Kyas01
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

see FAQ

maintained by

at