Sciweavers

449 search results - page 4 / 90
» Formal Modeling of Communication Protocols by Graph Transfor...
Sort
View
AGTIVE
2003
Springer
16 years 20 days ago
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
Juan de Lara, Esther Guerra, Hans Vangheluwe
166
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
16 years 19 days ago
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
Alessandro Armando, Luca Compagna, Pierre Ganty
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
16 years 1 months ago
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
Juan de Lara, Gabriele Taentzer
156
Voted
SE
2010
15 years 8 months ago
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations
Stefan Henkler, Martin Hirsch, Claudia Priesterjah...