PUPO, Francesco
PUPO, Francesco
Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica
A component-based architecture for modelling and simulation of adaptive complex systems
2007-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, L; Pupo, Francesco
A Java toolset for modelling and simulation of complex timed Petri nets
2002-01-01 Carullo, L; Furfaro, Angelo; Nigro, L; Pupo, F.
A modular approach to real time programming using actors and Java
1998-01-01 Pupo, Francesco
A smartphone application for the monitoring of domestic consumption of electricity
2013-01-01 CICIRELLI F; NERI E; NIGRO L; PUPO F
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems
1998-01-01 Fortino, Giancarlo; Nigro, L; Pupo, F.
ActorServer: a Java middleware for programming distributed applications over the Internet
2002-01-01 Furfaro, Angelo; Nigro, L; Pupo, Francesco
Agent methodological layers in Repast Simphony
2013-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Agent-based control framework in Jade
2014-01-01 Nigro, L; Pupo, Francesco
Agent-based distributed execution of Coloured Petri Nets
2001-01-01 Fortino, Giancarlo; Nigro, L.; Pupo, F.; Russo, Wilma
Agents over the Grid: An experience using the Globus Toolkit 4
2012-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Aspect oriented programming using actors
2002-01-01 Furfaro, Angelo; Nigro, L; Pupo, F.
A Cooperative Monitoring System for Diver Global Localization and Operation Support
2020-01-01 Bruno, Fabio; Barbieri, Loris; Lagudi, Antonio; Mangeruga, Marino; Pupo, Francesco; Casavola, Alessandro
Development Issues of Distributed Measurement Systems
1996-01-01 Grimaldi, Domenico; Nigro, Libero; Pupo, Francesco
Development of a multimedia QoS synchronizer using AspectJ
2003-01-01 Furfaro, Angelo; Nigro, L.; Pupo, F.
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches
2012-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Distributed measurement systems: an object-oriented architecture and a case study
1997-01-01 Daponte, P; Grimaldi, Domenico; Nigro, L; Pupo, Francesco
Distributed simulation of timed coloured Petri nets
2002-01-01 Furfaro, Angelo; Nigro, L; Pupo, F.
Dynamic Sociality Minority Game
2011-01-01 Cicirelli, F.; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Formal Modelling and Verification of Real-Time Self-Adaptive Systems
2019-01-01 Cicirelli, Franco; Nigro, Libero; Pupo, Francesco
Hierarchical Communicating Real-Time State Machines
2000-01-01 Fortino, Giancarlo; Furfaro, Angelo; Nigro, L; Pupo, Francesco