While organisations are becoming more complex than ever, their applied performance management (PM) systems still based on the conventional PM approach, derived from need for control and accountability. On other hand, turbulent changes, growing interdependencies across organisations, increasing uncertainty have created challenges beyond boundaries of traditional approaches. This study explores h...

In this paper we overview the work on formal engineering of resilient systems carried out in the FP7 EU Deploy project. We discuss our experience and open issues. Keywords-resilience; formal modelling; Event-B

There is great interest in the topic of resilient cyber systems. However, much of the accompanying research is clouded by a lack of an appropriate definition of the term “resilience” and the challenges of measuring the actual resilience of a system. In this paper, we examine some of the lessons learned in defining resilience metrics and argue that such metrics are highly contextual, and that a ...

The optimization of biological systems, which is a branch of metabolic engineering, has generated a lot of industrial and academic interest for a long time. In the last decade, metabolic engineering approaches based on mathematical optimizations have been used extensively for the analysis and manipulation of metabolic networks. In practical optimization of metabolic reaction networks, designers...