Francisco Corella

2000
14	EE	Francisco Corella: A Fast Implementation of DES and Triple-DES on PA-RISC 2.0. WIESS 2000: 83-84
1998
13		Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane Aït Mohamed: Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. CAV 1998: 219-231
1997
12		Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou: Verification with Abstract State Machines Using MDGs. Formal Hardware Verification 1997: 79-113
11		Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny: Multiway Decision Graphs for Automated Hardware Verification. Formal Methods in System Design 10(1): 7-46 (1997)
1996
10		K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou: MDG Tools for the Verification of RTL Designs. CAV 1996: 433-436
9		Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin: Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. FMCAD 1996: 233-247
8		Francisco Corella, Michelle Kim: Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems. SEKE 1996: 25-31
1995
7		Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song: State enumeration with abstract descriptions of state machines. CHARME 1995: 146-160
6	EE	Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin: Partitioning transition relations efficiently and automatically. Great Lakes Symposium on VLSI 1995: 106-111
1994
5		Francisco Corella: Automated Verification of Behavioral Equivalence for Microprocessors. IEEE Trans. Computers 43(1): 115-117 (1994)
1993
4		Francisco Corella: Automated High-level Verification Against Clocked Algorithmic Specifications. CHDL 1993: 147-154
3		Francisco Corella: What Holds in a Context? J. Autom. Reasoning 10(1): 79-93 (1993)
1984
2		Francisco Corella: Semantic Retrieval and Levels of Abstraction. Expert Database Workshop 1984: 91-114
1	EE	Francisco Corella, S. Jerrold Kaplan, Gio Wiederhold, Lena Yesil: Cooperative Responses to Boolean Queries. ICDE 1984: 77-85

Coauthor Index

1	K. D. Anon	[10]
2	N. Boulerice	[10]
3	Eduard Cerny	[6] [7] [9] [10] [11] [12] [13]
4	S. Jerrold Kaplan	[1]
5	Michelle Kim	[8]
6	Michel Langevin	[6] [7] [9] [10] [11] [12]
7	Otmane Aït Mohamed	[13]
8	Xiaoyu Song	[6] [7] [9] [10] [11] [12] [13]
9	Sofiène Tahar	[9] [10] [12]
10	Gio Wiederhold	[1]
11	Ying Xu	[10] [13]
12	Lena Yesil	[1]
13	Zijian Zhou	[6] [7] [9] [10] [11] [12]

Colors in the list of coauthors