User contributions for Murray
From Murray Wiki
Jump to navigationJump to search
19 January 2023
- 20:3620:36, 19 January 2023 diff hist +285 Paul Freemont, January 2023 No edit summary
- 05:1205:12, 19 January 2023 diff hist −11 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 05:1205:12, 19 January 2023 diff hist −1 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 05:1105:11, 19 January 2023 diff hist +78 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:2603:26, 19 January 2023 diff hist −1 m CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:2403:24, 19 January 2023 diff hist −9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
17 January 2023
- 03:1703:17, 17 January 2023 diff hist +1 m CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:1603:16, 17 January 2023 diff hist +70 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:1503:15, 17 January 2023 diff hist −28 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:1503:15, 17 January 2023 diff hist +1 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
16 January 2023
- 21:4321:43, 16 January 2023 diff hist +40 Paul Freemont, January 2023 →Tuesday
- 21:4221:42, 16 January 2023 diff hist +3 Paul Freemont, January 2023 →Monday
- 17:4117:41, 16 January 2023 diff hist −9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
15 January 2023
- 22:4322:43, 15 January 2023 diff hist +30 Paul Freemont, January 2023 →Friday
- 22:4322:43, 15 January 2023 diff hist +72 Paul Freemont, January 2023 →Thursday
- 22:4222:42, 15 January 2023 diff hist +20 Paul Freemont, January 2023 →Friday
- 22:4022:40, 15 January 2023 diff hist 0 Paul Freemont, January 2023 →Tuesday
- 22:3922:39, 15 January 2023 diff hist +16 Paul Freemont, January 2023 →Tuesday
- 22:3722:37, 15 January 2023 diff hist +8 Paul Freemont, January 2023 No edit summary
- 22:3722:37, 15 January 2023 diff hist +10 Paul Freemont, January 2023 No edit summary
- 22:3722:37, 15 January 2023 diff hist +751 N Paul Freemont, January 2023 Created page with "Paul Freemont will visiting Caltech on 23-27 January. Sign up for times to meet with Paul here: == Monday == * 9:30 am: Richard Murray, 109 Steele Lab * 10 am: Cell-free discussion #1, 111 Keck * 11:45 am: Lunch at the Ath with students/postdocs * 1:00 pm: Open * 5:30 pm: Done for the day == Tuesday == * 9 am: EBRC PI&E meeting (Zoom) * 10 am: open * 10:45 am: Cell-free discussion #2, 111 Keck * 12:30 pm: Lunch at the Ath with Richard, Elisa Franco * 3:45 pm: Cell-fre..."
- 06:1606:16, 15 January 2023 diff hist 0 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
12 January 2023
- 05:2605:26, 12 January 2023 diff hist +89 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 05:2505:25, 12 January 2023 diff hist −9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
11 January 2023
- 19:3519:35, 11 January 2023 diff hist +3 Group Schedule, Winter 2023 →Week 3: 16-20 Jan
- 19:3519:35, 11 January 2023 diff hist +18 Group Schedule, Winter 2023 →Week 2: 9-13 Jan
8 January 2023
- 21:4821:48, 8 January 2023 diff hist 0 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 21:4821:48, 8 January 2023 diff hist 0 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
7 January 2023
- 17:1017:10, 7 January 2023 diff hist +1 m Reasoning over Test Specifications using Assume-Guarantee Contracts No edit summary current
- 17:1017:10, 7 January 2023 diff hist +5 Reasoning over Test Specifications using Assume-Guarantee Contracts No edit summary
- 17:0717:07, 7 January 2023 diff hist +1,507 N Reasoning over Test Specifications using Assume-Guarantee Contracts Created page with "{{Paper |Title=Reasoning over Test Specifications using Assume-Guarantee Contracts |Authors=Apurva Badithela, Josefine B. Graebener, Inigo Incer, and Richard M. Murray |Source=Submitted, NASA Formal Methods (NFM), 2023 |Abstract=We establish a framework to reason about test campaigns described formally. First, we introduce the notion of a test structure — an object that carries i) the formal specifications of the system under test, and ii) the test objective, which is..."
6 January 2023
- 19:3519:35, 6 January 2023 diff hist +42 CDS 112/Ae 103b, Winter 2023 No edit summary
- 06:5106:51, 6 January 2023 diff hist −2 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 06:5106:51, 6 January 2023 diff hist +52 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 06:5006:50, 6 January 2023 diff hist −9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
4 January 2023
- 05:1005:10, 4 January 2023 diff hist −1 Group Schedule, Winter 2023 →Week 6: 6-10 Feb
- 05:1005:10, 4 January 2023 diff hist +1 Group Schedule, Winter 2023 →Week 4: 23-27 Jan
- 01:3901:39, 4 January 2023 diff hist −27 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
2 January 2023
- 06:2206:22, 2 January 2023 diff hist +71 CDS 112/Ae 103b, Winter 2023 →Course Text and References
- 02:0502:05, 2 January 2023 diff hist 0 Group Schedule, Winter 2023 No edit summary
1 January 2023
- 22:1822:18, 1 January 2023 diff hist +85 Group Schedule, Winter 2023 →Week 1: 2-6 Jan
- 22:1322:13, 1 January 2023 diff hist +85 Group Schedule, Winter 2023 →Week 1: 2-6 Jan
30 December 2022
- 21:3621:36, 30 December 2022 diff hist +21 Undergraduate alumni No edit summary
- 21:3521:35, 30 December 2022 diff hist +79 Main Page →Former graduate students:
- 21:3421:34, 30 December 2022 diff hist −109 Main Page →Group
- 20:4020:40, 30 December 2022 diff hist +1 Courses →Course homepages
- 20:3920:39, 30 December 2022 diff hist +13 Courses →Course homepages
29 December 2022
- 20:4920:49, 29 December 2022 diff hist 0 Group Schedule, Winter 2023 No edit summary
- 20:2520:25, 29 December 2022 diff hist +14 Group Schedule, Winter 2023 No edit summary
- 20:2320:23, 29 December 2022 diff hist 0 m Group Schedule, Winter 2023 →Week 1: 2-6 Jan