List of publications ...

Dr Lynne Blair Senior Lecturer, part-time Computing, Lancaster University email:

Publications: 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992

• 2007:
  • Turner K.J., Blair L., Policies and Conflicts in Call Control, Computer Networks 51, Elsevier, pp 496-514, February 2007.
    pdf format
• 2006:
  • Greenwood P., Blair L., A Framework for Policy Driven Auto-Adaptive Systems using Dynamic Framed Aspects, Transactions on Aspect-Oriented Software Development II, Springer, pp 30-65, Nov 2006.
    pdf format
    
  • Turner K.J., Reiff-Marganiec S., Blair L., Pang J., Gray T., Perry P. and Ireland J., Policy Support for Call Control, Computer Standards and Interfaces, 28(6), pp 635-649, 2006.
    pdf format
• 2005:
  • Greenwood P., Blair L., Policies for an AOP Based Auto-Adaptive Framework, NetObjectDays Conference, Erfurt, Germany, September 2005.
    pdf format
    
  • Blair L., Turner K.J., Handling Policy Conflicts in Call Control, 8th International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI'05), S. Reiff-Marganiec, M. Ryan (eds), pp 39-57, Amsterdam: IOS Press, 2005.
    pdf format
    
  • Greenwood P., Blair L., Dynamic Framed Aspects for Policy Driven Auto-Adaptive Systems, Postgraduate Research Conference in Electronics, Photonics, Communications and Networks, and Computing Science (PREP), Lancaster University, UK, 2005.
    pdf format
    
  • Blair G.S., Blair L., Chitchyan R., Rashid A., Moreira A., Araújo J., Engineering Aspect-Oriented Systems, invited chapter in Aspect-Oriented Software Development, pp 379-406, R. Filman, T. Elrad, S. Clarke, M. Aksit (eds), Boston: Addison-Wesley, 2005.
    introduction, details of book
  Go to top
  
  
• 2004:
  • Greenwood, P., Loughran, N., Blair L., Rashid A., Dynamic Framed Aspects for Dynamic Software Evolution, Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE), held with ECOOP 04, Oslo, Norway, 2004.
  • Greenwood, P., Blair L., Using Aspect-Oriented Programming to Implement an Autonomic System, Dynamic Aspects Workshop, held with 3rd International Conference on Aspect-Oriented Software Development (AOSD 04), Lancaster, U.K., Technical Report No.04.01, Research Institute for Advanced Computer Science, pp 76-88, 2004.
  Go to top
  
  
• 2003:
  • Blair L., Rashid A. (editors), Special Issue of the BCS Computer Journal on Aspect-Oriented Programming, vol. 46 (5), Oxford University Press, 2003.
  • Blair L., Pang J., Aspect-Oriented Solutions to Feature Interaction Concerns using AspectJ, Proceedings 7th International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW’03), D. Amyot, L. Logrippo (eds), Ottawa, Canada, pp87-104, Amsterdam: IOS Press, June 2003.
    pdf format
  • Hughes D., Greenwood P., Blair L., Aspect Testing Framework, FMOODS/DAIS PhD Workshop, Paris, France, November 2003.
  • Pang J., Blair L.,, Separating Interaction Concerns from Distributed Feature Components, Proceedings Software Composition workshop (SC 2003), held in conjunction with ETAPS 2003, Warsaw, Poland, Electronic Notes in Theoretical Science, Vol. 82, Issue 5, Elsevier, April 2003.
  • Blair L., Monga M., Reasoning on AspectJ Programmes, Proceedings 3rd German Workshop on Aspect-Oriented Software Development, B. Bachmendo, S. Hanenberg, S. Herrmann, G. Kniesel (eds.), Essen, Germany, pp 45-50, March 2003.
  Go to top
  
  
• 2002:
  • Blair G.S., Coulson G., Blair L., Duran-Limon H., Grace P., Moreira R., Parlavantzas N., Reflection, Self-Awareness and Self-Healing, Proceedings 1st International Workshop on Self-Healing Systems (WOSS'02), held at ACM SIGSOFT 2002, Charleston, South Carolina, November 2002.
  • Pang J., Blair L., An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features, Proceedings 22nd International Conference on Distributed Computing Systems (ICDCS) Workshops, Workshop on Aspect Oriented Programming for Distributed Computing Systems (AOPDCS), Vienna, Austria, pp 445-450, Los Alamitos, California: IEEE, July 2002.
  • Blair L., Jones T., Reiff-Marganiec S., A Feature Manager Approach to the Analysis of Component-Interactions, Proceedings 5th International IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02), Jacobs B., Rensink A. (eds), Enschede, The Netherlands, March 20-22, Massachussetts: Kluwer, pp 233-248, 2002.
  • Blair L., Blair G.S., Specifying & Analysing Multimedia Systems, Invited chapter in Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Bowman H., & Derrick J., (Eds), Cambridge University Press, January 2002, pp. 373 – 399, ISBN: 0521771846.
    introduction (html)
  Go to top
  
  
