ESEC/FSE 2018
Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States
  • Attending
    • Hotel: Wyndham Lake Buena Vista Disney Springs Resort
    • Registration
    • Request Visa Invitation Letter
    • Transportation and Directions
    • Child Care Options
    • Food and Breakfast
    • Code of Conduct
    • Schedule Overview
    • Program Details
    • Sightseeing Near the Conference
    • ESEC/FSE 2018 Submission Policies
    • CAPS Travel Support
    • Supporting ESEC/FSE
  • Awards
  • Program
    • ESEC/FSE Program
    • Your Program
    • Sun 4 Nov
    • Mon 5 Nov
    • Tue 6 Nov
    • Wed 7 Nov
    • Thu 8 Nov
    • Fri 9 Nov
  • Tracks
      • ESEC/FSE 2018
      • Research Papers
      • Social
      • Journal-First
      • New Ideas and Emerging Results
      • Demonstrations
      • Industry
      • Workshops
      • A-TEST
      • EnSEmble
      • WASPI
      • SWAN
      • NL4SE
      • Artifacts
      • Doctorial Symposium
      • Student Research Competition
      • ESEC/FSE 2018 Student Volunteers
      • Keynotes
      • Faculty Mentorship Roundtables
      • Workshops
      • JPF
      • Co-hosted Festivals
      • ROSE Festival
  • Organization
      • ESEC/FSE 2018 Committees
      • Organizing Committee
      • Test of Time Paper Award Committee
      • Track Committees
      • Research Papers
      • Journal-First
        • Organizing Committee
        • Program Committee
      • New Ideas and Emerging Results
        • Organizing Committee
        • Program Committee
      • Demonstrations
        • Organizing Committee
        • Program Committee
      • Industry
        • Organizing Committee
        • Program Committee
      • Workshops
      • WASPI
      • Artifacts
      • Doctorial Symposium
      • Student Research Competition
        • Organizing Committee
        • Program Committee
      • Faculty Mentorship Roundtables
        • Mentors
        • Organizing committee
      • Contributors
      • People Index
      • Workshops
      • JPF
        • Organizing Committee
        • Program Committee
      • Co-hosted Festivals
      • ROSE Festival
        • Organizing Committee
  • Search
  • Series
    • Series
    • FSE 2026
    • FSE 2025
    • FSE 2024
    • ESEC/FSE 2023
    • ESEC/FSE 2022
    • ESEC/FSE 2021
    • ESEC/FSE 2020
    • ESEC/FSE 2018
  • Sign in
  • Sign up
ESEC/FSE 2018 (series) / Ivan Kurtev
  • conf.research.org general profile
  • MODELS 2021 profile
  • MODELS 2024 profile
  • MODELS 2025 profile
  • SPLASH 2023 profile
  • STAF 2025 profile

Registered user since Wed 21 Feb 2024

Name:Ivan Kurtev
Affiliation:Altran Netherlands

Contributions

2018

ESEC/FSE

  • AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning

Show activities from other conferences

Share
ESEC/FSE 2018-profile
View general profile
xFri 9 May 07:10

ESEC/FSE 2018

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Research Papers
Social
Journal-First
New Ideas and Emerging Results
Demonstrations
Industry
Workshops
A-TEST
EnSEmble
WASPI
SWAN
NL4SE
Artifacts
Doctorial Symposium
Student Research Competition
ESEC/FSE 2018 Student Volunteers
Keynotes
Faculty Mentorship Roundtables

Workshops

JPF 2018

Co-hosted Festivals

ROSE Festival 2018

Attending

Hotel: Wyndham Lake Buena Vista Disney Springs Resort
Registration
Request Visa Invitation Letter
Transportation and Directions
Child Care Options
Food and Breakfast
Code of Conduct
Schedule Overview
Program Details
Sightseeing Near the Conference
ESEC/FSE 2018 Submission Policies
CAPS Travel Support
Supporting ESEC/FSE

External Links

About ESEC/FSE
Past Events