Sage Journals: Discover world-class research

Retricted access

Research article

First published 2023-12-02

Runtime verification of self-adaptive multi-agent system using probabilistic timed automata

Yongan Mu, Wei Liu, Tao Lu [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published

Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach

Davide Ancona, Daniela Briola, Angelo Ferrando [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2006-2

An efficient runtime instruction block verification for secure embedded systems

Aleksandar Milenkovic, Milena Milenkovic, Emil Jovanov

Journal of Embedded Computing

Retricted access

Research article

First published 2025-3

Digital twin for the formal analysis of a depth of anesthesia controller

Mohamed AbdElSalam, Saddek Bensalem, Antoine Delacourt [...]

SIMULATION

Retricted access

Research article

First published 2017

Monitoring with Parametrized Extended Life Sequence Charts

Ming Chai, Bernd-Holger Schlingloff

Fundamenta Informaticae

Retricted access

Research article

First published 2013-8

On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version

Paulo Salem da Silva, Ana C V de Melo

SIMULATION

Retricted access

Research article

First published 2006-05

Simulation Verification and Validation by Dynamic Policy Specification and Enforcement

W. T. Tsai, Yinong Chen, Ray Paul [...]

SIMULATION

Retricted access

Research article

First published 2009-7

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

Roland Meyer, Victor Khomenko, Tim Strazny

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Ontological foundations for software requirements with a focus on requirements at runtime

Bruno Borlini Duarte, Andre Luiz de Castro Leal, Ricardo de Almeida Falbo [...]

Applied Ontology

Retricted access

Research article

First published 2013-8

Towards a formal analysis of dynamic reconfiguration in WS-BPEL

F. Abouzaid, M. Mazzara, J. Mullins [...]

Intelligent Decision Technologies

Search results