Recent Changes

Thursday, November 15

  1. page seminars edited ... TITLE NOTES 2018-12-05 Mahsa Varshosaz TBD 2018-11-21 André Santos ... Property-Bas…
    ...
    TITLE
    NOTES
    2018-12-05
    Mahsa Varshosaz
    TBD

    2018-11-21
    André Santos
    ...
    Property-Based Testing" (for ROS)
    over hangouts

    2018-11-14
    2018-11-07
    (view changes)
    5:37 am

Thursday, November 8

  1. page seminars edited ... TITLE NOTES 2018-11-21 André Santos "New developments in Property-Based Testing"…
    ...
    TITLE
    NOTES
    2018-11-21
    André Santos
    "New developments in Property-Based Testing"
    2018-11-14
    2018-11-07

    2018-10-31
    Andrzej Wąsowski
    (view changes)
    10:54 am

Wednesday, October 24

  1. page home edited ... Claus Brabrand (Associate Professor) [Group Leader] Davide Laezza (M.Sc. Student) Florian B…
    ...
    Claus Brabrand (Associate Professor) [Group Leader]
    Davide Laezza (M.Sc. Student)
    Florian Biermann (Ph.D. Student)
    Holger Stadel Borum (Ph.D. Student)
    Zhoulai Fu (Assistant Professor)
    ...
    Rolf-Helge Pfeiffer (now at Copenhagen Business Academy)
    Troels Selch Sørensen (M.Sc. Student)
    Florian Biermann (Ph.D. Student)
    // information
    Meetings
    (view changes)
    5:06 am

Wednesday, October 10

  1. page home edited ... We develop tools for programmers (humans) aimed indirectly at improving the quality of Softwar…
    ...
    We develop tools for programmers (humans) aimed indirectly at improving the quality of Software.
    // selected projects
    ...
    (Villum Foundation)
    INSIGHT:Program Repair with Static Insights (DFF)
    ROSIN: ROS-Industrial Quality Assured Robot Software Components(H2020)
    ...
    Davide Laezza (M.Sc. Student)
    Florian Biermann (Ph.D. Student)
    Troels Selch Sørensen (M.Sc.Holger Stadel Borum (Ph.D. Student)
    Zhoulai Fu (Assistant Professor)
    // former members
    ...
    Fabrizio Biondi (at CentraleSupelec & Inria/IRISA Rennes)
    Rolf-Helge Pfeiffer (now at Copenhagen Business Academy)
    Troels Selch Sørensen (M.Sc. Student)
    // information
    Meetings
    (view changes)
    8:26 am
  2. page seminars edited ... 2018-10-31 Andrzej Wąsowski Model Transformation Languages under a Magnifying Glass: A Cont…
    ...
    2018-10-31
    Andrzej Wąsowski
    Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
    FSE dry run
    2018-10-03
    (view changes)
    6:37 am
  3. page seminars edited ... TITLE NOTES 2018-10-31 Andrzej Wąsowski FSE dry run 2018-10-03 Anthony W. Lin
    ...
    TITLE
    NOTES
    2018-10-31
    Andrzej Wąsowski
    FSE dry run

    2018-10-03
    Anthony W. Lin
    (view changes)
    6:36 am
  4. page home edited ... We develop tools for programmers (humans) aimed indirectly at improving the quality of Softwar…
    ...
    We develop tools for programmers (humans) aimed indirectly at improving the quality of Software.
    // selected projects
    INSIGHT:ProgramREIDENT:Assessment of Reidentification Risks with Bayesian Probabilistic Programing (Villum Foundation)
    INSIGHT:Program
    Repair with Static Insights (DFF)
    ROSIN: ROS-Industrial
    ...
    Robot Software ComponentsComponents(H2020)
    VARIETE:Variability in Portfolios of Dependable Systems (completed)
    VARIES: Variability in Safety Critical Embedded Systems (completed)
    (view changes)
    5:50 am

Wednesday, September 19

  1. page seminars edited ... TITLE NOTES 2018-10- 2018-10-03 Anthony W. Lin "Decidable Logics for Path Feasibil…
    ...
    TITLE
    NOTES
    2018-10-2018-10-03
    Anthony W. Lin
    "Decidable Logics for Path Feasibility of Programs with Strings"
    (view changes)
    8:52 am
  2. page seminars edited ... TITLE NOTES 2018-10- Anthony W. Lin "Decidable Logics for Path Feasibility of Progra…
    ...
    TITLE
    NOTES
    2018-10-
    Anthony W. Lin
    "Decidable Logics for Path Feasibility of Programs with Strings"

    2018-09-26
    Claus Brabrand
    "Rebalancing the Computer Science Gender Imbalance"

    2018-09-19
    2018-09-12
    (view changes)
    8:51 am
  3. page seminars edited ... TITLE NOTES 2018-09-26 Claus Brabrand 2018-09-19 2018-09-12 Cancelled 2018-09-05 TBA…
    ...
    TITLE
    NOTES
    2018-09-26
    Claus Brabrand
    2018-09-19
    2018-09-12
    Cancelled

    2018-09-05
    TBA
    (view changes)
    8:50 am

More