An Approximate L 1 -Difference Algorithm for Massive Data Streams
Joan Feigenbaum;Sampath Kannan;Martin J. Strauss;Mahesh Viswanathan.
SIAM Journal on Computing (2003)
Statistical model checking of black-box probabilistic systems
Koushik Sen;Mahesh Viswanathan;Gul Agha.
Lecture Notes in Computer Science (2004)
Java-MaC: A Run-Time Assurance Approach for Java Programs
Moonzoo Kim;Mahesh Viswanathan;Sampath Kannan;Insup Lee.
formal methods (2004)
On statistical model checking of stochastic systems
Koushik Sen;Mahesh Viswanathan;Gul Agha.
computer aided verification (2005)
An approximate L/sup 1/-difference algorithm for massive data streams
J. Feigenbaum;S. Kannan;M. Strauss;M. Viswanathan.
foundations of computer science (1999)
Java-MaC: A Run-time Assurance Tool for Java Programs
Moonjoo Kim;Sampath Kannan;Insup Lee;Oleg Sokolsky.
runtime verification (2001)
Runtime Assurance Based On Formal Specifications
Insup Lee;Sampath Kannan;Moonjoo Kim;Oleg Sokolsky.
parallel and distributed processing techniques and applications (1999)
The relationship between public key encryption and oblivious transfer
Y. Gertner;S. Kannan;T. Malkin;O. Reingold.
foundations of computer science (2000)
VESTA: A statistical model-checker and analyzer for probabilistic systems
K. Sen;M. Viswanathan;G. Agha.
quantitative evaluation of systems (2005)
Formally specified monitoring of temporal properties
Moonjoo Kim;M. Viswanathan;H. Ben-Abdallah;S. Kannan.
euromicro conference on real time systems (1999)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of Pennsylvania
University of Illinois at Urbana-Champaign
University of Pennsylvania
University of Illinois at Urbana-Champaign
University of Illinois at Urbana-Champaign
University of California, Berkeley
University of Pennsylvania
University of Illinois at Urbana-Champaign
Yale University
University of Illinois at Urbana-Champaign
University of California, Santa Barbara
North China Electric Power University
Cornell University
University of Connecticut
University of Freiburg
North Carolina State University
MIT
Charité - University Medicine Berlin
Ritsumeikan University
King's College London
Grenoble Alpes University
University of Edinburgh
University of Bern
The University of Texas MD Anderson Cancer Center
Wageningen University & Research
Flinders University