Sage Journals: Discover world-class research

Retricted access

Research article

First published 2015-4

Verification of Scenarios in Petri Nets Using Compact Tokenflows

Robin Bergenthum, Robert Lorenz

Fundamenta Informaticae

Free access

Other

First published 2009-1-1

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

Jihong Han, Zhiyong Zhou, Yadi Wang

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2016

SyLVaaS: System Level Formal Verification as a Service *

Toni Mancini, Federico Mari, Annalisa Massini [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2026

Collision Risk Assessment Based on Uncertainty of Vehicle Models

Qing Mao, Zhenfei Zhan, Zhenxing Yi

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2006-1

Advanced method for cryptographic protocol verification

Nabil El Kadhi, Hazem El-Gendy

Journal of Computational Methods in Sciences and Engineering

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 2020-11

DEv-PROMELA: modeling,verification,and validation of a video game by combining model-checking and simulation

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman

SIMULATION

Retricted access

Research article

First published 2025-12

Synthesizing deterministic maritime traffic situations for testing autonomy

Benjamin E Hargis, Yiannis E Papelis

SIMULATION

Retricted access

Research article

First published 1997-1-1

Threat scenarios as a means to formally develop secure systems

Volkmar Lotz

Journal of Computer Security

Retricted access

Research article

First published 2004-12

From Bounded to Unbounded Model Checking for Temporal Epistemic Logic

M. Kacprzak, A. Lomuscio, W. Penczek

Fundamenta Informaticae

Search results