Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-08

Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

Jinjun Chen, Yun Yang

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2010-6

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

Michał Knapik, Wojciech Penczek, Maciej Szreter [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2004-12

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani, Ali Movaghar, Amin Shali [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

Coping With Strong Fairness

Timo Latvala, Keijo Heljanko

Fundamenta Informaticae

Retricted access

Research article

First published 2022-9-20

Dependable learning-enabled multiagent systems

Xiaowei Huang, Bei Peng, Xingyu Zhao

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2014-7

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

The International Journal of Robotics Research

Retricted access

Research article

First published 2002-6

Bounded Model Checking for the Universal Fragment of CTL

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

Fundamenta Informaticae

Retricted access

Research article

First published 2025

Rolling bearing performance degradation trend prediction based on RCMFDE and STAGCN

Yaping Wang, Shengbiao Li, Fen Wei [...]

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2007-4

Model Checking Abstract State Machines with Answer Set Programming

Calvin Kai Fan Tang, Eugenia Ternovska

Fundamenta Informaticae

Retricted access

Research article

First published 2009-07

European Carbon Prices and Banking Restrictions: Evidence from Phase I (2005-2007)

Emilie Alberola, Julien Chevallier

The Energy Journal

Search results