Angelo Gargantini

@angelogargantin

Associate Professor of Informatics . Working on formal methods and software testing, technologies for visual diseases

Vrijeme pridruživanja: ožujak 2013.

Tweetovi

Blokirali ste korisnika/cu @angelogargantin

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @angelogargantin

  1. proslijedio/la je Tweet
    27. sij

    Our paper "An Automated Testing Framework For Smart TV apps Based on Model Separation" in collaboration with has been accepted for publication in INTUITESTBEDS . The first extensive testing strategy for smart TV apps.

    Prikaži ovu nit
    Poništi
  2. 28. sij
    Poništi
  3. Grazie a Carlo Vaccarini e per il laboratorio su BigData e scala per il mio corso di Informatica III e complimenti ai vincitori dei premi offerti da

    Poništi
  4. 7. stu 2019.
    Poništi
  5. Ascoltando il Presidente Mattarella a parlare anche di ricerca e di scienza

    Poništi
  6. proslijedio/la je Tweet
    23. lis 2019.

    This year A-MOST hosts journal articles in the 𝐉𝐨𝐮𝐫𝐧𝐚𝐥 𝐅𝐢𝐫𝐬𝐭 𝐓𝐫𝐚𝐜𝐤. If you have recently published a paper on , consider submitting it at

    Poništi
  7. Coding con i ragazzi delle scuole medie. Una bellissima esperienza!!!

    Poništi
  8. Presenting our work that combines ASM refinement e conformance testing at in Paris, with A. Bombarda and F.Duan and Y.Lei

    Poništi
  9. proslijedio/la je Tweet
    10. lis 2019.

    Our website is up and running: !! Less than 3 months for the abstract submission deadline! We are looking forward to your contributions!

    Poništi
  10. proslijedio/la je Tweet
    12. ruj 2019.

    SPLC S10: Feature-Model Evolution. Achieving Change Requirements of Feature Models by an Evolutionary Approach, by P. Arcaini, A. Gargantini, M. Radavelli.

    Poništi
  11. proslijedio/la je Tweet
    10. ruj 2019.

    Afternoon session started with a talk by prof. Elvinia Riccobene from . She’s presenting a formal approach to design rail traffic management systems.

    Poništi
  12. proslijedio/la je Tweet
    9. ruj 2019.

    Tomorrow morning I’ll be chairing the opening session of . Those at interested in formal methods can join us! Doors are open ;-)

    Poništi
  13. Just Met in NYC. Thank you for forcing me to think about our earth. This morning no plastic bottle when I prepared my backpack!!!

    Poništi
  14. Leaving Dallas and going back home after visiting Prof. Yu Lei at the University of Texas on Arlington, together with . Had a very productive time and some fun (thanks Jeff)

    Poništi
  15. Congratulazioni a Danilo Bertocchi per essersi laureato con un tesi su Design e implementazione di un tool Cloud-Based per l'analisi di robustezza di una rete neurale

    Poništi
  16. 9. svi 2019.

    With and lauratitolo at NASA formal methods conference

    Poništi
  17. Congratulazioni a Denis Casati, Gianbattista Madaschi e Andrea Gherardi per essersi laureati, con me e come relatori. In bocca al lupo per il vostro futuro

    Poništi
  18. proslijedio/la je Tweet
    10. sij 2019.

    Dear all, due to several inquiries, we have kindly extended our deadline until Jan 20th, Sunday (AoE). Please continue to polish your work and looking forward to seeing you in Xi’an!

    Poništi
  19. Complimenti al mio neo laureato Michele Zanchi title: Robustness Analysis of a Convolutional Neural Network for Image Recognition in an Industrial Setting in collaborazione con

    Poništi
  20. 6. pro 2018.

    Invited at Google faculty institute to share and learn about Google cloud technologies

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·