We present the Infobiotics Workbench (IBW), a user-friendly, scalable, and integrated
computational environment for the computer-aided design of synthetic biological systems. It …

The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

Structural and behavioural properties of models are very important in development of
complex systems and applications. In this paper, we investigate such properties for some …

Over the past decade, the world of Ambient Intelligence and smart environments has
brought us a wide variety of novel applications with potential for exhibiting sophisticated …

Membrane computing is a new natural computing paradigm inspired by the functioning and
structure of biological cells, and has been successfully applied to many different areas, from …

Performance evaluation process identifies direction for future research and development.
Tremendous efforts have been invested in the related research; however, no standard or …

As ubiquitous computing becomes a reality, its applications are increasingly being used in
business-critical, mission-critical and even in safety-critical, areas. Such systems must …

Search-based testing is widely used for generating test sets. It is also applied in the case of
model-based testing, especially for (extended) finite state machines. In this paper, we define …

Reducing the number of alerts and anomalies has been the focus of several studies, but an
automated anomaly detection using log files is still an ongoing challenge. One of the …

Pervasive computing systems are heterogenous and complex as they usually involve
human activities, various sensors and actuators as well as middleware for system …