Libero Nigro

2008
38	EE	Franco Cicirelli, Angelo Furfaro, Libero Nigro: Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium 2008: 229-236
2007
37	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
36	EE	Franco Cicirelli, Angelo Furfaro, Libero Nigro: Integration and Interoperability between Jini services andWeb Services. IEEE SCC 2007: 278-285
35	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)
34	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
33	EE	Franco Cicirelli, Angelo Furfaro, Libero Nigro: An Approach to Protocol Modeling and Validation. Annual Simulation Symposium 2006: 261-268
32	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
31	EE	Franco Cicirelli, Angelo Furfaro, Libero Nigro: Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium 2005: 233-240
30	EE	Angelo Furfaro, Libero Nigro: Model checking hierarchical communicating real-time state machines. ETFA 2005
29		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
28		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Deployment, configuration and management of mobile actor systems. IASTED Conf. on Software Engineering and Applications 2004: 483-488
27		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
26	EE	Angelo Furfaro, Libero Nigro, Francesco Pupo: Multimedia synchronization based on aspect oriented programming. Microprocessors and Microsystems 28(2): 47-56 (2004)
2003
25	EE	Angelo Furfaro, Libero Nigro, Francesco Pupo: Real-Time Systems Development Using Hierarchical State Machines. JMLC 2003: 110-121
2002
24	EE	Roberto Beraldi, Libero Nigro, Antonino Orlando, Francesco Pupo: Temporal Uncertainty Time Warp: An Agent-Based Implementation. Annual Simulation Symposium 2002: 72-79
23	EE	Angelo Furfaro, Libero Nigro, Francesco Pupo: Distributed Simulation of Timed Coloured Petri Nets. DS-RT 2002: 159-166
22		Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo: A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. ESM 2002: 37-41
21	EE	Angelo Furfaro, Libero Nigro, Francesco Pupo: Aspect Oriented Programming Using Actors. ICDCS Workshops 2002: 493-502
2001
20	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
19	EE	Giancarlo Fortino, Libero Nigro, Francesco Pupo: An MBone-Based On-Demand System for Cooperative Off-line Learning. EUROMICRO 2001: 336-
18	EE	Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano: Super Actors for Real Time. WORDS 2001: 142-152
2000
17	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
16	EE	Roberto Beraldi, Libero Nigro: Exploiting Temporal Uncertainty in Time Warp Simulations. DS-RT 2000: 39-46
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)

Coauthor Index

1	Jürgen Assfalg	[12]
2	Roberto Beraldi	[6] [9] [10] [16] [24]
3	Luigi Carullo	[22]
4	Franco Cicirelli	[27] [28] [31] [33] [34] [35] [36] [37] [38]
5	Giancarlo Fortino	[11] [13] [14] [15] [17] [18] [19]
6	Angelo Furfaro	[21] [22] [23] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38]
7	A. Giordano	[37]
8	Brian Kirk	[8]
9	C. Leveque	[12]
10	Salvatore Marano	[6]
11	Marc Mautref	[12]
12	P. Neel	[12]
13	Antonino Orlando	[24]
14	M. Philippou	[12]
15	Francesco Pupo	[7] [8] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [32]
16	Wilma Russo	[2]
17	Michele Di Santo	[2]
18	D. Spezzano	[18]
19	J. Tanneau	[12]
20	Francesco Tisato	[1]
21	Giuseppe Veneziano	[4]
22	Enrico Vicario	[12]
23	G. Zardetto	[12]

Colors in the list of coauthors