Dr.-Ing. Andrea Tundis

nameAndrea Tundis
positionSenior Researcher (PostDoc)
phone+49 (6151) 16 - 23205
fax+49 (6151) 16 - 23202
officeS2|02 A316
postal addressTU Darmstadt - FB 20
FG Telekooperation
Hochschulstraße 10
D-64289 Darmstadt



Current Position

Senior Researcher at Department of Computer Science at Technische Universität Darmstadt (Germany) and member of the Telecooperation Lab (TK lab).

Education level

Ph.D. degree in Systems and Computer Science - University of Calabria (Italy) - February 2014.

Post-Master degree as Industrial Research - University of Calabria (Italy) - December 2010.

Master degree in Computer Engineering - University of Calabria (Italy) - July 2009.

Research Activities

He is currently  involved in a Horizon 2020 European Research project on "Organized Crime and Terrorist Network". His research interests include (i)  the definition of model-based methods for the reliability and safety analysis of systems  (ii) models for the formalization, traceability and simulation-based verification of system requirements; (iii) cyber-physical systems security and, (iv) resilience network in smart environments.

Previous Experiences

From 2014 to 2016 - Research fellow at Department of Informatics, Modeling, Electronics and Systems Engineering (DIMES) of the University of Calabria (Italy).

From March 2016 to June 2016 - Visiting Reseacher at the Telecooperation Lab (TK Lab) at Technische Universität Darmstadt (Germany) under the supervision of Prof. Max Mühlhäuser cooperating on German Research project PolyEnergyNet (PEN) on Smart Grids and Resilient Network

From 2015 to August 2016 - Involved in a Cyber Security research project for the definition of Models and Techniques for Risk Assessment and Analysis in the context of electronic payment services and Cloud Computing.

From June 2012 to July 2013 - Visiting Ph.D. Student at the Programming Environment Laboratory (PELAB) at Linköping University (Sweden) under the supervision of Prof. Peter Fritzson.

From 2012  to May 2016 - Involved  in MODRIO (Model Driven Physical Systems Operation) an ITEA 3 reserach Project in cooperation with the Programming Environment Laboratory (PELAB) of Linköping University (Sweden), on Properties Modelling and for the definition of extensions of the Modelica language.

Memberships and other collaboration

Member of the AISE (Systems Engineering Italian Association) INCOSE Chapter Italia and IT Technical leader

IEEE Member.

Pubblication Chair of the IEEE/ACM DS-RT 2017

Proceedings Chair of the CIISE 2014 / 2016 / 2017

TPC Member/Reviewer of International Conferences and Journals: SIMPAT (Elsevier) /  Computer Standards & Interfaces (Elsevier) / IEEE ISSE 2017 / SIMUL 2017

Selected Publications - Articles and Conference Papers

A. Furfaro, T. Gallo, A. Garro, D. Sacca, and A. Tundis. "Cybersecurity Compliance Analysis as a Service: Requirements Specification and Application Scenarios". Concurrency and Computation: Practice and Experience. John Wiley & Sons. In Press.

A. Tundis, L. Buffoni, P. Fritzson, and A. Garro, “Model-Based Dependability Analysis of Physical Systems with Modelica,” Modelling and Simulation in Engineering, vol. 2017, Article ID 1578043, 15 pages, 2017. doi:10.1155/2017/1578043.

Garro A., and Tundis, A. On the reliability analysis of systems and SoS: The RAMSAS method and related extensions (2015) IEEE Systems Journal, 9 (1), art. no. 6832472, pp. 232-241. doi: 10.1109/JSYST.2014.2321617. 

Garro A., Groß J., Riestenpatt gen. Richter M., and Tundis, A. Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method (2014) Journal of Computational Science, 5 (3), pp. 439-449. doi: 10.1016/j.jocs.2013.06.003. 

Rogovchenko-Buffoni, L., Tundis, A., Hossain, M.Z., Nyberg, M., Fritzson, P. An integrated toolchain for model based functional safety analysis (2014) Journal of Computational Science, 5 (3), pp. 408-414. doi: 10.1016/j.jocs.2013.08.009.


A. Tundis and M. Mühlhäuser. A multi-language approach towards the identification of suspicious users on social networks. To appear in the 51st International Carnahan Conference on Security Technology (ICCST 2017), IEEE, Madrid, (Spain), 23 - 26 October, 2017.

