Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result: the worst case complexity of the verification problem of Aximo.

in this paper, we present the numerical solution of ordinary dierential equations (or sdes), from each order especially second-order with time-varying and gaussian random coecients. we indicate a complete analysis for second-order equations in special case of scalar linear second-order equations (damped harmonic oscillators with additive or multi- plicative noises). making stochastic dierent...

Parametric uncertainty can represent parametric tolerance, parameter noise or parameter disturbances. The effects of these uncertainties on the time evolution of a system can be extremely significant, mostly when studying closed-loop operation of control systems. The presence of uncertainty makes the modeling process challenging, since it is impossible to express the behavior of the system with...

Making secure a software system is a very critical purpose, especially because it is very hard to consolidate an exhaustive body of knowledge about security risks and related countermeasures. To define a technological infrastructure for exploiting this knowledge poses many challenges. This paper introduces a system to capture, share and reuse software security knowledge within a Software Organi...

Static Worst-Case Execution Time (WCET) analysis is currently taking a step from research to industrial use. We present a summary of three case studies where static WCET analysis has been used to analyse production code for embedded real-time systems. The primary purpose has not been to test the accuracy of the obtained WCET estimates, but rather to investigate the practical and methodological ...

The worst-case complexity of general decentralized POMDPs, which are equivalent to partially observable stochastic games (POSGs) is very high, both for the cooperative and competitive cases. Some reductions in complexity have been achieved by exploiting independence relations in some models. We show that these results are somewhat limited: when these independence assumptions are relaxed in very...

Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be used to improve the quality of the results that are obtained from a fully-automatic and formally guaranteed WCET analysis, by delivering analysis results that are parameterised on specific input patterns and which take a...

Timeliness is a critical aspect of real-time systems since both functional and temporal properties must be guaranteed to ensure correct system behaviour. This requirement is safeguarded in the real-time research community by means of Worst-Case Execution Time (WCET) analysis. Conventionally, a static approach to this problem has been aggrandised because safe results ensue. However, the face of ...

This paper presents an approach for contextualizing an event-based decision support system for scheduling patient assessments in a hospital. To cope with unexpected delays, patient coordinators often pursue a worst case scenario when scheduling patient assessments, leading to an underutilization of human resources and equipment when the procedure went without complications. We present a context...