Various research prototypes and a well-founded theory of model based testing (MBT)
suggests the application of MBT to real-world problems. In this article we report on applying …

Conforming to protocol specifications is a critical issue in modern distributed software
systems. Nowadays, complex service infrastructures, such as Voice-over-IP systems, are …

This paper presents a UML 2 profile for communicating systems. It is driven by the
experience of SDL and uses formal constraints for profile definition and mapping rules by …

This study presented an integrated management framework for the implementation of
reconfigurable protocol stack in Networked Control Systems (NCSs). Reconfiguration is a …

This article presents a formal specification for two entities of the Session Initiation Protocol
(SIP) in LOTOS. It presents a formal model of a SIP Registrar and of a stateful SIP Proxy. The …

Although the adoption of the IP Multimedia Subsystem (IMS) keeps growing, IMS
applications are often integrated to the system without being formally tested. In this work, we …

Soft state signaling protocols install and maintain states in network nodes, expiring without
receiving refreshes. These states require proper reparation when the flow path changes …

Because of the increased industrial and research communities interest in the IP Multimedia
Subsystem (IMS), the needs of formal testing for IMS applications are becoming critical. In …

An important step towards seamless heterogeneous systems is the integration between
WLAN and 3G cellular systems. Their interoperability has been frequently discussed in …

This thesis describes a practical formal approach to designing Internet (IP) Telephony
services with fewer feature interactions using SDL and Message Sequence Charts (MSC) …