Partners in HIDENETS
On this page you will find information about the partners in Hidenets.
Coordinator
Aalborg University, Center for TeleInFrastruktur
Denmark
http://www.aau.dk
University and attached research center with strong background in wireless communication, in particular person-centric communication (formerly CPK)
Partners
Budapest University of Technology and Economics
Hungary
http://www.bme.hu
Research group within a university renowned for its expertise in dependability, transformation based formal validation and verification
Carmeq GmbH
Germany
http://www.carmeq.de
An engineering company in the field of automotive electronics systems with activities in the field of communication in and around the vehicle
Fujitsu Siemens Computers
Germany
http://www.ts.fujitsu.com
(www.fujitsu-siemens.com)
European computer manufacturer with strategic focus on mobility and business critical computing
LAAS-CNRS
France
http://www2.laas.fr/laas/1-4287-Groupe-TSF.php
Research laboratory having strong relationships with universities and industries, internationally renowned for its expertise in all areas related to the design and validation of dependable and secure computing systems
Telenor
Norway
http://www.telenor.com
Network operator focussed on mobile activities. Market leader in Norway both in mobile and fixed networks. R&D department with expertise in mobile and broadband communication
Fundação da Faculdade de Ciências da Universidade de Lisboa
Portugal
http://www.fc.ul.pt
University with recognized expertise in the dependability area. Specific research lines include real-time and adaptive distributed systems, and intrusion tolerance and security aspects in open distributed systems
Twente Institute for Wireless and Mobile Communications B.V.
The Netherlands
http://www.ti-wmc.nl
SME (Small and Medium Enterprise) dedicated to research and consultancy in wireless and mobile communications
Universitá degli studi di Firenze
Italy
http://www.unifi.it
http://rcl.dsi.unifi.it
University and attached research center with strong background on dependable computing. Specific research areas include design & quantitative analysis of critical systems and infrastructures
