Titlebook: Software Engineering and Formal Methods; SEFM 2017 Collocated Antonio Cerone,Marco Roveri Conference proceedings 2018 Springer Internationa

inflate

Temporal Analytics for Software Usage Models formulate hypotheses about software usage together with the developers, encode them in probabilistic temporal logic, and analyse the models according to the probabilistic properties. We illustrate by application to logged data from a deployed mobile application software used by thousands of users.

antidote

无价值

A Formal Framework for Specifying and Verifying Microservices Based Process Flowsinition of temporal constraints. The Petri net model can be used for computer aided verification purposes by means of well-known techniques implemented by powerful, off-the-shelf model checking tools.

Hangar

B-cell

Temporal Analytics for Software Usage Modelsal user may move between different patterns, from one interaction session to another, or even during an interaction session. For analysis, we require new techniques to model and analyse temporal data sets of logged interactions with the purpose of discovering, interpreting, and communicating meaning

合乎习俗

Sequential Pattern Mining for ICT Risk Assessment and Prevention Haruspex tool models intelligent, goal-oriented agents that reach their goals through attack sequences. Data is synthetically generated through a Monte Carlo method that runs multiple simulations of the attacks against the system. In this paper, we present a sequential pattern mining analysis of th

华而不实

浮夸

dysphagia

Learning Decision Trees from Synthetic Data Models for Human Security Behaviour observed within the organisation, or build a formal model, integrating known existing behavioural elements. Whereas the former approach can be costly and time-consuming, and it can be complicated to select the best classifier, it can be equally complicated to select the right parameters for a concr

maroon

Controlling Production Variances in Complex Business Processesoduction are a challenge from a quality control and operational risk management perspective but also it distorts the assurance processes from an auditing perspective. To control production effectively waste needs to be taken into account in normative models, but this is complicated by cumulative eff