Get my own profile
Public access
View all11 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
Iman NarasamdyaResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Marco GarioGitHubVerified email at github.com
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Michael CashmoreUniversity of StrathclydeVerified email at strath.ac.uk
Cristian MattareiApple Inc.Verified email at cs.stanford.edu
Daniele MagazzeniJ.P. Morgan. Chief Analytics Officer for the Commercial and Investment BankVerified email at jpmorgan.com
Roberto PosenatoAssociate Professor of Computer Science, University of Verona (Italy)Verified email at univr.it
Alessandro ValentiniFondazione Bruno KesslerVerified email at fbk.eu
Enrico ScalaUniversità di BresciaVerified email at unibs.it
Minh DoSenior Research Scientist, NASA ARC & KBRVerified email at nasa.gov
David E. SmithconsultantVerified email at PSresearch.xyz
Parisa ZehtabiKing's College londonVerified email at kcl.ac.uk
Angelo SusiResearcher, Fondazione Bruno Kessler (FBK), ItalyVerified email at fbk.eu
Muhammad Syifa'ul MufidInstitut Teknologi Sepuluh Nopember SurabayaVerified email at matematika.its.ac.id
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk