Author of the publication

Real-Time Heave Motion Estimation using Adaptive Filtering Techniques

, , , and . IFAC World Congress, page 10119--10125. Cape Town, South Africa, (2014)
DOI: 10.3182/20140824-6-ZA-1003.00111

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards the standardization of plug-and-play devices for model-based designs of embedded systems., and . SIES, page 189-192. IEEE, (2016)Clock refinement in imperative synchronous languages., , and . EURASIP J. Emb. Sys., (2013)Memory-Model-Aware Testing: A Unified Complexity Analysis., , , and . ACM Trans. Embedded Comput. Syst., 14 (4): 63:1-63:25 (2015)Embedding Polychrony into Synchrony., , , , and . IEEE Trans. Software Eng., 39 (7): 917-929 (2013)Formal Specification in VHDL for Hardware Verification., , and . DATE, page 257-263. IEEE Computer Society, (1998)Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration., and . DATE, page 10196-10203. IEEE Computer Society, (2003)Comparing Model Checking and Term Rewriting for the Verification of an Embedded System., and . DIPES, volume 155 of IFIP Conference Proceedings, page 129-138. Kluwer, (1998)A New Algorithm for Carry-Free Addition of Binary Signed-Digit Numbers., and . FCCM, page 44-51. IEEE Computer Society, (2014)Interactive verification of synchronous systems., and . MEMOCODE, page 75-84. IEEE, (2012)Modeling and Verifying Abstract Multithreaded Systems., and . MBMV, page 85-94. HNI-Verlagsschriften, (1998)