| 2011 |
|---|
| 16 | Compositional model checking of software product lines using variation point obligations. Jing Liu, Samik Basu, Robyn R. Lutz. Autom. Softw. Eng. (18): 39-76 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 15 | Automata-Based Verification of Security Requirements of Composite Web Services. Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. Lutz. ISSRE 2010, 348-357. Web SearchBibTeXDownload |
| 14 | Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz. WS-FM 2010, 161-175. Web SearchBibTeXDownload |
| 2008 |
|---|
| 13 | MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. International Journal on Artificial Intelligence Tools (17): 109-138 (2008). Web SearchBibTeXDownload |
| 2007 |
|---|
| 12 | State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines. Jing Liu, Josh Dehlinger, Hongyu Sun, Robyn R. Lutz. ECBS 2007, 596-608. Web SearchBibTeXDownload |
| 11 | DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees. Josh Dehlinger, Meredith Humphrey, Lada Suvorov, Prasanna Padmanabhan, Robyn R. Lutz. ICSE Companion 2007, 49-50. Web SearchBibTeXDownload |
| 10 | Safety analysis of software product lines using state-based modeling. Jing Liu, Josh Dehlinger, Robyn R. Lutz. Journal of Systems and Software (80): 1879-1892 (2007). Web SearchBibTeXDownload |
| 2006 |
|---|
| 9 | Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong. DASC 2006, 333-340. Web SearchBibTeXDownload |
| 8 | Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ECOWS 2006, 3-12. Web SearchBibTeXDownload |
| 7 | MoSCoE: A Framework for Modeling Web Service Composition and Execution. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ICDE Workshops 2006, 143. Web SearchBibTeXDownload |
| 6 | Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar. ICTAI 2006, 445-454. Web SearchBibTeXDownload |
| 5 | Towards the automatic generation of mobile agents for distributed intrusion detection system. Yanxin Wang, Smruti Ranjan Behera, Johnny Wong, Guy G. Helmer, Vasant Honavar, Les Miller, Robyn R. Lutz, Mark Slagell. Journal of Systems and Software (79): 1-14 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 4 | Mapping concern space to software architecture: a connector-based approach. Jing Liu, Robyn R. Lutz, Jeffrey M. Thompson. ACM SIGSOFT Software Engineering Notes (30): 1-5 (2005). Cited by 5Web SearchBibTeXDownload |
| 3 | Tool-Supported Verification of Product Line Requirements. Prasanna Padmanabhan, Robyn R. Lutz. Autom. Softw. Eng. (12): 447-465 (2005). Web SearchBibTeXDownload |
| 2 | Safety Analysis of Software Product Lines Using State-Based Modeling. Jing Liu, Josh Dehlinger, Robyn R. Lutz. ISSRE 2005, 21-30. Web SearchBibTeXDownload |
| 2002 |
|---|
| 1 | A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System. Guy G. Helmer, Johnny S. Wong, Mark Slagell, Vasant Honavar, Les Miller, Robyn R. Lutz. Requir. Eng. (7): 207-220 (2002). Web SearchBibTeXDownload |
