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 2017

Program Verification using Constraint Handling Rules and Array Constraint Generalizations *

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2012-10

Improving Reachability Analysis of Infinite State Systems by Specialization

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2002-10

Weight Optimization of Sandwich Panel with Acoustic Constraints,Experimental Verification

Per Wennhage

Journal of Sandwich Structures & Materials

Open access

Editorial

First published 2009-2

Editor’s Introduction to the Special Volume on Application of Constraints to Formal Verification

Miroslav N. Velev

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2013-8

Controlling Polyvariance for Specialization-based Verification

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Open access

Research article

First published 2026-3

Experimental verification of the linear relationship between fatigue crack propagation rate and constraint and a new crack propagation criterion

Tong-Yi Wang, Shi-Fa Gu, Jin-Yong Xiao [...]

Advances in Mechanical Engineering

Free access

Other

First published 2016

Runtime adaptability to domain model changes with efficient constraint checking

Alberto-Manuel Fernández-Alvarez, Daniel Fernández-Lanvin, Manuel Quintela-Pumares

Journal of Ambient Intelligence and Smart Environments

Retricted access

Research article

First published 2003-5

A MULTI-AGENT ARCHITECTURE FOR AUTOMATED PRODUCT TECHNICAL SPECIFICATIONS VERIFICATION IN CAD ENVIRONMENTS

Soumaya Cherkaoui, Alain Desrochers, Dounia Habhouba

Journal of Integrated Design and Process Science

Search results