Follow

Submissions from 2017

PDF

Relaxed decidability and the robust semantics of Metric Temporal Logic, Houssam Abbas, Matthew O'Kelly, and Rahul Mangharam

PDF

Extensible Energy Planning Framework for Preemptive Tasks, Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, and Insup Lee

Submissions from 2016

PDF

High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices, Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, and Rahul Mangharam

PDF

Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems, Madhur Behl, Achin Jain, and Rahul Mangharam

PDF

Platform-based Plug and Play of Automotive Safety Features - Challenges and Directions, Deepak Gangadharan, Jin Hyun Kim, Insup Lee, Oleg Sokolsky, BaekGyu Kim, and Shin'ichi Shiraishi

Submissions from 2015

PDF

Sometimes, Money Does Grow On Trees: Data-Driven Demand Response with DR-Advisor, Madhur Behl and Rahul Mangharam

PDF

The Challenges of High-Confidence Medical Device Software, Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, and Rahul Mangharam

PDF

High-Confidence Medical Device Software Development, Zhihao Jiang and Rahul Mangharam

PDF

Platform-Specific Timing Verification Framework in Model-Based Implementation, BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, and Insup Lee

PDF

Platform-Specific Code Generation from Platform-Independent Timed Models, BaekGyu Kim, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

Scalable Scheduling of Energy Control Systems, Truong X. Nghiem and Rahul Mangharam

PDF

Automatic Verification of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky

PDF

A Hybrid Approach to Causality Analysis, Shaohui Wang, Yoann Geoffroy, Gregor Gössler, Oleg Sokolsky, and Insup Lee

PDF

Executing Model-Based Tests on Platform-Specific Implementations, Dongjiang You, Sanjai Rayadurgam, Mats Heimdahl, John Komp, BaekGyu Kim, and Oleg Sokolsky

Papers from 2014

PDF

A Layered Approach for Testing Timing in the Model-Based Implementation, BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang H. Son, and Insup Lee

PDF

From Requirements to Code: Model Based Development of a Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, and Insup Lee

PDF

Linking Abstract Analysis to Concrete Design: A Hierarchical Approach to Verify Medical CPS Safety, Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, and Insup Lee

Papers from 2013

PDF

Platform-Dependent Code Generation for Embedded Real-Time Software, BaekGyu Kim, Linh T.X. Phan, Oleg Sokolsky, and Insup Lee

PDF

Social Learning and Adoption of New Behavior in a Virtual Agent Society, Benjamin D. Nye and Barry G. Silverman

PDF

A Causality Analysis Framework for Component-Based Real-Time Systems, Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gössler, Oleg Sokolsky, and Insup Lee

Papers from 2012

PDF

A Safety Case Pattern for Model-Based Development Approach, Anaheed Ayoub, BaekGyu Kim, Insup Lee, and Oleg Sokolsky

PDF

A Model-Based I/O Interface Synthesis Framework for the Cross-Platform Software Modeling, BaekGyu Kim, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

Papers from 2011

PDF

Model-Driven Safety Analysis of Closed-Loop Medical Systems, Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, and Insup Lee

Papers from 2010

PDF

Generating Reliable Code from Hybrid-Systems Models, Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, and Insup Lee

PDF

Model-Based Programming of Modular Robots, David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, and Mark Yim

PDF

Assurance Cases in Model-Driven Development of the Pacemaker Software, Eunkyoung Jee, Insup Lee, and Oleg Sokolsky

PDF

A Safety-Assured Development Approach for Real-Time Software, Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, and Insup Lee

Papers from 2009

PDF

Model-Based Testing of GUI-Driven Applications, Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, and Paul L. Jones

PDF

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models, Aditya Kanade, Rajeev Alur, Franjo Ivanċić, S. Ramesh, Sriram Sankaranarayanan, and K. C. Shashidhar

PDF

Process-Algebraic Interpretation of AADL Models, Oleg Sokolsky, Insup Lee, and Duncan Clarke

Papers from 2008

PDF

Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models, Rajeev Alur, Aditya Kanade, S. Ramesh, and K. C. Shashidhar