Publications
Found 132 results
“A safe supervisory flight control scheme in the presence of constraints and anomalies”, International Journal of Applied Mathematics and Computer Science, vol. 25, no. 1, pp. 39-51, 2015.
, “A Simulation Model for the Analysis of DDoS Amplification Attacks”, in UKSim-AMSS 17th International Conference on Modelling and Simulation , Cambridge, UK, 2015, pp. 267-272.
, “Mastering Concept Exploration in Large Industrial Research Projects”, in Proceedings of the INCOSE Italia Conference on Systems Engineering, CIISE 2014, Rome, Italy, November 24-25, 2014., 2014, pp. 26 - 37.
, “Modelling and Simulation of a Defense Strategy to Face Indirect DDoS Flooding Attacks”, in Internet and Distributed Computing Systems, vol. 8729, Springer International Publishing, 2014, pp. 263-274.
, “Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing”, in Security Technology (ICCST), 2014 International Carnahan Conference on, Rome, Italy, 2014.
, “Agent methodological layers in Repast Simphony”, in Proc. of 27th European Conference on Modelling and Simulation (ECMS'2013), Alesund, Norway, 2013.
, “Application of the Artificial Neural Network for blood pressure evaluation with smartphones”, in 7th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS), 2013, 2013.
, “An hybrid command governor supervisory scheme for flight control systems subject to unpredictable anomalies”, in Control and Fault-Tolerant Systems (SysTol), 2013 Conference on, 2013.
, “Image Classification Based on 2D Feature Motifs”, in Flexible Query Answering Systems - 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings, Granada, Spain, 2013, pp. 340 - 351.
, “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.
, “Using time stream Petri nets for workflow modelling analysis and enactment”, SIMULATION, vol. 89, pp. 68-86, 2013.
, “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.
, “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.
, “Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal”, Applied Mathematics and Computation, vol. 218, pp. 8160 - 8186, 2012.
, “Dynamic Sociality Minority Game”, in Proc. of European Conference on Modelling and Simulation, Krakow, 2011, pp. 27–35.
, “HLA_ACTOR_REPAST: An Approach to Distributing RePast Models for High-Performance Simulations”, Simulation Modelling Practice and Theory, vol. 19, pp. 283–300, 2011.
, “A Hybrid Real-Time Supervisory Scheme for Nonlinear Systems”, in Proc. of 2011 American Control Conference (ACC 2011), San Francisco, California, USA, 2011, pp. 305–310.
, “Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors”, Simulation Modelling Practice and Theory, vol. 19, pp. 685–703, 2011.
, “Performance of a multi-agent system over a multi-core cluster managed by Terracotta”, in Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS'11), Boston, MA, USA, 2011.
, “A fault-tolerant real-time supervisory scheme for an interconnected four-tank system”, in American Control Conference (ACC), 2010, 2010, pp. 6210-6215.
, “Parallel Simulation of Multi-agent Systems Using Terracotta”, in Distributed Simulation and Real Time Applications (DS-RT), 2010 IEEE/ACM 14th International Symposium on, 2010, pp. 219-222.
, “A Service-Based Architecture for Dynamically Reconfigurable Workflows”, The Journal of Systems and Software, vol. 83, pp. 1148–1164, 2010.
, “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.
, “Using Time Stream Petri Nets over a Service Architecture for Workflow Modelling and Enactment”, in Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Orlando, FL, USA, 2010, pp. 71–78.
, “An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination”, SIMULATION, vol. 85, pp. 17-32, 2009.
,