492 search results - page 26 / 99 » Hybrid Sequence Charts |
215
click to vote
NFM
2011
15 years 1 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
148
click to vote
TACAS
2007
Springer
16 years 5 days ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
146
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
141
click to vote
FORTE
2007
15 years 7 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
146
click to vote
CN
2002
15 years 5 months ago
2002
Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator....