2008 |
40 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Actor-Based Simulation of PDEVS systems over HLA.
Annual Simulation Symposium 2008: 229-236 |
2007 |
39 | 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 |
38 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Integration and Interoperability between Jini services andWeb Services.
IEEE SCC 2007: 278-285 |
37 | 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 |
36 | 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) |
35 | 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 |
34 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
An Approach to Protocol Modeling and Validation.
Annual Simulation Symposium 2006: 261-268 |
33 | 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 |
32 | EE | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.
Annual Simulation Symposium 2005: 233-240 |
31 | EE | Angelo Furfaro,
Libero Nigro:
Model checking hierarchical communicating real-time state machines.
ETFA 2005 |
30 | | 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 |
29 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Deployment, configuration and management of mobile actor systems.
IASTED Conf. on Software Engineering and Applications 2004: 483-488 |
28 | | 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 |
27 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Multimedia synchronization based on aspect oriented programming.
Microprocessors and Microsystems 28(2): 47-56 (2004) |
2003 |
26 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Real-Time Systems Development Using Hierarchical State Machines.
JMLC 2003: 110-121 |
2002 |
25 | EE | Roberto Beraldi,
Libero Nigro,
Antonino Orlando,
Francesco Pupo:
Temporal Uncertainty Time Warp: An Agent-Based Implementation.
Annual Simulation Symposium 2002: 72-79 |
24 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Distributed Simulation of Timed Coloured Petri Nets.
DS-RT 2002: 159-166 |
23 | | Luigi Carullo,
Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets.
ESM 2002: 37-41 |
22 | EE | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Aspect Oriented Programming Using Actors.
ICDCS Workshops 2002: 493-502 |
2001 |
21 | 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 |
20 | EE | Giancarlo Fortino,
Libero Nigro,
Francesco Pupo:
An MBone-Based On-Demand System for Cooperative Off-line Learning.
EUROMICRO 2001: 336- |
19 | EE | Giancarlo Fortino,
Libero Nigro,
Francesco Pupo,
D. Spezzano:
Super Actors for Real Time.
WORDS 2001: 142-152 |
2000 |
18 | EE | Giancarlo Fortino,
Libero Nigro:
A Methodology Centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems.
Annual Simulation Symposium 2000: 177-184 |
17 | EE | Roberto Beraldi,
Libero Nigro:
Exploiting Temporal Uncertainty in Time Warp Simulations.
DS-RT 2000: 39-46 |
16 | EE | Giancarlo Fortino,
Libero Nigro:
Prototyping distributed multimedia systems using communicating real-time state machines.
ECRTS 2000: 273-280 |
15 | | Giancarlo Fortino,
Libero Nigro:
A Cooperative Playback System for On-Demand Multimedia Sessions over Internet.
IEEE International Conference on Multimedia and Expo (I) 2000: 41-44 |
14 | | Giancarlo Fortino,
Libero Nigro:
ViCRO: An Interactive and Cooperative VideoRecording on-demand System over MBone.
Informatica (Slovenia) 24(1): (2000) |
1999 |
13 | EE | Giancarlo Fortino,
Libero Nigro:
Simulation of Multimedia Systems Based on Actors and QoSsynchronizers.
DIS-RT 1999: 120-127 |
12 | EE | Jürgen Assfalg,
C. Leveque,
Marc Mautref,
P. Neel,
Libero Nigro,
M. Philippou,
J. Tanneau,
Enrico Vicario,
G. Zardetto:
Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project.
ICMCS, Vol. 2 1999: 1120-1122 |
11 | | Giancarlo Fortino,
Libero Nigro:
Modeling, Analysis and Implementation of Actor-based Multimedia Systems.
PDPTA 1999: 489-495 |
1998 |
10 | | Roberto Beraldi,
Libero Nigro:
A Modular Approach to the Distributed Simulation of Timed Petri-Nets.
ESM 1998: 49-53 |
9 | EE | Roberto Beraldi,
Libero Nigro:
Performance of a Time Warp based simulator of large scale PCS networks.
Simul. Pr. Theory 6(2): 149-163 (1998) |
1997 |
8 | | Brian Kirk,
Libero Nigro,
Francesco Pupo:
Using Real Time Constraints for Modularisation.
JMLC 1997: 236-251 |
1996 |
7 | | Libero Nigro,
Francesco Pupo:
Modeling and Analysing DART Systems Through High-Level Petri Nets.
Application and Theory of Petri Nets 1996: 420-439 |
6 | | Roberto Beraldi,
Salvatore Marano,
Libero Nigro:
Distributed simulation of PCS networks using a time warp mechanism.
EUROSIM 1996: 307-314 |
1995 |
5 | | Libero Nigro:
A Real-Time Architecture Based on Shlaer-Mellor Object Lifecycles.
JOOP 8(1): 20-31 (1995) |
1994 |
4 | | Libero Nigro,
Giuseppe Veneziano:
Control Abstractions in Modula-2: A Case Study Using Advanced Backtracking.
Informatica (Slovenia) 18(2): (1994) |
1993 |
3 | | Libero Nigro:
On the Type Extensions of Oberon-2.
SIGPLAN Notices 28(2): 41-44 (1993) |
1990 |
2 | | Michele Di Santo,
Libero Nigro,
Wilma Russo:
Programmer-Defined Control Abstractions in Modula-2.
Comput. Lang. 15(3): 141-152 (1990) |
1989 |
1 | EE | Libero Nigro,
Francesco Tisato:
Object-based real-time programming.
SIGPLAN Notices 24(4): 212-214 (1989) |