Sciweavers

449 search results - page 4 / 90
» Formal Modeling of Communication Protocols by Graph Transfor...
Sort
View
200
Voted
AGTIVE
2003
Springer
15 years 11 months 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
134
Voted
IFIP
2007
Springer
16 years 15 days ago
Formal Modeling and Analysis of the Modbus Protocol
Bruno Dutertre
146
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 11 months ago
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
Alessandro Armando, Luca Compagna, Pierre Ganty
146
Voted
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
16 years 6 hour 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
137
Voted
SE
2010
15 years 7 months ago
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations
Stefan Henkler, Martin Hirsch, Claudia Priesterjah...