Alfredo Garro

Orcid: 0000-0003-0351-0869

According to our database1, Alfredo Garro authored at least 95 papers between 2002 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Advantages of the usage of the Infinity Computer for reducing the Zeno behavior in hybrid system models.
Soft Comput., June, 2023

A Topic-Based Data Distribution Management for HLA.
Proceedings of the 13th International Conference on Simulation and Modeling Methodologies, 2023

2022
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.
Requir. Eng., 2022

Editorial: Special issue on modelling and simulation in the cloud computing era.
J. Simulation, 2022

SpaceFOM - A robust standard for enabling a-priori interoperability of HLA-based space systems simulations.
J. Simulation, 2022

Simulation of hybrid systems under Zeno behavior using numerical infinitesimals.
Commun. Nonlinear Sci. Numer. Simul., 2022

Enabling Simulation Interoperability between International Standards in the Space Domain.
Proceedings of the 26th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2022

2021
A Simulink-based software solution using the Infinity Computer methodology for higher order differentiation.
Appl. Math. Comput., 2021

Evaluation of Large Scale RoI Mining Applications in Edge Computing Environments.
Proceedings of the 25th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2021

PUF-based Smart Tags for Supply Chain Management.
Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2020
Representation of grossone-based arithmetic in simulink for scientific computing.
Soft Comput., 2020

A Simulation-based and Data-driven Framework for Enabling the Analysis and Design of Business Processes based on Blockchain and Smart Contracts Solutions.
Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC 2020, 2020

Pitfalls and Remedies in Modeling and Simulation of Cyber Physical Systems.
Proceedings of the 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2020

2019
Intelligent Agents: Multi-Agent Systems.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Intelligent Agents and Environment.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

A model-driven approach to enable the simulation of complex systems on distributed architectures.
Simul., 2019

Distributed Co-Simulation of Complex Engineered Systems by Combining the High Level Architecture and Functional Mock-up Interface.
Simul. Model. Pract. Theory, 2019

A Knowledge-Based Platform for the Classification of Accounting Documents.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Experiences in using the siso space reference fom standard.
Proceedings of the 2019 Summer Simulation Conference, 2019

Cyber-physical systems engineering: model-based solutions.
Proceedings of the 2019 Summer Simulation Conference, 2019

A Simulink-Based Infinity Computer Simulator and Some Applications.
Proceedings of the Numerical Computations: Theory and Algorithms, 2019

Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution.
Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

2018
Cybersecurity compliance analysis as a service: Requirements specification and application scenarios.
Concurr. Comput. Pract. Exp., 2018

A Model-Driven Method to Enable the Distributed Simulation of BPMN Models.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Reactive HLA-based Distributed Simulation Systems with RxHLA.
Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018

On the Importance of Simulation in Enabling Continuous Delivery and Evaluating Deployment Pipeline Performance.
Proceedings of the 4th INCOSE Italia Conference on Systems Engineering, 2018

2017
Experiences in simplifying distributed simulation: The HLA development kit framework.
J. Simulation, 2017

An introduction to developing federations with the High Level Architecture (HLA).
Proceedings of the 2017 Winter Simulation Conference, 2017

Simulation-based verification of system requirements: An integrated solution.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

On the execution control of HLA federations using the SISO space reference FOM.
Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017

Simplifying the development of HLA-based distributed simulations with the HLA Development Kit software framework (DKF).
Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017

Systemic Risk Analysis Through SE Methods And Techniques.
Proceedings of the 3rd INCOSE Italia Conference on Systems Engineering, 2017

Formal Modeling Of System Properties For Simulation-based Verification Of Requirements: Lessons Learned.
Proceedings of the 3rd INCOSE Italia Conference on Systems Engineering, 2017

Systemic Risk Modeling and Evaluation through Simulation and Bayesian Networks.
Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016
The SEE HLA starter kit: enabling the rapid prototyping of HLA-based simulations for space exploration.
Proceedings of the Modeling and Simulation of Complexity in Intelligent, 2016

SINSE+: a software for the acquisition and analysis of open data in health and social area.
Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.
Proceedings of the IEEE International Symposium on Systems Engineering, 2016

Promoting a-priori Interoperability of HLA-Based Simulations in the Space Domain: The SISO Space Reference FOM Initiative.
Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2016

Architecture-Based Synthesis of 1D-3D Models for Verification and Validation.
Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2016

Formal Requirements Modeling for Simulation-Based Verification: from Theory to Practice.
Proceedings of the 2nd INCOSE Italia Conference on Systems Engineering, 2016

Extending GOReM Through the RAMSoS Method for Supporting Modeling and Virtual Evaluation of the Systemic Risk.
Proceedings of the 2nd INCOSE Italia Conference on Systems Engineering, 2016

2015
On the Reliability Analysis of Systems and SoS: The RAMSAS Method and Related Extensions.
IEEE Syst. J., 2015

Agent-based simulation for the evaluation of a new dispatching model for the straddle carrier pooling problem.
Simul., 2015

On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

An analytical processing approach to supporting cyber security compliance assessment.
Proceedings of the 8th International Conference on Security of Information and Networks, 2015

A Prototype HLA Development Kit: Results from the 2015 Simulation Exploration Experience.
Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, London, United Kingdom, June 10, 2015

