Angelo Furfaro

	2009
22		Angelo Furfaro, Libero Nigro: A development methodology for embedded systems based on RT-DEVS. ISSE 5(2): 117-127 (2009)
21		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
20		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium 2008: 229-236
	2007
19		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
18		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Integration and Interoperability between Jini services andWeb Services. IEEE SCC 2007: 278-285
17		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. SCSC 2007: 349-356
16		Angelo Furfaro, Libero Nigro: Timed verification of hierarchical communicating real-time state machines. Computer Standards & Interfaces 29(6): 635-646 (2007)
15		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)
14		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
13		Franco Cicirelli, Angelo Furfaro, Libero Nigro: An Approach to Protocol Modeling and Validation. Annual Simulation Symposium 2006: 261-268
12		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)
11		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		Franco Cicirelli, Angelo Furfaro, Libero Nigro: Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium 2005: 233-240
9		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		Angelo Furfaro, Libero Nigro, Francesco Pupo: Multimedia synchronization based on aspect oriented programming. Microprocessors and Microsystems 28(2): 47-56 (2004)
	2003
4		Angelo Furfaro, Libero Nigro, Francesco Pupo: Real-Time Systems Development Using Hierarchical State Machines. JMLC 2003: 110-121
	2002
3		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		Angelo Furfaro, Libero Nigro, Francesco Pupo: Aspect Oriented Programming Using Actors. ICDCS Workshops 2002: 493-502

Coauthor Index

1	Luigi Carullo	[2]
2	Franco Cicirelli	[6] [7] [10] [12] [13] [14] [15] [17] [18] [19] [20] [21]
3	A. Giordano	[19]
4	Domenico Grimaldi	[12]
5	Libero Nigro	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22]
6	Francesco Pupo	[1] [2] [3] [4] [5] [6] [11] [12]