The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Libero Nigro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michele Di Santo, Libero Nigro, Wilma Russo
    Programmer-Defined Control Abstractions in Modula-2. [Citation Graph (1, 0)][DBLP]
    Comput. Lang., 1990, v:15, n:3, pp:141-152 [Journal]
  2. Franco Cicirelli, Angelo Furfaro, Libero Nigro
    Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2005, pp:233-240 [Conf]
  3. Franco Cicirelli, Angelo Furfaro, Libero Nigro
    An Approach to Protocol Modeling and Validation. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2006, pp:261-268 [Conf]
  4. Roberto Beraldi, Libero Nigro, Antonino Orlando, Francesco Pupo
    Temporal Uncertainty Time Warp: An Agent-Based Implementation. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2002, pp:72-79 [Conf]
  5. Giancarlo Fortino, Libero Nigro
    A Methodology Centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2000, pp:177-184 [Conf]
  6. Franco Cicirelli, Angelo Furfaro, A. Giordano, Libero Nigro
    An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2007, pp:231-238 [Conf]
  7. Libero Nigro, Francesco Pupo
    Modeling and Analysing DART Systems Through High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:420-439 [Conf]
  8. Libero Nigro, Francesco Pupo
    Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:493-513 [Conf]
  9. Giancarlo Fortino, Libero Nigro
    Simulation of Multimedia Systems Based on Actors and QoSsynchronizers. [Citation Graph (0, 0)][DBLP]
    DIS-RT, 1999, pp:120-127 [Conf]
  10. Angelo Furfaro, Libero Nigro, Francesco Pupo
    Distributed Simulation of Timed Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    DS-RT, 2002, pp:159-166 [Conf]
  11. Roberto Beraldi, Libero Nigro
    Exploiting Temporal Uncertainty in Time Warp Simulations. [Citation Graph (0, 0)][DBLP]
    DS-RT, 2000, pp:39-46 [Conf]
  12. Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo
    A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    ESM, 2002, pp:37-41 [Conf]
  13. Roberto Beraldi, Libero Nigro
    A Modular Approach to the Distributed Simulation of Timed Petri-Nets. [Citation Graph (0, 0)][DBLP]
    ESM, 1998, pp:49-53 [Conf]
  14. Giancarlo Fortino, Libero Nigro, Francesco Pupo
    An MBone-Based On-Demand System for Cooperative Off-line Learning. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2001, pp:336-0 [Conf]
  15. Roberto Beraldi, Salvatore Marano, Libero Nigro
    Distributed simulation of PCS networks using a time warp mechanism. [Citation Graph (0, 0)][DBLP]
    EUROSIM, 1996, pp:307-314 [Conf]
  16. Angelo Furfaro, Libero Nigro
    Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2005, pp:388-393 [Conf]
  17. Angelo Furfaro, Libero Nigro, Francesco Pupo
    Aspect Oriented Programming Using Actors. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2002, pp:493-502 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    ICMCS, Vol. 2, 1999, pp:1120-1122 [Conf]
  19. Giancarlo Fortino, Libero Nigro
    A Cooperative Playback System for On-Demand Multimedia Sessions over Internet. [Citation Graph (0, 0)][DBLP]
    IEEE International Conference on Multimedia and Expo (I), 2000, pp:41-44 [Conf]
  20. Angelo Furfaro, Libero Nigro, Francesco Pupo
    Real-Time Systems Development Using Hierarchical State Machines. [Citation Graph (0, 0)][DBLP]
    JMLC, 2003, pp:110-121 [Conf]
  21. Brian Kirk, Libero Nigro, Francesco Pupo
    Using Real Time Constraints for Modularisation. [Citation Graph (0, 0)][DBLP]
    JMLC, 1997, pp:236-251 [Conf]
  22. Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
    Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell. [Citation Graph (0, 0)][DBLP]
    MSV/AMCS, 2004, pp:277-288 [Conf]
  23. Giancarlo Fortino, Libero Nigro
    Modeling, Analysis and Implementation of Actor-based Multimedia Systems. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:489-495 [Conf]
  24. Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano
    Super Actors for Real Time. [Citation Graph (0, 0)][DBLP]
    WORDS, 2001, pp:142-152 [Conf]
  25. Giancarlo Fortino, Libero Nigro
    ViCRO: An Interactive and Cooperative VideoRecording on-demand System over MBone. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 2000, v:24, n:1, pp:- [Journal]
  26. Libero Nigro, Giuseppe Veneziano
    Control Abstractions in Modula-2: A Case Study Using Advanced Backtracking. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 1994, v:18, n:2, pp:- [Journal]
  27. Libero Nigro
    A Real-Time Architecture Based on Shlaer-Mellor Object Lifecycles. [Citation Graph (0, 0)][DBLP]
    JOOP, 1995, v:8, n:1, pp:20-31 [Journal]
  28. Angelo Furfaro, Libero Nigro, Francesco Pupo
    Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2006, v:32, n:1-2, pp:105-123 [Journal]
  29. Franco Cicirelli, Angelo Furfaro, Libero Nigro
    Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2007, v:35, n:2, pp:153-179 [Journal]
  30. Libero Nigro
    On the Type Extensions of Oberon-2. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1993, v:28, n:2, pp:41-44 [Journal]
  31. Libero Nigro, Francesco Tisato
    Object-based real-time programming. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:4, pp:212-214 [Journal]
  32. Roberto Beraldi, Libero Nigro
    Performance of a Time Warp based simulator of large scale PCS networks. [Citation Graph (0, 0)][DBLP]
    Simul. Pr. Theory, 1998, v:6, n:2, pp:149-163 [Journal]
  33. Angelo Furfaro, Libero Nigro, Francesco Pupo
    Multimedia synchronization based on aspect oriented programming. [Citation Graph (0, 0)][DBLP]
    Microprocessors and Microsystems, 2004, v:28, n:2, pp:47-56 [Journal]
  34. Franco Cicirelli, Angelo Furfaro, Libero Nigro
    Integration and Interoperability between Jini services andWeb Services. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2007, pp:278-285 [Conf]
  35. Franco Cicirelli, Angelo Furfaro, Libero Nigro
    Deployment, configuration and management of mobile actor systems. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:483-488 [Conf]
  36. Angelo Furfaro, Libero Nigro
    Model checking hierarchical communicating real-time state machines. [Citation Graph (0, 0)][DBLP]
    ETFA, 2005, pp:- [Conf]
  37. Franco Cicirelli, Angelo Furfaro, Libero Nigro
    Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:11, pp:1817-1832 [Journal]

  38. Actor-Based Simulation of PDEVS systems over HLA. [Citation Graph (, )][DBLP]


  39. Distributed Simulation of RePast Models over HLA/Actors. [Citation Graph (, )][DBLP]


  40. Prototyping distributed multimedia systems using communicating real-time state machines. [Citation Graph (, )][DBLP]


  41. Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. [Citation Graph (, )][DBLP]


  42. Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002