User contributions for Murray

From Murray Wiki

For Murray talk block log uploads logs

Jump to navigation Jump to search

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..."

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

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

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

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

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

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
20:2320:23, 29 December 2022 diff hist +50‎ Group Schedule, Winter 2023 ‎No edit summary
18:2718:27, 29 December 2022 diff hist 0‎ CDS 112/Ae 103b, Winter 2023 ‎No edit summary
18:2618:26, 29 December 2022 diff hist −1‎ Template:OBC pdf ‎No edit summary current
18:2518:25, 29 December 2022 diff hist 0‎ CDS 112/Ae 103b, Winter 2023 ‎ →‎Lecture Schedule

16:2816:28, 27 December 2022 diff hist +2‎ SURF 2023 ‎ →‎Applying for a SURF project current

05:3905:39, 21 December 2022 diff hist +75‎ SURF 2023 ‎ →‎List of available projects
05:3605:36, 21 December 2022 diff hist +111‎ SURF 2023 ‎ →‎List of available projects
05:3505:35, 21 December 2022 diff hist 0‎ m SURF 2023: Formal compositional design of electro-mechanical systems ‎ Murray moved page SURF 2023 Formal compositional design of electro-mechanical systems to SURF 2023: Formal compositional design of electro-mechanical systems without leaving a redirect current
05:3505:35, 21 December 2022 diff hist +102‎ SURF 2023: Formal compositional design of electro-mechanical systems ‎No edit summary
05:2905:29, 21 December 2022 diff hist −47‎ SURF 2023: Towards a Minimal Model for Virus-Host Interactions ‎No edit summary
05:2805:28, 21 December 2022 diff hist 0‎ m SURF 2023: Towards a Minimal Model for Virus-Host Interactions ‎ Murray moved page SURF 2023: Minimal Viral Model to SURF 2023: Towards a Minimal Model for Virus-Host Interactions without leaving a redirect
05:2605:26, 21 December 2022 diff hist +113‎ SURF 2023 ‎ →‎List of available projects
05:2505:25, 21 December 2022 diff hist +12‎ SURF 2023: Lysate Optimization to Extend Cell-Free Reaction Lifetime ‎No edit summary current

22:4722:47, 18 December 2022 diff hist +8‎ m Layered T&E for Safety-Critical Autonomous Systems ‎No edit summary
22:4622:46, 18 December 2022 diff hist +27‎ Inigo Incer ‎No edit summary
22:4622:46, 18 December 2022 diff hist +26‎ Layered T&E for Safety-Critical Autonomous Systems ‎No edit summary
22:4522:45, 18 December 2022 diff hist 0‎ Layered T&E for Safety-Critical Autonomous Systems ‎No edit summary
22:4422:44, 18 December 2022 diff hist 0‎ N File:Afosr-t&e2.png ‎No edit summary current
22:4322:43, 18 December 2022 diff hist −2‎ Layered T&E for Safety-Critical Autonomous Systems ‎ →‎Objectives
22:4322:43, 18 December 2022 diff hist +64‎ N AFOSR T&E2 ‎ Redirected page to Layered T&E for Safety-Critical Autonomous Systems current Tag: New redirect
22:4322:43, 18 December 2022 diff hist +12‎ Aaron Ames ‎No edit summary current
22:4222:42, 18 December 2022 diff hist +1,552‎ Layered T&E for Safety-Critical Autonomous Systems ‎No edit summary
22:3722:37, 18 December 2022 diff hist −9‎ Layered T&E for Safety-Critical Autonomous Systems ‎No edit summary
22:3522:35, 18 December 2022 diff hist +13‎ Dianne Newman ‎No edit summary current
22:3522:35, 18 December 2022 diff hist −7‎ Chris Voigt ‎No edit summary current
22:3522:35, 18 December 2022 diff hist −1‎ Chris Voigt ‎No edit summary
22:3422:34, 18 December 2022 diff hist +21‎ Chris Voigt ‎No edit summary
22:3422:34, 18 December 2022 diff hist +909‎ N Layered T&E for Safety-Critical Autonomous Systems ‎ Created page with "{{subst:project boilerplate}} {{Project |Title=Layered T&E for Safety-Critical Autonomous Systems |Agency=AFOSR |Grant number=FA9550-22-1-0333 |Start date=30 Sep 2022 |End date=29 Sep 2025 |Support summary=1 postdoc, 1-2 graduate students |Reporting requirements=Annual program review + report |Project ID=AFOSR T&E2 |ack=Research supported by the AFOSR Test and Evaluation program, grant FA9550-22-1-0333 }}"
06:0406:04, 18 December 2022 diff hist +74‎ Group Schedule, Winter 2023 ‎No edit summary
05:5805:58, 18 December 2022 diff hist −7‎ Group Schedule, Winter 2023 ‎ →‎Week 1: 2-6 Jan

Retrieved from "https://murray.cds.caltech.edu/Special:Contributions/Murray"

Navigation menu