Conference papers

2010

Argument-driven Validation of Computer Simulations — A Necessity Rather Than an Option (PDF)
Teodor Ghetiu, Fiona A. C. Polack and James Bown
In VALID 2010: The Second International Conference on Advances in System Testing and Validation Lifecycle
IEEE Press
BibTeX

Reflections on the Simulation of Complex Systems for Science (PDF)
Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis and Adam T. Sampson
In ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems
pp. 276—285
IEEE Press
BibTeX

A Transactional Architecture for Simulation (PDF)
Tim Hoverd and Adam T. Sampson
In ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems
pp. 286—290
IEEE Press
BibTeX

2009

A Domain Model of Experimental Autoimmune Encephalomyelitis (PDF)
Mark Read, Paul S. Andrews, Jon Timmis and Vipin Kumar
In Susan Stepney, Peter H. Welch, Paul S. Andrews and Jon Timmis (eds.)
Proceedings of the 2009 Workshop on Complex Systems Modelling and Simulation, York, UK, August 2009
pp. 9—44
Luniver Press
BibTeX

Using UML to Model EAE and its Regulatory Network (PDF)
Mark Read, Paul S. Andrews, Jon Timmis and Vipin Kumar
In 8th International Conference on Artificial Immune Systems (ICARIS), volume 5666 of Lecture Notes in Computer Science
BibTeX

Environment Orientation: An Architecture for Simulating Complex Systems (PDF)
Tim Hoverd and Susan Stepney
In Susan Stepney, Peter H. Welch, Paul S. Andrews and Jon Timmis (eds.)
Proceedings of the 2009 Workshop on Complex Systems Modelling and Simulation, York, UK, August 2009
pp. 67—82
Luniver Press
BibTeX

Equivalence Arguments for Complex Systems Simulations -­ A Case-Study (PDF)
Teodor Ghetiu, Robert D. Alexander, Paul S. Andrews, Fiona A. C. Polack and James Bown
In Susan Stepney, Peter H. Welch, Paul S. Andrews and Jon Timmis (eds.)
Proceedings of the 2009 Workshop on Complex Systems Modelling and Simulation, York, UK, August 2009
pp. 101—140
Luniver Press
BibTeX

Multicore Scheduling for Lightweight Communicating Processes (PDF)
Carl G. Ritson, Adam T. Sampson and Frederick R. M. Barnes
In John Field and Vasco Thudichum Vasconcelos (eds.)
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5521 of Lecture Notes in Computer Science
pp. 163—183
Springer
BibTeX

Modelling and Simulation of Granuloma Formation in Visceral Leishmaniasis (PDF)
Anton Jakob Flügge, Jon Timmis, Paul Andrews, John Moore and Paul Kaye
In 2009 IEEE Congress on Evolutionary Computation (CEC 2009)
pp. 3052—3059
IEEE Press
BibTeX

The engineering of concurrent simulations of complex systems (PDF)
Fiona A.C. Polack, Paul S. Andrews and Adam T. Sampson
In 2009 IEEE Congress on Evolutionary Computation (CEC 2009)
pp. 217—224
IEEE Press
BibTeX

Mobile Processes, Mobile Channels and Dynamic Systems (PDF)
Eric Bonnici and Peter H. Welch
In 2009 IEEE Congress on Evolutionary Computation (CEC 2009)
pp. 232—239
IEEE Press
BibTeX

Birds on the Wall: Distributing a Process-Oriented Simulation (PDF)
Adam T. Sampson, John Markus Bjørndalen and Paul S. Andrews
In 2009 IEEE Congress on Evolutionary Computation (CEC 2009)
pp. 225—231
IEEE Press
BibTeX Slides

2008

Process-Oriented Collective Operations (PDF)
John Markus Bjørndalen and Adam T. Sampson
In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink and Adam T. Sampson (eds.)
Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering
pp. 309—328
IOS Press
BibTeX

Simulating biology: towards understanding what the simulation shows (PDF)
Paul S. Andrews, Fiona Polack, Adam T. Sampson, Jon Timmis, Lisa Scott and Mark Coles
In Susan Stepney, Fiona Polack and Peter Welch (eds.)
Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008
pp. 93—123
Luniver Press
BibTeX

Complex systems models: engineering simulations (PDF)
Fiona A.C. Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney and Jon Timmis
In S. Bullock, J. Noble, R. Watson and M. A. Bedau (eds.)
Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems
pp. 482—489
MIT Press, Cambridge, MA
BibTeX

Investigating patterns for the process-oriented modelling and simulation of space in complex systems (PDF)
Paul S. Andrews, Adam T. Sampson, John Markus Bjørndalen, Susan Stepney, Jon Timmis, Douglas N. Warren and Peter H. Welch
In S. Bullock, J. Noble, R. Watson and M. A. Bedau (eds.)
Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems
pp. 17—24
MIT Press, Cambridge, MA
BibTeX