dblp.uni-trier.dewww.uni-trier.de

Alessandro Coglio

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
13EEGary 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
12EEAlessandro Coglio, Cordell Green: A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. VSTTE 2005: 57-63
11EEAlessandro Coglio: Checking Access to Protected Members in the Java Virtual Machine. Journal of Object Technology 4(8): 55-76 (2005)
2004
10EEAlessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
9EEAlessandro 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
4EEZhenyu Qian, Allen Goldberg, Alessandro Coglio: A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
1999
3EEAlessandro Armando, Alessandro Coglio, Fausto Giunchiglia: The control component of open mechanized reasoning systems. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
1998
2EEFausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio: The OMRS project: state of the art. Electr. Notes Theor. Comput. Sci. 15: (1998)
1EEAntonio Camurri, Alessandro Coglio: An Architecture for Emotional Agents. IEEE MultiMedia 5(4): 24-33 (1998)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)