Monthly Archives: July 2014

Two new journal articles on inertial navigation

Our navigation research group is proud to announce two fresh Transaction articles. Inertial navigation is based on gyroscope and accelerometer measurements to define the movement of a person or vehicle. This is very useful method when satellite positioning cannot be … Continue reading

Posted in news, research | Leave a comment

CAV award 2014

Professor Antti Valmari is one of four recipients of Computer Aided Verification (CAV) award 2014. Congratulations! Read more, Sama suomeksi

Posted in news, research | Leave a comment

New version of Kactus2 IP-XACT tool has been released

Kactus2 is a graphical open source IP-XACT toolset to design embedded products, especially FPGA-based MP-SoCs. It provides easier IP reuse and HW/SW co-design. The tool is available for Windows and Linux under GPL2 license at The biggest improvements in … Continue reading

Posted in research | Leave a comment

Research Visit to Stuttgart

As a part of the CoSMo project, I just spent three months as a visiting researcher in the Human-Computer Interaction lab at University of Stuttgart (Institute for Visualization and Interactive Systems). The group led by Prof. Albrecht Schmidt, consisting of … Continue reading

Posted in research | Tagged , , | Leave a comment