[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - LTSA-WSFoster, Howard; Uchitel, Sebastian; Magee, Jeff; Kramer, Jeff · 2006

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - Model checking service compositions under resource constraintsFoster, Howard; Emmerich, Wolfgang; Kramer, Jeff; Magee, Jeff; Rosenblum, David; Uchitel, Sebastian · 2007