Frank P. Coyle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1993–2007
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FDL | Automatic High Level Assertion Generation and Synthesis for Embedded System Design. | Lun Li, Frank P. Coyle, Mitchell A. Thornton |
| 1997 | ICSE | Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization. | Robert S. Oshana, Frank P. Coyle |
| 1994 | ECAI | Rule Compilation and Optimization For Embedded Systems with Periodic Sensor Data. | Frank P. Coyle, Murat M. Tanik |
| 1993 | SEKE | Rule-Based Programming for Real-Time Knowledge-Based Systems Development. | Frank P. Coyle, Murat M. Tanik, Dennis J. Frailey |