|
New Ideas and Emerging Results Track
When:
Wednesday, May 25 1:45PM
Location:
Coral Ballroom 1
|
|
Process |
|
Alberto Sillitti, Giancarlo Succi, and Jelena Vlasenko
|
|
Borislava I. Simidchieva and Leon J. Osterweil
|
|
Nicolas Mangano, Harold Ossher, Ian Simmonds, Matthew Callery, Michael Desmond, and Sophia Krasikov
|
|
Kenneth M. Anderson and Aaron Schram
|
|
Requirements |
|
Yang Li, Nitesh Narayan, Jonas Helming, and Maximilian Koegel
|
|
Felix Bott, Stephan Diehl, and Rainer Lutz
|
|
Rafael V. Borges, Artur D'Avila Garcez, Luis C. Lamb, and Bashar Nuseibeh
|
|
David Cuddeback, Alex Dekhtyar, Jane Huffman Hayes, Jeff Holden, and Wei-Keat Kong
|
|
Verification 1 |
|
Alexander Nöhrer, Alexander Reder, and Alexander Egyed
|
|
Grigore Roşu and Andrei Ştefănescu
|
