The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Koushik Sen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Koushik Sen, Grigore Rosu, Gul Agha
    Generating Optimal Linear Temporal Logic Monitors by Coinduction. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:260-275 [Conf]
  2. Koushik Sen, Gul Agha
    CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:419-423 [Conf]
  3. Koushik Sen, Mahesh Viswanathan
    Model Checking Multithreaded Programs with Asynchronous Atomic Methods. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:300-314 [Conf]
  4. Koushik Sen, Mahesh Viswanathan, Gul Agha
    Statistical Model Checking of Black-Box Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:202-215 [Conf]
  5. Koushik Sen, Mahesh Viswanathan, Gul Agha
    On Statistical Model Checking of Stochastic Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:266-280 [Conf]
  6. Koushik Sen, Gul Agha
    Automated Systematic Testing of Open Distributed Programs. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:339-356 [Conf]
  7. Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha
    A Rewriting Based Model for Probabilistic Distributed Object Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:32-46 [Conf]
  8. Koushik Sen, Grigore Rosu, Gul Agha
    Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:211-226 [Conf]
  9. Prasad Naldurg, Koushik Sen, Prasanna Thati
    A Temporal Logic Based Framework for Intrusion Detection. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:359-376 [Conf]
  10. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
    Actively Learning to Verify Safety for FIFO Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:494-505 [Conf]
  11. Koushik Sen, Gul Agha
    A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2006, pp:166-182 [Conf]
  12. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
    Learning to Verify Safety Properties. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:274-289 [Conf]
  13. Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
    Efficient Decentralized Monitoring of Safety in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:418-427 [Conf]
  14. Rupak Majumdar, Koushik Sen
    Hybrid Concolic Testing. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:416-426 [Conf]
  15. Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
    Program Monitoring with LTL in EAGLE. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  16. Grigore Rosu, Koushik Sen
    An Instrumentation Technique for Online Analysis of Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  17. Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
    Decentralized runtime analysis of multithreaded applications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  18. Patrice Godefroid, Nils Klarlund, Koushik Sen
    DART: directed automated random testing. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:213-223 [Conf]
  19. Koushik Sen, Mahesh Viswanathan, Gul Agha
    Learning Continuous Time Markov Chains from Sample Executions. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:146-155 [Conf]
  20. Koushik Sen, Mahesh Viswanathan, Gul A. Agha
    VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:251-252 [Conf]
  21. Koushik Sen, Darko Marinov, Gul Agha
    CUTE: a concolic unit testing engine for C. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:263-272 [Conf]
  22. Koushik Sen, Grigore Rosu, Gul Agha
    Runtime safety analysis of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:337-346 [Conf]
  23. Koushik Sen, Grigore Rosu, Gul Agha
    Online Efficient Predictive Safety Analysis of Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:123-138 [Conf]
  24. Koushik Sen, Mahesh Viswanathan, Gul Agha
    Model-Checking Markov Chains in the Presence of Uncertainties. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:394-410 [Conf]
  25. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
    Using Language Inference to Verify Omega-Regular Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:45-60 [Conf]
  26. Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
    Rule-Based Runtime Verification. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:44-57 [Conf]
  27. Gul A. Agha, José Meseguer, Koushik Sen
    PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:213-239 [Journal]
  28. Koushik Sen, Grigore Rosu
    Generating Optimal Monitors for Extended Regular Expressions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  29. Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
    An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  30. Koushik Sen, Grigore Rosu, Gul Agha
    Online efficient predictive safety analysis of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:248-260 [Journal]
  31. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
    Combining test case generation and runtime verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:209-234 [Journal]
  32. Michael Emmi, Rupak Majumdar, Koushik Sen
    Dynamic test input generation for database applications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:151-162 [Conf]
  33. Pallavi Joshi, Koushik Sen, Mark Shlimovich
    Predictive testing: amplifying the effectiveness of software testing. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:561-564 [Conf]

  34. CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. [Citation Graph (, )][DBLP]


  35. SNIFF: A Search Engine for Java Using Free-Form Queries. [Citation Graph (, )][DBLP]


  36. Model-Checking omega-Regular Properties of Interval Markov Chains. [Citation Graph (, )][DBLP]


  37. WISE: Automated test generation for worst-case complexity. [Citation Graph (, )][DBLP]


  38. Effective static deadlock detection. [Citation Graph (, )][DBLP]


  39. DETERMIN: inferring likely deterministic specifications of multithreaded programs. [Citation Graph (, )][DBLP]


  40. Universal symbolic execution and its application to likely data structure invariant generation. [Citation Graph (, )][DBLP]


  41. Effective random testing of concurrent programs. [Citation Graph (, )][DBLP]


  42. Concolic testing. [Citation Graph (, )][DBLP]


  43. Predictive Typestate Checking of Multithreaded Java Programs. [Citation Graph (, )][DBLP]


  44. Heuristics for Scalable Dynamic Test Generation. [Citation Graph (, )][DBLP]


  45. Looper: Lightweight Detection of Infinite Loops at Runtime. [Citation Graph (, )][DBLP]


  46. Race directed random testing of concurrent programs. [Citation Graph (, )][DBLP]


  47. A randomized dynamic program analysis technique for detecting real deadlocks. [Citation Graph (, )][DBLP]


  48. Protocol Inference Using Static Path Profiles. [Citation Graph (, )][DBLP]


  49. Predictive testing: amplifying the effectiveness of software testing. [Citation Graph (, )][DBLP]


  50. Randomized active atomicity violation detection in concurrent programs. [Citation Graph (, )][DBLP]


  51. Asserting and checking determinism for multithreaded programs. [Citation Graph (, )][DBLP]


  52. A view of the parallel computing landscape. [Citation Graph (, )][DBLP]


  53. Asserting and checking determinism for multithreaded programs. [Citation Graph (, )][DBLP]


  54. An instrumentation technique for online analysis of multithreaded programs. [Citation Graph (, )][DBLP]


Search in 0.068secs, Finished in 0.071secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002