| 2006 |
|---|
| 13 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines.
Real-Time Systems 32(1-2): 105-123 (2006) |
| 2004 |
|---|
| 12 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell.
MSV/AMCS 2004: 277-288 |
| 11 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Multimedia synchronization based on aspect oriented programming.
Microprocessors and Microsystems 28(2): 47-56 (2004) |
| 2003 |
|---|
| 10 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Real-Time Systems Development Using Hierarchical State Machines.
JMLC 2003: 110-121 |
| 2002 |
|---|
| 9 | EE | Roberto Beraldi,
Libero Nigro,
Antonino Orlando,
Francesco Pupo:
Temporal Uncertainty Time Warp: An Agent-Based Implementation.
Annual Simulation Symposium 2002: 72-79 |
| 8 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Distributed Simulation of Timed Coloured Petri Nets.
DS-RT 2002: 159-166 |
| 7 | | Luigi Carullo,
Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets.
ESM 2002: 37-41 |
| 6 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Aspect Oriented Programming Using Actors.
ICDCS Workshops 2002: 493-502 |
| 2001 |
|---|
| 5 | EE | Libero Nigro,
Francesco Pupo:
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets.
Concurrent Object-Oriented Programming and Petri Nets 2001: 493-513 |
| 4 | EE | Giancarlo Fortino,
Libero Nigro,
Francesco Pupo:
An MBone-Based On-Demand System for Cooperative Off-line Learning.
EUROMICRO 2001: 336- |
| 3 | EE | Giancarlo Fortino,
Libero Nigro,
Francesco Pupo,
D. Spezzano:
Super Actors for Real Time.
WORDS 2001: 142-152 |
| 1997 |
|---|
| 2 | | Brian Kirk,
Libero Nigro,
Francesco Pupo:
Using Real Time Constraints for Modularisation.
JMLC 1997: 236-251 |
| 1996 |
|---|
| 1 | | Libero Nigro,
Francesco Pupo:
Modeling and Analysing DART Systems Through High-Level Petri Nets.
Application and Theory of Petri Nets 1996: 420-439 |
