Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Bhupendra Singh
Marco Vannucci
Silvia Scirpoli
M. H. O. Kloppers
Silvia Bonacina
Songhua Li
Sebastian Magda
David MacDonald
Meng Jiang
Vicente Ferreira Lucena, Jr.
Home
/
Author
/
GUILLERMO RODRIGUEZ-NAVAS
Author Info
Open Visualization
Name
Papers
Collaborators
GUILLERMO RODRIGUEZ-NAVAS
6
12
Citations
PageRank
Referers
23
3.47
72
Referees
References
93
39
Publications (6 rows)
Collaborators (12 rows)
Referers (72 rows)
Referees (93 rows)
Title
Citations
PageRank
Year
Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions
6
0.52
2013
Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN
0
0.34
2012
From fault injection to mutant injection: the next step for safety analysis?
0
0.34
2012
Injection of aggregated error flags as a means to guarantee consistent error detection in CAN
3
0.52
2011
Modeling and verification of master/slave clock synchronization using hybrid automata and model-checking
0
0.34
2007
Comparing Real-Time Communication Under Electromagnetic Interference
14
1.41
2004
1