Fernando Luís Dotti

Learn More
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules including some basic rules, common to all programs and providing the operational semantics of Java (data and control) operators, and the program specific rules, namely one rule for(More)
Graph grammars may be used as specification technique for different kinds of systems, specially in situations in which states are complex structures that can be adequately modeled as graphs (possibly with an attribute data part) and in which the behavior involves a large amount of parallelism and can be described as reactions to stimuli that can be observed(More)
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are needed. In this context, the contribution of this paper is twofold: at the one side we investigate the effect of forwarding in wireless ad hoc networks, drawing the throughput(More)
Mobility, in its various forms, is one of the sources of several technical challenges being addressed in the last years to achieve a more flexible computing and communication infrastructure. In this context, the study and characterization of node mobility in wireless networks is extremely important to foresee the node distribution in the network, thus(More)
The study and characterization of node mobility in wireless networks is extremely important to foresee the node distribution in the network, enabling the creation of suitable models, and thus a more accurate prediction of performance and dependability levels. In this paper we adopt a structured Markovian formalism, namely SAN (Stochastic Automata Networks),(More)