Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Toggle navigation
Attending
Venue:
Registration
Conference Timeline
Code of Conduct
Diversity and Inclusion Plan
Terms and Conditions
Privacy Policy
ICSE Virtual
Presenter Information
K-Culture Experience
Social Events
Virtual Sponsor Booths
Going Virtual Announcements
ICSE Rescheduled
Brief ICSE Virtual
Sponsorship
Sponsors and Supporters
Sponsorship Opportunities
Logo
Exhibits
Program
Complete Program
Your Program
Awards
Filter by Day
Wed 24 Jun
Thu 25 Jun
Fri 26 Jun
Sat 27 Jun
Sun 28 Jun
Mon 29 Jun
Tue 30 Jun
Wed 1 Jul
Thu 2 Jul
Fri 3 Jul
Sat 4 Jul
Sun 5 Jul
Mon 6 Jul
Tue 7 Jul
Wed 8 Jul
Thu 9 Jul
Fri 10 Jul
Sat 11 Jul
Sun 12 Jul
Mon 13 Jul
Tue 14 Jul
Wed 15 Jul
Thu 16 Jul
Tracks
ICSE 2020
ICSE 2020 Sponsor Events
Technical Papers
Virtualization
ICSE 2020 Plenary Sessions
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
Journal First
Workshops
ROSE
Doctoral Symposium
ICSE 2020 Posters
New Faculty Symposium
ACM Student Research Competition
Technical Briefings
ICSE 2020 Ask Me Anything
Birds of a Feather
Community Meetings
Cultural Exchange
Students Meeting Students
Artifact Evaluation
Student Mentoring Workshop
Korean Co-located Events
Student Volunteers
Paper Presentations
Co-hosted Conferences
AST
FormaliSE
ICGSE
ICGSE
ICGSE
Research Papers
ICGSE
[Joint Event] - ICSSP/ICGSE
ICGSE
Experience Reports
ICGSE
Industry Talks
ICGSE
Journal First
ICPC
ICPC
ICPC
General Submission Instructions
ICPC
Research
ICPC
Industry
ICPC
Programming Education
ICPC
ERA
ICPC
Tool Demonstration
ICSSP
MOBILESoft
MOBILESoft
MOBILESoft
Panel
MOBILESoft
Paper Presentations
MOBILESoft
Plenary
MOBILESoft
Technical Papers
MOBILESoft
Tool Demos and Mobile Apps
MOBILESoft
Visions
MOBILESoft
Student Research Competition
MSR
MSR
MSR
Ask Me Anything
MSR
Technical Papers
MSR
Data Showcase
MSR
Mining Challenge
MSR
Registered Reports
MSR
Education
MSR
Keynote
MSR
FOSS Award
MSR
Challenge Proposals
MSR
Awards
MSR
Plenary
TechDebt
Co-hosted Symposia
SEAMS
SEAMS
SEAMS
Organization
ICSE 2020 Committees
Organizing Committee
Track Committees
Technical Papers
Program Board
Program Committee
Virtualization
Conference Virtualization
Regional Live! Team Leaders
Live! Team Europe
Live! Team Korea
Live! Team United States
Social Events
Virtualization Technology
Youtube Team Leaders
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
Journal First
Workshops
Doctoral Symposium
ICSE 2020 Posters
New Faculty Symposium
ACM Student Research Competition
Program Committee
Judge
Technical Briefings
Artifact Evaluation
Student Mentoring Workshop
Korean Co-located Events
Committee
KIP Program Committee
SSW Program Committee
Student Volunteers
Contributors
People Index
Co-hosted Conferences
AST
Organizing Committee
AST Steering Committee
Program Committee
FormaliSE
Organizing Committee
Program Committee
ICGSE
Organizing Committee
Program Committee
Academic Liaisons
Industry Liaisons
ICPC
Organizing Committee
Steering Committee
Research
Industry
Programming Education
ERA
Tool Demonstration
ICSSP
Organizing Committee
Program Committee
Doctoral Track
Steering Committee
MOBILESoft
Organizing Committee
Technical Papers
Tool Demos and Mobile Apps
Visions
Student Research Competition
MSR
Most Influential Paper (MIP) Award
Organizing Committee
Technical Papers
Data Showcase
Mining Challenge
Registered Reports
Education
FOSS Award
MSR Awards
TechDebt
Organizing Committee
Co-hosted Symposia
SEAMS
Organizing Committee
Program Committee
Artifact Program Committee
MIP Award Committee
Online Program Committee
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 2020
(
series
) /
Ina Schaefer
ICSE 2020 profile
conf.research.org general profile
HILT'22 - Supporting a Rigorous Approach to Software Development profile
MODELS 2023 profile
SPLASH 2011 profile
SPLASH 2020 profile
Not registered as user yet
Name:
Ina Schaefer
Affiliation:
TU Braunschweig
Contributions
2020
FormaliSE
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
Show activities from other conferences
Share
ICSE 2020-profile
View general profile
x
Fri 8 Nov 10:20