Publications related
to Feature Interactions
1.
A. Miller and M. Calder.
An automatic abstraction technique for verifying featured, parameterised
systems
Theoretical Computer Science, 404, pp. 235-255, 2008.
2.
D. Graham, M.
Calder, and A Miller
An Inductive Technique for Parameterised Model Checking of Degenerative
Distributed Randomised Protocols
Proceedings of AVOCS 07 (Automated Verification of Critical Systems), ENTCS
vol. 250, pp.87-103, Elsevier
2009.
3.
A. Miller, M.
Calder and A. Donaldson
A template-based approach for the generation of abstractable
and reducible models of featured networks
Computer Networks, vol. 51(2), pp. 439-455, Elsevier, 2007.
4. M. Calder and A. Miller
Feature
Interaction Detection by Pairwise Analysis of LTL Properties--a case study
Formal Methods in System Design, Volume 28(30), pp. 213-261, May 2006.
5. A.
Miller and M. Calder.
A generic approach for the automatic verification of featured, parameterised
systems
Proceedings of Eighth International Conference on Feature Interactions
in Telecommunications and Software Systems (ICFI '05) , pp 217-235, IOS Press,
2005.
6. A. Donaldson, A. Miller and M. Calder.
Finding symmetry in models of concurrent systems by static channel diagram
analysis
Electronic Notes in Theoretical Computer Science, vol. 128/6, pp 161-177,
Elsevier, 2004.
7. M Calder and A. Miller.
Verifying parameterised, featured networks by abstraction
Proceedings
of the first International Symposium on Leveraging Applications of Formal Methods
(ISOLA'04),
pp 227--234.
8.
M Calder and A.
Miller.
Detecting
Feature Interactions: how many components do we need?
Objects, Agents and Features. Lecture Notes in Computing Science, vol.
2975, pp 45-66, 2004.
9. P.Saffrey and M. Calder.
Optimising
Communications Structure for Model Checking Lecture Notes in Computer Science,
Proceedings of FASE 2004, Lecture Notes in Computer Science, vol. 2984,
pp 310-3224, Springer Verlag, 2004.
10. A.Miller and M Calder.
An
application of abstraction and induction techniques to degenerating systems of
processes.
Proceedings of the International Workshop on Model-Checking for
Dependable Software Intensive Systems (MCDSIS '03), IEEE Computer Society
Press, 2003.
11.
M Calder, M. Kolberg E. Magill, D. Marples and
S. Reiff-Marganiec.
Hybrid
Solutions to the Feature Interaction Problem
Feature Interactions in Telecommunications and Software Systems VII,
IOS Press. pp.187-205, 2003.
12.
M Calder and A.
Miller
Generalising Feature Interactions in Email
Feature Interactions in Telecommunications and Software Systems VII,
IOS Press. pp. 295-217, 2003.
13.
M Calder, E.
Magill, M. Kolberg, and S. Reiff-Marganiec.
Feature
Interaction: A Critical Review and Considered Forecast.
Computer Networks, Volume
41/1, pp. 115-141, North-Holland. January 2003.
14.
M. Calder and
A. Miller.
Using SPIN to
Analyse the FireWire Protocol -- a Case Study.
Formal Aspects of Computer Science, vol. 14, no. 3, pp. 247266,
Springer Verlag, 2003.
15.
M. Calder and
A. Miller.
Automated
verification of any number of concurrent, communicating processes.
Proceedings of 17th IEEE Automated Software Engineering (ASE 2002), pp. 227-230, IEEE, 2002.
16.
M. Calder and
A. Miller.
Five
ways to use symmetry and induction in the verification of networks of processes
using model-checking.
Proceedings of Automated Verification of Critical Systems (AVoCS),2002.
17. M. Calder and A. Miller.
Using
SPIN for Feature Interaction: Analysis -- a Case Study.
Proceedings of the 8th International SPIN Workshop (SPIN 2001), Toronto,
Canada, Lecture Notes in Computer Science, Volume 2057, pp.
143--162, 2001.
18.
M Calder, E.
Magill, S. Reiff-Marganiec, and V. Thayananthan.
Theory
and Practice of Enhancing a Legacy Software System.
Systems Engineering for Business Process Change (volume 2), P.Henderson
(ed.) Springer-Verlag, 2001.
19.
M. Calder and
S. Reiff.
Modelling
Legacy Telecommunications Switching Systems for Interaction Analysis.
Systems Engineering for Business Process Change, P. Henderson (ed.), pp.
182-195, Springer-Verlag, 2000.
20.
M. Calder and
E. Magill, Editors.
Feature Interactions in Telecommunications and Software Systems VI.
IOS Press, 2000.
21.
M. Calder, E.
Magill and D. Marples.
A Hybrid
Approach to Software Interworking Problems: Managing Interactions between Legacy
and Evolving Telecommunications Software.
IEE Proceedings - Software, Vol. 146, No. 3, June 1999.
22. M. Calder.
What Use are
Formal Analysis and Design Methods to Telecommunications Services?
In Feature Interactions in Telecommunications and Software Systems, pp.
23-31, IOS Press, 1998.
23.
M. Thomas.
Modelling and Analysing User Views of Telecommunications Services.
In Feature Interactions in Telecommunications Systems, pp.
168-183, IOS Press, 1997.