R. Egert, A. Tundis, Florian Volk and M. Mühlhäuser. An Integrated Tool for Supporting the Design and Virtual Evaluation of Smart Grids. To appear in the 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm), Dresden, (Germany), 23 - 26 October, 2017.

R. Egert, C. G. Cordero, A. Tundis and M. Mühlhäuser. HOLEG: a Simulator for Evaluating Resilient Energy Networks based on the Holon Analogy. To appear in the 21st ACM/IEEE International Symposium on Distributed Simulation and Real Time Applications, Rome (Italy), 18 - 20 October, 2017.

 A. Tundis, D. Ferretto, A. Garro, E. Brusa and M. Mühlhäuser. Dependability Assessment of a Deicing System through the RAMSAS method. To appear in the IEEE International Symposium on Systems Engineering (ISSE 2017), Vienna (Austria), 11 - 13 October, 2017.

A. Tundis and M. Mühlhäuser. Design by Contract of Cyber-Physical Systems driven by Simulation and based on Properties Modeling. To appear in the  International Conference on Modelling and Applied Simulation (MAS 2017), Barcelona, (Spain), 18 - 20 September, 2017.

A. Tundis and M. Mühlhäuser. On the importance of Semiotics in Organized Crime and Terrorism field. To appear in the 17th Annual Conference of the European Society of Criminology (ESC 2017), Cardiff, Wales, (UK), 13 - 16 September, 2017.

A. Tundis, F. Huber, B. Jäger, J. Daubert, E. Vasilomanolakis and M. Mühlhäuser. Challenges and Available Solutions against Organized Cyber-Crime and Terrorist Networks. To appear in the 7th International Conference on Safety and Security Engineering (SAFE 2017), Rome (Italy), 6 - 8 September, 2017.

A. Tundis, R. Egert and M. Mühlhäuser. Attack Scenario Modeling for Smart Grids Assessment through Simulation. To appear in the 12th International Conference on Availability, Reliability and Security (ARES 2017), Reggio Calabria (Italy), August 29 - September 01, 2017.  

A. Tundis, A. Garro, T. Gallo, D. Sacca, S. Citrigno, S. Graziano and M. Mühlhäuser. Systemic Risk Modeling and Evaluation through Simulation and Bayesian Networks. To appear in the 12th International Conference on Availability, Reliability and Security (ARES 2017), Reggio Calabria (Italy), August 29 - September 01, 2017.  

A. Tundis, R. Egert and M.Mühlhäuser. Applying a Properties Modeling Approach for Monitoring Smart Grids. Proc. of the 14th IEEE International Conference on Networking, Sensing and Control (ICNSC 2017) Calabria, Italy, 16-18 May, 2017. (Best Paper Award)

A. Tundis, C. G. Cordero, R.Egert, A. Garro, M. Mühlhäuser.  Increasing the Resilience of Cyber Physical Systems in Smart Grid Environments Using Dynamic Cells. Proc. of the 19th International Conference on Cyber-Physical Systems (ICCPS 2017), Zurich, Switzerland, 13-14 January, 2017.  

Furfaro A., Gallo, T., Garro, A., Saccà, D., Tundis, A. ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems. Proc. of the 2016 IEEE 24th International Requirements Engineering Conference, (RE 2016), Beijing (China) 12 September 2016, pp. 246-255.

Garro, A., Tundis, A., Bouskela, D., Jardin, A., Thuy, N., Otter, M., Buffoni, L., Fritzson, P., Sjolund, M., Schamai, W., Olsson, H. On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. Proc. of the 2nd  IEEE 2016 International Symposium on Systems Engineering  (ISSE 2016), Edinburgh (UK), 3- 5 October 2016.

A. Garro and A. Tundis, "Modeling of system properties: Research challenges and promising solutions," Proc. of the IEEE International Symposium on Systems Engineering (IEEE ISSE 2015), Rome (Italy) 2015, pp. 324-331. doi: 10.1109/SysEng.2015.7302777. 

Buccafurri, F., Fotia, L., Furfaro, A., Garro, A., Giacalone, M., Tundis, A. "An analytical processing approach to supporting cyber security compliance assessment." Proc. of the 8th  ACM International Conference on Security of Information and Networks (SIN 2015) Sochi (Russia)  Sept. 08-10, 2015. doi: 10.1145/2799979.2800007



A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang