Result Invalidation for Incremental Modular Analyses

Original language	English
Publication status	Unpublished - 2022
Event	Summer School on Security Testing and Verification - Campus Arenberg, Heverlee, Belgium Duration: 20 Sep 2022 → 22 Sep 2022 https://cybersecurity-research.be/summer-school-security-testing-and-verification-2022

Seminar

Seminar	Summer School on Security Testing and Verification
Country/Territory	Belgium
City	Heverlee
Period	20/09/22 → 22/09/22
Internet address	https://cybersecurity-research.be/summer-school-security-testing-and-verification-2022

Access to Document

• Poster summer school STV 2022

Projects

• 1 Active

Projects per year

• FWOTM979: Incremental Static Program Analysis through Modularity

  De Roover, C. & Van der Plas, J.

  1/11/19 → 31/10/23

  Project: Fundamental

Activities

• 1 Participation in workshop, seminar

Activities per year

• Summer School on Security Testing and Verification

  Jens Van der Plas (Visitor)

  20 Sep 2022 → 22 Sep 2022

  Activity: Participating in or organising an event › Participation in workshop, seminar

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Van der Plas, J., Stiévenart, Q., & De Roover, C. (2022). Result Invalidation for Incremental Modular Analyses. Poster session presented at Summer School on Security Testing and Verification, Heverlee, Belgium.

Van der Plas, Jens ; Stiévenart, Quentin ; De Roover, Coen. / Result Invalidation for Incremental Modular Analyses. Poster session presented at Summer School on Security Testing and Verification, Heverlee, Belgium.

@conference{f22dbe3fadf1408592604447a8197b30,

title = "Result Invalidation for Incremental Modular Analyses",

author = "{Van der Plas}, Jens and Quentin Sti{\'e}venart and {De Roover}, Coen",

year = "2022",

language = "English",

note = "Summer School on Security Testing and Verification ; Conference date: 20-09-2022 Through 22-09-2022",

url = "https://cybersecurity-research.be/summer-school-security-testing-and-verification-2022",

}

Van der Plas, J, Stiévenart, Q & De Roover, C 2022, 'Result Invalidation for Incremental Modular Analyses', Summer School on Security Testing and Verification, Heverlee, Belgium, 20/09/22 - 22/09/22.

Result Invalidation for Incremental Modular Analyses. / Van der Plas, Jens; Stiévenart, Quentin; De Roover, Coen.

2022. Poster session presented at Summer School on Security Testing and Verification, Heverlee, Belgium.

Research output: Unpublished contribution to conference › Poster

TY - CONF

T1 - Result Invalidation for Incremental Modular Analyses

AU - Van der Plas, Jens

AU - Stiévenart, Quentin

AU - De Roover, Coen

PY - 2022

Y1 - 2022

M3 - Poster

T2 - Summer School on Security Testing and Verification

Y2 - 20 September 2022 through 22 September 2022

ER -

Van der Plas J, Stiévenart Q, De Roover C. Result Invalidation for Incremental Modular Analyses. 2022. Poster session presented at Summer School on Security Testing and Verification, Heverlee, Belgium.