Publications
Found 117 results
Filters: Author is Angelo Furfaro [Clear All Filters]
“Embedded Real-time System for Climate Control in a Complex Greenhouse”, International Agrophysics, vol. 21, pp. 17–27, 2007.
, “Exploiting Agents for Modelling and Simulation of Coverage Control Protocols in Large Sensor Networks”, The Journal of Systems and Software, vol. 80, pp. 1817–1832, 2007.
, “Integration and Interoperability between Jini services and Web Services”, in Proc. IEEE International Conference on Services Computing (SCC'07), 2007, pp. 278–285.
, “Modelling and Schedulability Analysis of Real-time Sequence Patterns using Time Petri Nets and Uppaal”, in Proc. of International Workshop on Real Time Software (RTS'07), 2007, pp. 821–835.
, “A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems”, in Proc of 19th European Modelling and Simulation Symposium (EMSS'07), 2007.
, “Timed Verification of Hierarchical Communicating Real-Time State Machines”, Computer Standards & Interfaces, vol. 29, pp. 635–646, 2007.
, “UsingTPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems”, International Journal of Simulation Systems, Science & Technology, vol. 8, pp. 8–20, 2007.
, “Agent-based Evaluation of Two Protocols for Coverage Control in Sensor Networks”, in Proc. of Summer Computer Simulation Conference (SCSC'06), Calgary, Canada, 2006.
, “An Approach to Protocol Modeling and Validation”, in Proc. of 39th Annual Simulation Symposium (ANSS'06), Von Braun Center, Huntsville, Alabama, USA, 2006, pp. 261–268.
, “A DEVS M and S Framework based on Java and Actors”, in Proc. of 2nd European Modeling and Simulation Symposium (EMSS'06), 2006, pp. 337–342.
, “A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks”, in Proc. of Agent-Directed Simulation (ADS'06), SCS Spring Simulation Multiconference (SpringSim'06), Von Braun Center, Huntsville, Alabama, 2006, pp. 115-122.
, “MADAMS: A Software Architecture for the Management of Networked Measurement Services”, Computer Standards & Interfaces, vol. 28, pp. 396–411, 2006.
, “Modelling and Analysis of Dynamic-Priority Real-Time Systems”, in Proc. of Summer Computer Simulation Conference (SCSC'06), Calgary, Canada, 2006.
, “Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines”, Real-Time Systems, vol. 32, pp. 105–123, 2006.
, “Real-time climate control in a complex greenhouse”, in Proc. of 3rd IFAC Workshop on Discrete-Event System Design (DESDes'06), Rydzyna, Poland, 2006.
, “An Approach Based on Simulation and Verification for the Schedulability Analysis of Real-Time Systems”, in Proc. of Summer Computer Simulation Conference (SCSC'05), Philadelphia, Pennsylvania, USA, 2005.
, “A Case Study Using Modular Time Petri Nets and Distributed Simulation”, in Proc. of European Simulation and Modelling Conference (ESM'05), Porto, Portugal, 2005.
, “Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets”, in Proc. of 38th Annual Simulation Symposium (ANSS'05), San Diego, California, USA, 2005, pp. 233–240.
, “Model checking hierarchical communicating real-time state machines”, in Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on, 2005, vol. 1, p. 6 pp.-370.
, “Model Checking Time Petri Nets: A Translation Approach based on Uppaal and a Case Study”, in Proc. IASTED International Conference on Software Engineering (SE'05), Innsbruck, Austria, 2005.
, “Modular Modelling and Analysis of Time-dependent Systems”, in Proc. 19th European Conference on Modelling and Simulation (ECMS'05), Riga, Latvia, 2005.
, “Remote Sensor Calibration Through MADAMS Services”, in Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2005. IDAACS 2005. IEEE, 2005, pp. 2-7.
, “Deployment Configuration and Management of Mobile Actor Systems”, in Proc. of 8th IASTED Int. Conf. on Software Engineering and Applications (SEA'04), MIT Cambridge, MA, USA, 2004.
, “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.
, “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.
,