Talk by Jan Tretmans: Goodbye ioco, hello uioco
November 25, 2019
Model-based testing (MBT) is a systematic way of black-box testing of a system under test (SUT) with respect to behaviour...
[ Read More ]
Development of low cost equipment for monitoring photovoltaic systems
November 25, 2019
Ascensión López, researcher at the IMDEA Water Institute, has defended her doctoral thesis
[ Read More ]
Goodbye ioco, hello uioco
November 25, 2019
Model-based testing (MBT) is a systematic way of black-box testing of a system under test (SUT) with respect to behaviour...
[ Read More ]
IMDEA Water will advise the Community of Madrid to fight against climate change
November 22, 2019
The Institute will be part of the new Scientific-Technical Committee on Sustainability and Climate Change
[ Read More ]
Talk by Giovanni Denaro: Automatic Test Generation for Programs with Complex Structured Inputs
November 22, 2019
Despite the recent improvements in automatic test case generation, test case generators do not yet handle well programs with complex...
[ Read More ]
Automatic Test Generation for Programs with Complex Structured Inputs
November 22, 2019
Despite the recent improvements in automatic test case generation, test case generators do not yet handle well programs with complex...
[ Read More ]
26th of November – Seminar “The good, the bad and the ugly: olive oil, palm oil and food industry”.
November 21, 2019
Thursday, November 21, 2019 Next 26th of November, Belén Ruiz Roso, Postdoctoral Researcher of the Epigenetics of Lipid Metabolism Group...
[ Read More ]
BioForward participates in the ClimateLaunchpad Global Grand Final
November 20, 2019
The sustainable desalination concept won the Spanish edition
[ Read More ]
Experimentation Conference of ITP Aero
November 19, 2019
Last Friday 15th of November we hosted one of the Technological Knowledge Conferences of ITP aero. These events are organized...
[ Read More ]
Talk by Ignacio Luengo: Post-quantum Cryptography with polynomials
November 18, 2019
Post-quantum cryptography is public-key cryptography resistant to future quantum computers. In this talk we will talk about a post-quantum cryptosystem...
[ Read More ]
