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 100 | older 100) (20 | 50 | 100 | 250 | 500)

• 16:38, January 8, 2021 (diff | hist) File:Lafortune-publications-wiki.pdf ‎ (uploaded a new version of "File:Lafortune-publications-wiki.pdf") (top)
• 13:39, September 2, 2020 (diff | hist) Related Links ‎ (top)
• 13:37, September 2, 2020 (diff | hist) CPS Energy ‎ (→Publications) (top)
• 13:36, September 2, 2020 (diff | hist) CPS Energy ‎ (→Software Tools)
• 13:26, September 2, 2020 (diff | hist) CPS Energy ‎ (→Relevant Links)
• 13:26, September 2, 2020 (diff | hist) CPS Energy ‎ (→Relevant Links)
• 13:23, September 2, 2020 (diff | hist) CPS Energy ‎ (→Publications)
• 13:20, September 2, 2020 (diff | hist) CPS Energy ‎ (→Publications)
• 13:19, September 2, 2020 (diff | hist) CPS Energy ‎ (→Publications)
• 21:10, June 1, 2020 (diff | hist) Research ‎ (→Projects) (top)
• 21:09, June 1, 2020 (diff | hist) Research ‎ (→Current Projects)
• 21:08, June 1, 2020 (diff | hist) Research ‎ (→Current Projects)
• 20:27, April 29, 2020 (diff | hist) File:Lafortune-publications-wiki.pdf ‎ (uploaded a new version of "File:Lafortune-publications-wiki.pdf")
• 20:15, April 29, 2020 (diff | hist) Research ‎ (→Projects)
• 20:15, April 29, 2020 (diff | hist) Research ‎ (→Recent Past Projects)
• 20:15, April 29, 2020 (diff | hist) Research ‎ (→Current Projects)
• 20:14, April 29, 2020 (diff | hist) Research ‎ (→Recent Past Projects)
• 20:14, April 29, 2020 (diff | hist) Research ‎ (→Recent Past Projects)
• 20:12, April 29, 2020 (diff | hist) Research ‎ (→Current Projects)
• 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 ‎
• 15:36, July 24, 2018 (diff | hist) CPS Energy ‎ (→Publications)
• 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 ‎
• 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")
• 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)
• 13:54, December 4, 2017 (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)
• 13:54, December 4, 2017 (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.)
• 13:49, December 4, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 19:26, November 28, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 19:03, November 28, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 14:35, November 28, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 13:43, November 28, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 19:18, November 25, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 14:02, November 21, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 20:10, November 20, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 13:58, November 20, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 15:29, November 19, 2017 (diff | hist) RW30-CDC2017 ‎
• 15:28, November 19, 2017 (diff | hist) RW30-CDC2017 ‎
• 15:24, November 19, 2017 (diff | hist) RW30-CDC2017 ‎ (→Schedule)
• 15:22, November 19, 2017 (diff | hist) RW30-CDC2017 ‎ (→Proposed Schedule)
• 22:12, November 16, 2017 (diff | hist) RW30-CDC2017 ‎ (→Proposed Schedule)
• 12:38, October 24, 2017 (diff | hist) RW30-CDC2017 ‎ (→Registration Information: If you wish to add this workshop to an existing CDC 2017 conference registration, please email Ms. Jemma Bird of the conference office at JemmaB@icmsaust.com.au)
• 12:30, October 23, 2017 (diff | hist) RW30-CDC2017 ‎ (→Registration Information: If you wish to add this workshop to an existing CDC 2017 conference registration, please email Ms. Jemma Bird of the conference office at JemmaB@icmsaust.com.au)
• 12:28, October 23, 2017 (diff | hist) RW30-CDC2017 ‎ (→Organizers)
• 20:50, October 2, 2017 (diff | hist) File:Lafortune-publications-wiki.pdf ‎ (uploaded a new version of "File:Lafortune-publications-wiki.pdf": updated)
• 12:46, August 21, 2017 (diff | hist) RW30-CDC2017 ‎ (→Introduction and Motivation)
• 14:49, August 18, 2017 (diff | hist) Related Links ‎
• 14:47, August 18, 2017 (diff | hist) Related Links ‎
• 14:46, August 18, 2017 (diff | hist) Related Links ‎
• 14:41, August 18, 2017 (diff | hist) RW30-CDC2017 ‎ (→List of Confirmed Speakers)
• 14:31, August 18, 2017 (diff | hist) RW30-CDC2017 ‎ (→Organizers)
• 14:28, August 18, 2017 (diff | hist) RW30-CDC2017 ‎ (→Organizers)
• 14:26, August 18, 2017 (diff | hist) RW30-CDC2017 ‎ (→Registration)
• 14:24, August 18, 2017 (diff | hist) RW30-CDC2017 ‎ (→Introduction and Motivation)
• 14:23, August 18, 2017 (diff | hist) RW30-CDC2017 ‎ (→Introduction and Motivation)
• 14:20, August 18, 2017 (diff | hist) RW30-CDC2017 ‎ (→Registration)

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