| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Samik Basu, Tevfik Bultan, Meriem Ouederni |
Deciding choreography realizability.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roopak Sinha, Partha S. Roop, Zoran Salcic, Samik Basu |
Correct-by-construction multi-component SoC design. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Samik Basu, Tevfik Bultan, Meriem Ouederni |
Synchronizability for Verification of Asynchronously Communicating Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Samik Basu, Robyn R. Lutz |
Compositional model checking of software product lines using variation point obligations. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Basu, Samik Basu, Mahan Mj |
Nash Equilibria via Duality and Homological Selection |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
Representing and Reasoning with Qualitative Preferences for Compositional Systems. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu |
Automating analysis of qualitative preferences in goal-oriented requirements engineering. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Tevfik Bultan |
Choreography conformance via synchronizability. |
WWW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
Identifying Sustainable Designs Using Preferences over Sustainability Attributes. |
AAAI Spring Symposium: Artificial Intelligence and Sustainable Design |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu |
Identifying Optimal Composite Services by Decomposing the Service Composition Problem. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
requirements decomposition, local selection, service composition, non-functional requirements |
| 1 | Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar |
Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Natalia Stakhanova, Samik Basu, Johnny Wong |
On the symbiosis of specification-based and anomaly-based detection. |
Computers & Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan |
Automating Cut-off for Multi-parameterized Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu |
Decomposing the Service Composition Problem. |
ECOWS |
2010 |
DBLP DOI BibTeX RDF |
requirement decomposition, formal methods, service composition |
| 1 | Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, Huaiqing Wu |
A bounded statistical approach for model checking of unbounded until properties. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz |
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Igors Svecs, Tanmoy Sarkar, Samik Basu, Johnny S. Wong |
XIDR: A Dynamic Framework Utilizing Cross-Layer Intrusion Detection for Effective Response Deployment. |
COMPSAC Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
Efficient Dominance Testing for Unconditional Preferences. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michelle Ruse, Tanmoy Sarkar, Samik Basu |
Analysis & Detection of SQL Injection Vulnerabilities via Automatic Test Case Generation of Programs. |
SAINT |
2010 |
DBLP DOI BibTeX RDF |
Program Verification, Assertion, Decision Diagrams, Test cases, SQL injection |
| 1 | Chris Strasburg, Sandeep Krishnan, Karin S. Dorman, Samik Basu, Johnny S. Wong |
Masquerade Detection in Network Environments. |
SAINT |
2010 |
DBLP DOI BibTeX RDF |
D.4.6. Security and Privacy Protection, H.1.2. User/Machine Systems, K.6.5. Security and Protection |
| 1 | Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. Lutz |
Automata-Based Verification of Security Requirements of Composite Web Services. |
ISSRE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
Dominance Testing via Model Checking. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Samik Basu, Arka P. Ghosh, Ru He |
Approximate Model Checking of PCTL Involving Unbounded Path Properties. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongyu Sun, Robyn R. Lutz, Samik Basu |
Product-line-based requirements customization for web service compositions. |
SPLC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong |
A Framework for Cost Sensitive Assessment of Intrusion Response Selection. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
Web Service Substitution Based on Preferences Over Non-functional Attributes. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic |
Multi-clock Soc design using protocol conversion. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Zachary J. Oster, Samik Basu |
Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xia Wang, Johnny S. Wong, Fred Stanley, Samik Basu |
Cross-Layer Based Anomaly Detection in Wireless Mesh Networks. |
SAINT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hanna, Samik Basu, Hridesh Rajan |
Behavioral automata composition for automatic topology independent verification of parameterized systems. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
parameterized model checking |
| 1 | Saayan Mitra, Ratnesh Kumar, Samik Basu |
A Framework for Optimal Decentralized Service-Choreography. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong |
Intrusion response cost assessment methodology. |
ASIACCS |
2009 |
DBLP DOI BibTeX RDF |
cost-sensitive intrusion response, intrusion response assessment |
| 1 | Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar |
MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. |
International Journal on Artificial Intelligence Tools |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roopak Sinha, Partha S. Roop, Samik Basu |
SoC Design Approach Using Convertibility Verification. |
EURASIP J. Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roopak Sinha, Partha S. Roop, Samik Basu |
A Model Checking Approach to Protocol Conversion. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. |
SERVICES I |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Saayan Mitra, Ratnesh Kumar, Samik Basu |
Optimum Decentralized Choreography for Web Services Composition. |
IEEE SCC |
2008 |
DBLP DOI BibTeX RDF |
web services, choreography, decentralization, i/o automata |
| 1 | Jyotishman Pathak, Samik Basu, Vasant Honavar |
Composing Web Services through Automatic Reformulation of Service Specifications. |
IEEE SCC |
2008 |
DBLP DOI BibTeX RDF |
Web Services, Composition, Labeled Transition Systems, Reformulation |
| 1 | Roopak Sinha, Partha S. Roop, Samik Basu |
A Module Checking Based Converter Synthesis Approach for SoCs. |
VLSI Design |
2008 |
DBLP DOI BibTeX RDF |
protocol mismatches, mod- ule checking, protocol conversion |
| 1 | Natalia Stakhanova, Chris Strasburg, Samik Basu, Johnny S. Wong |
On Evaluation of Response Cost for Intrusion Response Systems. |
RAID |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Partha S. Roop, Roopak Sinha |
Local Module Checking for CTL Specifications. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Scott A. Smolka |
Model checking the Java metalocking algorithm. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
XMC, metalocking, monitor queues, Java, mutual exclusion, synchronized methods |
| 1 | Jyotishman Pathak, Samik Basu, Vasant Honavar |
Assembling Composite Web Services from Autonomous Components. |
Emerging Artificial Intelligence Applications in Computer Engineering |
2007 |
DBLP BibTeX RDF |
|
| 1 | Saayan Mitra, Samik Basu, Ratnesh Kumar |
Local and On-the-fly Choreography-based Web Service Composition. |
Web Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Stakhanova, Samik Basu, Johnny Wong |
A Cost-Sensitive Model for Preemptive Intrusion Response Systems. |
AINA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Stakhanova, Samik Basu, Wensheng Zhang 0001, Xia Wang, Johnny Wong |
Specification Synthesis for Monitoring and Analysis of MANET Protocols. |
AINA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavian Vasile, Samik Basu |
Cost-based Analysis of Multiple Counter-Examples. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jyotishman Pathak, Samik Basu, Vasant Honavar |
On Context-Specific Substitutability of Web Services. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Saayan Mitra, Ratnesh Kumar, Samik Basu |
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, C. R. Ramakrishnan |
Compositional analysis for verification of parameterized systems. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong |
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. |
DASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar |
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping Yang, Samik Basu, C. R. Ramakrishnan |
Parameterized Verification of pi-Calculus Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew S. Miner, Samik Basu |
Verification of software via integration of design and implementation. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar |
MoSCoE: A Framework for Modeling Web Service Composition and Execution. |
ICDE Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotishman Pathak, Samik Basu, Vasant Honavar |
Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. |
ICSOC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar |
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Stakhanova, Samik Basu, Johnny Wong, Oleg Stakhanov |
Trust Framework for P2P Networks Using Peer-Profile Based Anomaly Technique. |
ICDCS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka |
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Diptikalyan Saha, Scott A. Smolka |
Localizing Program Errors for Cimple Debugging. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Prem Uppuluri |
Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Prem Uppuluri, Samik Basu |
LASE: Layered Approach for Sensor Security and Efficiency. |
ICPP Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka |
Generation of All Counter-Examples for Push-Down Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, C. R. Ramakrishnan |
Compositional Analysis for Verification of Parameterized Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney |
Model-carrying code: a practical approach for safe execution of untrusted applications. |
SOSP |
2003 |
DBLP DOI BibTeX RDF |
sand-boxing, security policies, policy enforcement, mobile code security |
| 1 | Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan |
Resource-Constrained Model Checking of Recursive Programs. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma |
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Scott A. Smolka, Orson R. Ward |
Model Checking the Java Meta-Locking Algorithm. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
Java, model checking, synchronization, objects, mutual exclusion, threads, specification and verification |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")