Automated Prototyping of User Interfaces Based on UML Scenarios*
Integrating COTS Software into Systems through Instrumentation and Reasoning
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
On the Systematic Analysis of Natural Language Requirements with CIRCE
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool*