Filter 

  • RCL is recruiting 2 new Postdocs

    The University of Florence, Florence, Italy, opens two Post Doctoral positions in ***Dependable and Secure Systems* at the Resilient Computing Lab (RCL), Department of Mathematic and Informatics. Deadline: June 23, 2017 We are recruiting 2 postdocto...
  • Andrea Bondavalli's Keynote at SRDS 2016

    Professor Andrea Bondavalli had a keynote at the 35th Symposium on Reliable Distributed Systems (SRDS 2016), in Budapest, Hungary. The talk, "Emergence in Cyber-Physical Systems-of-Systems" reported on the work done within the context of the AMADEOS proj...
  • The RCL group welcomes a new researcher!

    The RCL group is very glad to welcome Dr. Mohamad Gharib, a new post-doctoral researcher! He comes from Syria, where he received the Bachelor's degree in Informatics Engineering, and the Master's degree in Computer Science , AABFS – CIS from the Univer...
  • Prof. Edgar Nett visits the RCL group

    The RCL group is very happy to host the visit of Prof. Edgar Nett, from the Otto-von-Guericke University of Magdeburg, Germany! Prof. Nett is holding a short course on "Aspects of distributed real-time computing" for PhD and Masters' students. The cours...
  • SCRT Day 2016 - 29 Febbraio

    Lunedì 29 Febbraio 2016 si terrà lo SCRT DAY 2016, l'evento finale del corso di Sistemi Critici e Real-Time del Corso di Laurea Magistrale in Informatica. Come nelle precedenti edizioni, gli studenti del corso terranno delle presentazioni su degli arti...
  • Andrea Bondavalli is now Full Professor

    In December, Andrea was formally appointed full professor ("Professore Ordinario") at the Department of Informatics and Mathematics of the University of Florence. After the officiality has beeen confirmed, we could deliver our celebrative plate, and the ...
  • The Resilient Computing Lab is now a registered UNIFI research laboratory

    The Resilient Computing Lab (RCL) is now a registered UNIFI reserarch laboratory. A list of research laboratories has been compiled by CsaVRI in the context of the Tuscany regional repertory of laboratories (Repertorio regionale dei Laboratori - MapLab). ...
  • Congratulations Nicola!

    Our best congratulations to Nicola Nostro, who successfully defended his PhD dissertation last Wednesday, March 18th, 2015. His thesis entitled "Model-Based Approaches To Dependability And Security Assessment in Critical and Dynamic Systems" addressed an...
  • RADIANCE Workshop

    International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms Rio de Janeiro, Brazil - June 22nd, 2015Supported by CECRIS and DEVASSES ProjectsCo-located with DSN 2015 ...
  • New PhD student in the group

      We welcome a new PhD student in the group, Tommaso Zoppi!...
  • Thaís Ussami's Seminar

    Thaís Ussami, from Universidade Estadual de Campinas, Campinas - São Paulo, Brazilis, is now seconded at Department of Mathematics and Informatics of University of Florence, in the context of the research project DEVASSES (DEsign, Verification and VAli...
  • Toyota UA case study

    The video of Philip Koopman giving the Toyota UA case study talk is on line: http://betterembsw.blogspot.com/2014/09/a-case-study-of-toyota-unintended.html  ...
  • SAFECOMP 2014 Pictures

    SAFECOMP 2014 is now over. Thanks to all the people who attended the conference, we sincerely hope you enjoyed the week as much as we did. A photogallery of the event is now available online on the SAFECOMP website. The gallery includes pictures from the...
  • Get Ready for SAFECOMP'14 !

    SAFECOMP 2014 is now approaching! The 33rd International Conference on Computer Safety, Reliability and Security will take place next week in Florence. SAFECOMP will be held in the city center area, in the Auditorium al Duomo and Palazzo Coppini palaces. ...
  • SAFECOMP 2014 Preliminary Program (early registration until July 12th)

    The final program of the 33rd International Conference on Computer Safety, Reliability and Security is now available online. A pdf version of the program, together with some practical information, is also available for download. On the first day, Wednes...
  • Deadline for SAFECOMP 2014 workshops has been extended

    The deadline for paper submission to safecomp 2014 co-located workshops has been extended. The new deadlines are the following: Submission deadline: 20 May, 2014 31 May 2014, 24:00 CEST Notification of acceptance: 20 June 2014 Final ver...
  • Submit your paper to a SAFECOMP 2014 workshop

    As previously announced, the 33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014) will be held in Florence, organized by RCL. Other events will be co-located to SAFECOMP 2014, constituting a one-week scientific e...
  • SAFECOMP 2014 deadline has been extended

    The deadlines for paper submissions at the The 33rd International Conference on Computer Safety, Reliability and Security have been extended. The new deadlines are the following: Abstract submission (mandatory): 25 February 2014 5 March 2014, 24:00 CETFu...
  • SAFECOMP 2014 will be held in Florence

    The Resilient Computing Lab is organizing The 33rd International Conference on Computer Safety, Reliability and Security. SAFECOMP 2014 will be held in Florence, on September 10-12 2014, and will follow the key theme "Safety in presence of evolution: desi...
  • Welcome to Marco, our new collaborator

    Welcome to Marco Casciaro, which has joined the RCL group as collaborator on June 1st. Marco has recently obtained his master degree; in his master's thesis he analyzed the security of the ALARP system, by fist performing a vulnerability analysis of netwo...

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web