| 2008 |
|---|
| 18 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Actor-Based Simulation of PDEVS systems over HLA.
Annual Simulation Symposium 2008: 229-236 |
| 2007 |
|---|
| 17 | EE | Franco Cicirelli,
Angelo Furfaro,
A. Giordano,
Libero Nigro:
An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles.
Annual Simulation Symposium 2007: 231-238 |
| 16 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Integration and Interoperability between Jini services andWeb Services.
IEEE SCC 2007: 278-285 |
| 15 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets.
SCSC 2007: 349-356 |
| 14 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks.
Journal of Systems and Software 80(11): 1817-1832 (2007) |
| 13 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.
Real-Time Systems 35(2): 153-179 (2007) |
| 2006 |
|---|
| 12 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
An Approach to Protocol Modeling and Validation.
Annual Simulation Symposium 2006: 261-268 |
| 11 | 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) |
| 2005 |
|---|
| 10 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.
Annual Simulation Symposium 2005: 233-240 |
| 9 | EE | Angelo Furfaro,
Libero Nigro:
Model checking hierarchical communicating real-time state machines.
ETFA 2005 |
| 8 | | Angelo Furfaro,
Libero Nigro:
Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study.
IASTED Conf. on Software Engineering 2005: 388-393 |
| 2004 |
|---|
| 7 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Deployment, configuration and management of mobile actor systems.
IASTED Conf. on Software Engineering and Applications 2004: 483-488 |
| 6 | | 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 |
| 5 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Multimedia synchronization based on aspect oriented programming.
Microprocessors and Microsystems 28(2): 47-56 (2004) |
| 2003 |
|---|
| 4 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Real-Time Systems Development Using Hierarchical State Machines.
JMLC 2003: 110-121 |
| 2002 |
|---|
| 3 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Distributed Simulation of Timed Coloured Petri Nets.
DS-RT 2002: 159-166 |
| 2 | | Luigi Carullo,
Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets.
ESM 2002: 37-41 |
| 1 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Aspect Oriented Programming Using Actors.
ICDCS Workshops 2002: 493-502 |
