Sfoglia per Autore
Modeling of system properties: research challenges and promising solutions
2015-01-01 Garro, Alfredo; Tundis, A.
ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems
2016-01-01 Furfaro, Angelo; Gallo, T; Garro, Alfredo; Sacca', Domenico; Tundis, A.
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
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.
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.
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.
Model-based dependability analysis of physical systems with Modelica
2017-01-01 Tundis, A; Buffoni, L; Fritzson, P; Garro, Alfredo
Dependability assessment of a deicing system through the RAMSAS method
2017-01-01 Tundis, Andrea; Ferretto, Davide; Garro, Alfredo; Brusa, Eugenio; Muhlhauser, Max
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
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
Requirements specification of a Cloud Service for Cyber Security Compliance Analysis
2017-01-01 Furfaro, Angelo; Gallo, T; Garro, Alfredo; Sacca', Domenico; Tundis, A.
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.
Cybersecurity compliance analysis as a service: Requirements specification and application scenarios
2018-01-01 Furfaro, Angelo; Gallo, Teresa; Garro, Alfredo; Saccà, Domenico; Tundis, Andrea
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Modeling of system properties: research challenges and promising solutions | 1-gen-2015 | Garro, Alfredo; Tundis, A. | |
ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems | 1-gen-2016 | Furfaro, Angelo; Gallo, T; Garro, Alfredo; Sacca', Domenico; Tundis, A. | |
The INCOSE Italia conference on systems engineering (CIISE 2016): Turin (Italy), November 14th-16th, 2016 Politecnico di Torino, via Nizza, 230 - 10126 Torino (TO) | 1-gen-2016 | Brusa, Eugenio; D'Ambrogio, Andrea; Garro, Alfredo; Tirone, Lucio; Tundis, Andrea | |
Extending GOReM through the RAMSoS method for supporting modeling and virtual evaluation of the Systemic Risk | 1-gen-2016 | Furfaro, Angelo; Gallo, T; Garro, Alfredo; Saccà, D; Tundis, A; Citrigno, S; Graziano, S. | |
On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution | 1-gen-2016 | Garro, Alfredo; Tundis, A; Bouskela, D; Jardin, A; Thuy, N; Otter, M; Buffoni, L; Fritzson, P; Sjölund, M; Schamai, W; Olsson, H. | |
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. | |
Model-based dependability analysis of physical systems with Modelica | 1-gen-2017 | Tundis, A; Buffoni, L; Fritzson, P; Garro, Alfredo | |
Dependability assessment of a deicing system through the RAMSAS method | 1-gen-2017 | Tundis, Andrea; Ferretto, Davide; Garro, Alfredo; Brusa, Eugenio; Muhlhauser, Max | |
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 | |
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. | |
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 |
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