Modeling of system properties: Research challenges and promising solutions.
Proceedings of the IEEE International Symposium on Systems Engineering, 2015

Easing the Development of HLA Federates: The HLA Development Kit and Its Exploitation in the SEE Project.
Proceedings of the 19th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2015

A Model-Driven Approach to Enable the Distributed Simulation of Complex Systems.
Proceedings of the Complex Systems Design & Management, 2015

2014
Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method.
J. Comput. Sci., 2014

RAMSAS4Modelica: a simulation-driven method for system dependability analysis centered on the modelica language and related tools.
Proceedings of the 2014 Spring Simulation Multiconference, 2014

Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing.
Proceedings of the International Carnahan Conference on Security Technology, 2014

Simulation Exploration Experience: A Communication System and a 3D Real Time Visualization for a Moon Base Simulated Scenario.
Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014

System Dependability Analysis: Main Issues and Possible Solutions.
Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014

Mastering Concept Exploration in Large Industrial Research Projects.
Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014

2013
Single-tape and multi-tape Turing machines through the lens of the Grossone methodology.
J. Supercomput., 2013

Computing Nash Equilibria in Non-Cooperative Games: An Agent-Based approach.
Int. J. Intell. Mechatronics Robotics, 2013

Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

2012
Special section on engineering complex software systems through multi-agent systems and simulation.
Inf. Softw. Technol., 2012

Modeling and simulation for system reliability analysis: The RAMSAS method.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

A model-based method for system reliability analysis.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Enhancing the RAMSAS Method for System Reliability Analysis - An Exploitation in the Automotive Domain.
Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

2011
PROCE: an agent-based PROcess Composition and execution Environment.
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

Performance Evaluation of Content Distribution Network Architectures through Agent-Based Modeling and Simulation.
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

A Process Based on the Model-Driven Architecture to Enable the Definition of Platform-Independent Simulation Models.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2011

A Model-driven Architecture Approach for Agent-based Modeling and Simulation.
Proceedings of the SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Noordwijkerhout, The Netherlands, 29, 2011

2010
easyABMS: A domain-expert oriented methodology for agent-based modeling and simulation.
Simul. Model. Pract. Theory, 2010

Observability of Turing Machines: A Refinement of the Theory of Computation.
Informatica, 2010

Using event-driven lightweight DSC-based agents for MAS modelling.
Int. J. Agent Oriented Softw. Eng., 2010

2009
Learning Nash Equilibria in Non-Cooperative Games.
Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

Exploiting the easyABMS Methodology in Social and Economic Domains.
Proceedings of the 10th Workshop "From Objects to Agents", Parma, Italy, July 9-10, 2009, 2009

Exploiting the easyABMS Methodology in the Logistics Domain.
Proceedings of the Second Multi-Agent Logics, 2009

A Multi-Coordination based Process for the Design of Mobile Agent Interactions.
Proceedings of the IEEE Symposium on Intelligent Agents, IA 2009, part of the IEEE Symposium Series on Computational Intelligence 2009, Nashville, TN, USA, March 30, 2009, 2009

Distributed architectures for surrogate clustering in CDNs: a simulation-based analysis.
Proceedings of the 4th Workshop on the Use of P2P, 2009

2008
Achieving Mobile Agent Systems interoperability through software layering.
Inf. Softw. Technol., 2008

PASSIM: a simulation-based process for the development of multi-agent systems.
Int. J. Agent Oriented Softw. Eng., 2008

Using Multi-Coordination for the Design of Mobile Agent Interactions.
Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008

2007
Personalizing learning programs with X-Learn, an XML-based, "user-device" adaptive multi-agent system.
Inf. Sci., 2007

Method fragments for agent design methodologies: from standardisation to research.
Int. J. Agent Oriented Softw. Eng., 2007

ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems.
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

Enabling the Reuse of Platform-Dependent Agents in Heterogeneous Agent-Based Applications.
Proceedings of the Languages, 2007

2006
Exploiting agents in e-learning and skills management context.
AI Commun., 2006

Software Agents for Learning Nash Equilibria in Non-Cooperative Games.
Proceedings of the 7th WOA 2006 Workshop, 2006

Distributed Workflow Enactment: an Agent-based Framework.
Proceedings of the 7th WOA 2006 Workshop, 2006

From modeling to enactment of distributed workflows: an agent-based approach.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

An XML-based multi-agent system to support an adaptive cultural heritage learning.
Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

2005
A methodological approach to multi-agent systems design and related technologies.
PhD thesis, 2005

An integrated approach for the development and validation of multi-agent systems.
Comput. Syst. Sci. Eng., 2005

A Discrete-Event Simulation Framework for the Validation of Agent-based and Multi-Agent Systems.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

2004
A multi-agent system for supporting the prediction of protein structures.
Integr. Comput. Aided Eng., 2004

Using Method Engineering for the Construction of Agent-Oriented Methodologies.
Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study.
Proceedings of the Multiagent System Technologies, Second German Conference, 2004

2003
X-Learn: An XML-Based, Multi-agent System for Supporting "User-Device" Adaptive E-learning.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

2002
An XML Multi-agent System for E-learning and Skill Management.
Proceedings of the Agent Technologies, 2002


  Loading...