(1 - 18 von 18
)
ASE : 31st IEEE/ACM International Conference on Automated...
www.wikicfp.com
Shahar Maoz, Tel Aviv University, Israel Shiva Nejati, University of Luxembourg, Luxembourg Baishakhi Ray, University of Virginia, United States Márcio Ribeiro ...
Events | Adaptive Security and Privacy
www9.open.ac.uk
Dr Alessandra Russo (Imperial College London) gave a keynote presentation and Shahar Maoz (Tel Aviv University) gave an invited talk. Software Systems ...
Reactive Systems: David Harel's 64th birthday, 23 Jul 2014, Vienna,...
resources.illc.uva.nl
... Microsoft Research * Marta Kwiatkowska, Oxford University * Shahar Maoz, Tel Aviv University * Dana Scott, Carnegie Mellon University and ...
sortiert nach Relevanz / Datum