User contributions for Murray

22 March 2020

• 21:0521:05, 22 March 2020 diff hist +424‎ E/SEC 103, Spring 2020 ‎No edit summary
• 21:0021:00, 22 March 2020 diff hist −46‎ Courses ‎ →‎Older courses (not on this wiki)
• 21:0021:00, 22 March 2020 diff hist +46‎ Courses ‎No edit summary
• 20:5920:59, 22 March 2020 diff hist +22‎ E/SEC 103, Spring 2020 ‎No edit summary
• 20:5920:59, 22 March 2020 diff hist +381‎ N E/SEC 103, Spring 2020 ‎ Created page with "<table width="100%"> <tr><td align=center> <font color='blue' size='+2'>Management of Technology</font> </td></tr><tr><td align=center><font color='blue' size='+1'>Spring 2020..."
• 20:4720:47, 22 March 2020 diff hist +39‎ Group Schedule, Spring 2020 ‎ →‎Week 11: 8-12 Jun
• 20:3920:39, 22 March 2020 diff hist 0‎ m Group Schedule, Spring 2020 ‎ →‎Week 1:3 0 Mar-3 Apr

18 March 2020

• 18:5018:50, 18 March 2020 diff hist −6‎ EECI 2020: Computer Session: TuLiP ‎No edit summary current
• 18:4718:47, 18 March 2020 diff hist +3‎ EECI 2020: Computer Session: TuLiP ‎ →‎Lecture Materials

16 March 2020

• 18:2518:25, 16 March 2020 diff hist +15‎ Group Schedule, Spring 2020 ‎ →‎Week 6: 4-8 May
• 18:2418:24, 16 March 2020 diff hist −15‎ Group Schedule, Spring 2020 ‎ →‎Week 4: 20-24 Apr
• 18:2418:24, 16 March 2020 diff hist +20‎ Group Schedule, Spring 2020 ‎No edit summary

15 March 2020

• 22:5022:50, 15 March 2020 diff hist +12‎ Main Page ‎ →‎Group
• 22:4122:41, 15 March 2020 diff hist +42‎ Group Schedule, Spring 2020 ‎No edit summary
• 22:3222:32, 15 March 2020 diff hist 0‎ Group Schedule ‎ Redirected page to Group Schedule, Spring 2020
• 22:2222:22, 15 March 2020 diff hist +2,144‎ N Group Schedule, Spring 2020 ‎ Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Schedule|Richard's calen..."

13 March 2020

• 07:3907:39, 13 March 2020 diff hist +116‎ EECI 2020: Course Summary ‎No edit summary current
• 07:3707:37, 13 March 2020 diff hist +91‎ EECI 2020: Safety-Critical Systems ‎No edit summary current
• 07:3607:36, 13 March 2020 diff hist +13‎ EECI 2020: Computer Session: MVP ‎No edit summary current
• 07:3407:34, 13 March 2020 diff hist 0‎ EECI 2020: Computer Session: TuLiP ‎No edit summary
• 07:2607:26, 13 March 2020 diff hist +19‎ EECI 2020: Behavior Specifications ‎No edit summary current
• 05:1205:12, 13 March 2020 diff hist +5‎ EECI 2020: Minimum Violation Planning ‎ →‎Lecture Materials current
• 05:1205:12, 13 March 2020 diff hist 0‎ EECI 2020: Minimum Violation Planning ‎No edit summary
• 05:1105:11, 13 March 2020 diff hist +9‎ EECI 2020: Minimum Violation Planning ‎ →‎Lecture Materials

12 March 2020

• 10:0710:07, 12 March 2020 diff hist +28‎ EECI 2020: Computer Session: TuLiP ‎ →‎Lecture Materials
• 09:4209:42, 12 March 2020 diff hist +21‎ EECI 2020: Computer Session: TuLiP ‎ →‎Lecture Materials
• 09:2809:28, 12 March 2020 diff hist +144‎ EECI 2020: Computer Session: TuLiP ‎ →‎Lecture Materials
• 09:2409:24, 12 March 2020 diff hist +261‎ EECI-IGSC 2020 ‎ →‎Software Installation
• 05:5505:55, 12 March 2020 diff hist −40‎ Group Schedule, Winter 2020 ‎ →‎Week 11: 16-20 Mar current

10 March 2020

• 08:0008:00, 10 March 2020 diff hist +18‎ EECI 2020: Computer Session: Stormpy ‎ →‎Lecture Materials current
• 07:5707:57, 10 March 2020 diff hist −2‎ m EECI 2020: Probabilistic Systems ‎ →‎Lecture Materials current
• 07:5707:57, 10 March 2020 diff hist +16‎ EECI 2020: Probabilistic Systems ‎ →‎Lecture Materials
• 07:5607:56, 10 March 2020 diff hist 0‎ EECI 2020: Model Checking ‎ →‎Lecture Materials current
• 07:4707:47, 10 March 2020 diff hist +5‎ EECI 2020: Model Checking ‎No edit summary
• 07:4707:47, 10 March 2020 diff hist +9‎ EECI 2020: Model Checking ‎No edit summary

8 March 2020

• 15:4915:49, 8 March 2020 diff hist +837‎ EECI 2020: Computer Session: Stormpy ‎ →‎Additional Information

7 March 2020

• 16:5016:50, 7 March 2020 diff hist +75‎ EECI 2020: Computer Session: Stormpy ‎ →‎Additional Information
• 08:4408:44, 7 March 2020 diff hist 0‎ EECI-IGSC 2020 ‎No edit summary
• 08:1108:11, 7 March 2020 diff hist +76‎ EECI 2020: Computer Session: Stormpy ‎No edit summary

4 March 2020

• 15:3415:34, 4 March 2020 diff hist +383‎ EECI-IGSC 2020 ‎ →‎Software Installation
• 15:3015:30, 4 March 2020 diff hist 0‎ EECI-IGSC 2020 ‎ →‎Software Installation
• 02:4302:43, 4 March 2020 diff hist +3‎ Main Page ‎ →‎Group
• 02:4202:42, 4 March 2020 diff hist +84‎ Main Page ‎ →‎Group

1 March 2020

• 22:5822:58, 1 March 2020 diff hist 0‎ EECI-IGSC 2020 ‎ →‎Lecture Schedule
• 22:3822:38, 1 March 2020 diff hist 0‎ EECI 2020: Reactive Synthesis ‎No edit summary current
• 22:1922:19, 1 March 2020 diff hist +1‎ EECI 2020: Temporal Logic ‎ →‎Lecture Materials current
• 22:1022:10, 1 March 2020 diff hist +4‎ EECI 2020: Automata Theory ‎No edit summary current
• 21:5621:56, 1 March 2020 diff hist +1‎ EECI 2020: Course Introduction ‎No edit summary current
• 20:5620:56, 1 March 2020 diff hist 0‎ EECI-IGSC 2020 ‎No edit summary
• 20:5520:55, 1 March 2020 diff hist −9‎ EECI: Main Page ‎ Redirected page to EECI-IGSC 2020 current