Robyn R. Lutz & Vasant Honavar & Jyotishman Pathak of Iowa State University

Robyn R. Lutz

  http://www.cs.iastate.edu/~rlutz/

Email: rlutz at cs.iastate.edu
Voice: 515-294-3654
Fax: 515-294-0258

Professor
Department of Computer Science
226 Atanasoff Hall
Iowa State University

Ames, IA 50011-1041

发表论文：

  

Representative Publications

• J. Liu, S. Basu, and R. Lutz, "Generating Variation-point Obligations for Compositional Model Checking of Software Product Lines", submitted.
• J. Dehlinger and R. Lutz, "Gaia-PL: A Product-Line Engineering Approach for Efficiently Developing Multi-Agent Systems", submitted.
• J. Pathak, S. Basu, R. Lutz, V. Honavar, "MoSCoE: An Approach for Composing Web Services Through Iterative Reformulation of Functional Specifications", International Journal on Artificial Intelligence Tools , Vol. 17(1), pp. 109-138, 2008 pdf .
• R. Lutz and A. Patterson-Hine, "Using Fault Modeling in Safety Cases", ISSRE 2008 , 271-276, pdf .
• J. Dehlinger and R. Lutz, "Supporting requirements reuse in multi-agent system product line design and evolution", ICSM 2008 , 207-216, pdf .
• R. Lutz, "Enabling Verifiable Conformance for Product Lines", SPLC 2008, 35-44, pdf .