User contributions

Search for contributions

 Show contributions of new accounts only
 IP address or username: Namespace: all (Main) Talk User User talk stephane-wiki stephane-wiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Widget Widget talk UM UM Talk Members Members Talk Admins Admins Talk Officers Officers Talk  Deleted only

 Only show edits that are latest revisions

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 18:40, November 14, 2018 (diff | hist) CPS Security ‎ (→Publications) (top)
• 18:39, November 14, 2018 (diff | hist) CPS Security ‎ (→Publications)
• 18:37, November 14, 2018 (diff | hist) CPS Security ‎ (→Publications)
• 18:35, November 14, 2018 (diff | hist) CPS Security ‎ (→Publications)
• 18:33, November 14, 2018 (diff | hist) CPS Security ‎ (→Publications)
• 18:31, November 14, 2018 (diff | hist) CPS Security ‎ (→Publications)
• 15:17, November 14, 2018 (diff | hist) CPS Security ‎ (→Publications)
• 20:53, November 12, 2018 (diff | hist) Stéphane Lafortune ‎ (top)
• 15:39, July 24, 2018 (diff | hist) Research ‎ (top)
• 15:36, July 24, 2018 (diff | hist) CPS Energy ‎ (→Publications) (top)
• 15:19, July 24, 2018 (diff | hist) CPS Energy ‎
• 15:19, July 24, 2018 (diff | hist) CPS Energy ‎
• 15:17, July 24, 2018 (diff | hist) N CPS Energy ‎ (Created page with "''This is the wiki for the NSF CPS project CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems''' <small>NSF ...")
• 15:17, July 24, 2018 (diff | hist) Research ‎ (→Current Projects)
• 13:19, July 24, 2018 (diff | hist) RW30-CDC2017 ‎ (→Control Systems Magazine Article) (top)
• 13:18, July 24, 2018 (diff | hist) RW30-CDC2017 ‎ (→Control Systems Magazine Article)
• 13:11, July 24, 2018 (diff | hist) RW30-CDC2017 ‎ (→Photos)
• 15:15, June 4, 2018 (diff | hist) Related Links ‎ (top)
• 15:14, June 4, 2018 (diff | hist) Related Links ‎
• 20:13, May 8, 2018 (diff | hist) File:Lafortune-publications-wiki.pdf ‎ (uploaded a new version of "File:Lafortune-publications-wiki.pdf") (top)
• 16:07, April 15, 2018 (diff | hist) Career ‎ (→Professional Career) (top)
• 20:29, March 5, 2018 (diff | hist) Related Links ‎
• 20:57, February 26, 2018 (diff | hist) Related Links ‎
• 20:56, February 26, 2018 (diff | hist) Related Links ‎
• 17:40, January 10, 2018 (diff | hist) RW30-CDC2017 ‎ (→List of Speakers (and their slides))
• 15:19, January 8, 2018 (diff | hist) N File:Giua.pdf ‎ (top)
• 20:43, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→List of Speakers)
• 20:42, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→Introduction and Motivation)
• 20:41, January 4, 2018 (diff | hist) N File:Wonham.pdf ‎ (top)
• 20:40, January 4, 2018 (diff | hist) N File:Seshia.pdf ‎ (top)
• 20:40, January 4, 2018 (diff | hist) N File:Pappas.pdf ‎ (top)
• 20:39, January 4, 2018 (diff | hist) N File:Ozay.pdf ‎ (top)
• 20:39, January 4, 2018 (diff | hist) N File:Murray.pdf ‎ (top)
• 20:39, January 4, 2018 (diff | hist) N File:Marchand.pdf ‎ (top)
• 20:38, January 4, 2018 (diff | hist) N File:Fabian.pdf ‎ (top)
• 20:38, January 4, 2018 (diff | hist) N File:Cury.pdf ‎ (top)
• 20:37, January 4, 2018 (diff | hist) N File:Cai.pdf ‎ (top)
• 20:36, January 4, 2018 (diff | hist) N File:Belta.pdf ‎ (top)
• 20:36, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→List of Speakers)
• 20:31, January 4, 2018 (diff | hist) N File:Lafortune-Rudie-Tripakis.pdf ‎ (top)
• 20:30, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→List of Speakers)
• 20:27, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→List of Speakers)
• 20:25, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→Registration)
• 20:24, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→Intended Audience)
• 20:22, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→Goals)
• 20:21, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→This workshop took place on December 11, 2017, and was a great success. This wiki is being maintained as an archive of this event.)
• 20:20, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (→List of Confirmed Speakers)
• 20:20, January 4, 2018 (diff | hist) RW30-CDC2017 ‎ (/* Registration Information: If you wish to add this workshop to an existing CDC 2017 conference registration, please email the conference office as indicated on the CDC Workshops page. You may also register in person on the morning of December 11, f)
• 15:24, December 7, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 15:02, December 6, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)