• 2001:
  
  
  • Blair L., Blair G.S., Andersen A. & Jones T., Formal support for dynamic QoS management in the development of open component-based distributed systems, IEE Proceedings - Software, Vol. 148, Issue 3, Special Issue on Aspect-oriented and Component-based Software Engineering, pp 83-92, June 2001.
    abstract (html)
    
  • Chandler A., Patching S. & Blair L., Digging into Concurrency, Workshop on Concurrency in Dependable Computing, Ezhilchelvan P., Romanovsky A. (eds), held at ICATPN/ ICACSD, Newcastle upon Tyne, U.K., 25-29 June 2001.
    pdf format
    
  • Blair L., Blair G., Pang J. & Efstratiou C., 'Feature' Interactions outside a Telecom Domain, Workshop on Feature Interactions in Composed Systems, held at ECOOP2001, Budapest, Hungary, 18-22 June 2001.
    gzipped postscript
    
  • Jones T. & Blair L., Prototyping of Real-time Component Based Systems by the use of Timed Automata, Workshop on Object-oriented Modeling of Embedded Real-time Systems (OMER-2 '01), Hofmann P., Schürr A. (eds), Munich, Germany, 10-12 May 2001.
    gzipped postscript
    
  • Jones T. & Blair L., The Use of Automata in Modelling and Building a Real-Time Component Based System, Proceedings of the 6th International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'2001), Rome, Italy, January 8-10, 2001.
    gzipped postscript
    
  Go to top
  
  
• 2000:
  • Bryans J., Blair L., Bowman H. & Derrick J., Specification and Analysis of Automata-Based Designs, Proceedings of the 2nd International Conference on Integrated Formal Methods (IFM'00), Grieskamp W., Stanten T. & Stoddart B. (eds), Schloss Dagstuhl, Germany, November 1-3, LNCS 1945, Berlin: Springer, pp 176-193, 2000.
    gzipped postscript
    
  • Blair L., Jones T. & Blair G.S., Stochastically Enhanced Timed Automata, Proceedings of the 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'00), Smith S.F. & Talcott C.L. (eds), Stanford, CA, September 6-8, Massachussetts: Kluwer, pp 327-347, 2000.
    gzipped postscript
    
  • Blair G.S., Blair L., Andersen A. & Jones T., A Formal View of Aspects in the Development of Component-Based Distributed Systems, Proceedings of Generative and Component-based Software Engineering, Invited session at the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000), Orlando, Florida, July 23-26, Vol. 1: Information Systems, Callaos N., Loutfi M., Nishida S., Lee D.-I., Bemley J. & Aveledo M. (eds), pp 673-678, 2000.
    gzipped postscript
    
  • Chandler A., Heyworth A, Blair L. & Seward D., Testing Petri Nets for Mobile Robots Using Grobner Basis, Proceedings of the Workshop on Software Engineering and Petri Nets, held at the 21st International Conference on Application and Theory of Petri Nets, Pezze M. & Shatz S.M. (eds), Aarhus, Denmark, June 26, pp 21-34, 2000.
    pdf format
    
  • Blair G.S., Coulson G., Andersen A., Blair L., Clarke M., Costa F., Duran H., Parlavantzas N. & Saikoski K., A Principled Approach to Supporting Adaptation in Distributed Mobile Environments, Proceedings of the 5th International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'2000), Nixon P. & Ritchie I. (eds), Limerick, Ireland, June 10-11, IEEE, pp 3-12, 2000.
    gzipped postscript
    
  • Blair L. & Pang J., Feature Interactions - Life Beyond Traditional Telephony, Proceedings of the 6th International Workshop on Featue Interactions in Telecommunications and Software Systems (FIW'00), Calder M. & Magill E. (eds), Glasgow, Scotland, May 17-19, Amsterdam: IOS, pp 83-93, 2000.
    gzipped postscript
    
  • Blair G.S., Blair L., Issarny V., Tuma P. & Zarras A., The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms, Proceedings of the 2nd International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware'2000), Sventek J. & Coulson, G., (eds), IBM Palisades, New York, April 4-7, LNCS 1795, Berlin: Springer, pp 164-184, 2000.
    gzipped postscript
    
  • Blair G.S., Andersen A., Blair L., Coulson G. & Sanchez D., Supporting Dynamic QoS Management Functions in a Reflective Middleware Platform, IEE Proceedings Software, 147(1), pp 13-21, February 2000.
    gzipped postscript
    
  Go to top
  
  
• 1999:
  • Blair L., The Role of Temporal Logic and Time Automata in Distributed Multimedia Systems, Proceedings of Modal & Temporal Logic Based Planning for Open Networked Multimedia Systems (PONMS '99), Cape Cod, MA, November 5-7, pp 1-7, 1999.
    abstract, gzipped postscript
    
  • Blair L. & Blair G.S., A Tool Suite to Support Aspect-Oriented Specification, Proceedings of the 3rd Workshop on Aspect-Oriented Programming (ECOOP'99), Lisbon, Portugal, June 14, Summary in Object-Oriented Technology: ECOOP'99 Workshop Reader, LNCS 1743, Moreira A. & Demeyer D. (eds.), Berlin: Springer, pp 296-297, 1999.
    abstract, gzipped postscript
    
  • Blair G.S., Andersen A., Blair L. & Coulson G., The Role of Reflection in Supporting Dynamic QoS Management Functions, Proceedings of the 7th IEEE International Workshop on Quality of Service (IWQoS'99), London, June 1-4, Crowcroft J., Bhatti S. & Diot C. (eds), 1999.
    gzipped postscript (short paper)
    
  • Blair L., Jones T. & Blair G.S., A Tool Suite for Multi-Paradigm Specification, Proceedings of the 2nd International Conference on Fundamental Approaches to Software Engineering (FASE'99), Amsterdam, March 22-26, LNCS 1577, Finance J.-P. (ed.), Berlin: Springer, pp 234-238, 1999.
    abstract, gzipped postscript
    
  • Blair, L., G.S. Blair, Composition in Multi-Paradigm Specification Techniques, Proceedings of the 3rd International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), P. Ciancarini, A. Fantechi, R. Gorrieri (eds), Florence, Italy, February 15-18, Massachussetts: Kluwer, pp 401-417, 1999.
    abstract, gzipped postscript
  Go to top
  
  
• 1998:
  • Blair L. & Blair G.S., The Impact of Aspect-Oriented Programming on Formal Methods (Position Paper), Proceedings of the 2nd Workshop on Aspect-Oriented Programming (ECOOP'98), Lopes C.V. (ed), Brussels, Belgium, July 1998. Abstract in Object-Oriented Technology: ECOOP'98 Workshop Reader, LNCS 1543, Demeyer S. & Bosch J. (eds), Berlin: Springer, pp 436, 1998.
    html version here
    
  Go to top
  
  
• 1997:
  • Blair G.S., Blair L., Bowman H. & Chetwynd A.G., Formal Specification of Distributed Multimedia Systems, London: UCL Press, 1997.
    Further information on this book can be found here. This information was provided by Taylor & Francis plc (Sept 2000)
    
  • Blair, G.S., Blair L. & Stefani J.-B., A Specification Architecture for Multimedia Systems in Open Distributed Processing, Computer Networks and ISDN Systems 29(4), Amsterdam: Elsevier, March 1997.
    gzipped postscript
  Go to top
  
  
• 1996:
  Go to top
  
  
• 1995:
  • Blair L., Blair G.S., Bowman H. & Chetwynd A.G., Formal Specification and Verification of Multimedia Systems in Open Distributed Processing, Computer Standards and Interfaces 17, pp 413-436, Amsterdam: Elsevier, 1995.
    gzipped postscript
  • Bowman H., Blair G.S., Blair L. & Chetwynd A.G., Formal Description of Distributed Multimedia Systems: An Assessment of Potential Techniques, Computer Communications 18(12), pp 964-977, Amsterdam: Elsevier, 1995.
  Go to top
  
  
• 1994:
  • Bowman H., Blair L., Blair G.S. & Chetwynd A.G., A Formal Description Technique Supporting Quality of Service and Media Synchronisation, Proceedings of Cost 237: Multimedia Transport and Teleservices, Vienna, Austria, November, LNCS 882, pp 145-67, Berlin: Springer, 1994.
  • Blair L., Blair G.S., Bowman H. & Chetwynd A.G., A Framework for the Formal Specification and Verification of Distributed Multimedia Systems, Presented at the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks (IS&N'94), Aachen, Germany, September 1994.
  • Blair L., Blair G.S., Bowman H., Chetwynd A.G. & Papathomas M., A Framework for the Formal Specification of Multimedia Systems in Open Distributed Processing, Proceedings of the Workshop on Distributed Multimedia Applications and Quality of Service Verification, Montreal, Bochmann G.v., de Meer J. & Vogel A. (eds), May 31-June 2, 1994.
  • Bowman H., Blair G.S., Blair L., Chetwynd A.G., Time versus Abstraction in Formal Description, In Proceedings of the 6th International Conference on Formal Description Techniques (FORTE'93), Tenney R.L., Amer P.D. & Uyar M.U. (eds), pp 467-82, Amsterdam: Elsevier, 1994.
  Go to top
  
  
• 1993:
  • Bowman H., Blair G.S., Blair L. & Chetwynd A.G., The Formal Description of Distributed Multimedia Systems, Proceedings of the 9th British Colloquium for Theoretical Computer Science, York, March 1993.
  Go to top
  
  
• 1992:
  • Drayton L., Chetwynd A.G., Blair G.S., An Introduction to LOTOS through a Worked Example, Computer Communications 15(2), pp 70-85, Butterworth-Heinemann, March 1992.
  Go to top
  
  

___

C41, Infolab21, Computing Department, South Drive, Lancaster University, Lancaster, UK. LA1 4WA

Tel: +44 1524 510360 Fax: +44 1524 510492 Email: lb [at] comp.lancs.ac.uk http://www.comp.lancs.ac.uk/~lb

Last updated October 2007, LB