Sage Journals: Discover world-class research

Retricted access

Other

First published 2002-7

Computable Protocol Models for Interactive Trial Design

Michael G. Kahn

Therapeutic Innovation & Regulatory Science

Retricted access

Research article

First published 2007-10

Verifying Security Protocols Modelled by Networks of Automata

Mirosław Kurkowski, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Other

First published 2011-8

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2015-1

Integrating model checking and simulation for protocol optimization

Alberto Salmerón, Pedro Merino

SIMULATION

Retricted access

Other

First published 2007-5

A Standard Computable Clinical Trial Protocol: The Role of the BRIDG Model

Cara Willoughby, Doug Fridsma, Lisa Chatterjee [...]

Therapeutic Innovation & Regulatory Science

Retricted access

Research article

First published 2009-6

Timed Automata Based Model Checking of Timed Security Protocols

Mirosław Kurkowski, Wojciech Penczek

Fundamenta Informaticae

Open access

Research article

First published 2021-12

Modeling and proving dynamic behaviors of a routing protocol: A tutorial

Agnieszka Paszkowska, Konrad Iwanicki

International Journal of Distributed Sensor Networks

Free access

Research article

First published 2007-11

An Integrative Framework to Protocol Analysis and Repair: Bellare–Rogaway Model + Planning + Model Checker

Kim-Kwang Raymond Choo

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2001-4

A protocol for communication in a component-based modelling infrastructure

B J Hicks, S J Culley

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 2006-8

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol

Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski [...]

Fundamenta Informaticae

Search results