Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009

Model Checking for Graded CTL

Alessandro Ferrante, Margherita Napoli,, Mimmo Parente

Fundamenta Informaticae

Retricted access

Research article

First published 2022-01

Symbolic and Structural Model-Checking

Yann Thierry-Mieg

Fundamenta Informaticae

Retricted access

Other

First published 2004

Model checking for the concurrent constraint paradigm

Alicia Villanueva

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2004

ACTLS properties and Bounded Model Checking

Bożena Woźna

Fundamenta Informaticae

Retricted access

Research article

First published 2009-6

A New Approach to Model Checking of UML State Machines

Artur Niewiadomski, Wojciech Penczek, Maciej Szreter

Fundamenta Informaticae

Retricted access

Other

First published 2011

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2010

Model Checking Optimisation Based Congestion Control Algorithms

Alessio Lomuscio, Ben Strulo, Nigel G. Walker [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011

Model-checking trace-based information flow properties *

Deepak D'Souza, Raveendra Holla, K.R. Raghavendra [...]

Journal of Computer Security

Open access

Research article

First published 2017-10

Contrafreeloading in Rats Is Adaptive and Flexible: Support for an Animal Model of Compulsive Checking

Michael J. Frederick, Sarah E. Cocuzzo

Evolutionary Psychology

Retricted access

Research article

First published 2002

Bounded Model Checking for the Universal Fragment of CTL

Wojciech Penczek, Bożena Woźna, Andrzej Zbrzezny

Fundamenta Informaticae

Search results