The paper titled “Compositional Verification of a Medical Device System”, authored by Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats P.E. Heimdahl (i.e., PRECISE's collaborators) won the “Outstanding Paper Award” at the ACM High Integrity Language Technologies 2013, Pittsburgh, PA.
Sanjai Rayadurgam presented the paper at the conference and received the award certificate on behalf of all the authors.
mLAB joined TerraSwarm Research Center for research on "Anytime, Adaptive and Evolutionary Computing and Control".
Rahul Mangharam presented Distinguished Lecture “Green Scheduling of Energy Control Systems for Peak Demand Management” at Kansas State University on October 7, 2013.
Insup Lee received Appreciation Plaque from Ministry of Science, IT and Future Planning, South Korea, for speaking at Universal Linkage for Top Research Advisor (ULTRA) Program Forum.
University of Pennsylvania Develops Electrophysiological Heart Model for Real-Time Closed-Loop Testing of Pacemakers by Zhihao Jiang and Rahul Mangharam, University of Pennsylvania was published in the Mathworks Newsletter in June 2013.
Rajeev Alur is awarded a Simons Investigator Position! This highly competitive fellowship, recently established by Simons Foundation, is awarded to mid-career scientists in Mathematics, Theoretical Physics, and Theoretical Comp Science to undertake long-term study of fundamental questions.
PRECISE Center hosted CPS Week on April 8 – 11, 2013.
On March 26, 2013 Insup Lee delivered a distinguished lecture Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems as part of Wayne State University Department of Computer Science Distinguished Lecture Series.
Rahul Mangharam, Stephen J. Angello Term Assistant Professor in the Department of Electrical and Systems Engineering, is a recipient of an NSF CAREER award for his proposal, “Foundations for Modeling and Verification of Medical Cyber-Physical Systems.”
On February 25, 2013 Insup Lee gave a talk "Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems (MDCPS)" at UNC-Chapel Hill's Triangle Computer Science Distinguished Lecturer Series.