ICFI2009 Advance Program


Thursday, June 11th

08:20-08:50 Conference Registration

08:50-09:00 Conference Opening

09:00-10:00 Invited Talk I:

10:00-10:30 Coffee Break

10:30-12:35 Session I: FI Detection and Resolution in Telephony Services

  • Goals and Conflicts in Telephony -- Kenneth J. Turner and Gavin A. Campbell
  • Online Detecting Feature Interaction of CPL Services -- Lixiang Wang, Jiuyun Xu and Stephan Reiff-Marganiec
  • Feature Interaction Detection in the Feature Language Extensions -- Wu-Hon Leung
  • IMS Service Broker Feasiblity Study in 3GPP Release 8 -- Fuchun Joseph Lin and Raquel Morera
  • Feature Interaction Testing: An Industrial Perspective -- Jameleddine Hassine

12:35-13:30 Lunch

13:30-15:35 Session II: Software Engineering Approaches to FI

  • Detecting policy conflicts by model checking UML state machines -- Maurice ter Beek, Stefania Gnesi, Carlo Montangero and Laura Semini
  • Feature Interactions in Aspect-Oriented Scenario Models -- Gunter Mussbacher, Daniel Amyot, Thomas Weigert and Thomas Cottenier
  • Feature Interactions in a Software Product Line for E-voting -- J Paul Gibson, Eric Lallet and Jean-Luc Raffy
  • Feature Diagrams for Change-Oriented Programming -- Peter Ebraert, Andreas Classen, Patrick Heymans and Theo D'Hondt
  • Feature Interactions in Object-Oriented Effect Systems from a Viewpoint of Program Comprehension -- Izuru Kume and Etsuya Shibayama

15:35-16:00 Coffee Break

16:00-17:30 Panel Discussion

  • Feature Interaction: Tradition vs. New Domains

19:00-21:00 Conference Banquet


Friday, June 12th

09:00-10:00 Invited Talk II (TBD)

10:00-10:20 Coffee Break

10:20-12:50 Session III: FI in New and Challenging Domains

  • Feature Interaction as a Context Sharing Problem -- Armstrong Nhlabatsi, Robin Laney and Bashar Nuseibeh
  • Software Security Vulnerabilities Seen As Feature Interactions -- Guy-Vincent Jourdan
  • Interactions among Secrecy Models -- Wael Hassan and Luigi Logrippo
  • Problem-Solution Feature Interactions As Configuration Knowledge In Distributed Runtime Adaptations -- Frans Sanen, Eddy Truyen and Wouter Joosen
  • Semantic-Based Aspect Interaction Detection with Goal Models -- Gunter Mussbacher, Daniel Amyot and Jon Whittle
  • Service Interaction Research in Emerging IEEE NGSON Standard -- Fuchun Joseph Lin

12:50-13:40 Lunch

13:40-15:45 Session IV: FI in Ubiquitous and Service-Oriented Systems

  • Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System -- Masahide Nakamura, Hiroshi Igaki, Yuhei Yoshimura and Kousuke Ikegami
  • Home service specification and validation, a case study -- Lydie Du Bousquet and Jean-Luc Richier
  • Formal Analysis of Smart Home Policies using Compositional Verification -- Narges Khakpour, Marjan Sirjani and Saeed Jalili
  • Feature Interaction Problems in Web-based Service Composition -- Qi Zhao, Jiyu Huang, Xiangping Chen and Gang Huang
  • Web Services Feature Interaction Detection Based on Graph Transformation -- Huili Xuan

15:45-16:10 Coffee Break

16:10-17:00 Free Discussion

  • Future Perspective in FI Research and Development

17:00-17:15 Closing

18:00-20:00 PC dinner (TBD)


Front page   Edit Freeze Diff Backup Upload Copy Rename Reload   New List of pages Search Recent changes   Help   RSS of recent changes
Last-modified: 2009-06-05 (Fri) 16:15:49 (3331d)