Sciweavers

1550 search results - page 42 / 310
» Benchmarking for Graph Transformation
Sort
View
RTS
2006
176views more  RTS 2006»
15 years 16 days ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
73
Voted
FASE
2010
Springer
15 years 7 months ago
Stochastic Simulation of Graph Transformation Systems
Paolo Torrini, Reiko Heckel, István R&aacut...
117
Voted
AGTIVE
2007
Springer
15 years 6 months ago
Ludo: A Case Study for Graph Transformation Tools
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...
Arend Rensink, Alexander Dotor, Claudia Ermel, Ste...
70
Voted
VSTTE
2005
Springer
15 years 6 months ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...
DIAGRAMS
2004
Springer
15 years 6 months ago
Spatial Transformations in Graph Comprehension
Susan Bell Trickett, J. Gregory Trafton