Old Web
English
Sign In
Acemap
>
authorDetail
>
Srivatsan Varadarajan
Srivatsan Varadarajan
Honeywell
Distributed computing
Real-time computing
Computer science
Engineering
Computer network
6
Papers
92
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Language for Unified Verification and Implementation for Distributed Avionics
2018
Journal of Aerospace Information Systems
Benjamin F. Jones
Lee Pike
Srivatsan Varadarajan
Brendan Hall
Show All
Source
Cite
Save
Citations (0)
Maximizing fault tolerance in a low-s WaP data network
2012
DASC | IEEE/AIAA Digital Avionics Systems Conference
Kevin R. Driscoll
Brendan Hall
Srivatsan Varadarajan
Show All
Source
Cite
Save
Citations (2)
META 2f: Probabilistic, Compositional, Multi-dimension Model-Based Verification (PROMISE)
2011
Grit Denker
Linda Briesemeister
Daniel Elenius
Shalini Ghosh
Ian Mason
Ashish Tiwari
Devesh Bhatt
Haftay Hailu
Gabor Madl
Siamak Nikbin
Srivatsan Varadarajan
Guenther Bauer
Wilfried Steiner
Xenofon Koutsoukos
Tihamer Levendovszky
Show All
Source
Cite
Save
Citations (0)
Automatic Learning-based MANET Cross-Layer Parameter Configuration
2006
ICDCSW | International Conference on Distributed Computing Systems Workshops
Karen Zita Haigh
Srivatsan Varadarajan
Choon Yik Tang
Show All
Source
Cite
Save
Citations (9)
1