Noticias del Instituto IMDEA Software
El artículo Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations, escrito por los investigado...
El artículo Computer-Aided Security Proofs for the Working Cryptographer, del que son coautores los investigadores del I...
El artículo Measuring Pay-per-Install: The Commoditization of Malware Distribution, del que es co-autor Juan Caballero, ...
Manuel Hermenegildo, Director del Instituto, ha formado parte, con los profesores Michael Leuschel (Universidad de Düsse...
Technology Review del MIT ha publicado un artículo sobre un trabajo reciente de investigadores del Instituto IMDEA Softw...
Pavithra Prabhakar obtuvo su doctorado en Informática por la universidad de Illinois en Urbana-Champaign (UIUC) en 2011....
El Instituto IMDEA Software ha publicado su Informe Anual 2010.
AbsInt e IMDEA Software firman un acuerdo para colaborar en el desarrollo del analizador estático ASTREE, comercializado...
Alexey Gotsman, Assistant Professor en el Instituto IMDEA Software, ha recibido el premio de la EAPLS a la mejor tesis e...
Laurent Mauborgne, Investigador en el Instituto IMDEA Software es uno de los ganadores del Intelligent Systems Best Pape...
El Natural Science Research Council (FNU) de Dinamarca financiará durante 3 años (2011-2013) el proyecto “NUSA: Nu...
