A Role-based Approach Towards Modular Language Engineering

Wende, C., Thieme, N. & Zschaler, S., 03/2010, Software Language Engineering : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers. van den Brand, M., Gaševic, D. & Gray, J. (eds.). Berlin: Springer, p. 254-273 20 p. (Lecture Notes in Computer Science; vol. 5969).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Applications of branching processes to the final size of SIR epidemics

Ball, F. & Neal, P. J., 22/01/2010, Workshop on Branching Processes and Their Applications . González Velasco, M., Puerto, I. M., Martínez, R., Molina, M., Mota, M. & Ramos, A. (eds.). Springer, p. 209-225 17 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Theoretical background and prognostic modeling for benchmarking SHM sensors for composite structures

Smelyanski, V., Hafiychuk, V., Luchinsky, D. G., Banks, C., Conn, C., Miller, J. & Watson, M., 1/01/2010, Annual Conference of the Prognostics and Health Management Society, PHM 2010. Prognostics and Health Management Society 2015, 8 p. (Annual Conference of the Prognostics and Health Management Society, PHM 2010).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Stage separation failure: Model based diagnostics and prognostics

Luchinsky, D., Hafiychuk, V., Kulikov, I., Smelyanskiy, V., Patterson-Hine, A., Hanson, J. & Hill, A., 1/01/2010, Annual Conference of the Prognostics and Health Management Society, PHM 2010. Prognostics and Health Management Society 2015, 9 p. (Annual Conference of the Prognostics and Health Management Society, PHM 2010).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Granting flexible operations in congested airspaces

Castelli, L., Corolli, L. & Lulli, G., 1/01/2010, Proceedings of the 9th Innovative Research Workshop and Exhibition, INO 2010. EUROCONTROL, p. 111-118 8 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Impact of Coupling on the Fault-Proneness of Aspect-Oriented Programs: An Empirical Study

Burrows, R., Ferrari, F. C., Lemos, O. A. L., Garcia, A. & Taiani, F., 1/01/2010, IEEE 21st International Symposium on Software Reliability Engineering. San Jose, CA, USA: IEEE Computer Society, p. 329-338 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Travelling in a prehistoric landscape: Exploring the influences that shaped human movement.

Murrieta-Flores, P., 1/01/2010, Making History Interactive. Computer Applications and Quantitative Methods in Archaeology (CAA). : Proceedings of the 37th International Conference, Williamsburg, Virginia, United States of America, March 22-26. Archaeopress, Vol. 2079. p. 249-267 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

An exploration of foundation ontologies and verification methods for manufacturing knowledge sharing

Anjum, N., 1/01/2010, Third International IFIP Working Conference on Enterprise Interoperability, IWEI 2011.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Cross domain knowledge verification: verifying knowledge in foundation based domain ontologies

Anjum, N., 1/01/2010, KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The great plains environment for network innovation (GpENI): a programmable testbed for future internet architecture research

Sterbenz, J. P. G., Medhi, D., Ramamurthy, B., Scoglio, C. M., Hutchison, D., Plattner, B., Anjali, T., Scott, A., Buffington, C. & Monaco, G. E., 2010, Testbeds and Research Infrastructures. Development of Networks and Communities: 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers. Magendanz, T., Gavras, A., Thanh, N. H. & Chase, J. S. (eds.). Berlin: Springer, p. 428-441 14 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 46).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Verifying semantic conformance of state machine-to-java code generators

Rahim, L. A. & Whittle, J., 2010, Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Petriu, D. C., Rouquette, N. & Haugen, Ø. (eds.). Berlin: Springer Verlag, p. 166-180 15 p. (Lecture Notes in Computer Science; vol. 6394).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

VoiceYourView: collecting real-time feedback on the design of public spaces

Whittle, J., Simm, W., Ferrario, M., Frankova, K., Garton, L., Woodcock, A., Nasa, B., Binner, J. & Ariyatum, A., 2010, Proceedings of the 12th ACM international conference on Ubiquitous computing. New York: ACM, p. 41-50 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

On the role of the user in monitoring the environment in self-adaptive systems: a position paper

Whittle, J., Simm, W. & Ferrario, M-A., 2010, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. New York, NY, USA: ACM, p. 69-74 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Assessing the impact of aspects on model composition effort

Farias, K., Garcia, A. & Whittle, J., 2010, Proceedings of the 9th International Conference on Aspect-Oriented Software Development. New York, NY, USA: ACM, p. 73-84 12 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Automating the mutation testing of aspect-oriented Java programs

Ferrari, F. C., Nakagawa, E. Y., Rashid, A. & Maldonado, J. C., 2010, AST '10: Proceedings of the 5th Workshop on Automation of Software Test. New York, NY, USA: ACM, p. 51-58 8 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

On the Effectiveness of Abstraction Identification in Requirements Engineering

Gacitua, R., Sawyer, P. & Gervasi, V., 2010, RE '10: Proceedings of the 2010 18th IEEE International Requirements Engineering Conference. Washington, DC, USA: IEEE Computer Society, p. 5-14 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems

Sawyer, P., Bencomo, N., Whittle, J., Letier, E. & Finkelstein, A., 2010, Proceedings of the 18th IEEE International Requirements Engineering Conference (RE '10). Washington, DC, USA: IEEE Computer Society, p. 95-103 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Ontology and Model Alignment as a Means for Requirements Validation

Kof, L., Gacitua, R., Rouncefield, M. & Sawyer, P., 2010, ICSC '10: Proceedings of the 2010 IEEE Fourth International Conference on Semantic Computing. Washington, DC, USA: IEEE Computer Society, p. 46-51 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach

Welsh, K. & Sawyer, P., 2010, ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops. Washington, DC, USA: IEEE Computer Society, p. 290-298 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

National Differences or Sector Effects? HRM in Japanese and UK Retail Multinationals in China

Gamble, J. & Huang, Q., 2010, Proceedings of the 52nd Annual Meeting of the Academy of International Business. Kostova, T. & Kiyak, T. (eds.). Rio de Janeiro: Academy of International Business, p. 246 1 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Throw your photos: an intuitive approach for sharing between mobile phones and interactive tables

Chehimi, F. & Rukzio, E., 2010, Ubicomp '10 Adjunct: Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing - Adjunct. New York, NY, USA: ACM, p. 443-444 2 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

MyState: using NFC to share social and contextual information in a quick and personalized way

Hardy, R., Rukzio, E., Holleis, P., Broll, G. & Wagner, M., 2010, Ubicomp '10 Adjunct: Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing - Adjunct. New York, NY, USA: ACM, p. 447-448 2 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Mobile interaction with static and dynamic NFC-based displays

Hardy, R., Rukzio, E., Holleis, P. & Wagner, M., 2010, MobileHCI '10: Proceedings of the 12th international conference on Human computer interaction with mobile devices and services. New York, NY, USA: ACM, p. 123-132 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

MoBlogs, Sharing Situations and Lived Life

Graham, C., Satchell, C. & Rouncefield, M., 2010, Computer Supported Cooperative Work. Springer, p. 269-289 20 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Differentiation-Aware Fault-Tolerant Framework for Web Services

Kotonya, G. & Hall, S., 2010, Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings. Maglio, P., Weske, M., Yang, J. & Fantinato, M. (eds.). Berlin: Springer Verlag, p. 137-151 15 p. (Lecture Notes in Computer Science; vol. 6470).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review