Sfoglia per Autore
PyGrossone: A Python library for the Infinity Computer
2023-01-01 Falcone, Alberto; Garro, Alfredo; Sergeyev, Yaroslav
Simulation of Zeno Hybrid Systems Using the Infinity Computer
2023-01-01 Mukhametzhanov, Marat; Falcone, A.; Garro, A.; Sergeyev, Yaroslav
A Topic-Based Data Distribution Management for HLA
2023-01-01 Falcone, Alberto; Garro, Alfredo
Improving the Analysis of Hybrid Systems Through the Infinity Computer
2022-01-01 Falcone, Alberto; Garro, Alfredo; Sergeyev, Yaroslav
Adopting the Infinity Computing in Simulink for Scientific Computing
2022-01-01 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeyev, Yaroslav
Editorial: Special issue on modelling and simulation in the cloud computing era
2022-01-01 Falcone, Alberto; Garro, Alfredo; Mustafee, Navonil; Niazi, Muaz A.; Wainer, Gabriel
Advantages of the usage of the Infinity Computer for reducing the Zeno behavior in hybrid system models
2022-01-01 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeyev, Yaroslav
Enabling Simulation Interoperability between International Standards in the Space Domain
2022-01-01 Crues, E. Z.; Dexter, D. E.; Falcone, A.; Garro, A.; Moller, B.
SpaceFOM: An Interoperability Standard for Space Systems Simulations
2022-01-01 Crues, E. Z.; Dexter, D. E.; Moller, B.; Falcone, A.; Garro, A.
Simulation of hybrid systems under zeno behavior using numerical infinitesimals
2022-01-01 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeev, Yaroslav
Evaluation of Large Scale RoI Mining Applications in Edge Computing Environments
2021-01-01 Belcastro, L.; Falcone, A.; Garro, A.; Marozzo, F.
SpaceFOM - A robust standard for enabling a-priori interoperability of HLA-based space systems simulations
2021-01-01 Crues, E. Z.; Dexter, D.; Falcone, A.; Garro, A.; Moller, B.
PUF-based Smart Tags for Supply Chain Management
2021-01-01 Falcone, A.; Felicetti, C.; Garro, A.; Rullo, A.; Sacca, D.
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica
2021-01-01 Bouskela, D.; Falcone, A.; Garro, A.; Jardin, A.; Otter, M.; Thuy, N.; Tundis, A.
A Simulink-based software solution using the Infinity Computer methodology for higher order differentiation
2021-01-01 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeev, Yaroslav
SISO space reference FOM - Tools and testing
2020-01-01 Moller, B.; Rydell, A.; Crues, E. Z.; Dexter, D.; Falcone, A.; Garro, A.
A Simulink-Based Infinity Computer Simulator and Some Applications
2020-01-01 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat.; Sergeev, Yaroslav
Pitfalls and Remedies in Modeling and Simulation of Cyber Physical Systems
2020-01-01 Falcone, Alberto; Garro, Alfredo
A simulation-based and data-driven framework for enabling the analysis and design of business processes based on blockchain and smart contracts solutions
2020-01-01 Argento, L.; Graziano, S.; Garro, A.; Guzzo, A.; Pasqua, F.; Sacca, D.
Representation of grossone-based arithmetic in simulink for scientific computing
2020-01-01 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeev, Yaroslav
Reactive HLA-based Distributed Simulation Systems with RxHLA
2019-01-01 Falcone, Alberto; Garro, Alfredo
Experiences in using the SISO Space Reference FOM standard
2019-01-01 Moller, B.; Falcone, A.; Garro, A.; Crues, E. Z.
Distributed Co-Simulation of Complex Engineered Systems by Combining the High Level Architecture and Functional Mock-up Interface
2019-01-01 Falcone, A.; Garro, A.
A knowledge-based platform for the classification of accounting documents
2019-01-01 Amelio, A.; Falcone, A.; Furfaro, A.; Garro, A.; Sacca, D.
Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution
2019-01-01 D'Ambrogio, A.; Falcone, A.; Garro, A.; Giglio, A.
Cyber-physical systems engineering: Model-based solutions
2019-01-01 Garro, A.; Vaccaro, V.; Dutre, S.; Stegen, J.
A model-driven approach to enable the simulation of complex systems on distributed architectures
2019-01-01 Bocciarelli, Paolo; D’Ambrogio, Andrea; Falcone, Alberto; Garro, Alfredo; Giglio, Andrea
Cybersecurity compliance analysis as a service: Requirements specification and application scenarios
2018-01-01 Furfaro, Angelo; Gallo, Teresa; Garro, Alfredo; Saccà, Domenico; Tundis, Andrea
Using bpmn and HLA for sos engineering: lessons learned and future directions
2018-01-01 Falcone, Alberto; Garro, Alfredo; Drambrogio, Andrea; Giglio, Andrea
A model-driven method to enable the distributed simulation of BPMN models
2018-01-01 Garro, Alfredo; Falcone, Alberto; D'Ambrogio, Andrea; Giglio, Andrea
Intelligent agents: Multi-agent systems
2018-01-01 Garro, A.; Muhlhauser, M.; Tundis, A.; Baldoni, M.; Baroglio, C.; Bergenti, F.; Torroni, P.
Intelligent agents and environment
2018-01-01 Garro, A.; Muhlhauser, M.; Tundis, A.; Mariani, S.; Omicini, A.; Vizzari, G.
On the importance of simulation in enabling continuous delivery and evaluating deployment pipeline performance
2018-01-01 D'Ambrogio, Andrea; Falcone, Alberto; Garro, Alfredo; Giglio, Andrea
Design and principles enabling the space reference fom
2018-01-01 Möller, Björn; Dexter, Dan; Madden, Michael; Crues, Edwin Z.; Garro, Alfredo; Skuratovskiy, Anton
The INCOSE Italia conference on systems engineering (CIISE 2018)
2018-01-01 Mancin, Enrico; Garro, Alfredo; Gaudenzi, Paolo; Tirone, Lucio; Fierro, Davide; Falcone, Alberto
Increasing the Resilience of Cyber Physical Systems in Smart Grid Environments using Dynamic Cells
2017-01-01 Tundis, A; Cordero, C. G.; Egert, R; Garro, Alfredo; Mühlhäuser, M.
Requirements specification of a Cloud Service for Cyber Security Compliance Analysis
2017-01-01 Furfaro, Angelo; Gallo, T; Garro, Alfredo; Sacca', Domenico; Tundis, A.
Systemic risk modeling & evaluation through simulation & Bayesian networks
2017-01-01 Tundis, Andrea; Mühlhäuser, Max; Garro, Alfredo; Gallo, Teresa; Saccá, Domenico; Citrigno, Ida Simona; Graziano, Sabrina
Model-based dependability analysis of physical systems with Modelica
2017-01-01 Tundis, A; Buffoni, L; Fritzson, P; Garro, Alfredo
Simulation-based verification of system requirements: An integrated solution
2017-01-01 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutre, Stefan
Simplifying the development of HLA-based distributed simulations with the HLA Development Kit software framework (DKF)
2017-01-01 Falcone, Alberto; Garro, Alfredo; Taylor, Simon J. E.; Anagnostou, Anastasia
Dependability assessment of a deicing system through the RAMSAS method
2017-01-01 Tundis, Andrea; Ferretto, Davide; Garro, Alfredo; Brusa, Eugenio; Muhlhauser, Max
Message from the chairs
2017-01-01 Garro, A.; D'Ambrogio, A.
Engineering systems by combining BPMN and HLA-based distributed simulation
2017-01-01 Falcone, Alberto; Garro, Alfredo; Daambrogio, Andrea; Giglio, Andrea
On the execution control of HLA federations using the SISO space reference FOM
2017-01-01 Möller, B; Garro, Alfredo; Falcone, A; CRUES E., Z; Dexter, D. E.
Experiences in Simplifying Distributed Simulation: the HLA Development Kit Framework
2017-01-01 Falcone, A; Garro, Alfredo; Taylor, S. J. E.; Anagnostou, A; Chaudhry, N. R.; Salah, O.
AN INTRODUCTION TO DEVELOPING FEDERATIONS WITH THE HIGH LEVEL ARCHITECTURE (HLA)
2017-01-01 Falcone, Alberto; Garro, Alfredo; Anagnostou, Anastasia; Taylor, Simon J. E.
Systemic Risk analysis through SE methods and techniques
2017-01-01 Tundis, Andrea; Mühlhäuser, Max; Gallo, Teresa; Garro, Alfredo; Saccá, Domenico; Citrigno, Simona; Graziano, Sabrina
A Java library for easing the distributed simulation of space systems
2017-01-01 Falcone, Alberto; Garro, Alfredo
Formal modeling of system properties for simulation-based verification of requirements: Lessons learned
2017-01-01 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutré, Stefan
SINSE+: A software for the acquisition and analysis of open data in health and social area
2016-01-01 Federico, L; Franco, P; Minelli, A; Perri, A; Caroprese, L; Picarelli, R; Tradigo, G; Vocaturo, E; Dattola, F; Fortunato, A; Lambardi, P; Laurita, S; Pellegrino, I; Garro, Alfredo; Pugliese, A; Tagarelli, A; Veltri, P; Zumpano, Ester
A First Look at the Upcoming SISO Space Reference FOM
2016-01-01 Möller, B; Crues, E. Z.; Dexter, D. E.; Garro, Alfredo; Skuratovskiy, A; Vankov, A.
On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution
2016-01-01 Garro, Alfredo; Tundis, A; Bouskela, D; Jardin, A; Thuy, N; Otter, M; Buffoni, L; Fritzson, P; Sjölund, M; Schamai, W; Olsson, H.
Promoting a-priori Interoperability of HLA-Based Simulations in the Space Domain: The SISO Space Reference FOM Initiative
2016-01-01 Möller, B; Garro, Alfredo; Falcone, A; Crues, E. Z.; Dexter, D. E.
ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems
2016-01-01 Furfaro, Angelo; Gallo, T; Garro, Alfredo; Sacca', Domenico; Tundis, A.
Architecture-Based Synthesis of 1D-3D Models for Verification and Validation
2016-01-01 Allegaert, E; Lemmens, Y; Dutre, S; Garro, Alfredo; Inzillo, M.
Extending GOReM through the RAMSoS method for supporting modeling and virtual evaluation of the Systemic Risk
2016-01-01 Furfaro, Angelo; Gallo, T; Garro, Alfredo; Saccà, D; Tundis, A; Citrigno, S; Graziano, S.
Using the HLA standard in the context of an International Simulation Project: The experience of the “SMASHTeam”
2016-01-01 Falcone, A; Garro, Alfredo
The INCOSE Italia conference on systems engineering (CIISE 2016): Turin (Italy), November 14th-16th, 2016 Politecnico di Torino, via Nizza, 230 - 10126 Torino (TO)
2016-01-01 Brusa, Eugenio; D'Ambrogio, Andrea; Garro, Alfredo; Tirone, Lucio; Tundis, Andrea
The SEE HLA Starter Kit: enabling the rapid prototyping of HLA-based simulations for space exploration
2016-01-01 Falcone, A; Garro, Alfredo
Formal Requirements Modeling for Simulation-Based Verification
2015-01-01 Otter, M; Thuy, N; Bouskela, D; Buffoni, L; Elmqvist, H; Fritzson, P; Garro, Alfredo; Jardin, A; Olsson, H; Payelleville, M; Schamai, W; Thomas, E; Tundis, A.
The Grossone methodology perspective on Turing machines
2015-01-01 Sergeev, Yaroslav; Garro, Alfredo
An Analytical Processing Approach to Supporting Cyber-Security Compliance Assessment
2015-01-01 Buccafurri, F; Fotia, L; Furfaro, Angelo; Garro, Alfredo; Giacalone, M; Tundis, A.
An Agent Oriented Perspective on System of Systems for Multiple Domains
2015-01-01 Bruzzone, A; Garro, Alfredo; Longo, Francesco; Massei, M.
Modeling of system properties: research challenges and promising solutions
2015-01-01 Garro, Alfredo; Tundis, A.
Easing the development of HLA Federates: the HLA Development Kit and its exploitation in the SEE Project
2015-01-01 Falcone, A; Garro, Alfredo; Anagnostou, A.; Chaudhry, N. R.; Salah, O. A.; Taylor, S. J. E.
A model-driven approach to enable the distributed simulation of complex systems
2015-01-01 Bocciarelli, P; D’Ambrogio, A; Falcone, A; Garro, Alfredo; Giglio, A.
Agent-Based Simulation for the evaluation of a new dispatching model for the Straddle Carrier Pooling Problem
2015-01-01 Garro, Alfredo; Monaco, Maria Flavia; Russo, Wilma; Sammarra, M.; Sorrentino, G.
On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation
2015-01-01 Garro, A; Falcone, A
On the Reliability Analysis of Systems and SoS: The RAMSAS Method and Related Extensions
2015-01-01 Garro, Alfredo; Tundis, A.
A Prototype HLA Development Kit: Results from the 2015 Simulation Exploration Experience
2015-01-01 Garro, Alfredo; Falcone, A; Chaudhry, N. R.; Salah, O. A.; Anagnostou, A.; Taylor, S. J. E.
System dependability analysis: Main issues and possible solutions
2014-01-01 Garro, Alfredo
Towards Security as a Service (SecaaS): on the modeling of Security Services for Cloud Computing
2014-01-01 Furfaro, Angelo; Garro, Alfredo; Tundis, A.
System Dependability Analysis through Platform-Independent Simulation Models
2014-01-01 Tundis, A; Falcone, A; Garro, Alfredo
Mastering Concept Exploration in Large Industrial Research Projects
2014-01-01 Citrigno, S; Furfaro, Angelo; Gallo, T; Garro, Alfredo; Graziano, S; Saccá, D.
Modeling and Simulation for the performance evaluation of the on-board communication system of a metro train
2014-01-01 Falcone, A; Garro, Alfredo; Tundis, A.
Simulation Exploration Experience: A Communication System and a 3D Real Time Visualization for a Moon base simulated scenario
2014-01-01 Falcone, A; Garro, Alfredo; Longo, Francesco; Spadafora, F.
Reliability Analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method
2014-01-01 Garro, Alfredo; Groß, J.; Riestenpatt, G. E. N. RICHTER M.; Tundis, A.
RAMSAS4Modelica: a Simulation-driven Method for System Dependability Analysis centered on the Modelica language and related tools
2014-01-01 Garro, Alfredo; Tundis, A.
Disasters Management: a serious game architecture centered on a Modeling and Simulation infrastructure
2013-01-01 Garro, Alfredo; Longo, F; Nicoletti, L.
Enhancing the RAMSAS method for Systems Reliability Analysis through Modelica
2013-01-01 Garro, Alfredo; Tundis, A.
Performing Fault Tree Analysis of a Modelica-based System Design through a Probability Model
2013-01-01 Fritzson, P; Garro, Alfredo; Nyberg, M; ROGOVCHENKO BUFFONI, L; Tundis, A.
Observing Turing Machines Through the Lens of the Grossone Methodology
2013-01-01 Garro, A; Sergeev, Yaroslav
Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches
2013-01-01 Tundis, A; ROGOVCHENKO BUFFONI, L; Fritzson, P; Garro, Alfredo
From Safety Requirements to Simulation-driven Design of Safe Systems
2013-01-01 Garro, Alfredo; Tundis, A; ROGOVCHENKO BUFFONI, L; Fritzson, P.
Requirement Verification and Dependency Tracing During Simulation in Modelica
2013-01-01 ROGOVCHENKO BUFFONI, L; Fritzson, P; Garro, Alfredo; Tundis, A; Nyberg, M.
A process based on the Model-Driven Architecture to enable the definition of Platform-Independent simulation Models
2013-01-01 Garro, Alfredo; Parisi, F; Russo, Wilma
Computing Nash Equilibria in Non-Cooperative Games: an agent-based approach
2013-01-01 Garro, Alfredo
Single-tape and Multi-tape Turing Machines through the lens of the Grossone methodology
2013-01-01 Sergeev, Yaroslav; Garro, Alfredo
Experimenting the RAMSAS method in the reliability analysis of an Attitude Determination and Control System (ADCS)
2012-01-01 Garro, Alfredo; Groß, J.; Riestenpatt, G. E. N. RICHTER M.; Tundis, A.
Modeling and Simulation for System Reliability Analysis: The RAMSAS Method
2012-01-01 Garro, Alfredo; Tundis, A.
A Model-Based method for System Reliability Analysis
2012-01-01 Garro, Alfredo; Tundis, A.
Special section on engineering complex software systems through multi-agent systems and simulation
2012-01-01 Bernon, C; Garro, Alfredo; GOMEZ SANZ, J. J.
Enhancing the RAMSAS method for System Reliability Analysis: an exploitation in the Automotive Domain
2012-01-01 Garro, Alfredo; Tundis, A.
SISMOVA: a statistical information system for the evaluation of public education investment policies
2011-01-01 Laurita, S; Garro, Alfredo; Caparelli, A.
System reliability analysis: a Model-Based approach and a case study in the avionics industry
2011-01-01 Garro, Alfredo; Tundis, A; Chirillo, N.
Proceedings of the 12th Workshop on Objects and Agents (WOA2011)
2011-01-01 Fortino, Giancarlo; Garro, A; Palopoli, L; Russo, Wilma; Spezzano, G.
Performance Evaluation of Content Distribution Network Architectures through Agent-Based Modeling and Simulation
2011-01-01 Fortino, Giancarlo; Garro, Alfredo; Russo, Wilma; Vaccaro, M.
A Model-Driven Architecture Approach for Agent-Based Modeling And Simulation
2011-01-01 Garro, Alfredo; Parisi, F; Russo, Wilma
Developing Service-Oriented Applications: A Method Engineering Based Approach
2011-01-01 Garro, Alfredo; Russo, Wilma; Tundis, A.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile