Waterloo Intelligent Systems Engineering (WISE) Lab

The main lab website: https://uwaterloo.ca/wise-lab Dataset browsers: https://uwaterloo.ca/wise-lab/datasets YouTube channel: https://www.youtube.com/@wiselabuw GitHub organization: https://github.com/wiselabuw

DriverQ: Interactive NuScenes browser

Live demo: https://wiselab.uwaterloo.ca/DriverQ/ Source code and project report: https://github.com/bluebarryz/DriverQ

Clafer wikis and web tools

Clafer website: https://www.clafer.org/ Clafer model wiki: https://wiselab.uwaterloo.ca/modelwiki/ Traffic Lights tutorial wiki: https://wiselab.uwaterloo.ca/trafficlightswiki/ Railway tutorial wiki: https://wiselab.uwaterloo.ca/railwaywiki/ Clafer IDE: https://wiselab.uwaterloo.ca:8094 Clafer Configurator: https://wiselab.uwaterloo.ca:8093 Clafer MOO Visualizer: https://wiselab.uwaterloo.ca:8092

Generative Software Development (GSD) Lab

Archived GSD lab website: https://gsd.uwaterloo.ca

Network for the Engineering of Complex Software-Intensive Systems (NECSIS), Theme 3

NECSIS Theme 3 website: t3-necsis