TUNDIS, Andrea
TUNDIS, Andrea
Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica
A Model-Based method for System Reliability Analysis
2012-01-01 Garro, Alfredo; Tundis, A.
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.
Cybersecurity compliance analysis as a service: Requirements specification and application scenarios
2018-01-01 Furfaro, Angelo; Gallo, Teresa; Garro, Alfredo; Saccà, Domenico; Tundis, Andrea
Dependability assessment of a deicing system through the RAMSAS method
2017-01-01 Tundis, Andrea; Ferretto, Davide; Garro, Alfredo; Brusa, Eugenio; Muhlhauser, Max
Developing Service-Oriented Applications: A Method Engineering Based Approach
2011-01-01 Garro, Alfredo; Russo, Wilma; Tundis, A.
Enhancing the RAMSAS method for System Reliability Analysis: an exploitation in the Automotive Domain
2012-01-01 Garro, Alfredo; Tundis, A.
Enhancing the RAMSAS method for Systems Reliability Analysis through Modelica
2013-01-01 Garro, Alfredo; Tundis, A.
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.
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.
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.
From Safety Requirements to Simulation-driven Design of Safe Systems
2013-01-01 Garro, Alfredo; Tundis, A; ROGOVCHENKO BUFFONI, L; Fritzson, P.
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.
Intelligent agents and environment
2018-01-01 Garro, A.; Muhlhauser, M.; Tundis, A.; Mariani, S.; Omicini, A.; Vizzari, G.
Intelligent agents: Multi-agent systems
2018-01-01 Garro, A.; Muhlhauser, M.; Tundis, A.; Baldoni, M.; Baroglio, C.; Bergenti, F.; Torroni, P.
Model-based dependability analysis of physical systems with Modelica
2017-01-01 Tundis, A; Buffoni, L; Fritzson, P; Garro, Alfredo
Modeling and Simulation for System Reliability Analysis: The RAMSAS Method
2012-01-01 Garro, Alfredo; Tundis, A.
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.
Modeling of system properties: research challenges and promising solutions
2015-01-01 Garro, Alfredo; Tundis, A.
Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches
2013-01-01 Tundis, A; ROGOVCHENKO BUFFONI, L; Fritzson, P; Garro, Alfredo
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.