| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paul F. Syverson, Somesh Jha |
Guest Editorial: Special Issue on Computer and Communications Security.  |
ACM Trans. Inf. Syst. Secur.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha |
Speculative Parallel Pattern Matching. |
IEEE Transactions on Information Forensics and Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Christodorescu, Matthew Fredrikson, Somesh Jha, Jonathon T. Giffin |
End-to-End Software Diversification of Internet Services. |
Moving Target Defense |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Franz, Björn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schröder |
Towards Secure Bioinformatics Services (Short Paper). |
Financial Cryptography |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Fredrikson, Mihai Christodorescu, Somesh Jha |
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney |
Semantic integrity in large-scale online simulations. |
ACM Trans. Internet Techn. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Franz, Björn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schröder |
Secure Computations on Non-Integer Values. |
IACR Cryptology ePrint Archive |
2010 |
DBLP BibTeX RDF |
|
| 1 | Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps |
Analysis Techniques for Information Security |
|
2010 |
DOI RDF |
|
| 1 | Paul Barford, Marc Dacier, Thomas G. Dietterich, Matt Fredrikson, Jonathon T. Giffin, Sushil Jajodia, Somesh Jha, Jason H. Li, Peng Liu, Peng Ning, Xinming Ou, D. Song, Laura Strater, Vipin Swarup, George P. Tadda, C. Wang, John Yen |
Cyber SA: Situational Awareness for Cyber Defense. |
Cyber Situational Awareness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jha |
A Declarative Framework for Intrusion Analysis. |
Cyber Situational Awareness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan |
Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
Probabilistic Optimization, Specification, Malware, Software Security |
| 1 | Amit Kumar, Lorenzo De Carli, Sung Jin Kim, Marc de Kruijf, Karthikeyan Sankaralingam, Cristian Estan, Somesh Jha |
Design and implementation of the PLUG architecture for programmable and efficient network lookups. |
PACT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Anish Mathuria (eds.) |
Information Systems Security - 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings |
ICISS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Paleari, Lorenzo Martignoni, Emanuele Passerini, Drew Davidson, Matt Fredrikson, Jonathon T. Giffin, Somesh Jha |
Automatic Generation of Remediation Procedures for Malware Infections. |
USENIX Security Symposium |
2010 |
DBLP BibTeX RDF |
|
| 1 | Somesh Jha |
Retrofitting Legacy Code for Security. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Robin Sommer, Christian Kreibich (eds.) |
Recent Advances in Intrusion Detection, 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings |
RAID |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave King 0002, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
Automating Security Mediation Placement. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Harris, Somesh Jha, Thomas W. Reps |
DIFC programs by automatic instrumentation. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps |
Verifying Information Flow Control over Unbounded Processes. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha |
Multi-byte Regular Expression Matching with Speculation. |
RAID |
2009 |
DBLP DOI BibTeX RDF |
parallel pattern matching, speculative pattern matching, multi-byte, multi-byte matching, regular expressions, low latency |
| 1 | Engin Kirda, Somesh Jha, Davide Balzarotti (eds.) |
Recent Advances in Intrusion Detection, 12th International Symposium, RAID 2009, Saint-Malo, France, September 23-25, 2009. Proceedings |
RAID |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehab Al-Shaer, Somesh Jha, Angelos D. Keromytis (eds.) |
Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009 |
ACM Conference on Computer and Communications Security |
2009 |
DBLP BibTeX RDF |
|
| 1 | Drew Davidson, Randy Smith, Nic Doyle, Somesh Jha |
Protocol Normalization Using Attribute Grammars. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Brumley, James Newsome, Dawn Song, Hao Wang, Somesh Jha |
Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures. |
IEEE Trans. Dependable Sec. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough |
Towards Formal Verification of Role-Based Access Control Policies. |
IEEE Trans. Dependable Sec. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, Malware detection, trace semantics |
| 1 | Randy Smith, Cristian Estan, Somesh Jha |
XFA: Faster Signature Matching with Extended Automata. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
intrusion detection, regular expressions, finite automata, signature matching |
| 1 | Somesh Jha, Louis Kruger, Vitaly Shmatikov |
Towards Practical Privacy for Genomic Computation. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
Privacy, Edit Distance, Genome, Secure Multi-Party Computation, Smith-Waterman |
| 1 | Mihai Christodorescu, Somesh Jha, Christopher Kruegel |
Mining specifications of malicious behavior. |
ISEC |
2008 |
DBLP DOI BibTeX RDF |
behavior-based detection, malspec, differential analysis |
| 1 | Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha |
The design and implementation of microdrivers. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
reliability, device drivers, program partitioning |
| 1 | Randy Smith, Cristian Estan, Somesh Jha, Ida Siahaan |
Fast Signature Matching Using Extended Finite Automaton (XFA). |
ICISS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Randy Smith, Cristian Estan, Somesh Jha, Shijin Kong |
Deflating the big bang: fast and scalable deep packet inspection with extended finite automata. |
SIGCOMM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell |
A Layered Architecture for Detecting Malicious Behaviors. |
RAID |
2008 |
DBLP DOI BibTeX RDF |
Dynamic, Malware, Behavior, Data-Flow, Semantic Gap |
| 1 | Dave King 0002, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
Effective blame for information-flow violations. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Ning, Paul F. Syverson, Somesh Jha (eds.) |
Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008 |
ACM Conference on Computer and Communications Security |
2008 |
DBLP BibTeX RDF |
|
| 1 | Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney |
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith |
Software transformations to improve malware detection. |
Journal in Computer Virology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang (eds.) |
Malware Detection |
|
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney |
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. |
IEEE Symposium on Security and Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, malware detection, trace semantics |
| 1 | Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha |
OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha |
Microdrivers: A New Architecture for Device Drivers. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song |
Creating Vulnerability Signatures Using Weakest Preconditions. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Ganapathy, Dave King 0002, Trent Jaeger, Somesh Jha |
Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Christodorescu, Somesh Jha, Christopher Kruegel |
Mining specifications of malicious behavior. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
behavior-based detection, malspec, differential analysis |
| 1 | David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha |
Towards Automatic Generation of Vulnerability-Based Signatures. |
IEEE Symposium on Security and Privacy |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Ganapathy, Trent Jaeger, Somesh Jha |
Retrofitting Legacy Code for Authorization Policy Enforcement. |
IEEE Symposium on Security and Privacy |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps |
Weighted Pushdown Systems and Trust-Management Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Randy Smith, Cristian Estan, Somesh Jha |
Backtracking Algorithmic Complexity Attacks against a NIDS. |
ACSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wang, Somesh Jha, Vinod Ganapathy |
NetSpy: Automatic Generation of Spyware Signatures for NIDS. |
ACSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shai Rubin, Somesh Jha, Barton P. Miller |
On the Completeness of Attack Mutation Algorithms. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathon T. Giffin, Somesh Jha, Barton P. Miller |
Automated Discovery of Mimicry Attacks. |
RAID |
2006 |
DBLP DOI BibTeX RDF |
IDS evaluation, model-based anomaly detection, model checking, attacks |
| 1 | Shai Rubin, Somesh Jha, Barton P. Miller |
Protomatching network traffic for high throughputnetwork intrusion detection. |
ACM Conference on Computer and Communications Security |
2006 |
DBLP DOI BibTeX RDF |
intrusion detection, signatures, protocol analysis |
| 1 | Louis Kruger, Somesh Jha, Eu-Jin Goh, Dan Boneh |
Secure function evaluation with ordered binary decision diagrams. |
ACM Conference on Computer and Communications Security |
2006 |
DBLP DOI BibTeX RDF |
binary decision diagrams, secure function evaluation |
| 1 | Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine |
Reducing the Dependence of SPKI/SDSI on PKI. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski |
Weighted pushdown systems and their application to interprocedural dataflow analysis. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith |
An Iterative Framework for Simulation Conformance. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shai Rubin, Somesh Jha, Barton P. Miller |
Language-Based Generation and Evaluation of NIDS Signatures. |
IEEE Symposium on Security and Privacy |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant |
Semantics-Aware Malware Detection. |
IEEE Symposium on Security and Privacy |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Muthian Sivathanu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Somesh Jha |
A Logic of File Systems. |
FAST |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke Lee, Barton P. Miller |
Environment-Sensitive Intrusion Detection. |
RAID |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant |
Automatic discovery of API-level exploits. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
API-level exploit, bounded model checking |
| 1 | Vinod Ganapathy, Trent Jaeger, Somesh Jha |
Automatic placement of authorization hooks in the linux security modules framework. |
ACM Conference on Computer and Communications Security |
2005 |
DBLP DOI BibTeX RDF |
LSM, hook placement, static analysis, SELinux |
| 1 | Somesh Jha, Louis Kruger, Patrick McDaniel |
Privacy Preserving Clustering. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Thomas W. Reps |
Model checking SPKI/SDSI. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith |
Modular Verification of Software Components in C. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller |
Formalizing Sensitivity in Static Analysis for Intrusion Detection. |
IEEE Symposium on Security and Privacy |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wang, Somesh Jha, Miron Livny, Patrick Drew McDaniel |
Security Policy Reconciliation in Distributed Computing Environments. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Christodorescu, Somesh Jha |
Testing malware detectors. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
malware, obfuscation, adaptive testing, anti-virus |
| 1 | Shai Rubin, Somesh Jha, Barton P. Miller |
Automatic Generation and Analysis of NIDS Attacks. |
ACSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Yegneswaran, Paul Barford, Somesh Jha |
Global Intrusion Detection in the DOMINO Overlay System. |
NDSS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jonathon T. Giffin, Somesh Jha, Barton P. Miller |
Efficient Context-Sensitive Intrusion Detection. |
NDSS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith |
Counterexample-guided abstraction refinement for symbolic model checking. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
temporal logic, Abstraction, symbolic model checking, hardware verification |
| 1 | Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
Efficient verification of security protocols using partial-order reductions. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Model checking, Security protocols, Partial-order reduction |
| 1 | Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine |
On Generalized Authorization Problems. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith |
Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thomas W. Reps, Stefan Schwoon, Somesh Jha |
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith |
Modular Verification of Software Components in C. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek |
Buffer overrun detection using linear programming and static analysis. |
ACM Conference on Computer and Communications Security |
2003 |
DBLP DOI BibTeX RDF |
static analysis, linear programming, buffer overruns |
| 1 | Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing |
Automated Generation and Analysis of Attack Graphs. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2002 |
DBLP DOI BibTeX RDF |
model checking, intrusion detection, attack graph |
| 1 | Somesh Jha, Oleg Sheyner, Jeannette M. Wing |
Two Formal Analys s of Attack Graphs. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Thomas W. Reps |
Analysis of SPKI/SDSI Certificates Using Model Checking. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
certificate-chain discovery, certificate-set analysis, model checking, authorization, naming, pushdown system, SPKI/SDSI |
| 1 | Jonathon T. Giffin, Somesh Jha, Barton P. Miller |
Detecting Manipulated Remote Call Streams. |
USENIX Security Symposium |
2002 |
DBLP BibTeX RDF |
|
| 1 | Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith |
Tree-Like Counterexamples in Model Checking. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Jens Palsberg, Tian Zhao |
Efficient Type Matching. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith |
Progress on the State Explosion Problem in Model Checking. |
Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang |
Using Combinatorial Optimization Methods for Quantification Scheduling. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Kymie M. C. Tan, Roy A. Maxion |
Markov Chains, Classifiers, and Intrusion Detection. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Jeannette M. Wing |
Survivability Analysis of Network Systems. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith |
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang |
Non-linear Quantification Scheduling in Image Computation. |
ICCAD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
Verifying security protocols with Brutus. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
authentication and secure payment protocols, model-checking, formal methods |
| 1 | Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
Partial Order Reductions for Security Protocol Verification. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
partial order reductions and security, Model checking |
| 1 | Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero |
Model checking algorithms for the µ-calculus. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith |
Counterexample-Guided Abstraction Refinement. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Prasad Chalasani, Somesh Jha, Isaac Saias |
Approximate Option Pricing. |
Algorithmica |
1999 |
DBLP DOI BibTeX RDF |
Binomial model, Path-dependent options, Asian options, Computational complexity, Random walks, Option pricing |
| 1 | Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang |
Abstract BDDs: A Technque for Using Abstraction in Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
Abstract BDDs, Model checking and abstraction |
| 1 | Somesh Jha, Doron Peled |
Generalized Stuttering Equivalence. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dingel, David Garlan, Somesh Jha, David Notkin |
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Rely/guarantee, Assumption/commitment, Implicit invocation |
| 1 | Daniel Jackson, Somesh Jha, Craig Damon |
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
model finding, relational specifications, model checking, formal specification, symmetry, object models, pruning, relational calculus |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")