Biography   Research Projects   Daniel Sinnig  
Publications
 
Contact
 

List of Publications of Daniel Sinnig

Journals

  • Sinnig, D., Khendek, F. and Chalin, P. (2010) Partial Order Semantics for Use Case and Task Models, Formal Aspects of Computing Journal (FACJ), 23 (3), pp. 307-332 [download]

  • Wurdel, M., Sinnig, D. and Forbrig, P. (2009) CTML: Domain and Task Modeling for Collaborative Environments.  Journal of Universal Computer Science. Special Issue on Human-Computer Interaction. vol 14 (19). pp. 3188-3201.

  • Sinnig, D. Chalin, P. and Khendek, F. (2008) Towards a Common Semantic Foundation for Use Cases and Task Models. Electronic Notes in Theoretical Computer Science. 183C: pp. 73-88.

Refereed international conference and workshop proceedings

  • Javahery, H., Gower, M., Sinnig, D. and Forbrig, P. (2011), Patterns for usable Accessible Design, to appear in Proceedings of Human-Computer Interaction 2011, Orlando, Florida.

  • Sinnig, D., Pitula, K., Becker, R., Radhakrishnan, T. and Forbrig, P. (2010), Structured Digital Storytelling for Eliciting Software Requirements in the ICT4D Domain, in Proceedings of Human Computer Interaction 2010, pp. 58-69, Brisbane, Australia.

  • Mizouni, R., Sinnig, D., Khendek, F. (2010) Towards an Integrated Model for Functional and User Interface Requirements, in Proceedings of 3rd Conference on Human-Centred Software Engineering. Reykjavik, Iceland.

  • Sinnig, D., Mizouni, R., Khendek, F. (2010) Bridging the Gap: Empowering Use Cases with Task Models, in Proceedings of ACM Engineering Interactive Computing Systems. Berlin, Germany.

  • Sinnig, D., Khendek, F. and Chalin, P. (2010), A Formal Approach to Generating Integrated Functional and User Interface Test Cases, in Proceedings of 3rd IEEE International Conference on Software Testing, Verification and Validation. Paris, France [download].

  • Pitula, K., Sinnig, D. and Radhakrishnan, T. (2010) Making Technology Fit: Designing an Information Management System for Monitoring Social Protection Programmes in St. Kitts, in Proceedings of SALISES 2010, Trinidad and Tobago.

  • Mizouni, R., Sinnig, D. and Khendek, F. (2010) Enriching Use Cases with CTTs, in Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems, Oxford, England.

  • Bomsdorf, B. and Sinnig, D. (2009). Model-Based Specification and Validation of User Interface Requirements. in Proceedings of Human Computer Interaction International. published as Lecture Notes of Computer Science (LNCS) Vol. 5610, pp. 587-596.

  • Barrett, S., Sinnig. D. and Chalin, P. (2009) Merging of Use Case Models: Semantic Foundations, in Proceedings of 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering. pp. 182-189 [download].

  • Sinnig, D., Chalin, P. and Khendek, F. (2009) LTS Semantics for Use Case Models. in Proceedings of ACM Symposium on Applied Computing. pp. 365-370 [download].

  • Wurdel, M., Sinnig, D. and Forbrig, P. (2008) Task-based Development Methodology for Collaborative Environments, in Proceedings of Task Models and Diagrams. published as Lecture Notes of Computer Science (LNCS) Vol. 5247. pp. 118-125.

  • Wurdel, M., Sinnig, D. and Forbrig, P. (2008) Task Model Refinement with Meta Operators, in Proceedings of Design, Verification and Specification of Interactive Systems. published as LNCS Vol. 5136. pp. 300-305.

  • Wurdel, M., Sinnig, D. and Forbrig, P. (2008) Towards a Formal Task-based Specification Framework for Collaborative Environments. in Proceedings of Computer Aided Design of User Interfaces. pp. 145-156.

  • Chalin, P., Sinnig, D. and Torkzadeh, K. (2008) Capturing Business Transaction Requirements in Use Case Models. in Proceedings of ACM Symposium on Applied Computing. pp. 602-606 [download].

  • Sinnig, D., Wurdel, M., Forbrig, P., Chalin, P. and Khendek, F. (2007) Practical Extensions for Task Models, in Proceedings of Task Models and Diagrams. published as LNCS Vol. 4849. pp. 42-55.

  • Wurdel, M., Forbrig, P., Radhakrishnan, T. and Sinnig, D. (2007) Patterns for Task- and Dialog-Modeling. in Proceedings of Human-Computer Interaction. published as LNCS Vol. 4550. pp. 1226-1235.

  • Sinnig, D., Chalin, P. and Khendek, F. (2007) Common Semantics for Use Cases and Task Models. in Proceedings of Integrated Formal Methods. published as LNCS Vol.4591. pp. 579-598 [download].

  • Sinnig, D., Chalin, P. and Khendek, F. (2007) Consistency between Task Models and Use Cases. in Proceedings of Design, Specification and Verification of Interactive Systems, published as LNCS Vol. 4940. pp. 120-139 [download].

  • Javahery, H., Sinnig, D., Seffah, A., Forbrig, P. and Radhakrishnan, T. (2006) Pattern-Based UI Design: Adding Rigor with User and Context Variables, in Proceedings of Task Models and Diagrams. published as LNCS Vol. 4385. pp. 97-108.

  • Radeke, F., Forbrig, P., Seffah, A., Sinnig, D. (2006) PIM Tool: Support for Pattern-Driven and Model-Based UI Development. in Proceedings of Task Models and Diagrams. published as LNCS Vol. 4385. pp. 82-96.

  • Sinnig, D., Javahery, H., Forbrig, P. and Seffah, A. (2005) Patterns and Components for Enhancing Reusability and Systematic UI Development.  in Proceedings of Human-Computer Interaction. pp. 423-432.

  • Sinnig, D., Rioux, F. and Chalin, P. (2005) Use Cases in Practice: A Survey. inProceedings of Canadian University Software Engineering Conference. pp. 54-62.

  • Gaffar, A., Sinnig, D., Forbrig, P. and Seffah, A. (2004) Modeling Patterns for Task Models. in Proceedings of Task Models and Diagrams. pp. 99-104.

  • Sinnig, D., Javahery, H., Strika, J., Forbrig, P., Seffah, A. (2004) Patterns and Components for Enhancing Reusability and  Systematic UI Development. in Proceedings of Business Informatics Research. pp. 106-120.

  • Sinnig, D., Gaffar, A., Reichart, D., Forbrig, P. and Seffah, A. (2004) Patterns in Model-based Engineering. in Proc. of Computer Aided Design of User Interfaces. pp. 197-210.

  • Sinnig, D., Gaffar, A., Forbrig, P., Seffah, A. (2004) Patterns, Tools and Models for Interaction Design.  Position Paper in CADUI Workshop entitled Making model-based user interface design practical: Usable and open methods and tools. 4 pages.

  • Forbrig, P., Dittmar, A., Reichart, D. and Sinnig, D. (2004) From Models to Interactive Systems Tool Support and XIML, Position Paper in CADUI Workshop entitled Making model-based user interface design practical: Usable and open methods and tools. 4 pages.

  • Gaffar, A., Javahery, H., Seffah, A. and Sinnig, D. (2003) A Pattern Framework for Eliciting and Delivering UCD Knowledge and Practices. in Proceedings of Human-Computer Interaction. pp. 108–112.

  • Abi-Aad, R., Sinnig, D., Radhakrishnan, T. and Seffah A. (2003) CoU: Context of Use Model for User Interface Design. Proceedings of Human-Computer Interaction. pp. 8-12.  

  • Sinnig, D., Javahery, H., Forbrig, F. and Seffah, A. (2003) Complicity of Model-Based Approaches and Patterns for UI Engineering. in Proc. of Business Informatics Research. pp. 120-131.

  • Forbrig, P., Dittmar, A., Reichart, D. and Sinnig, D. (2003) User-Centred Design and Abstract Prototypes. in Proceedings of Business Informatics Research. pp. 132-145.

  • Gaffar, A., Sinnig, D., Javahery, H. and Seffah, A. (2003) MOUDIL: A Comprehensive Framework for Disseminating and Sharing HCI Patterns, Position Paper in CHI Workshop entitled: Perspectives on HCI patterns: Concepts and Tools. 3 pages.

  • Sinnig, D., Forbrig, P. and Seffah, A. (2003) Patterns in Model-Based Development. Position Paper in INTERACT Workshop entitled: Software and Usability Cross-Pollination: The Role of Usability Patterns. 10 pages.

