Members

Formal methods, testing techonology and QoS.

Formal methods for critical systems, communications software and Internet services on mobile networks.

Communication protocols, cellular networks and mobile application development.

Formal methods to ensure the safety in real-time and hybrid systems.

Formal methods for the analysis and optimization of heterogeneous systems.

Mobile broadband communications, protocol testing development and mission critical communications.

Mobile communications, software testing and communication protocols.

Mobile broadband communications, protocol testing development and mission critical communications.

Model checking, software reliability and runtime verification in mobile applications

Wireless communication protocols for mobile devices, QoS testing and mobile applications.

.NET technologies as well as Java development.

Safety-critical systems and Integrated Modular Avionics

Methods and models in Computer Science oriented towards secure embedded and distributed systems.

Communication software and communication protocol development

Energy-efficiency on computer networks and protocols, with a focus on LTE and next-generation mobile networks.

Use of formal methods on software verification.

Automatic debugging, verification and analysis of concurrent, reactive and temporal systems, semantics of declarative languages, the concurrent constraint paradigm, abstract interpretation, temporal logics.