Fernández, Daniel Méndez; Ognawala, Saahil; Wagner, Stefan; Daneva, MayaWhere do we stand in requirements engineering improvement today?: first results from a mapping study58Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and MeasurementACM New York2014
Fernández, Daniel Méndez; Ognawala, Saahil; Wagner, Stefan; Daneva, Maya Where do we stand in requirements engineering improvement today?: first results from a mapping study58Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and MeasurementACM2014
Holling, Dominik;Pretschner, Alexander;Gemmar, Matthias8Cage: Lightweight Fault-Based Test Generation for SimulinkProceedings of the 29th ACM/IEEE International Conference on Automated Software EngineeringAssociation for Computing Machinery (ACM)2014
Lovat, Enrico;Oudinet, Johan;Pretschner, AlexanderOn quantitative dynamic data flow trackingProceedings of the 4th ACM Conference on Data and Application Security and PrivacyAssociation for Computing Machinery (ACM)2014
Barthe, Gilles;Köpf, Boris;Mauborgne, Laurent;Ochoa, MartínLeakage Resilience against Concurrent Cache AttacksThird International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, ProceedingsSpringer Science + Business Media2014
Rocchetto, Marco;Ochoa, Martín;Torabi Dashti, MohammadModel-Based Detection of CSRF29th IFIP TC 11 International Conference, SEC 2014, Marrakech, Morocco, June 2-4, 2014. ProceedingsSpringer Science + Business Media2014
Wüchner, Tobias;Ochoa, Martín;Pretschner, AlexanderMalware detection with quantitative data flow graphsProceedings of the 9th ACM Symposium on Information, Computer and Communications SecurityAssociation for Computing Machinery (ACM)2014
Wüchner, Tobias;Pretschner, Alexander;Ochoa, MartínDAVASTProceedings of the Eleventh Workshop on Visualization for Cyber SecurityAssociation for Computing Machinery (ACM)2014
Alexander PretschnerAchieving Accountability with Distributed Data Usage Control Technology2nd International Workshop on Accountability: Science, Technology, and Policy. Massachusetts Institute of Technology2014