Alessandro Coglio

2006
13	EE	Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump: Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236
2005
12	EE	Alessandro Coglio, Cordell Green: A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. VSTTE 2005: 57-63
11	EE	Alessandro Coglio: Checking Access to Protected Members in the Java Virtual Machine. Journal of Object Technology 4(8): 55-76 (2005)
2004
10	EE	Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
9	EE	Alessandro Coglio: Simple verification technique for complex Java bytecode subroutines. Concurrency - Practice and Experience 16(7): 647-670 (2004)
2003
8		Alessandro Coglio: Improving the official specification of Java bytecode verification. Concurrency and Computation: Practice and Experience 15(2): 155-179 (2003)
2001
7		Alessandro Coglio, Allen Goldberg: Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. Concurrency and Computation: Practice and Experience 13(13): 1153-1171 (2001)
6		Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise: The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. 32(4): 305-332 (2001)
2000
5		Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott: Composing and Controlling Search in Reasoning Theories Using Mappings. FroCos 2000: 200-216
4	EE	Zhenyu Qian, Allen Goldberg, Alessandro Coglio: A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
1999
3	EE	Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia: The control component of open mechanized reasoning systems. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
1998
2	EE	Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio: The OMRS project: state of the art. Electr. Notes Theor. Comput. Sci. 15: (1998)
1	EE	Antonio Camurri, Alessandro Coglio: An Architecture for Emotional Agents. IEEE MultiMedia 5(4): 24-33 (1998)

Coauthor Index

1	Jean-Raymond Abrial	[13]
2	Alessandro Armando	[3] [6]
3	Don S. Batory	[13]
4	Piergiorgio Bertoli	[2]
5	Michael J. Butler	[13]
6	Antonio Camurri	[1]
7	Kathi Fisler	[13]
8	Fausto Giunchiglia	[2] [3] [5] [6]
9	Allen Goldberg	[4] [7]
10	Cordell Green	[12]
11	Eric C. R. Hehner	[13]
12	Marieke Huisman	[10]
13	Cliff B. Jones	[13]
14	Simon L. Peyton Jones	[13]
15	Joseph Kiniry (Joseph R. Kiniry)	[10]
16	Gary T. Leavens	[13]
17	José Meseguer	[5]
18	Dale Miller	[13]
19	Peter Müller	[10]
20	Erik Poll	[10]
21	Zhenyu Qian	[4]
22	Silvio Ranise	[6]
23	Murali Sitaraman	[13]
24	Douglas R. Smith	[13]
25	Aaron Stump	[13]
26	Carolyn L. Talcott	[5]

Colors in the list of coauthors