Alfredo Garro

Proceedings of the 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2020

2019

Intelligent Agents: Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Intelligent Agents and Environment.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Simul., 2019

Distributed Co-Simulation of Complex Engineered Systems by Combining the High Level Architecture and Functional Mock-up Interface.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2019

A Knowledge-Based Platform for the Classification of Accounting Documents.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Experiences in using the siso space reference fom standard.

[BibT_eX]

[DOI]

Proceedings of the 2019 Summer Simulation Conference, 2019

Cyber-physical systems engineering: model-based solutions.

[BibT_eX]

[DOI]

Proceedings of the 2019 Summer Simulation Conference, 2019

A Simulink-Based Infinity Computer Simulator and Some Applications.

[BibT_eX]

[DOI]

Marat S. Mukhametzhanov

Yaroslav D. Sergeyev

Proceedings of the Numerical Computations: Theory and Algorithms, 2019

Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2018

A Model-Driven Method to Enable the Distributed Simulation of BPMN Models.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Reactive HLA-based Distributed Simulation Systems with RxHLA.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 4th INCOSE Italia Conference on Systems Engineering, 2018

2017

Experiences in simplifying distributed simulation: The HLA development kit framework.

[BibT_eX]

[DOI]

J. Simulation, 2017

An introduction to developing federations with the High Level Architecture (HLA).

[BibT_eX]

[DOI]

Proceedings of the 2017 Winter Simulation Conference, 2017

Simulation-based verification of system requirements: An integrated solution.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017

Systemic Risk Analysis Through SE Methods And Techniques.

[BibT_eX]

[DOI]

Proceedings of the 3rd INCOSE Italia Conference on Systems Engineering, 2017

Formal Modeling Of System Properties For Simulation-based Verification Of Requirements: Lessons Learned.

[BibT_eX]

[DOI]

Proceedings of the 3rd INCOSE Italia Conference on Systems Engineering, 2017

Systemic Risk Modeling and Evaluation through Simulation and Bayesian Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Syst. J., 2015

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

[BibT_eX]

[DOI]

Simul., 2015

On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2015

2014

Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method.

[BibT_eX]

[DOI]

Marius Riestenpatt gen. Richter

Johannes Groß

J. Comput. Sci., 2014

RAMSAS4Modelica: a simulation-driven method for system dependability analysis centered on the modelica language and related tools.

[BibT_eX]

[DOI]

Proceedings of the 2014 Spring Simulation Multiconference, 2014

Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing.

[BibT_eX]

[DOI]

Angelo Furfaro

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.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014

System Dependability Analysis: Main Issues and Possible Solutions.

[BibT_eX]

[DOI]

Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014

Mastering Concept Exploration in Large Industrial Research Projects.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yaroslav D. Sergeyev

J. Supercomput., 2013

Computing Nash Equilibria in Non-Cooperative Games: An Agent-Based approach.

[BibT_eX]

[DOI]

Int. J. Intell. Mechatronics Robotics, 2013

Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches.

[BibT_eX]

[DOI]

Lena Rogovchenko-Buffoni

Peter Fritzson

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.

[BibT_eX]

[DOI]

Carole Bernon

Jorge J. Gómez-Sanz

Inf. Softw. Technol., 2012

Modeling and simulation for system reliability analysis: The RAMSAS method.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

A model-based method for system reliability analysis.

[BibT_eX]

[DOI]

Proceedings of the 2012 Spring Simulation Multiconference, 2012

Enhancing the RAMSAS Method for System Reliability Analysis - An Exploitation in the Automotive Domain.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Francesco De Luca

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Francesco Parisi

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2011

A Model-driven Architecture Approach for Agent-based Modeling and Simulation.

[BibT_eX]

Francesco Parisi

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.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2010

Observability of Turing Machines: A Refinement of the Theory of Computation.

[BibT_eX]

[DOI]

Yaroslav D. Sergeyev

Informatica, 2010

Using event-driven lightweight DSC-based agents for MAS modelling.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2010

2009

Learning Nash Equilibria in Non-Cooperative Games.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

Exploiting the easyABMS Methodology in Social and Economic Domains.

[BibT_eX]

Proceedings of the 10th Workshop "From Objects to Agents", Parma, Italy, July 9-10, 2009, 2009

Exploiting the easyABMS Methodology in the Logistics Domain.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

A Multi-Coordination based Process for the Design of Mobile Agent Interactions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on the Use of P2P, 2009

2008

Achieving Mobile Agent Systems interoperability through software layering.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2008

PASSIM: a simulation-based process for the development of multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2008

Using Multi-Coordination for the Design of Mobile Agent Interactions.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Inf. Sci., 2007

Method fragments for agent design methodologies: from standardisation to research.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2007

ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Languages, 2007

2006

Exploiting agents in e-learning and skills management context.

[BibT_eX]

[DOI]

Luigi Palopoli

Francesco Ricca

AI Commun., 2006

Software Agents for Learning Nash Equilibria in Non-Cooperative Games.

[BibT_eX]

[DOI]

Marco Iusi

Proceedings of the 7th WOA 2006 Workshop, 2006

Distributed Workflow Enactment: an Agent-based Framework.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

From modeling to enactment of distributed workflows: an agent-based approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

An XML-based multi-agent system to support an adaptive cultural heritage learning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

PhD thesis, 2005

An integrated approach for the development and validation of multi-agent systems.

[BibT_eX]

Comput. Syst. Sci. Eng., 2005

A Discrete-Event Simulation Framework for the Validation of Agent-based and Multi-Agent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Giorgio Terracina

Domenico Ursino

Integr. Comput. Aided Eng., 2004

Using Method Engineering for the Construction of Agent-Oriented Methodologies.

[BibT_eX]

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.

[BibT_eX]

[DOI]