Frank Weil

Publication Activity (10 Years)

Years Active: 1998-2008
Publications (10 Years): 0

Publications

Thomas Weigert, Frank Weil, Aswin van den Berg, Paul Dietz, Kevin Marth
Automated Code Generation for Industrial-Strength Systems. COMPSAC (2008)
Frank Weil, Brian E. Mastenbrook, David Nelson, Paul Dietz, Aswin van den Berg
Automated Semantic Analysis of Design Models. MoDELS (2007)
Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook
Experiences in Deploying Model-Driven Engineering. SDL Forum (2007)
Frank Weil, Andrij Neczwid
Summary of the 2006 Model Size Metrics Workshop. MoDELS (Workshops) (2006)
Paul Baker, Shiou Loh, Frank Weil
Model-Driven Engineering in a Large Industrial Context - Motorola Case Study. MoDELS (2005)
Frank Weil, Thomas Weigert
Guidelines for Using SDL in Product Development. SAM (2004)
Paul Dietz, Thomas Weigert, Frank Weil
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. WIFT (1998)
Frank Weil
WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe. WIFT (1998)
Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil
Transferring Formal Methods Technology to Industry. WIFT (1998)