dblp.uni-trier.dewww.uni-trier.de

Libero Nigro

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
40EEFranco Cicirelli, Angelo Furfaro, Libero Nigro: Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium 2008: 229-236
2007
39EEFranco 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
38EEFranco Cicirelli, Angelo Furfaro, Libero Nigro: Integration and Interoperability between Jini services andWeb Services. IEEE SCC 2007: 278-285
37EEFranco Cicirelli, Angelo Furfaro, Libero Nigro: Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. SCSC 2007: 349-356
36EEFranco 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)
35EEFranco 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
34EEFranco Cicirelli, Angelo Furfaro, Libero Nigro: An Approach to Protocol Modeling and Validation. Annual Simulation Symposium 2006: 261-268
33EEAngelo 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
32EEFranco Cicirelli, Angelo Furfaro, Libero Nigro: Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium 2005: 233-240
31EEAngelo 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
27EEAngelo Furfaro, Libero Nigro, Francesco Pupo: Multimedia synchronization based on aspect oriented programming. Microprocessors and Microsystems 28(2): 47-56 (2004)
2003
26EEAngelo Furfaro, Libero Nigro, Francesco Pupo: Real-Time Systems Development Using Hierarchical State Machines. JMLC 2003: 110-121
2002
25EERoberto Beraldi, Libero Nigro, Antonino Orlando, Francesco Pupo: Temporal Uncertainty Time Warp: An Agent-Based Implementation. Annual Simulation Symposium 2002: 72-79
24EEAngelo 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
22EEAngelo Furfaro, Libero Nigro, Francesco Pupo: Aspect Oriented Programming Using Actors. ICDCS Workshops 2002: 493-502
2001
21EELibero Nigro, Francesco Pupo: Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 493-513
20EEGiancarlo Fortino, Libero Nigro, Francesco Pupo: An MBone-Based On-Demand System for Cooperative Off-line Learning. EUROMICRO 2001: 336-
19EEGiancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano: Super Actors for Real Time. WORDS 2001: 142-152
2000
18EEGiancarlo 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
17EERoberto Beraldi, Libero Nigro: Exploiting Temporal Uncertainty in Time Warp Simulations. DS-RT 2000: 39-46
16EEGiancarlo 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
13EEGiancarlo Fortino, Libero Nigro: Simulation of Multimedia Systems Based on Actors and QoSsynchronizers. DIS-RT 1999: 120-127
12EEJü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
9EERoberto 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
1EELibero Nigro, Francesco Tisato: Object-based real-time programming. SIGPLAN Notices 24(4): 212-214 (1989)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)