STORRE

Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)	Editor(s)	Type
1996	Specification and Animation of Reactive Systems	Turner, Kenneth J; McClenaghan, Ashley; Chan, Colin	Atalay, Volkan; Halici, Ugur; Inan, Kemal; Yalabik, Nese; Yazici, Adnan	Conference Paper
2001	Formally-Based Design Evaluation (extended version)	Turner, Kenneth J; He, Ji	Margaria, Tiziana; Melham, Thomas F	Conference Paper
Jul-2009	Verification and Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) Approach	Niazi, Muaz A K; Hussain, Amir; Kolberg, Mario	Baldoni, Matteo; Baroglio, Cristina; Bentahar, Jamal; Boella, Guido; Cossentino, Massimo; Dastani, Mehdi; Dunin-Keplicz Barbara, Barbara; Fortino, Giancarlo; Gleizes, Marie-Peirre; Leite, João; Mascardi, Viviana; Padget, Julian; Pavón, Juan; Polleres, Axel; Seghrouchni, Amal El	Conference Paper
Nov-2007	Automated Analysis and Implementation of Composed Grid Services	Tan, Koon Leai Larry; Turner, Kenneth J	Dranidis, Dimitrios; Sakellariou, Ilias	Conference Paper
2016	Mining Markov Network Surrogates for Value-Added Optimisation	Brownlee, Alexander	Friedrich, T	Conference Paper
Oct-2005	Formalising Web Services	Turner, Kenneth J	Wang, F	Conference Paper
2008	Towards Personalised Home Care Systems	Wang, Feng; Turner, Kenneth J	Maglogiannis, Ilias; Makedon, Fillia; Baillie, Lynne; Pantziou,; Grammati,	Conference Paper
1-Dec-2016	An exploratory case study of interactive simulation for teaching Ecology	Ameerbakhsh, Omair; Maharaj, Savi; Hussain, Amir; Paine, C E Timothy; Taiksi, Solene	-	Conference Paper
May-2005	Formalising the Chisel Feature Notation	Turner, Kenneth J	Calder, Muffy H; Magill, Evan H	Conference Paper
1998	Validating Architectural Feature Descriptions using LOTOS	Turner, Kenneth J	Kimbler, Kristofer; Bouma, L G	Conference Paper
1997	Support Components for Quality of Service in Distributed Environments: Monitoring Service (extended version)	Reed, Daren A; Turner, Kenneth J	Campbell, Andrew; Nahrstedt, Klara	Conference Paper
2008	Policy Conflicts in Home Care Systems	Wang, Feng; Turner, Kenneth J	Bousquet, Lydie du; Richier, Jean-Luc	Conference Paper
2004	Formalising Graphical Behaviour Descriptions	Turner, Kenneth J	Rattray, C; Maharaj, S; Shankland, C	Conference Paper
1996	Specifying Multimedia Binding Objects in Z	Sinnott, Richard; Turner, Kenneth J	Spaniol, Otto; Linnhoff-Popien, Claudia; Meyer, Bernd	Conference Paper
1996	Specifying ODP Computational Objects in Z	Sinnott, Richard; Turner, Kenneth J	Najm, Elie; Stefani, Jean-Bernard	Conference Paper
1997	Modelling Digital Logic in SDL	Csopaki, Gyula; Turner, Kenneth J	Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo; Togashi, Atsushi	Conference Paper
May-2001	The N-Body Problem in LOTOS	Turner, Kenneth J	-	Conference Paper
1999	Protocol-Inspired Hardware Testing	He, Ji; Turner, Kenneth J	Csopaki, Gyula; Dibuz Sarolta, Sarolta; Tarnay, Katalin	Conference Paper
2005	Handling Policy Conflicts in Call Control	Blair, Lynne; Turner, Kenneth J	Reiff-Marganiec, Stephan; Ryan, Mark D	Conference Paper
1999	Specification and Verification of Synchronous Hardware using LOTOS	He, Ji; Turner, Kenneth J	Wu, Jianping; Chanson, Samuel T; Gao, Quiang	Conference Paper

This collection contains electronic copies of conference papers and proceedings produced by Computing Science and Mathematics staff.