Book chapters

  • Pitula, K, Sinnig, D., Radhakrishnan, T. (2009) Requirements Engineering in the ICT4D Domain, to appear in Mobile Information Communication Technologies Adoption in Developing Countries: Effects and Implications (IGI Global).

  • Javahery, H., Seffah, A., Engelberg, D. and Sinnig, D. (2003) Migrating User Interfaces between Platforms Using HCI Patterns,chapter in Multiple User Interfaces: Multiple-Devices, Cross-Platform and Context-Awareness (Wiley). 241-258.

Theses

  • Sinnig, D. (2009) Use Case and Task Models: Formal Unification and Integrated Development Methodology, PhD Thesis in the Department of Computer Science, Concordia University, Montreal (Canada) [download].

  • Sinnig, D. (2004) Enhancing Re-Use: Towards a Pattern- and Component-Based UI Development, Diploma Thesis in the Department of Computer Science, University of Rostock (Germany).

  • Sinnig, D. (2004) The Complicity of Patterns and Model-Based Engineering, Master Thesis in the Department of Computer Science, Concordia University, Montreal (Canada).

Conference tutorials

  • Sinnig, D. and Javahery, H. (2010) Use Cases: Capturing Functional Requirements for Interactive Systems, Tutorial given at ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Berlin, Germany [slides].

 

 

 

Last update: April 20, 2011