Libero Nigro

	2009
46		Angelo Furfaro, Libero Nigro: A development methodology for embedded systems based on RT-DEVS. ISSE 5(2): 117-127 (2009)
45		Franco Cicirelli, Angelo Furfaro, Libero Nigro: An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination. Simulation 85(1): 17-32 (2009)
	2008
44		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium 2008: 229-236
	2007
43		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
42		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Integration and Interoperability between Jini services andWeb Services. IEEE SCC 2007: 278-285
41		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. SCSC 2007: 349-356
40		Angelo Furfaro, Libero Nigro: Timed verification of hierarchical communicating real-time state machines. Computer Standards & Interfaces 29(6): 635-646 (2007)
39		Franco Cicirelli, Libero Nigro: A General Brokering Architecture Layer and its application to Video on-Demand over the Internet. Informatica (Slovenia) 31(1): 29-39 (2007)
38		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)
37		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
36		Franco Cicirelli, Angelo Furfaro, Libero Nigro: An Approach to Protocol Modeling and Validation. Annual Simulation Symposium 2006: 261-268
35		Franco Cicirelli, Angelo Furfaro, Domenico Grimaldi, Libero Nigro, Francesco Pupo: MADAMS: A software architecture for the management of networked measurement services. Computer Standards & Interfaces 28(4): 396-411 (2006)
34		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
33		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium 2005: 233-240
32		Angelo Furfaro, Libero Nigro: Model checking hierarchical communicating real-time state machines. ETFA 2005
31		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
30		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Deployment, configuration and management of mobile actor systems. IASTED Conf. on Software Engineering and Applications 2004: 483-488
29		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
28		Angelo Furfaro, Libero Nigro, Francesco Pupo: Multimedia synchronization based on aspect oriented programming. Microprocessors and Microsystems 28(2): 47-56 (2004)
	2003
27		Angelo Furfaro, Libero Nigro, Francesco Pupo: Real-Time Systems Development Using Hierarchical State Machines. JMLC 2003: 110-121
26		Roberto Beraldi, Libero Nigro, Antonino Orlando: Temporal Uncertainty Time Warp: An Implementation Based on Java and ActorFoundry. Simulation 79(10): 581-597 (2003)
	2002
25		Roberto Beraldi, Libero Nigro, Antonino Orlando, Francesco Pupo: Temporal Uncertainty Time Warp: An Agent-Based Implementation. Annual Simulation Symposium 2002: 72-79
24		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		Angelo Furfaro, Libero Nigro, Francesco Pupo: Aspect Oriented Programming Using Actors. ICDCS Workshops 2002: 493-502
	2001
21		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		Giancarlo Fortino, Libero Nigro, Francesco Pupo: An MBone-Based On-Demand System for Cooperative Off-line Learning. EUROMICRO 2001: 336-
19		Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano: Super Actors for Real Time. WORDS 2001: 142-152
	2000
18		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		Roberto Beraldi, Libero Nigro: Exploiting Temporal Uncertainty in Time Warp Simulations. DS-RT 2000: 39-46
16		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		Giancarlo Fortino, Libero Nigro: Simulation of Multimedia Systems Based on Actors and QoSsynchronizers. DIS-RT 1999: 120-127
12		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		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		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] [17] [25] [26]
3	Luigi Carullo	[23]
4	Franco Cicirelli	[29] [30] [33] [35] [36] [37] [38] [39] [41] [42] [43] [44] [45]
5	Giancarlo Fortino	[11] [13] [14] [15] [16] [18] [19] [20]
6	Angelo Furfaro	[22] [23] [24] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [40] [41] [42] [43] [44] [45] [46]
7	A. Giordano	[43]
8	Domenico Grimaldi	[35]
9	Brian Kirk	[8]
10	C. Leveque	[12]
11	Salvatore Marano	[6]
12	Marc Mautref	[12]
13	P. Neel	[12]
14	Antonino Orlando	[25] [26]
15	M. Philippou	[12]
16	Francesco Pupo	[7] [8] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29] [34] [35]
17	Wilma Russo	[2]
18	Michele Di Santo	[2]
19	D. Spezzano	[19]
20	J. Tanneau	[12]
21	Francesco Tisato	[1]
22	Giuseppe Veneziano	[4]
23	Enrico Vicario	[12]
24	G. Zardetto	[12]

Colors in the list of coauthors