5525 search results - page 194 / 1105 » Verification of Model Transformations |
132
Voted
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
105
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
117
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
128
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
113
Voted
ENTCS
2002
15 years 3 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...