Publications

2012
R. Larose., K. DeMaagd., H. E. Chew., H. -y S. Tsai, C. Steinfield, S. S. Wildman, and J. M. Bauer, "Measuring sustainable broadband adoption: An innovative approach to understanding broadband adoption and use.", International Journal of Communication, vol. 6, 2012. Abstract  Download: 2012 Larose et al IJOC.pdf (518.44 KB)
J. E. Awotwi, A. Ojo, and T. Janowski, Mobile governance: Head porters in Ghana, : United Nations University, 2012. Abstract
D. Li, X. Li, and V. Stolz, "Model querying with graphical notation of QVT relations", ACM SIGSOFT Software Engineering Notes, vol. 37, no. 4, pp. 1-8, 2012.
J. Barth, B. Westphal, and S. Arlt, "Model-based development of embedded systems' user interfaces", The 5th International WorkshopProceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems - ACES-MB '12, Innsbruck, AustriaNew York, New York, USA, ACM Press, pp. 37 - 42, 2012.
F. Abouzaid, J. Mullins, M. Mazzara, and N. Dragoni, "Modelling and Analysis of Dynamic Reconfiguration in BP-calculus", 6th International KES Conference on Agents and Multi-agent Systems Technologies and Applications, Dubrovnik, Croatia, 2012.
S. Arlt, P. Borromeo, A. Podelski, and M. Schäf, "Parameterized GUI Tests", The 24th IFIP Int. Conference on Testing Software and Systems (ICTSS'12), 2012.
L. Zhao, PhD Thesis - Graphs and Graph Transformations for Object-Oriented and Service-Oriented Systems, , 2012. Abstract  Download: report457.pdf (1.9 MB)
P. M. Papadopoulos, I. G. Stamelos, and A. Meiszner, "Students’ Perspectives on Learning Software Engineering with Open Source Projects: Lessons Learnt After Three Years of Program Operation", 4th International Conference on Computer Supported Education – CSEDU 2012, pp. 313-322, 2012. Abstract
S. S. Wildman, and H. E. Chew, "Television in Flux: Emerging Strategies for the Online Distribution of Television Programs.", Understanding the Interactive Digital Media Marketplace: Frameworks, Platforms, Communities and Issues, R. S. Sharma, M. Tan, and F. Pereira (Eds.), , 2012. Abstract
J. Faber, "A Timed Model for Healthcare Workflows Based on CSP", SEHC 2012, R. Breu, and J. Hatcliff (Eds.), , Zurich, IEEE, 2012. Abstract  Download: Faber2012.pdf (543.87 KB)
S. Arlt, C. Bertolini, S. Pahl, and M. Schäf, "Trends in Model-based GUI Testing", Advances in Computers, vol. 86, pp. 183-222, 2012. Abstract
2011
H. Hansen, and X. Wang, "On the origin of events: branching cells as stubborn sets", 32nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2011), Kanazawa, Japan, Springer, 2011. Abstract  Download: paper03-29.pdf (314.24 KB)
Y. Ledru, A. Idani, J. Milhau, N. Qamar, R. Laleau, J. - L. Richier, and M. - A. Labiadh, "Taking into account functional models in the validation of IS security policies", 23th International Conference on Advanced Information Systems Engineering ( CAiSE'11), London, UK, Lecture Notes in Business Information Processing, pp. 592-606, 2011.
Y. Ledru, N. Qamar, A. Idani, J. - L. Richier, and M. - A. Labiadh, "Validation of security policies by the animation of Z specifications", 16th ACM symposium on Access control models and technologies, Innsbruck, Austria, ACM, 2011.