IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 101 a 150 di 150
Titolo Data di pubblicazione Autore(i) File
Increasing the Resilience of Cyber Physical Systems in Smart Grid Environments using Dynamic Cells 1-gen-2017 Tundis, A; Cordero, C. G.; Egert, R; Garro, Alfredo; Mühlhäuser, M.
A Java library for easing the distributed simulation of space systems 1-gen-2017 Falcone, Alberto; Garro, Alfredo
Model-based dependability analysis of physical systems with Modelica 1-gen-2017 Tundis, A; Buffoni, L; Fritzson, P; Garro, Alfredo
Simulation-based verification of system requirements: An integrated solution 1-gen-2017 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutre, Stefan
Experiences in Simplifying Distributed Simulation: the HLA Development Kit Framework 1-gen-2017 Falcone, A; Garro, Alfredo; Taylor, S. J. E.; Anagnostou, A; Chaudhry, N. R.; Salah, O.
Engineering systems by combining BPMN and HLA-based distributed simulation 1-gen-2017 Falcone, Alberto; Garro, Alfredo; Daambrogio, Andrea; Giglio, Andrea
On the execution control of HLA federations using the SISO space reference FOM 1-gen-2017 Möller, B; Garro, Alfredo; Falcone, A; CRUES E., Z; Dexter, D. E.
Simplifying the development of HLA-based distributed simulations with the HLA Development Kit software framework (DKF) 1-gen-2017 Falcone, Alberto; Garro, Alfredo; Taylor, Simon J. E.; Anagnostou, Anastasia
Formal modeling of system properties for simulation-based verification of requirements: Lessons learned 1-gen-2017 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutré, Stefan
Systemic Risk analysis through SE methods and techniques 1-gen-2017 Tundis, Andrea; Mühlhäuser, Max; Gallo, Teresa; Garro, Alfredo; Saccá, Domenico; Citrigno, Simona; Graziano, Sabrina
Systemic risk modeling & evaluation through simulation & Bayesian networks 1-gen-2017 Tundis, Andrea; Mühlhäuser, Max; Garro, Alfredo; Gallo, Teresa; Saccá, Domenico; Citrigno, Ida Simona; Graziano, Sabrina
Dependability assessment of a deicing system through the RAMSAS method 1-gen-2017 Tundis, Andrea; Ferretto, Davide; Garro, Alfredo; Brusa, Eugenio; Muhlhauser, Max
Message from the chairs 1-gen-2017 Garro, A.; D'Ambrogio, A.
AN INTRODUCTION TO DEVELOPING FEDERATIONS WITH THE HIGH LEVEL ARCHITECTURE (HLA) 1-gen-2017 Falcone, Alberto; Garro, Alfredo; Anagnostou, Anastasia; Taylor, Simon J. E.
Requirements specification of a Cloud Service for Cyber Security Compliance Analysis 1-gen-2017 Furfaro, Angelo; Gallo, T; Garro, Alfredo; Sacca', Domenico; Tundis, A.
Intelligent agents: Multi-agent systems 1-gen-2018 Garro, A.; Muhlhauser, M.; Tundis, A.; Baldoni, M.; Baroglio, C.; Bergenti, F.; Torroni, P.
A model-driven method to enable the distributed simulation of BPMN models 1-gen-2018 Garro, Alfredo; Falcone, Alberto; D'Ambrogio, Andrea; Giglio, Andrea
Design and principles enabling the space reference fom 1-gen-2018 Möller, Björn; Dexter, Dan; Madden, Michael; Crues, Edwin Z.; Garro, Alfredo; Skuratovskiy, Anton
Using bpmn and HLA for sos engineering: lessons learned and future directions 1-gen-2018 Falcone, Alberto; Garro, Alfredo; Drambrogio, Andrea; Giglio, Andrea
The INCOSE Italia conference on systems engineering (CIISE 2018) 1-gen-2018 Mancin, Enrico; Garro, Alfredo; Gaudenzi, Paolo; Tirone, Lucio; Fierro, Davide; Falcone, Alberto
On the importance of simulation in enabling continuous delivery and evaluating deployment pipeline performance 1-gen-2018 D'Ambrogio, Andrea; Falcone, Alberto; Garro, Alfredo; Giglio, Andrea
Intelligent agents and environment 1-gen-2018 Garro, A.; Muhlhauser, M.; Tundis, A.; Mariani, S.; Omicini, A.; Vizzari, G.
Cybersecurity compliance analysis as a service: Requirements specification and application scenarios 1-gen-2018 Furfaro, Angelo; Gallo, Teresa; Garro, Alfredo; Saccà, Domenico; Tundis, Andrea
Reactive HLA-based Distributed Simulation Systems with RxHLA 1-gen-2019 Falcone, Alberto; Garro, Alfredo
Experiences in using the SISO Space Reference FOM standard 1-gen-2019 Moller, B.; Falcone, A.; Garro, A.; Crues, E. Z.
A knowledge-based platform for the classification of accounting documents 1-gen-2019 Amelio, A.; Falcone, A.; Furfaro, A.; Garro, A.; Sacca, D.
A model-driven approach to enable the simulation of complex systems on distributed architectures 1-gen-2019 Bocciarelli, Paolo; D’Ambrogio, Andrea; Falcone, Alberto; Garro, Alfredo; Giglio, Andrea
Distributed Co-Simulation of Complex Engineered Systems by Combining the High Level Architecture and Functional Mock-up Interface 1-gen-2019 Falcone, A.; Garro, A.
Cyber-physical systems engineering: Model-based solutions 1-gen-2019 Garro, A.; Vaccaro, V.; Dutre, S.; Stegen, J.
Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution 1-gen-2019 D'Ambrogio, A.; Falcone, A.; Garro, A.; Giglio, A.
A Simulink-Based Infinity Computer Simulator and Some Applications 1-gen-2020 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat.; Sergeev, Yaroslav
A simulation-based and data-driven framework for enabling the analysis and design of business processes based on blockchain and smart contracts solutions 1-gen-2020 Argento, L.; Graziano, S.; Garro, A.; Guzzo, A.; Pasqua, F.; Sacca, D.
Pitfalls and Remedies in Modeling and Simulation of Cyber Physical Systems 1-gen-2020 Falcone, Alberto; Garro, Alfredo
Representation of grossone-based arithmetic in simulink for scientific computing 1-gen-2020 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeev, Yaroslav
SISO space reference FOM - Tools and testing 1-gen-2020 Moller, B.; Rydell, A.; Crues, E. Z.; Dexter, D.; Falcone, A.; Garro, A.
SpaceFOM - A robust standard for enabling a-priori interoperability of HLA-based space systems simulations 1-gen-2021 Crues, E. Z.; Dexter, D.; Falcone, A.; Garro, A.; Moller, B.
A Simulink-based software solution using the Infinity Computer methodology for higher order differentiation 1-gen-2021 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeev, Yaroslav
Evaluation of Large Scale RoI Mining Applications in Edge Computing Environments 1-gen-2021 Belcastro, L.; Falcone, A.; Garro, A.; Marozzo, F.
PUF-based Smart Tags for Supply Chain Management 1-gen-2021 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 1-gen-2021 Bouskela, D.; Falcone, A.; Garro, A.; Jardin, A.; Otter, M.; Thuy, N.; Tundis, A.
Improving the Analysis of Hybrid Systems Through the Infinity Computer 1-gen-2022 Falcone, Alberto; Garro, Alfredo; Sergeyev, Yaroslav
Adopting the Infinity Computing in Simulink for Scientific Computing 1-gen-2022 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeyev, Yaroslav
Advantages of the usage of the Infinity Computer for reducing the Zeno behavior in hybrid system models 1-gen-2022 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeyev, Yaroslav
Simulation of hybrid systems under zeno behavior using numerical infinitesimals 1-gen-2022 Falcone, Alberto; Garro, Alfredo; Mukhametzhanov, Marat; Sergeev, Yaroslav
SpaceFOM: An Interoperability Standard for Space Systems Simulations 1-gen-2022 Crues, E. Z.; Dexter, D. E.; Moller, B.; Falcone, A.; Garro, A.
Enabling Simulation Interoperability between International Standards in the Space Domain 1-gen-2022 Crues, E. Z.; Dexter, D. E.; Falcone, A.; Garro, A.; Moller, B.
Editorial: Special issue on modelling and simulation in the cloud computing era 1-gen-2022 Falcone, Alberto; Garro, Alfredo; Mustafee, Navonil; Niazi, Muaz A.; Wainer, Gabriel
PyGrossone: A Python library for the Infinity Computer 1-gen-2023 Falcone, Alberto; Garro, Alfredo; Sergeyev, Yaroslav
A Topic-Based Data Distribution Management for HLA 1-gen-2023 Falcone, Alberto; Garro, Alfredo
Simulation of Zeno Hybrid Systems Using the Infinity Computer 1-gen-2023 Mukhametzhanov, Marat; Falcone, A.; Garro, A.; Sergeyev, Yaroslav
Mostrati risultati da 101 a 150 di 150
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