Modelling and Analysing Resilient Cyber-physical Systems. 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
.
2019. Modelling and Verification of a Time-triggered Networking Protocol. ICONS’06ICONS’06.
.
2007. Modelling and Verification of a Time-triggered Networking Protocol ICONS’06. IEEE Computer SocietyIEEE Computer Society.
.
2006. Modelling Android applications through static analysis and systematic exploratory testing . International Conference on Dependable Systems and Their Applications .
.
2023. Modelling Android applications through static analysis and systematic exploratory testing. 2023 10th International Conference on Dependable Systems and Their Applications (DSA).
.
2023. Modelling architectural design rules in UML. EMMSAD’08, the Thirteenth International Workshop on Exploring Modeling Methods for Systems Analysis and Design.
.
2008. Modelling Business Transactions across Service Supply Chain Networks. 20th International Conference on Information Systems Development (ISD2011)20th International Conference on Information Systems Development (ISD2011).
.
2011. Modelling Care Pathways in a Connected Health Setting. Third International Symposium on Foundations of Health Information Engineering and SystemsThird International Symposium on Foundations of Health Information Engineering and Systems.
.
2013. Modelling Flash Devices with FDR: Progress and Limits. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.
.
2010. Modelling Hardware Verification Concerns Specified in the e Language: An Experience Report. Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD) Industry TrackProceedings of the International Conference on Aspect-Oriented Software Development (AOSD) Industry Track.
.
2009. Modelling higher-order dual non determinacy. Acta Informatica. 45
.
2008. Modelling MAC-Layer Communications. Logical Methods in Computer Science. 11(1)
.
2015. Modelling MAC-Layer Communications in Wireless Systems. Electronic Proceedings of Theoretical Computer Science. 11
.
2015. Modelling session types using contracts. Mathematical Structures in Computer Science.
.
2016. Modelling Software Engineering Research with RSML. 18th International Conference on Evaluation and Assessment in Software Engineering18th International Conference on Evaluation and Assessment in Software Engineering.
.
2014. Modelling Support for Mobile Ambients in Service Oriented Architecture. IEEE International Conference on Mobile Services (MS 2012)IEEE International Conference on Mobile Services (MS 2012).
.
2012. Modelling the Dynamics of Trust across a Cloud Brokerage Environment. Information Resources Management Journal.
.
2015. Modelling the Haemodialysis Machine with Circus. Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings.
.
2016. Modelling the Information-Seeking Behaviour of Programmers - An Empirical Approach. International workshop on Program Comprehension.
.
2005. .
2007. Models for Service Based Applications:A Systematic Literature Review. Information and Software Technology.
.
2011. Modularization Constructs in Method Engineering: Towards Common Ground. IFIP WG8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences (ME’07)IFIP WG8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences (ME’07).
.
2007. Monetize This? Marketized-Commons Platforms, New Opportunities and Challenges for Collective Action :130-147.
.
2019. Monitoring Fuzzy Temporal Requirements for Service Compositions: Motivations, Challenges and Experimental Results. Workshop on Requirements Engineering for Systems, Services, and Systems of Systems (RES^4), co-located with RE’11.
.
2011. On monitoring overhead impact in wireless mesh networks. 8th International Wireless Communications and Mobile Computing Conference (IWCMC)8th International Wireless Communications and Mobile Computing Conference (IWCMC).
.
2012.