- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j27 |      | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Using time stream Petri nets for workflow modelling analysis and enactment. Simulation 89(1): 68-86 (2013) |
| 2012 | ||
| j26 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal. Applied Mathematics and Computation 218(16): 8160-8186 (2012) |
| c37 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo: Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. DS-RT 2012: 57-64 |
| 2011 | ||
| j25 | | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro: HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations. Simulation Modelling Practice and Theory 19(1): 283-300 (2011) |
| j24 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Modelling and simulation of complex manufacturing systems using statechart-based actors. Simulation Modelling Practice and Theory 19(2): 685-703 (2011) |
| c36 | | Franco Cicirelli, Andrea Giordano, Libero Nigro: Distributed Simulation of Situated Multi-agent Systems. DS-RT 2011: 28-35 |
| c35 | | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro: Performance of a multi-agent system over a multi-core cluster managed by Terracotta. SpringSim (TMS-DEVS) 2011: 125-133 |
| 2010 | ||
| j23 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: A service-based architecture for dynamically reconfigurable workflows. Journal of Systems and Software 83(7): 1148-1164 (2010) |
| c34 | | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro: Parallel Simulation of Multi-agent Systems Using Terracotta. DS-RT 2010: 219-222 |
| c33 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo: Temporal verification of RT-DEVS models with implementation aspects. SpringSim 2010: 130 |
| c32 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Using time stream Petri nets over a service architecture for workflow modelling and enactment. SpringSim 2010: 131 |
| 2009 | ||
| j22 | | Angelo Furfaro, Libero Nigro: A development methodology for embedded systems based on RT-DEVS. ISSE 5(2): 117-127 (2009) |
| j21 | | 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) |
| c31 | | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro: Distributed Simulation of RePast Models over HLA/Actors. DS-RT 2009: 184-191 |
| 2008 | ||
| c30 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium 2008: 229-236 |
| c29 | | Angelo Furfaro, Libero Nigro: Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL. IMCSIT 2008: 601-608 |
| 2007 | ||
| j20 | | Angelo Furfaro, Libero Nigro: Timed verification of hierarchical communicating real-time state machines. Computer Standards & Interfaces 29(6): 635-646 (2007) |
| j19 | | 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) |
| j18 | | 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) |
| j17 | | 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) |
| c28 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Integration and Interoperability between Jini services andWeb Services. IEEE SCC 2007: 278-285 |
| c27 | | Franco Cicirelli, Angelo Furfaro, Andrea 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 |
| c26 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. SCSC 2007: 349-356 |
| 2006 | ||
| j16 | | 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) |
| j15 | | 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) |
| c25 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: An Approach to Protocol Modeling and Validation. Annual Simulation Symposium 2006: 261-268 |
| 2005 | ||
| c24 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium 2005: 233-240 |
| c23 | | Angelo Furfaro, Libero Nigro: Model checking hierarchical communicating real-time state machines. ETFA 2005 |
| c22 |  | 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 | ||
| j14 | | Angelo Furfaro, Libero Nigro, Francesco Pupo: Multimedia synchronization based on aspect oriented programming. Microprocessors and Microsystems 28(2): 47-56 (2004) |
| c21 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Deployment, configuration and management of mobile actor systems. IASTED Conf. on Software Engineering and Applications 2004: 483-488 |
| c20 | | 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 |
| 2003 | ||
| j13 | | Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo: Modelling and simulation of complex systems using TPN Designer. Simulation Modelling Practice and Theory 11(7-8): 503-532 (2003) |
| j12 | | Roberto Beraldi, Libero Nigro, Antonino Orlando: Temporal Uncertainty Time Warp: An Implementation Based on Java and ActorFoundry. Simulation 79(10): 581-597 (2003) |
| c19 | | Angelo Furfaro, Libero Nigro, Francesco Pupo: Real-Time Systems Development Using Hierarchical State Machines. JMLC 2003: 110-121 |
| 2002 | ||
| c18 | | Roberto Beraldi, Libero Nigro, Antonino Orlando, Francesco Pupo: Temporal Uncertainty Time Warp: An Agent-Based Implementation. Annual Simulation Symposium 2002: 72-79 |
| c17 | | Angelo Furfaro, Libero Nigro, Francesco Pupo: Distributed Simulation of Timed Coloured Petri Nets. DS-RT 2002: 159-166 |
| c16 | | Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo: A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. ESM 2002: 37-41 |
| c15 | | Angelo Furfaro, Libero Nigro, Francesco Pupo: Aspect Oriented Programming Using Actors. ICDCS Workshops 2002: 493-502 |
| 2001 | ||
| c14 | | 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 |
| c13 | | Giancarlo Fortino, Libero Nigro, Francesco Pupo: An MBone-Based On-Demand System for Cooperative Off-line Learning. EUROMICRO 2001: 336- |
| c12 | | Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano: Super Actors for Real Time. WORDS 2001: 142-152 |
| 2000 | ||
| j11 | | Giancarlo Fortino, Libero Nigro: ViCRO: An Interactive and Cooperative VideoRecording on-demand System over MBone. Informatica (Slovenia) 24(1) (2000) |
| j10 | | Giancarlo Fortino, Libero Nigro: A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines. Microprocessors and Microsystems - Embedded Hardware Design 23(10): 573-586 (2000) |
| c11 | | 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 |
| c10 | | Roberto Beraldi, Libero Nigro: Exploiting Temporal Uncertainty in Time Warp Simulations. DS-RT 2000: 39-46 |
| c9 | | Giancarlo Fortino, Libero Nigro: Prototyping distributed multimedia systems using communicating real-time state machines. ECRTS 2000: 273-280 |
| c8 | | 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 |
| 1999 | ||
| j9 | | Roberto Beraldi, Libero Nigro: Distributed simulation of timed Petri nets. A modular approach using actors and Time Warp. IEEE Concurrency 7(4): 52-62 (1999) |
| c7 | | Giancarlo Fortino, Libero Nigro: Simulation of Multimedia Systems Based on Actors and QoSsynchronizers. DIS-RT 1999: 120-127 |
| c6 | | 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 |
| c5 | | Giancarlo Fortino, Libero Nigro: Modeling, Analysis and Implementation of Actor-based Multimedia Systems. PDPTA 1999: 489-495 |
| 1998 | ||
| j8 | | Roberto Beraldi, Libero Nigro: Performance of a Time Warp based simulator of large scale PCS networks. Simul. Pr. Theory 6(2): 149-163 (1998) |
| c4 | | Roberto Beraldi, Libero Nigro: A Modular Approach to the Distributed Simulation of Timed Petri-Nets. ESM 1998: 49-53 |
| 1997 | ||
| j7 | | Pasquale Daponte, Domenico Grimaldi, Libero Nigro, Francesco Pupo: Distributed measurement systems: An object-oriented architecture and a case study. Computer Standards & Interfaces 18(5): 383-395 (1997) |
| c3 | | Brian Kirk, Libero Nigro, Francesco Pupo: Using Real Time Constraints for Modularisation. JMLC 1997: 236-251 |
| 1996 | ||
| c2 | | Libero Nigro, Francesco Pupo: Modeling and Analysing DART Systems Through High-Level Petri Nets. Application and Theory of Petri Nets 1996: 420-439 |
| c1 | | Roberto Beraldi, Salvatore Marano, Libero Nigro: Distributed simulation of PCS networks using a time warp mechanism. EUROSIM 1996: 307-314 |
| 1995 | ||
| j6 | | Libero Nigro: A Real-Time Architecture Based on Shlaer-Mellor Object Lifecycles. JOOP 8(1): 20-31 (1995) |
| 1994 | ||
| j5 | | Libero Nigro, Giuseppe Veneziano: Control Abstractions in Modula-2: A Case Study Using Advanced Backtracking. Informatica (Slovenia) 18(2) (1994) |
| 1993 | ||
| j4 | | |
| 1990 | ||
| j3 | | Michele Di Santo, Libero Nigro, Wilma Russo: Programmer-Defined Control Abstractions in Modula-2. Comput. Lang. 15(3): 141-152 (1990) |
| 1989 | ||
| j2 | | Libero Nigro, Francesco Tisato: Object-based real-time programming. SIGPLAN Notices 24(4): 212-214 (1989) |
| 1981 | ||
| j1 | | Michele Di Santo, Libero Nigro, Wilma Russo: On the efficient implementation of retention block-structured languages. International Journal of Parallel Programming 10(1): 39-54 (1981) |
Colors in the list of coauthors
Last update Mon May 20 19:58:46 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page