Frank Weil

According to our database, Frank Weil authored at least 9 papers between 1998 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Automated Code Generation for Industrial-Strength Systems.

Thomas Weigert, Frank Weil, Aswin van den Berg, Paul H. Dietz, Kevin Marth

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Experiences in Deploying Model-Driven Engineering.

Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul H. Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

Automated Semantic Analysis of Design Models.

Frank Weil, Brian E. Mastenbrook, David Nelson, Paul H. Dietz, Aswin van den Berg

Proceedings of the Model Driven Engineering Languages and Systems, 2007

2006

Summary of the 2006 Model Size Metrics Workshop.

Frank Weil, Andrij Neczwid

Proceedings of the Models in Software Engineering, 2006

2005

Model-Driven Engineering in a Large Industrial Context - Motorola Case Study.

Paul Baker, Shiou Loh, Frank Weil

Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004

Guidelines for Using SDL in Product Development.

Frank Weil, Thomas Weigert

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

1998

WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe.

Frank Weil

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Transferring Formal Methods Technology to Industry.

Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications.

Paul H. Dietz, Thomas Weigert, Frank Weil

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998