Author Archives: Francesco Flammini

Unknown's avatar

About Francesco Flammini

Computer Engineer, Ph.D. Full Professor of Cyber-Physical Systems

The First International Workshop on Critical Computer-Based Systems (CCBS’09)

http://people.cs.und.edu/~reza/CCBS09.htm

Posted in Computer e Internet | Leave a comment

stage@AnsaldoSTS

Nell’ambito del Master in Homeland Security (http://www.masterhomelandsecurity.eu), Ansaldo STS offre possibilità di stage in azienda su tematiche di analisi del rischio e progettazione di sistemi di protezione: http://www.masterhomelandsecurity.eu/stage

Posted in Uncategorized | Leave a comment

Talk @ DCDS’09

http://dcds09.poliba.it/DCDS09/Plenaries.html

Posted in Ricerca | Leave a comment

N-Enterprise

  Finalmente qualche traccia del progetto che si è aggiudicato il III posto alla business-plan competition Start-Cup "Federico II" 2008… http://www.docenti.unina.it/docenti/web/download.php?id_prof=2297&id_insegn=11879&id_madre=12942&id_doc=108336&action=dld

Posted in Notizie e politica | Leave a comment

New Paradigms and Tools for High-Assurance Systems Modelling (by Francesco Flammini, Nicola Mazzocca and Valeria Vittorini)

Published in: ERCIM News 75 October 2008 Special theme: Safety-Critical Software http://ercim-news.ercim.org/images/stories/EN75/EN75-web.pdf http://ercim-news.ercim.org/content/view/463/664/

Posted in Computer e Internet | Leave a comment

About random testing…

"Random testing often outperforms supposedly smart ideas." Bertrand Meyer, ETH Zürich and Eiffel Softwarefrom Seven Principles of Software Testing, IEEE Computer, August 2008 I AGREE.

Posted in Computer e Internet | Leave a comment

Somewhere something went terribly wrong…

Posted in Computer e Internet | Leave a comment

There are two ways of constructing a software design…

There are two ways of constructing a software design. One way is to make it so simple that there are obviously no deficiencies. And the other way is to make it so complicated that there are no obvious deficiencies. – … Continue reading

Posted in Uncategorized | Leave a comment

Can machines be conscious?

Someone tries to answer this question: http://spectrum.ieee.org/jun08/6278

Posted in Computer e Internet | Leave a comment

Articolo S&S

F. Flammini, N. Mazzocca, C. Pragliola PROTEZIONE DELLE INFRASTRUTTURE DI TRASPORTO SU FERRO

Posted in Computer e Internet | Leave a comment