1. 2020
  2. A Parallel Worklist Algorithm for Modular Analyses

    Noah Van Es (Speaker)
    27 Sep 2020

    Activity: Talk or presentationTalk or presentation at a conference

  3. MAF: A Framework for Modular Static Analysis of Higher-Order Languages

    Noah Van Es (Speaker)
    27 Sep 2020

    Activity: Talk or presentationTalk or presentation at a conference

  4. Katamaran: semi-automated verification of ISA specifications

    Steven Keuchel (Speaker), Dominique Devriese (Contributor), Georgy Lukyanov (Contributor)
    16 Jun 2020

    Activity: Talk or presentationTalk or presentation at a workshop/seminar

  5. Visit to the RMoD research Lab (Continuous collaboration for my research)

    Matteo Marra (Participant)
    12 Feb 2020

    Activity: OtherResearch and Teaching at External Organisation

  6. Georgy Lukyanov

    Dominique Devriese (Host)
    10 Feb 202016 Mar 2020

    Activity: Hosting a visitorHosting an academic visitor

  7. Visit to the RMoD research Lab (Continuous collaboration for my research)

    Matteo Marra (Participant)
    23 Jan 2020

    Activity: OtherResearch and Teaching at External Organisation

  8. 2019
  9. 18th Belgium-Netherlands Software Evolution Workshop

    Ward Muylaert (Organiser)
    28 Nov 201929 Nov 2019

    Activity: Participating in or organising an eventParticipation in workshop, seminar

  10. Research Visit on Capability Machine Reasoning

    Dominique Devriese (Participant), Steven Keuchel (Participant), Thomas Van Strydonck (Participant), Lars Birkedal (Organiser)
    26 Nov 201928 Nov 2019

    Activity: Other

  11. Eric Tanter

    Dominique Devriese (Host)
    10 Oct 201911 Oct 2019

    Activity: Hosting a visitorHosting an academic visitor

  12. Matìas Toro

    Dominique Devriese (Host)
    30 Sep 201918 Oct 2019

    Activity: Hosting a visitorHosting an academic visitor

Previous 1 2 3 4 5 6 7 8 ...30 Next

ID: 25292