Publications

Found 28 results
Filters: Author is Francesco Pupo  [Clear All Filters]
2013
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Agent methodological layers in Repast Simphony, in Proc. of 27th European Conference on Modelling and Simulation (ECMS'2013), Alesund, Norway, 2013.
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Modelling Java concurrency: An approach and a UPPAAL library, in 2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013 , 2013, pp. 1373-1380.
2012
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Agents Over The Grid: An Experience Using The Globus Toolkit 4, in Proc. of the 26th European Conference on Modelling and Simulation (ECMS'2012), Koblenz, Germany, 2012, pp. 78–85.
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches, in Proc. of IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2012), Dublin, Ireland, 2012, pp. 57–64.
2011
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Dynamic Sociality Minority Game, in Proc. of European Conference on Modelling and Simulation, Krakow, 2011, pp. 27–35.
2010
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Temporal Verification of RT-DEVS Models with Implementation Aspects, in Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Orlando, FL, USA, 2010, pp. 63–70.
2008
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Temporal Analysis of Complex Time-Dependent Systems: an Approach Based on Time Petri Nets, ActorDEVS and HLA, in Proc. of 20th European Modeling and Simulation Symposium (EMSS'08), Campora S. Giovanni, Italy, 2008, pp. 455–462.
2007
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., A component-based architecture for modelling and simulation of adaptive complex systems, in Proc. of 21st European Conference on Modelling and Simulation (ECMS'07), 2007, pp. 156–163.
2005
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Modular Modelling and Analysis of Time-dependent Systems, in Proc. 19th European Conference on Modelling and Simulation (ECMS'05), Riga, Latvia, 2005.
2004
F. Cicirelli, Furfaro, A., Grimaldi, D., Nigro, L., and Pupo, F., Management architecture for distributed measurement services [power demand monitoring and control system example], in Instrumentation and Measurement Technology Conference, 2004. IMTC 04. Proceedings of the 21st IEEE, Como, Italy, 2004, vol. 2, pp. 974-979 Vol.2.
A. Furfaro, Nigro, L., and Pupo, F., Model Checking Tasking Sets using Time Petri Nets and Uppaal, in Proc. of 28th IFAC/IFIP Workshop on Real-Time Programming (WRTP'04), Istanbul, Turkey, 2004.
A. Furfaro, Nigro, L., and Pupo, F., Multimedia synchronization based on Aspect Oriented Programming, Microprocessors and Microsystems, vol. 8, pp. 47–56, 2004.
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Scripting and Monitoring in TPN Designer Simulations: A Case Study using the Production Cell, in Proc. of International Conference on Modeling, Simulation and Visualization Methods (MSV'04), Las Vegas, NV, USA, 2004.
2003
A. Furfaro, Nigro, L., and Pupo, F., Development of a Multimedia QoS Synchronizer Using AspectJ, in Proc. of 27th IFIP/IFAC/IEEE Workshop on Real Time Programming (WRTP'03), Zielona Gòra, Poland, 2003.
A. Furfaro, Nigro, L., and Pupo, F., Modelling and Discrete Event Simulation of Complex Systems Using Rainbow, in Proc. of the 17th European Simulation Multiconference on Modelling and Simulation (ESM'2003), Nottingham, UK, 2003, pp. 526–531.
L. Carullo, Furfaro, A., Nigro, L., and Pupo, F., Modelling and simulation of complex systems using TPN Designer, Simulation Modelling Practice and Theory, vol. 11, no. 7-8, pp. 503 – 532, 2003.
A. Furfaro, Nigro, L., and Pupo, F., Modular Design and Simulation of Complex TPN Models, WSEAS Transactions on Systems, vol. 2, pp. 809–819, 2003.
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Petri Net Tools for Modelling and Simulation of Complex Systems, in Proc. of Italian Society for Computer Simulation (ISCS'03), Cefalù, Italy, 2003.
A. Furfaro, Nigro, L., and Pupo, F., Real-Time Systems Development Using Hierarchical State Machines, in Modular Programming Languages, 2003, vol. 2789, pp. 110–121.
2002
A. Furfaro, Nigro, L., and Pupo, F., ActorServer: A Java Middleware for programming distributed applications over the Internet, in Proc. of the International Network Conference (INC'2002), University of Plymouth, UK, 2002, pp. 433–440.
A. Furfaro, Nigro, L., and Pupo, F., Aspect Oriented Programming using Actors, in Proc. of the 2nd International Conference on Distributed Computing Systems (AOPDCS'02), Vienna, Austria, 2002, pp. 493–502.
A. Furfaro, Nigro, L., and Pupo, F., Distributed simulation of timed coloured Petri nets, in Distributed Simulation and Real-Time Applications, 2002. Proceedings. Sixth IEEE International Workshop on, 2002, pp. 159-166.

Pages