Marcel Kyas

According to our database1, Marcel Kyas authored at least 59 papers between 2001 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Secret Handshakes-Based Fuzzy Clustering for Sharing Personal e-Health Records.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2017
Fast routing graph extraction from floor plans.
Proceedings of the 2017 International Conference on Indoor Positioning and Indoor Navigation, 2017

2016
Conditional erosion to estimate routing graph out of floor plans.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2016

2015
Adaptive Range-Based Nonlinear Filters for Wireless Indoor Positioning System Using Dynamic Gaussian Model.
IEEE Trans. Vehicular Technology, 2015

IMAKA-Tate: secure and efficient privacy preserving for indoor positioning applications.
IJPEDS, 2015

Light-weight Key Management Scheme for Active RFID Applications.
EAI Endorsed Trans. Indust. Netw. & Intellig. Syst., 2015

Efficient Key Management System for Large-scale Smart RFID Applications.
EAI Endorsed Trans. Energy Web, 2015

A trust model-based Bayesian decision theory in large scale Internet of Things.
Proceedings of the Tenth IEEE International Conference on Intelligent Sensors, 2015

A survey of experimental evaluation in indoor localization research.
Proceedings of the 2015 International Conference on Indoor Positioning and Indoor Navigation, 2015

2014
Efficient Security and Privacy Protection for Emerging Smart RFID Communications.
IJNDC, 2014

RBGF: Recursively Bounded Grid-Based Filter for Indoor Position Tracking Using Wireless Networks.
IEEE Communications Letters, 2014

Cramér-Rao lower bound analysis for wireless localization systems using priori information.
Proceedings of the 11th Workshop on Positioning, Navigation and Communication, 2014

GeoF: A geometric Bayesian filter for indoor position tracking in mixed LOS/NLOS conditions.
Proceedings of the 11th Workshop on Positioning, Navigation and Communication, 2014

Path loss and multipath effects in a real world indoor localization scenario.
Proceedings of the 11th Workshop on Positioning, Navigation and Communication, 2014

Recursive Bayesian Estimation Using a Topological Map for Indoor Position Tracking.
Proceedings of the IEEE 79th Vehicular Technology Conference, 2014

Experimental evaluation of the spatial error distribution of indoor localization algorithms.
Proceedings of the 2014 Ubiquitous Positioning Indoor Navigation and Location Based Service, 2014

Security and privacy protocol for emerging smart RFID applications.
Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

The effects of human body shadowing in RF-based indoor localization.
Proceedings of the 2014 International Conference on Indoor Positioning and Indoor Navigation, 2014

Experimental evaluation of indoor localization algorithms.
Proceedings of the 2014 International Conference on Indoor Positioning and Indoor Navigation, 2014

Device-free indoor localisation using radio tomography imaging in 800/900 MHz band.
Proceedings of the 2014 International Conference on Indoor Positioning and Indoor Navigation, 2014

RFID-tate: Efficient security and privacy protection for active RFID over IEEE 802.15.4.
Proceedings of the 5th International Conference on Information, 2014

An adaptive likelihood fusion method using dynamic Gaussian model for indoor target tracking.
Proceedings of the IEEE International Conference on Acoustics, 2014

2013
Quantitative and Spatial Evaluation of Distance-Based Localization Algorithms.
Proceedings of the Progress in Location-Based Services, 2013

A statistics-based least squares (SLS) method for non-line-of-sight error of indoor localization.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

PSG-DPF: Distributed Particle Filter Using Pairwise Selective Gossiping for Wireless Sensor Network.
Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

Weighted Least-Squares by Bounding-Box (B-WLS) for NLOS Mitigation of Indoor Localization.
Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

A virtual indoor localization testbed for Wireless Sensor Networks.
Proceedings of the 10th Annual IEEE Communications Society Conference on Sensor, 2013

2D geometrical performance for localization algorithms from 3D perspective.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2013

A grid-scan maximum likelihood estimation with a bias function for indoor network localization.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2013

Virtual testbed for indoor localization.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2013

Likelihood adaptation of particle filter for target tracking using wireless sensor networks.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

A non-parametric modeling of Time-of-flight ranging error for indoor network localization.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

2012
Dynamic searching particle filtering scheme for indoor localization in wireless sensor network.
Proceedings of the 9th Workshop on Positioning, Navigation and Communication, 2012

The FU Berlin parallel lateration-algorithm simulation and visualization engine.
Proceedings of the 9th Workshop on Positioning, Navigation and Communication, 2012

The Membership Degree Min-Max localization algorithm.
Proceedings of the 2012 Ubiquitous Positioning, 2012

The Geo-n localization algorithm.
Proceedings of the 2012 International Conference on Indoor Positioning and Indoor Navigation, 2012

A reference system for indoor localization testbeds.
Proceedings of the 2012 International Conference on Indoor Positioning and Indoor Navigation, 2012

RAID the WSN: Packet-based reliable cooperative diversity.
Proceedings of IEEE International Conference on Communications, 2012

2011
Comparing centralized Kalman filter schemes for indoor positioning in wireless sensor network.
Proceedings of the 2011 International Conference on Indoor Positioning and Indoor Navigation, 2011

2010
Resource Modeling for Timed Creol Models.
Electr. Notes Theor. Comput. Sci., 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

2009
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol.
Electr. Notes Theor. Comput. Sci., 2009

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.
Electr. Notes Theor. Comput. Sci., 2009

Refinement Patterns for Hierarchical UML State Machines.
Proceedings of the Fundamentals of Software Engineering, 2009

Executable Interface Specifications for Testing Asynchronous Creol Components.
Proceedings of the Fundamentals of Software Engineering, 2009

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects.
Proceedings of the FM 2009: Formal Methods, 2009

2008
A Theory of Bounded Fair Scheduling.
Proceedings of the Theoretical Aspects of Computing, 2008

A Real-Time Extension of Creol for Modelling Biomedical Sensors.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Run-Time Monitoring of Electronic Contracts.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
An Object-Oriented Component Model for Heterogeneous Nets.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006
Verifying OCL specifications of UML models: tool support and compositionakity.
PhD thesis, 2006

Compositional Operational Semantics of a UML-Kernel-Model Language.
Electr. Notes Theor. Comput. Sci., 2006

Compositional Verification of Timed Components using PVS.
Proceedings of the Software Engineering 2006, 2006

2005
A Compositional Trace Logic for Behavioural Interface Specifications.
Nord. J. Comput., 2005

Formalizing UML Models and OCL Constraints in PVS.
Electr. Notes Theor. Comput. Sci., 2005

29 New Unclarities in the Semantics of UML 2.0 State Machines.
Proceedings of the Formal Methods and Software Engineering, 2005

An Extended Type System for OCL Supporting Templates and Transformations.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004
On Message Specifications in OCL.
Electr. Notes Theor. Comput. Sci., 2004

2001
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol.
Electr. Notes Theor. Comput. Sci., 2001


  Loading...