- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j14 |      | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Using time stream Petri nets for workflow modelling analysis and enactment. Simulation 89(1): 68-86 (2013) |
| 2012 | ||
| j13 | | 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) |
| c21 | | 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 | ||
| j12 | | 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) |
| j11 | | 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) |
| c20 | | 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 | ||
| j10 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: A service-based architecture for dynamically reconfigurable workflows. Journal of Systems and Software 83(7): 1148-1164 (2010) |
| c19 | | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro: Parallel Simulation of Multi-agent Systems Using Terracotta. DS-RT 2010: 219-222 |
| c18 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo: Temporal verification of RT-DEVS models with implementation aspects. SpringSim 2010: 130 |
| c17 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Using time stream Petri nets over a service architecture for workflow modelling and enactment. SpringSim 2010: 131 |
| 2009 | ||
| j9 | | Angelo Furfaro, Libero Nigro: A development methodology for embedded systems based on RT-DEVS. ISSE 5(2): 117-127 (2009) |
| j8 | | 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) |
| c16 | | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro: Distributed Simulation of RePast Models over HLA/Actors. DS-RT 2009: 184-191 |
| 2008 | ||
| c15 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium 2008: 229-236 |
| c14 | | Angelo Furfaro, Libero Nigro: Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL. IMCSIT 2008: 601-608 |
| 2007 | ||
| j7 | | Angelo Furfaro, Libero Nigro: Timed verification of hierarchical communicating real-time state machines. Computer Standards & Interfaces 29(6): 635-646 (2007) |
| j6 | | 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) |
| j5 | | 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) |
| c13 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Integration and Interoperability between Jini services andWeb Services. IEEE SCC 2007: 278-285 |
| c12 | | 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 |
| c11 | | 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 | ||
| j4 | | 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) |
| j3 | | 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) |
| c10 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: An Approach to Protocol Modeling and Validation. Annual Simulation Symposium 2006: 261-268 |
| 2005 | ||
| c9 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium 2005: 233-240 |
| c8 | | Angelo Furfaro, Libero Nigro: Model checking hierarchical communicating real-time state machines. ETFA 2005 |
| c7 |  | 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 | ||
| j2 | | Angelo Furfaro, Libero Nigro, Francesco Pupo: Multimedia synchronization based on aspect oriented programming. Microprocessors and Microsystems 28(2): 47-56 (2004) |
| c6 | | Franco Cicirelli, Angelo Furfaro, Libero Nigro: Deployment, configuration and management of mobile actor systems. IASTED Conf. on Software Engineering and Applications 2004: 483-488 |
| c5 | | 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 | ||
| j1 | | 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) |
| c4 | | Angelo Furfaro, Libero Nigro, Francesco Pupo: Real-Time Systems Development Using Hierarchical State Machines. JMLC 2003: 110-121 |
| 2002 | ||
| c3 | | Angelo Furfaro, Libero Nigro, Francesco Pupo: Distributed Simulation of Timed Coloured Petri Nets. DS-RT 2002: 159-166 |
| c2 | | Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo: A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. ESM 2002: 37-41 |
| c1 | | Angelo Furfaro, Libero Nigro, Francesco Pupo: Aspect Oriented Programming Using Actors. ICDCS Workshops 2002: 493-502 |
| 1 | Luigi Carullo | |
| 2 | Franco Cicirelli | |
| 3 | Andrea Giordano | |
| 4 | Domenico Grimaldi | |
| 5 | Libero Nigro | |
| 6 | Francesco Pupo |
Data released under the ODC-BY 1.0 license — See also our legal information page