Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

Warda El Kholy, Jamal Bentahar, Mohamed El Menshawy [...]

Fundamenta Informaticae

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

Open access

Research article

First published 2014-6

Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks

Gianpiero Cabodi, Carmelo Loiacono, Marco Palena [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2008-5

VerICS 2007 - a Model Checker for Knowledge and Real-Time

Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1999-4-1

Proving security protocols with model checkers by data independence techniques

A.W. Roscoe, P.J. Broadfoot

Journal of Computer Security

Retricted access

Research article

First published 2021

Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker

Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando

Fundamenta Informaticae

Retricted access

Research article

First published 2009-7

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Fundamenta Informaticae

Retricted access

Research article

First published 2026-4

Formal analysis of protection systems in power distribution networks

Sobia Ashraf, Iram Tariq Bhatti, Osman Hasan

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2017-11

A multi-agent based approach for modelling context-aware systems

Ali Sahnoun, Ahmed Taki Eddine Dib, Ramdane Maamri

Multiagent and Grid Systems

Retricted access

Research article

First published 2006-4

Towards Integrated Verification of Timed Transition Models

Mark Lawford, Vera Pantelic, Hong Zhang

Fundamenta Informaticae

Search results