Andrea Tundis
TitoloCitata daAnno
Towards security as a service (secaas): On the modeling of security services for cloud computing
A Furfaro, A Garro, A Tundis
2014 International Carnahan Conference on Security Technology (ICCST), 1-6, 2014
292014
A model-based method for system reliability analysis
A Garro, A Tundis
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation-DEVSá…, 2012
292012
On the reliability analysis of systems and sos: The ramsas method and related extensions
A Garro, A Tundis
IEEE Systems Journal 9 (1), 232-241, 2014
272014
Formal requirements modeling for simulation-based verification
M Otter, N Thuy, D Bouskela, L Buffoni, H Elmqvist, P Fritzson, A Garro, ...
Proceedings of the 11th International Modelica Conference, Versaillesá…, 2015
232015
Modeling system requirements in modelica: definition and comparison of candidate approaches
A Tundis, L Rogovchenko-Buffoni, P Fritzson, A Garro
Proceedings of the 5th International Workshop on Equation-Based Objectá…, 2013
212013
Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method
A Garro, J Gro▀, A Tundis
Journal of Computational Science 5 (3), 439-449, 2014
192014
On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution
A Garro, A Tundis, D Bouskela, A Jardin, N Thuy, M Otter, L Buffoni, ...
2016 IEEE International Symposium on Systems Engineering (ISSE), 1-8, 2016
172016
Enhancing the RAMSAS method for system reliability analysis-an exploitation in the automotive domain
A Garro, A Tundis
International Conference on Simulation and Modeling Methodologiesá…, 2012
172012
Requirement verification and dependency tracing during simulation in modelica
L Buffoni-Rogovchenko, P Fritzson, M Nyberg, A Garro, A Tundis
2013 8th EUROSIM Congress on Modelling and Simulation, 561-566, 2013
152013
Modeling and simulation for system reliability analysis: The RAMSAS method
A Garro, A Tundis
2012 7th International Conference on System of Systems Engineering (SoSEá…, 2012
152012
An integrated toolchain for model based functional safety analysis
L Rogovchenko-Buffoni, A Tundis, MZ Hossain, M Nyberg, P Fritzson
Journal of Computational Science 5 (3), 408-414, 2014
142014
System reliability analysis: a Model-Based approach and a case study in the avionics industry
A Garro, A Tundis, N Chirillo
Proc. of the 3rd Air and Space Int. Conf.(CEAS), Venice, Italy, 24-28, 2011
142011
Requirements specification of a cloud service for cyber security compliance analysis
A Furfaro, T Gallo, A Garro, D SaccÓ, A Tundis
2016 2nd International Conference on Cloud Computing Technologies andá…, 2016
112016
Modeling and simulation for the performance evaluation of the on-board communication system of a metro train
A Falcone, A Garro, A Tundis
13th International Conference on Modeling and Applied Simulation, MAS 2014á…, 2014
112014
ResDevOps: a software engineering framework for achieving long-lasting complex systems
A Furfaro, T Gallo, A Garro, D SaccÓ, A Tundis
2016 IEEE 24th International Requirements Engineering Conference (RE), 246-255, 2016
92016
Modeling of system properties: Research challenges and promising solutions
A Garro, A Tundis
2015 IEEE International Symposium on Systems Engineering (ISSE), 324-331, 2015
92015
Model-based dependability analysis of physical systems with Modelica
A Tundis, L Buffoni, P Fritzson, A Garro
Modelling and Simulation in Engineering 2017, 2017
82017
From safety requirements to simulation-driven design of safe systems
A Garro, A Tundis, L Rogovchenko-Buffoni, P Fritzson
Proceedings of the 12th International Conference on Modeling and Appliedá…, 2013
72013
A multi-language approach towards the identification of suspicious users on social networks
A Tundis, M MŘhlhńuser
2017 International Carnahan Conference on Security Technology (ICCST), 1-6, 2017
62017
Performing fault tree analysis of a modelica-based system design through a probability model
A Tundis, L Rogovchenko-Buffoni, A Garro, M Nyberg, P Fritzson
Proceedings of the International Workshop on Applied Modeling and Simulationá…, 2013
62013
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20