Alfredo Garro - RankMe

114 papers A 1B 2C 21Misc 2Journal 33Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Designing an ISO 23247-compliant Hybrid Digital Twin Architecture for industry. Inf. Softw. Technol. Alfredo Garro, Alessandro Sorrenti
2025	C	`conf`	Analyzing the Environmental Footprint in VANETs Through SUMO Simulator. DS-RT Luis Miguel Samaniego Campoverde, Mauro Tropea, Alfredo Garro, Floriano De Rango
2025	C	`conf`	Formal Fragmentation of RAMSAS for Modular and Distributed Reliability Analysis via Simulation. DS-RT Alfredo Garro, Alessandro Sorrenti
2025	—	`conf`	Integrating Model-Based and Data-Driven Approaches for DfX-Oriented Systems Engineering. SoSE Alfredo Garro, Alessandro Sorrenti
2025	J	`jnl`	Pygrossone: a python-powered library for operating with the infinity computer arithmetic. Soft Comput. Alberto Falcone, Alfredo Garro, Yaroslav D. Sergeyev
2025	J	`jnl`	Supporting Large-Scale Distributed Simulations Through the Topic-Based Data Distribution Management System. ACM Trans. Model. Comput. Simul. Alberto Falcone, Alfredo Garro
2024	C	`conf`	Adding Flexibly in Distributed Simulation of Space Missions by Enhancing the SpaceFOM Standard. DS-RT Robson E. De Grande, Alberto Falcone, Alfredo Garro
2023	C	`conf`	A Topic-Based Data Distribution Management for HLA. SIMULTECH Alberto Falcone, Alfredo Garro
2023	J	`jnl`	Advantages of the usage of the Infinity Computer for reducing the Zeno behavior in hybrid system models. Soft Comput. Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
2023	—	`conf`	PyGrossone: A Python Library for the Infinity Computer. NUMTA (3) Alberto Falcone, Alfredo Garro, Yaroslav D. Sergeyev
2022	J	`jnl`	Editorial: Special issue on modelling and simulation in the cloud computing era. J. Simulation Alberto Falcone, Alfredo Garro, Navonil Mustafee, Muaz A. Niazi, Gabriel A. Wainer
2022	C	`conf`	Enabling Simulation Interoperability between International Standards in the Space Domain. DS-RT Edwin Z. Crues, Daniel E. Dexter, Alberto Falcone, Alfredo Garro, Björn Möller
2022	J	`jnl`	Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica. Requir. Eng. Daniel Bouskela, Alberto Falcone, Alfredo Garro, Audrey Jardin, Martin Otter, Nguyen Thuy, Andrea Tundis
2022	J	`jnl`	Simulation of hybrid systems under Zeno behavior using numerical infinitesimals. Commun. Nonlinear Sci. Numer. Simul. Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
2022	J	`jnl`	SpaceFOM - A robust standard for enabling a-priori interoperability of HLA-based space systems simulations. J. Simulation Edwin Z. Crues, Daniel E. Dexter, Alberto Falcone, Alfredo Garro, Björn Möller
2021	J	`jnl`	A Simulink-based software solution using the Infinity Computer methodology for higher order differentiation. Appl. Math. Comput. Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
2021	C	`conf`	Evaluation of Large Scale RoI Mining Applications in Edge Computing Environments. DS-RT Loris Belcastro, Alberto Falcone, Alfredo Garro, Fabrizio Marozzo
2021	B	`conf`	PUF-based Smart Tags for Supply Chain Management. ARES Alberto Falcone, Carmelo Felicetti, Alfredo Garro, Antonino Rullo, Domenico Saccà
2020	—	`conf`	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 Luciano Argento, Sabrina Graziano, Alfredo Garro, Antonella Guzzo, Francesco Pasqua, Domenico Saccà
2020	C	`conf`	Pitfalls and Remedies in Modeling and Simulation of Cyber Physical Systems. DS-RT Alberto Falcone, Alfredo Garro
2020	J	`jnl`	Representation of grossone-based arithmetic in simulink for scientific computing. Soft Comput. Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
2019	C	`ed.`	23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, Cosenza, Italy, October 7-9, 2019 DS-RT Floriano De Rango, Carlos T. Calafate, Miroslav Voznák, Alfredo Garro, Mauro Tropea
2019	—	`conf`	A Knowledge-Based Platform for the Classification of Accounting Documents. SEBD Alessia Amelio, Alberto Falcone, Angelo Furfaro, Alfredo Garro, Domenico Saccà
2019	—	`conf`	A Simulink-Based Infinity Computer Simulator and Some Applications. NUMTA (2) Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev
2019	J	`jnl`	A model-driven approach to enable the simulation of complex systems on distributed architectures. Simul. Paolo Bocciarelli, Andrea D'Ambrogio, Alberto Falcone, Alfredo Garro, Andrea Giglio
2019	—	`conf`	Cyber-physical systems engineering: model-based solutions. SummerSim Alfredo Garro, Vittorio Vaccaro, Stefan Dutré, Jef Stegen
2019	J	`jnl`	Distributed Co-Simulation of Complex Engineered Systems by Combining the High Level Architecture and Functional Mock-up Interface. Simul. Model. Pract. Theory Alberto Falcone, Alfredo Garro
2019	C	`conf`	Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution. DS-RT Andrea D'Ambrogio, Alberto Falcone, Alfredo Garro, Andrea Giglio
2019	—	`conf`	Experiences in using the siso space reference fom standard. SummerSim Björn Möller, Alberto Falcone, Alfredo Garro, Edwin Z. Crues
2019	—	`ch.`	Intelligent Agents and Environment. Encyclopedia of Bioinformatics and Computational Biology (1) Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari
2019	—	`ch.`	Intelligent Agents: Multi-Agent Systems. Encyclopedia of Bioinformatics and Computational Biology (1) Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Paolo Torroni
2018	C	`conf`	A Model-Driven Method to Enable the Distributed Simulation of BPMN Models. WETICE Alfredo Garro, Alberto Falcone, Andrea D'Ambrogio, Andrea Giglio
2018	J	`jnl`	Cybersecurity compliance analysis as a service: Requirements specification and application scenarios. Concurr. Comput. Pract. Exp. Angelo Furfaro, Teresa Gallo, Alfredo Garro, Domenico Saccà, Andrea Tundis
2018	—	`conf`	On the Importance of Simulation in Enabling Continuous Delivery and Evaluating Deployment Pipeline Performance. CIISE Andrea D'Ambrogio, Alberto Falcone, Alfredo Garro, Andrea Giglio
2018	—	`ed.`	Proceedings of the 4th INCOSE Italia Conference on Systems Engineering, Rome, Italy, November 28-30, 2018. CIISE Enrico Mancin, Alfredo Garro, Lucio Tirone, Davide Fierro, Paolo Gaudenzi, Alberto Falcone
2018	C	`conf`	Reactive HLA-based Distributed Simulation Systems with RxHLA. DS-RT Alberto Falcone, Alfredo Garro
2017	C	`ed.`	21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017, Rome, Italy, October 18-20, 2017 DS-RT Andrea D'Ambrogio, Robson E. De Grande, Alfredo Garro, Andrea Tundis
2017	Misc	`conf`	An introduction to developing federations with the High Level Architecture (HLA). WSC Alberto Falcone, Alfredo Garro, Anastasia Anagnostou, Simon J. E. Taylor
2017	J	`jnl`	Experiences in simplifying distributed simulation: The HLA development kit framework. J. Simulation Alberto Falcone, Alfredo Garro, Simon J. E. Taylor, Anastasia Anagnostou, Nauman R. Chaudhry, Omar-Alfred Salah
2017	—	`conf`	Formal Modeling Of System Properties For Simulation-based Verification Of Requirements: Lessons Learned. CIISE Francesco Aiello, Alfredo Garro, Yves Lemmens, Stefan Dutré
2017	C	`conf`	On the execution control of HLA federations using the SISO space reference FOM. DS-RT Björn Möller, Alfredo Garro, Alberto Falcone, Edwin Z. Crues, Daniel E. Dexter
2017	—	`ed.`	Proceedings of the 3rd INCOSE Italia Conference on Systems Engineering, Naples, Italy, November 22-24, 2017. CIISE Davide Fierro, Alfredo Garro, Guido Guizzi, Lucio Tirone, Andrea Tundis
2017	C	`conf`	Simplifying the development of HLA-based distributed simulations with the HLA Development Kit software framework (DKF). DS-RT Alberto Falcone, Alfredo Garro, Simon J. E. Taylor, Anastasia Anagnostou
2017	—	`conf`	Simulation-based verification of system requirements: An integrated solution. ICNSC Francesco Aiello, Alfredo Garro, Yves Lemmens, Stefan Dutré
2017	—	`conf`	Systemic Risk Analysis Through SE Methods And Techniques. CIISE Andrea Tundis, Alfredo Garro, Teresa Gallo, Domenico Saccà, Simona Citrigno, Sabrina Graziano, Max Mühlhäuser
2017	B	`conf`	Systemic Risk Modeling and Evaluation through Simulation and Bayesian Networks. ARES Andrea Tundis, Alfredo Garro, Teresa Gallo, Domenico Saccà, Simona Citrigno, Sabrina Graziano, Max Mühlhäuser
2016	C	`conf`	Architecture-Based Synthesis of 1D-3D Models for Verification and Validation. DS-RT Elias Allegaert, Yves Lemmens, Stefan Dutré, Alfredo Garro, Marco Inzillo
2016	—	`conf`	Extending GOReM Through the RAMSoS Method for Supporting Modeling and Virtual Evaluation of the Systemic Risk. CIISE Simona Citrigno, Angelo Furfaro, Teresa Gallo, Alfredo Garro, Sabrina Graziano, Domenico Saccà, Andrea Tundis
2016	—	`conf`	Formal Requirements Modeling for Simulation-Based Verification: from Theory to Practice. CIISE Alfredo Garro
2016	—	`conf`	On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. ISSE Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson
2016	—	`ed.`	Proceedings of the 2nd INCOSE Italia Conference on Systems Engineering, Turin, Italy, November 14-16, 2016. CIISE Eugenio Brusa, Andrea D'Ambrogio, Alfredo Garro, Lucio Tirone, Andrea Tundis
2016	C	`conf`	Promoting a-priori Interoperability of HLA-Based Simulations in the Space Domain: The SISO Space Reference FOM Initiative. DS-RT Björn Möller, Alfredo Garro, Alberto Falcone, Edwin Z. Crues, Daniel E. Dexter
2016	A	`conf`	ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems. RE Angelo Furfaro, Teresa Gallo, Alfredo Garro, Domenico Saccà, Andrea Tundis
2016	—	`conf`	SINSE+: a software for the acquisition and analysis of open data in health and social area. SEBD 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
2016	—	`conf`	The SEE HLA starter kit: enabling the rapid prototyping of HLA-based simulations for space exploration. SpringSim (MSCIAAS/SPACE) Alberto Falcone, Alfredo Garro
2015	—	`conf`	A Model-Driven Approach to Enable the Distributed Simulation of Complex Systems. CSDM Paolo Bocciarelli, Andrea D'Ambrogio, Alberto Falcone, Alfredo Garro, Andrea Giglio
2015	—	`conf`	A Prototype HLA Development Kit: Results from the 2015 Simulation Exploration Experience. SIGSIM-PADS Alfredo Garro, Alberto Falcone, Nauman R. Chaudhry, Omar-Alfred Salah, Anastasia Anagnostou, Simon J. E. Taylor
2015	J	`jnl`	Agent-based simulation for the evaluation of a new dispatching model for the straddle carrier pooling problem. Simul. Alfredo Garro, Maria Flavia Monaco, Wilma Russo, Marcello Sammarra, Gregorio Sorrentino
2015	C	`conf`	An analytical processing approach to supporting cyber security compliance assessment. SIN Francesco Buccafurri, Lidia Fotia, Angelo Furfaro, Alfredo Garro, Matteo Giacalone, Andrea Tundis
2015	C	`conf`	Easing the Development of HLA Federates: The HLA Development Kit and Its Exploitation in the SEE Project. DS-RT Alberto Falcone, Alfredo Garro, Anastasia Anagnostou, Nauman R. Chaudhry, Omar-Alfred Salah, Simon J. E. Taylor
2015	—	`conf`	Modeling of system properties: Research challenges and promising solutions. ISSE Alfredo Garro, Andrea Tundis
2015	J	`jnl`	On the Reliability Analysis of Systems and SoS: The RAMSAS Method and Related Extensions. IEEE Syst. J. Alfredo Garro, Andrea Tundis
2015	—	`conf`	On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation. SpringSim (TMS-DEVS) Alfredo Garro, Alberto Falcone
2014	—	`conf`	Mastering Concept Exploration in Large Industrial Research Projects. CIISE Simona Citrigno, Angelo Furfaro, Teresa Gallo, Alfredo Garro, Sabrina Graziano, Domenico Saccà
2014	—	`ed.`	Proceedings of the INCOSE Italia Conference on Systems Engineering, CIISE 2014, Rome, Italy, November 24-25, 2014. CIISE Vincenzo Arrichiello, Andrea D'Ambrogio, Alfredo Garro, Carlo Leardi, Carlo Poloni, Andrea Tundis
2014	—	`conf`	RAMSAS4Modelica: a simulation-driven method for system dependability analysis centered on the modelica language and related tools. SpringSim (TMS-DEVS) Alfredo Garro, Andrea Tundis
2014	J	`jnl`	Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method. J. Comput. Sci. Alfredo Garro, Johannes Groß, Marius Riestenpatt gen. Richter, Andrea Tundis
2014	C	`conf`	Simulation Exploration Experience: A Communication System and a 3D Real Time Visualization for a Moon Base Simulated Scenario. DS-RT Alberto Falcone, Alfredo Garro, Francesco Longo, Francisco Spadafora
2014	—	`conf`	System Dependability Analysis: Main Issues and Possible Solutions. CIISE Alfredo Garro
2014	—	`conf`	Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing. ICCST Angelo Furfaro, Alfredo Garro, Andrea Tundis
2013	J	`jnl`	Computing Nash Equilibria in Non-Cooperative Games: An Agent-Based approach. Int. J. Intell. Mechatronics Robotics Alfredo Garro
2013	—	`conf`	Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches. EOOLT Lena Rogovchenko-Buffoni, Andrea Tundis, Peter Fritzson, Alfredo Garro
2013	—	`ed.`	Proceedings of the 14th Workshop "From Objects to Agents" co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AIIA 2013), Torino, Italy, December 2-3, 2013. WOA@AIIA Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Alfredo Garro
2013	J	`jnl`	Single-tape and Multi-tape Turing machines through the lens of the Grossone methodology. CoRR Yaroslav D. Sergeyev, Alfredo Garro
2013	J	`jnl`	Single-tape and multi-tape Turing machines through the lens of the Grossone methodology. J. Supercomput. Yaroslav D. Sergeyev, Alfredo Garro
2012	—	`conf`	A model-based method for system reliability analysis. SpringSim (TMS-DEVS) Alfredo Garro, Andrea Tundis
2012	C	`conf`	Enhancing the RAMSAS Method for System Reliability Analysis - An Exploitation in the Automotive Domain. SIMULTECH Alfredo Garro, Andrea Tundis
2012	—	`conf`	Modeling and simulation for system reliability analysis: The RAMSAS method. SoSE Alfredo Garro, Andrea Tundis
2012	J	`jnl`	Observability of Turing Machines: a Refinement of the Theory of Computation CoRR Yaroslav D. Sergeyev, Alfredo Garro
2012	J	`jnl`	Special section on engineering complex software systems through multi-agent systems and simulation. Inf. Softw. Technol. Carole Bernon, Alfredo Garro, Jorge J. Gómez-Sanz
2011	C	`conf`	A Model-driven Architecture Approach for Agent-based Modeling and Simulation. SIMULTECH Alfredo Garro, Francesco Parisi, Wilma Russo
2011	—	`conf`	A Process Based on the Model-Driven Architecture to Enable the Definition of Platform-Independent Simulation Models. SIMULTECH (Selected Papers) Alfredo Garro, Francesco Parisi, Wilma Russo
2011	—	`conf`	PROCE: an agent-based PROcess Composition and execution Environment. WOA Francesco De Luca, Andrea Tundis, Alfredo Garro
2011	—	`conf`	Performance Evaluation of Content Distribution Network Architectures through Agent-Based Modeling and Simulation. WOA Giancarlo Fortino, Alfredo Garro, Wilma Russo, Marino Vaccaro
2011	—	`ed.`	Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011 WOA Giancarlo Fortino, Alfredo Garro, Luigi Palopoli, Wilma Russo, Giandomenico Spezzano
2010	J	`jnl`	Observability of Turing Machines: A Refinement of the Theory of Computation. Informatica Yaroslav D. Sergeyev, Alfredo Garro
2010	J	`jnl`	Using event-driven lightweight DSC-based agents for MAS modelling. Int. J. Agent Oriented Softw. Eng. Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
2010	J	`jnl`	easyABMS: A domain-expert oriented methodology for agent-based modeling and simulation. Simul. Model. Pract. Theory Alfredo Garro, Wilma Russo
2009	—	`conf`	A Multi-Coordination based Process for the Design of Mobile Agent Interactions. IEEE IA Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
2009	—	`conf`	Distributed architectures for surrogate clustering in CDNs: a simulation-based analysis. UPGRADE-CN Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo, Marino Vaccaro
2009	—	`conf`	Exploiting the easyABMS Methodology in Social and Economic Domains. WOA Alfredo Garro, Wilma Russo
2009	—	`conf`	Exploiting the easyABMS Methodology in the Logistics Domain. MALLOW Alfredo Garro, Wilma Russo
2009	—	`ch.`	Learning Nash Equilibria in Non-Cooperative Games. Encyclopedia of Artificial Intelligence Alfredo Garro
2009	J	`jnl`	X-Learn: An XML-Based, Multi-agent System for Supporting "User-Device" Adaptive E-learning CoRR Pasquale De Meo, Alfredo Garro, Giorgio Terracina, Domenico Ursino
2008	J	`jnl`	Achieving Mobile Agent Systems interoperability through software layering. Inf. Softw. Technol. Giancarlo Fortino, Alfredo Garro, Wilma Russo
2008	J	`jnl`	PASSIM: a simulation-based process for the development of multi-agent systems. Int. J. Agent Oriented Softw. Eng. Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
2008	—	`conf`	Using Multi-Coordination for the Design of Mobile Agent Interactions. WOA Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
2007	—	`conf`	ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems. WOA Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
2007	—	`conf`	Enabling the Reuse of Platform-Dependent Agents in Heterogeneous Agent-Based Applications. LADS Giancarlo Fortino, Alfredo Garro, Wilma Russo
2007	J	`jnl`	Method fragments for agent design methodologies: from standardisation to research. Int. J. Agent Oriented Softw. Eng. Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
2007	J	`jnl`	Personalizing learning programs with X-Learn, an XML-based, "user-device" adaptive multi-agent system. Inf. Sci. Pasquale De Meo, Alfredo Garro, Giorgio Terracina, Domenico Ursino
2006	—	`conf`	An XML-based multi-agent system to support an adaptive cultural heritage learning. ICN/ICONS/MCL Nunzio Casalino, Alessandro D'Atri, Alfredo Garro, Pasquale Rullo, Domenico Saccà, Domenico Ursino
2006	—	`conf`	Distributed Workflow Enactment: an Agent-based Framework. WOA Giancarlo Fortino, Alfredo Garro, Wilma Russo
2006	J	`jnl`	Exploiting agents in e-learning and skills management context. AI Commun. Alfredo Garro, Luigi Palopoli, Francesco Ricca
2006	Misc	`conf`	From modeling to enactment of distributed workflows: an agent-based approach. SAC Giancarlo Fortino, Alfredo Garro, Wilma Russo
2006	—	`conf`	Software Agents for Learning Nash Equilibria in Non-Cooperative Games. WOA Alfredo Garro, Marco Iusi
2005	—	`conf`	A Discrete-Event Simulation Framework for the Validation of Agent-based and Multi-Agent Systems. WOA Giancarlo Fortino, Alfredo Garro, Wilma Russo
2005	—	`—`	A methodological approach to multi-agent systems design and related technologies. Alfredo Garro
2005	J	`jnl`	An integrated approach for the development and validation of multi-agent systems. Comput. Syst. Sci. Eng. Giancarlo Fortino, Alfredo Garro, Wilma Russo
2004	J	`jnl`	A multi-agent system for supporting the prediction of protein structures. Integr. Comput. Aided Eng. Alfredo Garro, Giorgio Terracina, Domenico Ursino
2004	—	`conf`	From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study. MATES Giancarlo Fortino, Alfredo Garro, Wilma Russo
2004	—	`conf`	Using Method Engineering for the Construction of Agent-Oriented Methodologies. WOA Giancarlo Fortino, Alfredo Garro, Wilma Russo
2003	—	`conf`	X-Learn: An XML-Based, Multi-agent System for Supporting "User-Device" Adaptive E-learning. OTM Pasquale De Meo, Alfredo Garro, Giorgio Terracina, Domenico Ursino
2002	—	`conf`	An XML Multi-agent System for E-learning and Skill Management. Agent Technologies, Infrastructures, Tools, and Applications for E-Services Alfredo Garro, Luigi Palopoli