Alfredo Garro

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 40

Top Topics

Reliability Analysis

International Standards

Development Kit

Top Venues

Publications

Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
Advantages of the usage of the Infinity Computer for reducing the Zeno behavior in hybrid system models. Soft Comput. 27 (12) (2023)
Alberto Falcone, Alfredo Garro
A Topic-Based Data Distribution Management for HLA. SIMULTECH (2023)
Edwin Z. Crues, Daniel E. Dexter, Alberto Falcone, Alfredo Garro, Björn Möller
Enabling Simulation Interoperability between International Standards in the Space Domain. DS-RT (2022)
Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
Simulation of hybrid systems under Zeno behavior using numerical infinitesimals. Commun. Nonlinear Sci. Numer. Simul. 111 (2022)
Edwin Z. Crues, Daniel E. Dexter, Alberto Falcone, Alfredo Garro, Björn Möller
SpaceFOM - A robust standard for enabling a-priori interoperability of HLA-based space systems simulations. J. Simulation 16 (6) (2022)
Alberto Falcone, Alfredo Garro, Navonil Mustafee, Muaz A. Niazi, Gabriel A. Wainer
Editorial: Special issue on modelling and simulation in the cloud computing era. J. Simulation 16 (6) (2022)
Daniel Bouskela, Alberto Falcone, Alfredo Garro, Audrey Jardin, Martin Otter, Nguyen Thuy, Andrea Tundis
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica. Requir. Eng. 27 (1) (2022)
Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
A Simulink-based software solution using the Infinity Computer methodology for higher order differentiation. Appl. Math. Comput. 409 (2021)
Loris Belcastro, Alberto Falcone, Alfredo Garro, Fabrizio Marozzo
Evaluation of Large Scale RoI Mining Applications in Edge Computing Environments. DS-RT (2021)
Alberto Falcone, Carmelo Felicetti, Alfredo Garro, Antonino Rullo, Domenico Saccà
PUF-based Smart Tags for Supply Chain Management. ARES (2021)
Luciano Argento, Sabrina Graziano, Alfredo Garro, Antonella Guzzo, Francesco Pasqua, Domenico Saccà
A Simulation-based and Data-driven Framework for Enabling the Analysis and Design of Business Processes based on Blockchain and Smart Contracts Solutions. DLT@ITASEC (2020)
Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
Representation of grossone-based arithmetic in simulink for scientific computing. Soft Comput. 24 (23) (2020)
Alberto Falcone, Alfredo Garro
Pitfalls and Remedies in Modeling and Simulation of Cyber Physical Systems. DS-RT (2020)
Paolo Bocciarelli, Andrea D'Ambrogio, Alberto Falcone, Alfredo Garro, Andrea Giglio
A model-driven approach to enable the simulation of complex systems on distributed architectures. Simul. 95 (12) (2019)
Björn Möller, Alberto Falcone, Alfredo Garro, Edwin Z. Crues
Experiences in using the siso space reference fom standard. SummerSim (2019)
Alessia Amelio, Alberto Falcone, Angelo Furfaro, Alfredo Garro, Domenico Saccà
A Knowledge-Based Platform for the Classification of Accounting Documents. SEBD (2019)
Alberto Falcone, Alfredo Garro
Distributed Co-Simulation of Complex Engineered Systems by Combining the High Level Architecture and Functional Mock-up Interface. Simul. Model. Pract. Theory 97 (2019)
Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
A Simulink-Based Infinity Computer Simulator and Some Applications. NUMTA (2) (2019)
Andrea D'Ambrogio, Alberto Falcone, Alfredo Garro, Andrea Giglio
Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution. DS-RT (2019)
Alfredo Garro, Vittorio Vaccaro, Stefan Dutré, Jef Stegen
Cyber-physical systems engineering: model-based solutions. SummerSim (2019)
Alfredo Garro, Alberto Falcone, Andrea D'Ambrogio, Andrea Giglio
A Model-Driven Method to Enable the Distributed Simulation of BPMN Models. WETICE (2018)
Alberto Falcone, Alfredo Garro
Reactive HLA-based Distributed Simulation Systems with RxHLA. DS-RT (2018)
Angelo Furfaro, Teresa Gallo, Alfredo Garro, Domenico Saccà, Andrea Tundis
Cybersecurity compliance analysis as a service: Requirements specification and application scenarios. Concurr. Comput. Pract. Exp. 30 (12) (2018)
Andrea D'Ambrogio, Alberto Falcone, Alfredo Garro, Andrea Giglio
On the Importance of Simulation in Enabling Continuous Delivery and Evaluating Deployment Pipeline Performance. CIISE (2018)
Andrea Tundis, Alfredo Garro, Teresa Gallo, Domenico Saccà, Simona Citrigno, Sabrina Graziano, Max Mühlhäuser
Systemic Risk Analysis Through SE Methods And Techniques. CIISE (2017)
Andrea Tundis, Alfredo Garro, Teresa Gallo, Domenico Saccà, Simona Citrigno, Sabrina Graziano, Max Mühlhäuser
Systemic Risk Modeling and Evaluation through Simulation and Bayesian Networks. ARES (2017)
Björn Möller, Alfredo Garro, Alberto Falcone, Edwin Z. Crues, Daniel E. Dexter
On the execution control of HLA federations using the SISO space reference FOM. DS-RT (2017)
Alberto Falcone, Alfredo Garro, Anastasia Anagnostou, Simon J. E. Taylor
An introduction to developing federations with the High Level Architecture (HLA). WSC (2017)
Alberto Falcone, Alfredo Garro, Simon J. E. Taylor, Anastasia Anagnostou, Nauman R. Chaudhry, Omar-Alfred Salah
Experiences in simplifying distributed simulation: The HLA development kit framework. J. Simulation 11 (3) (2017)
Alberto Falcone, Alfredo Garro, Simon J. E. Taylor, Anastasia Anagnostou
Simplifying the development of HLA-based distributed simulations with the HLA Development Kit software framework (DKF). DS-RT (2017)
Francesco Aiello, Alfredo Garro, Yves Lemmens, Stefan Dutré
Simulation-based verification of system requirements: An integrated solution. ICNSC (2017)
Francesco Aiello, Alfredo Garro, Yves Lemmens, Stefan Dutré
Formal Modeling Of System Properties For Simulation-based Verification Of Requirements: Lessons Learned. CIISE (2017)
Angelo Furfaro, Teresa Gallo, Alfredo Garro, Domenico Saccà, Andrea Tundis
ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems. RE (2016)
Simona Citrigno, Angelo Furfaro, Teresa Gallo, Alfredo Garro, Sabrina Graziano, Domenico Saccà, Andrea Tundis
Extending GOReM Through the RAMSoS Method for Supporting Modeling and Virtual Evaluation of the Systemic Risk. CIISE (2016)
Björn Möller, Alfredo Garro, Alberto Falcone, Edwin Z. Crues, Daniel E. Dexter
Promoting a-priori Interoperability of HLA-Based Simulations in the Space Domain: The SISO Space Reference FOM Initiative. DS-RT (2016)
Alfredo Garro
Formal Requirements Modeling for Simulation-Based Verification: from Theory to Practice. CIISE (2016)
Lidia Federico, Pasquale Franco, Antonio Minelli, Alessandra Perri, Luciano Caroprese, Rocco Picarelli, Giuseppe Tradigo, Eugenio Vocaturo, Francesco Dattola, Alfredo Fortunato, Pasquale Lambardi, Sara Laurita, Ivana Pellegrino, Alfredo Garro, Andrea Pugliese, Andrea Tagarelli, Pierangelo Veltri, Ester Zumpano
SINSE+: a software for the acquisition and analysis of open data in health and social area. SEBD (2016)
Elias Allegaert, Yves Lemmens, Stefan Dutré, Alfredo Garro, Marco Inzillo
Architecture-Based Synthesis of 1D-3D Models for Verification and Validation. DS-RT (2016)
Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. ISSE (2016)
Alberto Falcone, Alfredo Garro
The SEE HLA starter kit: enabling the rapid prototyping of HLA-based simulations for space exploration. SpringSim (MSCIAAS/SPACE) (2016)
Paolo Bocciarelli, Andrea D'Ambrogio, Alberto Falcone, Alfredo Garro, Andrea Giglio
A Model-Driven Approach to Enable the Distributed Simulation of Complex Systems. CSDM (2015)
Alfredo Garro, Andrea Tundis
On the Reliability Analysis of Systems and SoS: The RAMSAS Method and Related Extensions. IEEE Syst. J. 9 (1) (2015)
Alfredo Garro, Alberto Falcone, Nauman R. Chaudhry, Omar-Alfred Salah, Anastasia Anagnostou, Simon J. E. Taylor
A Prototype HLA Development Kit: Results from the 2015 Simulation Exploration Experience. SIGSIM-PADS (2015)
Alfredo Garro, Maria Flavia Monaco, Wilma Russo, Marcello Sammarra, Gregorio Sorrentino
Agent-based simulation for the evaluation of a new dispatching model for the straddle carrier pooling problem. Simul. 91 (2) (2015)
Francesco Buccafurri, Lidia Fotia, Angelo Furfaro, Alfredo Garro, Matteo Giacalone, Andrea Tundis
An analytical processing approach to supporting cyber security compliance assessment. SIN (2015)
Alfredo Garro, Andrea Tundis
Modeling of system properties: Research challenges and promising solutions. ISSE (2015)
Alberto Falcone, Alfredo Garro, Anastasia Anagnostou, Nauman R. Chaudhry, Omar-Alfred Salah, Simon J. E. Taylor
Easing the Development of HLA Federates: The HLA Development Kit and Its Exploitation in the SEE Project. DS-RT (2015)
Alfredo Garro, Alberto Falcone
On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation. SpringSim (TMS-DEVS) (2015)
Simona Citrigno, Angelo Furfaro, Teresa Gallo, Alfredo Garro, Sabrina Graziano, Domenico Saccà
Mastering Concept Exploration in Large Industrial Research Projects. CIISE (2014)
Alfredo Garro
System Dependability Analysis: Main Issues and Possible Solutions. CIISE (2014)
Alfredo Garro, Johannes Groß, Marius Riestenpatt gen. Richter, Andrea Tundis
Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method. J. Comput. Sci. 5 (3) (2014)
Alfredo Garro, Andrea Tundis
RAMSAS4Modelica: a simulation-driven method for system dependability analysis centered on the modelica language and related tools. SpringSim (TMS-DEVS) (2014)
Alberto Falcone, Alfredo Garro, Francesco Longo, Francisco Spadafora
Simulation Exploration Experience: A Communication System and a 3D Real Time Visualization for a Moon Base Simulated Scenario. DS-RT (2014)
Angelo Furfaro, Alfredo Garro, Andrea Tundis
Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing. ICCST (2014)
Yaroslav D. Sergeyev, Alfredo Garro
Single-tape and multi-tape Turing machines through the lens of the Grossone methodology. J. Supercomput. 65 (2) (2013)
Lena Rogovchenko-Buffoni, Andrea Tundis, Peter Fritzson, Alfredo Garro
Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches. EOOLT (2013)
Alfredo Garro
Computing Nash Equilibria in Non-Cooperative Games: An Agent-Based approach. Int. J. Intell. Mechatronics Robotics 3 (3) (2013)
Yaroslav D. Sergeyev, Alfredo Garro
Single-tape and Multi-tape Turing machines through the lens of the Grossone methodology. CoRR (2013)
Carole Bernon, Alfredo Garro, Jorge J. Gómez-Sanz
Special section on engineering complex software systems through multi-agent systems and simulation. Inf. Softw. Technol. 54 (6) (2012)
Yaroslav D. Sergeyev, Alfredo Garro
Observability of Turing Machines: a Refinement of the Theory of Computation CoRR (2012)
Alfredo Garro, Andrea Tundis
Enhancing the RAMSAS Method for System Reliability Analysis - An Exploitation in the Automotive Domain. SIMULTECH (2012)
Alfredo Garro, Andrea Tundis
Modeling and simulation for system reliability analysis: The RAMSAS method. SoSE (2012)
Alfredo Garro, Andrea Tundis
A model-based method for system reliability analysis. SpringSim (TMS-DEVS) (2012)
Alfredo Garro, Francesco Parisi, Wilma Russo
A Model-driven Architecture Approach for Agent-based Modeling and Simulation. SIMULTECH (2011)
Giancarlo Fortino, Alfredo Garro, Wilma Russo, Marino Vaccaro
Performance Evaluation of Content Distribution Network Architectures through Agent-Based Modeling and Simulation. WOA (2011)
Francesco De Luca, Andrea Tundis, Alfredo Garro
PROCE: an agent-based PROcess Composition and execution Environment. WOA (2011)
Alfredo Garro, Francesco Parisi, Wilma Russo
A Process Based on the Model-Driven Architecture to Enable the Definition of Platform-Independent Simulation Models. SIMULTECH (Selected Papers) (2011)
Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Using event-driven lightweight DSC-based agents for MAS modelling. Int. J. Agent Oriented Softw. Eng. 4 (2) (2010)
Alfredo Garro, Wilma Russo
easyABMS: A domain-expert oriented methodology for agent-based modeling and simulation. Simul. Model. Pract. Theory 18 (10) (2010)
Yaroslav D. Sergeyev, Alfredo Garro
Observability of Turing Machines: A Refinement of the Theory of Computation. Informatica 21 (3) (2010)
Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo, Marino Vaccaro
Distributed architectures for surrogate clustering in CDNs: a simulation-based analysis. UPGRADE-CN (2009)
Pasquale De Meo, Alfredo Garro, Giorgio Terracina, Domenico Ursino
X-Learn: An XML-Based, Multi-agent System for Supporting "User-Device" Adaptive E-learning CoRR (2009)
Alfredo Garro, Wilma Russo
Exploiting the easyABMS Methodology in Social and Economic Domains. WOA (2009)
Alfredo Garro, Wilma Russo
Exploiting the easyABMS Methodology in the Logistics Domain. MALLOW (2009)
Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
A Multi-Coordination based Process for the Design of Mobile Agent Interactions. IEEE IA (2009)
Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Using Multi-Coordination for the Design of Mobile Agent Interactions. WOA (2008)
Giancarlo Fortino, Alfredo Garro, Wilma Russo
Achieving Mobile Agent Systems interoperability through software layering. Inf. Softw. Technol. 50 (4) (2008)
Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
PASSIM: a simulation-based process for the development of multi-agent systems. Int. J. Agent Oriented Softw. Eng. 2 (2) (2008)
Pasquale De Meo, Alfredo Garro, Giorgio Terracina, Domenico Ursino
Personalizing learning programs with X-Learn, an XML-based, "user-device" adaptive multi-agent system. Inf. Sci. 177 (8) (2007)
Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Method fragments for agent design methodologies: from standardisation to research. Int. J. Agent Oriented Softw. Eng. 1 (1) (2007)
Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems. WOA (2007)
Giancarlo Fortino, Alfredo Garro, Wilma Russo
Enabling the Reuse of Platform-Dependent Agents in Heterogeneous Agent-Based Applications. LADS (2007)
Giancarlo Fortino, Alfredo Garro, Wilma Russo
From modeling to enactment of distributed workflows: an agent-based approach. SAC (2006)
Alfredo Garro, Marco Iusi
Software Agents for Learning Nash Equilibria in Non-Cooperative Games. WOA (2006)
Alfredo Garro, Luigi Palopoli, Francesco Ricca
Exploiting agents in e-learning and skills management context. AI Commun. 19 (2) (2006)
Giancarlo Fortino, Alfredo Garro, Wilma Russo
Distributed Workflow Enactment: an Agent-based Framework. WOA (2006)
Nunzio Casalino, Alessandro D'Atri, Alfredo Garro, Pasquale Rullo, Domenico Saccà, Domenico Ursino
An XML-based multi-agent system to support an adaptive cultural heritage learning. ICN/ICONS/MCL (2006)
Giancarlo Fortino, Alfredo Garro, Wilma Russo
An integrated approach for the development and validation of multi-agent systems. Comput. Syst. Sci. Eng. 20 (4) (2005)
Giancarlo Fortino, Alfredo Garro, Wilma Russo
A Discrete-Event Simulation Framework for the Validation of Agent-based and Multi-Agent Systems. WOA (2005)
Giancarlo Fortino, Alfredo Garro, Wilma Russo
From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study. MATES (2004)
Giancarlo Fortino, Alfredo Garro, Wilma Russo
Using Method Engineering for the Construction of Agent-Oriented Methodologies. WOA (2004)
Alfredo Garro, Giorgio Terracina, Domenico Ursino
A multi-agent system for supporting the prediction of protein structures. Integr. Comput. Aided Eng. 11 (3) (2004)
Pasquale De Meo, Alfredo Garro, Giorgio Terracina, Domenico Ursino
X-Learn: An XML-Based, Multi-agent System for Supporting "User-Device" Adaptive E-learning. OTM (2003)
Alfredo Garro, Luigi Palopoli
An XML Multi-agent System for E-learning and Skill Management. Agent Technologies, Infrastructures, Tools, and Applications for E-Services (2002)