Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-8

Local Verification Using a Distributed State Space

Chiheb Ameur Abid, Belhassen Zouari

Fundamenta Informaticae

Retricted access

Research article

First published 2009-8

Avoiding Irreducible CSC Conflicts by Internal Communication

Dominic Wist, Ralf Wollowski, Mark Schaefer [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016-7

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems

Rosa Yousefian, Shahryar Aboutorabi, Vahid Rafe

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2024-9

State-Space Modeling Approach to Exploring the Index of Production in Construction for Türkiye

Özlem Yiğit

Journal of Official Statistics

Retricted access

Research article

First published 2012-5

A time stamp reduction method for state space exploration using colored Petri nets

Mercedes E. Narciso, Miquel A. Piera, Antoni Guasch

SIMULATION

Retricted access

Research article

First published 2022-12

Shrinking Civil Space? Exploring State and Civil Society Perspectives on the Contemporary Situation of Human Rights Defenders in South Asia

Paul Chaney

Journal of South Asian Development

Open access

Research article

First published 2019-2

On state-space compression and state reachability retrieval of Petri nets

Huorong Ren, Jin Xu, Ye Liang [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2008-11

Hazard Checking of Timed Asynchronous Circuits Revisited

Frédéric Béal, Tomohiro Yoneda, Chris J. Myers

Fundamenta Informaticae

Retricted access

Research article

First published 2008-10

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

Pierre Ganty, Jean-François Raskin, Laurent Van Begin

Fundamenta Informaticae

Retricted access

Research article

First published 2020-02-06

An efficient approach to state space management in model checking of complex software systems using machine learning techniques

Mohammad Yasrebi, Vahid Rafe, Hamid parvin [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Search results