Formal Techniques for Java-like Programs (FTfJP) (2008)
Ro Coglio, Marieke Huisman, Joseph R. Kiniry, Peter Müller, Erik Poll
Abstract. This report gives an overview of the sixth Workshop on Formal
A Formal Specication of Java TM Class Loading (2007)
Zhenyu Qian, Allen Goldberg, Ro Coglio
Abstract. The Java Virtual Machine (JVM) has a novel and powerful mechanism to support lazy, dynamic class loading according to user-denable policies. Class loading directly impacts type safety, on...
A Formalism for the Synthesis of Efficient Controllers for Discrete Event Systems (2007)
Abstract-- We propose a formalism for the synthesis of "functions", called computation boxes (C-boxes), which possess memory: arguments are put into them and results are gotten from...
$Q#$UFKLWHFWXUH#IRU#0XOWLPRGDO#(QYLURQPHQW#$JHQWV (2007)
Antonio Camurri, Ro Coglio, Paolo Coletta, Claudio Massucco
Abstract. An architecture to build software agents for interactive, real-time Multimodal Environments (MEs) is presented. Typical applications include virtual musical instruments, theatrical...
Roadmap for Enhanced Languages and Methods to Aid Verification (2006)
Gary T. Leavens, Jean-raymond Abrial, Don Batory, Michael Butler, Ro Coglio, Kathi Fisler, ...
2006 CR Categories: D.2.1 [Software Engineering] Requirements/Specifications — languages, methodologies;
Type safety in the JVM: some problems in Java 2 - SDK 1.2 and proposed solutions (2001)
Alessandro Coglio, Ro Coglio, Allen Goldberg
This paper shows that formal studies can help find and fix bugs in real-world, existing systems. Our experience, in this and other projects, is that flaws, inadequacies, etc. are often uncovered...
Type safety in the JVM: Some problems in JDK 1.2.2 and proposed solutions (2000)
We are currently developing mathematical specications for various components of the JVM, including the bytecode verier [2, 4, 7], the class loading mechanism [8], and the Java 2 security mechanisms....
Extended Simple Colored Petri Nets: A Tool for Plant Simulation (1997)
Extended Simple Colored Petri Nets (ESCP-nets) are a new class of High-level Petri Nets conceived as a good trade-off between Petri Nets (P-nets) and Colored Petri Nets (CP-nets), to be used in plant...
A Petri Net-based Architecture for Plant Simulation (1997)
Abstract-- We propose a hybrid architecture for the simulation of plants. Its core is a Petri Net executor based on a new class of Petri Nets called Extended Simple Colored Petri Nets. The executor...
Specification of an Executor of Extended Simple Colored Petri Nets (1997)
Antonio Camurri, Antonio Camurri, Ro Coglio, Ro Coglio
We present a formal specification of an executor of Extended Simple Colored Petri Nets (ESCP-nets), meant to be externally supervised. The execution of an ESCP-net proceeds through discrete steps,...
Extended Simple Colored Petri Nets (1997)
Antonio Camurri, Antonio Camurri, Ro Coglio, Ro Coglio
We present a new class of Petri Nets, called Extended Simple Colored Petri Nets (ESCP-nets), which are essentially Simple Colored Petri Nets (SCP-nets) with three added features: first, there is a...
Extended Simple Colored Petri Nets (1997)
Antonio Camurri, Antonio Camurri, Ro Coglio, Ro Coglio
Petri Nets (P-nets) are widely used in many fields. Because of their simple working, many formal analysis and synthesis methods are applicable to them, and furthermore P-net-based software tools can...
Toward Kansei Information Processing in music/dance interactive multimodal environments (1997)
Antonio Camurri, Roberto Chiarvetto, Ro Coglio, Massimiliano Di Stefano, Claudia Liconte, Claudio Massucco, ...
Abstract. This paper gives an overview of research projects and of recently developed systems at our Lab on interactive multimodal environments. In particular, we focus on (i) movement and gesture...