Search

Your search keyword '"Sen, Koushik"' showing total 90 results
Start Over Author "Sen, Koushik" Publisher springer berlin heidelberg
90 results on '"Sen, Koushik"'

4. SJS: A Type System for JavaScript with Fixed Object Layout

Author

Choi, Wontae, Chandra, Satish, Necula, George, Sen, Koushik, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Blazy, Sandrine, editor, and Jensen, Thomas, editor

Published
2015
Full Text
View/download PDF

5. Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models

Author

Burnim, Jabob, Sen, Koushik, Stergiou, Christos, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Abdulla, Parosh Aziz, editor, and Leino, K. Rustan M., editor

Published
2011
Full Text
View/download PDF

6. CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs

Author

Joshi, Pallavi, Naik, Mayur, Park, Chang-Seo, Sen, Koushik, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bouajjani, Ahmed, editor, and Maler, Oded, editor

Published
2009
Full Text
View/download PDF

7. SNIFF: A Search Engine for Java Using Free-Form Queries

Author

Chatterjee, Shaunak, Juvekar, Sudeep, Sen, Koushik, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Chechik, Marsha, editor, and Wirsing, Martin, editor

Published
2009
Full Text
View/download PDF

8. Protocol Inference Using Static Path Profiles

Author

Ramanathan, Murali Krishna, Sen, Koushik, Grama, Ananth, Jagannathan, Suresh, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Alpuente, María, editor, and Vidal, Germán, editor

Published
2008
Full Text
View/download PDF

9. Model-Checking ω-Regular Properties of Interval Markov Chains

Author

Chatterjee, Krishnendu, Sen, Koushik, Henzinger, Thomas A., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Amadio, Roberto, editor

Published
2008
Full Text
View/download PDF

10. A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs

Author

Sen, Koushik, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bin, Eyal, editor, Ziv, Avi, editor, and Ur, Shmuel, editor

Published
2007
Full Text
View/download PDF

11. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools : (Tool Paper)

Author

Sen, Koushik, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ball, Thomas, editor, and Jones, Robert B., editor

Published
2006
Full Text
View/download PDF

12. Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Author

Sen, Koushik, Viswanathan, Mahesh, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ball, Thomas, editor, and Jones, Robert B., editor

Published
2006
Full Text
View/download PDF

13. Automated Systematic Testing of Open Distributed Programs

Author

Sen, Koushik, Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Baresi, Luciano, editor, and Heckel, Reiko, editor

Published
2006
Full Text
View/download PDF

14. Model-Checking Markov Chains in the Presence of Uncertainties

Author

Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hermanns, Holger, editor, and Palsberg, Jens, editor

Published
2006
Full Text
View/download PDF

15. Using Language Inference to Verify Omega-Regular Properties

Author

Vardhan, Abhay, Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Halbwachs, Nicolas, editor, and Zuck, Lenore D., editor

Published
2005
Full Text
View/download PDF

16. On Statistical Model Checking of Stochastic Systems

Author

Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Etessami, Kousha, editor, and Rajamani, Sriram K., editor

Published
2005
Full Text
View/download PDF

17. Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Author

Sen, Koushik, Roşu, Grigore, Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Steffen, Martin, editor, and Zavattaro, Gianluigi, editor

Published
2005
Full Text
View/download PDF

18. Actively Learning to Verify Safety for FIFO Automata

Author

Vardhan, Abhay, Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lodaya, Kamal, editor, and Mahajan, Meena, editor

Published
2005
Full Text
View/download PDF

19. Learning to Verify Safety Properties

Author

Vardhan, Abhay, Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Davies, Jim, editor, Schulte, Wolfram, editor, and Barnett, Mike, editor

Published
2004
Full Text
View/download PDF

20. A Temporal Logic Based Framework for Intrusion Detection

Author

Naldurg, Prasad, Sen, Koushik, Thati, Prasanna, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, de Frutos-Escrig, David, editor, and Núñez, Manuel, editor

Published
2004
Full Text
View/download PDF

21. Statistical Model Checking of Black-Box Probabilistic Systems

Author

Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Alur, Rajeev, editor, and Peled, Doron A., editor

Published
2004
Full Text
View/download PDF

23. Rule-Based Runtime Verification

Author

Barringer, Howard, Goldberg, Allen, Havelund, Klaus, Sen, Koushik, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Steffen, Bernhard, editor, and Levi, Giorgio, editor

Published
2004
Full Text
View/download PDF

29. Concolic Testing and Constraint Satisfaction

Author

Sen, Koushik, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Sakallah, Karem A., editor, and Simon, Laurent, editor

Published
2011
Full Text
View/download PDF

31. Symbolic Execution

Author

Cadar, Cristian, Sen, Koushik, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Qadeer, Shaz, editor, and Tasiran, Serdar, editor

Published
2013
Full Text
View/download PDF

35. DART: Directed Automated Random Testing

Author

Sen, Koushik, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Namjoshi, Kedar, editor, Zeller, Andreas, editor, and Ziv, Avi, editor

Published
2011
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results