FSEN 2025
Mon 7 - Tue 8 April 2025
Västerås, Sweden
Toggle navigation
Attending
Venue: Mälardalen University
Registration
Accommodations
Travelling
Social Events
Program
FSEN Program
Your Program
Awards
Mon 7 Apr
Tue 8 Apr
Tracks
FSEN 2025
Research Papers
Posters
Marjan Festschrift
Organization
FSEN 2025 Committees
General Chairs
Organizing Committee
Steering Committee
Keynote Speakers
Program Chairs
Program Committee
Publicity Chair
Track Committees
Posters
Marjan Festschrift
Contributors
People Index
Search
Series
Series
FSEN 2027
FSEN 2025
Sign in
Sign up
FSEN 2025
(
series
) /
Wan Fokkink
FSEN 2025 profile
conf.research.org general profile
Dutch Formal Methods Day 2025 profile
FM 2026 profile
Registered user since Tue 2 Dec 2025
Name:
Wan Fokkink
Affiliation:
Vrije Universiteit Amsterdam
Contributions
2025
FSEN
A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines
Committee Member in Program Committee
From LTL to Scenarios: Automatic test case generation for Axini Modeling Language
Show activities from other conferences
Share
FSEN 2025-profile
View general profile
x
Mon 18 May 05:05