Recent Changes

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

Wednesday, August 22

  1. page seminars edited ... TBA 2018-08-30 Cancelled due to ROS event 2018-08-22 Cancelled 2018-08-15 2018-06-06…
    ...
    TBA
    2018-08-30
    Cancelled due to ROS event
    2018-08-22
    Cancelled
    2018-08-15
    2018-06-06
    (view changes)
    3:42 am
  2. page seminars edited ... NOTES 2018-09-05 Anthony Lin TBA 2018-08-30 2018-08-22 Cancelled 2018-08-15 2018-0…
    ...
    NOTES
    2018-09-05
    Anthony Lin
    TBA
    2018-08-30
    2018-08-22
    Cancelled
    2018-08-15
    2018-06-06
    (view changes)
    3:42 am
  3. page seminars edited ... TITLE NOTES 2018-09-05 Anthony Lin TBA 2018-08-30 2018-08-22 2018-08-15 2018-06-06 …
    ...
    TITLE
    NOTES
    2018-09-05
    Anthony Lin
    TBA
    2018-08-30
    2018-08-22
    2018-08-15

    2018-06-06
    Davide
    (view changes)
    3:01 am

More