Search CORE

29 research outputs found

Extended simple colored Petri nets: a tool for plant simulation

Author: A. Camurri
A. Coglio
Publication venue: Institute of Electrical and Electronics Engineers (IEEE)
Publication date
Field of study

A formalism for the synthesis of efficient controllers for discrete event systems

Author: A. Camurri
A. Coglio
Publication venue: Institute of Electrical and Electronics Engineers (IEEE)
Publication date
Field of study

A formal specification of Java class loading

Author: Alessandro Coglio
Allen Goldberg
Coglio A.
Coglio A.
Gong L.
Gosling J.
Lindholm T.
Qian Z.
Tozawa A.
Zhenyu Qian
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

An Architecture for Emotional Agents

Author: CAMURRI ANTONIO
COGLIO A.
Publication venue: IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: [email protected], INTERNET: http://www.ieee.org, Fax: (732)981-9667
Publication date: 01/01/1998
Field of study

Archivio istituzionale della ricerca - Università di Genova

A Petri net-based architecture for plant simulation

Author: A. Camurri
A. Coglio
Publication venue: Institute of Electrical and Electronics Engineers (IEEE)
Publication date
Field of study

Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods

Author: A. Coglio
Z. Qian
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Toward a provably-correct implementation of the JVM bytecode verifier

Author: A. Coglio
A. Goldberg
Zhenyu Qian
Publication venue: Institute of Electrical and Electronics Engineers (IEEE)
Publication date
Field of study

Specification and integration of theorem provers and computer algebra systems

Author: A. Coglio
F. Giunchiglia
P. Bertoli
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core