 | 2012 |
|---|
| 33 |       | 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) |
| 2011 |
|---|
| 32 | | 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 |
| 31 | | 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) |
| 30 | | 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) |
| 2010 |
|---|
| 29 | | Franco Cicirelli,
Angelo Furfaro,
Andrea Giordano,
Libero Nigro:
Parallel Simulation of Multi-agent Systems Using Terracotta.
DS-RT 2010: 219-222 |
| 28 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Temporal verification of RT-DEVS models with implementation aspects.
SpringSim 2010: 130 |
| 27 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Using time stream Petri nets over a service architecture for workflow modelling and enactment.
SpringSim 2010: 131 |
| 26 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
A service-based architecture for dynamically reconfigurable workflows.
Journal of Systems and Software 83(7): 1148-1164 (2010) |
| 2009 |
|---|
| 25 | | Franco Cicirelli,
Angelo Furfaro,
Andrea Giordano,
Libero Nigro:
Distributed Simulation of RePast Models over HLA/Actors.
DS-RT 2009: 184-191 |
| 24 | | Angelo Furfaro,
Libero Nigro:
A development methodology for embedded systems based on RT-DEVS.
ISSE 5(2): 117-127 (2009) |
| 23 | | 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 |
|---|
| 22 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Actor-Based Simulation of PDEVS systems over HLA.
Annual Simulation Symposium 2008: 229-236 |
| 21 | | Angelo Furfaro,
Libero Nigro:
Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL.
IMCSIT 2008: 601-608 |
| 2007 |
|---|
| 20 | | 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 |
| 19 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Integration and Interoperability between Jini services andWeb Services.
IEEE SCC 2007: 278-285 |
| 18 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets.
SCSC 2007: 349-356 |
| 17 | | Angelo Furfaro,
Libero Nigro:
Timed verification of hierarchical communicating real-time state machines.
Computer Standards & Interfaces 29(6): 635-646 (2007) |
| 16 | | 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) |
| 15 | | 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 |
|---|
| 14 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
An Approach to Protocol Modeling and Validation.
Annual Simulation Symposium 2006: 261-268 |
| 13 | | 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) |
| 12 | | 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 |
|---|
| 11 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.
Annual Simulation Symposium 2005: 233-240 |
| 10 | | Angelo Furfaro,
Libero Nigro:
Model checking hierarchical communicating real-time state machines.
ETFA 2005 |
| 9 |  | 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 |
|---|
| 8 | | Franco Cicirelli,
Angelo Furfaro,
Libero Nigro:
Deployment, configuration and management of mobile actor systems.
IASTED Conf. on Software Engineering and Applications 2004: 483-488 |
| 7 | | 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 |
| 6 | | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Multimedia synchronization based on aspect oriented programming.
Microprocessors and Microsystems 28(2): 47-56 (2004) |
| 2003 |
|---|
| 5 | | Angelo Furfaro,
Libero Nigro,
Francesco Pupo:
Real-Time Systems Development Using Hierarchical State Machines.
JMLC 2003: 110-121 |
| 4 | | 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) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page