* ICFI2009 Advance Program
* ICFI2012 Advance Program

** Thursday, June 11th
''08:20-08:50 Conference Registration''

''08:50-09:00 Conference Opening''

''09:00-10:00 Invited Talk I:''
- [[Challenges in Telecom Network Evolution>InvitedTalk1]] -- '''Fuchun Joseph Lin, Telecordia, USA'''

//- Title --

''10:00-10:30 Coffee Break''

''10:30-12:35 Session I: &color(#FF5500){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: &color(#FF5500){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)''
//- Title --

''10:00-10:20 Coffee Break''

''10:20-12:50 Session III: &color(#FF5500){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: &color(#FF5500){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 Diff Backup Upload Copy Rename Reload   New List of pages Search Recent changes   Help   RSS of recent changes