HTTP/1.1 200 OK Connection: close Date: Mon, 20 Oct 2003 15:30:10 GMT Accept-Ranges: bytes Server: Netscape-Enterprise/3.6 Content-Length: 4554 Content-Type: text/html Last-Modified: Thu, 09 Oct 2003 08:04:36 GMT Client-Date: Mon, 20 Oct 2003 15:30:08 GMT Client-Response-Num: 1 Title: DBLP: Bing Yu DBLP: Bing Yu dblp.uni-trier.de

Bing Yu

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM - CiteSeer - CSB - Google - HomePageSearch
2002
6EEBing Yu, Dolf H. C. Van Paassen, Siamak Riahy: General modeling for model-based FDD on building HVAC system. Simulation Practice and Theory 9(6-8): 387-397 (2002)
1997
5 Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV 1997: 202-213
1996
4 Joseph A. Profeta III, Nikos P. Andrianos, Bing Yu, Barry W. Johnson, Todd A. DeLong, David Guaspari, Damir Jamsek: Safety-Critical Systems Built with COTS. IEEE Computer 29(11): 54-60 (1996)
1995
3EEShi-Kuo Chang, Gennaro Costagliola, Giuliano Pacini, Maurizio Tucci, Genoveffa Tortora, Bing Yu, Jing-Sheng Yu: Visual-Language System for User Interfaces. IEEE Software 12(2): 33-44 (1995)
1990
2 Bing Yu, Shi-Kuo Chang: A Fuzzy Visual Language Compiler. VL 1990: 162-167
1989
1EEShi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu: A Visual Language Compiler. TSE 15(5): 506-525 (1989)

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Thu Oct 9 03:19:44 2003