Visible to the public Biblio

Found 1720 results

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Ames, Aaron D, Tabuada, Paulo, Schürmann, Bastian, Ma, Wen-Loong, Kolathaya, Shishir, Rungger, Matthias, Grizzle, Jessy W.  2015.  First steps toward formal controller synthesis for bipedal robots. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. :209–218.
Ames, Aaron D, Grizzle, Jessy W, Tabuada, Paulo.  2014.  Control barrier function based quadratic programs with application to adaptive cruise control. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6271–6278.
Aminikhanghahi, S, Cook, Diane J.  2017.  Using change point detection to automate daily activity segmentation. Workshop on Context and Activity Modeling and Recognition.
Amit Levy, James Hong, Laurynas Riliskis, Philip Levis, Keith Winstein.  2016.  Beetle: Flexible Communication for Bluetooth Low Energy. {Proceedings of the 14th International Conference on Mobile Systems, Applications and Services (MobiSys)}.
Amit Levy, Michael P Andersen, Bradford Campbell, David Culler, Prabal Dutta, Branden Ghena, Philip Levis, Pat Pannuto.  2015.  Ownership is Theft: Experiences Building an Embedded OS in Rust. {Proceedings of the 8th Workshop on Programming Languages and Operating Systems (PLOS 2015)}.
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits.  2017.  A Design Studio for Architecture-based Design with BIP.

The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows modeling heterogeneous component-based systems. BIP is supported by a textual modeling language, as well as a tool-set including run-time platforms and verification tools. We present a web-based design studio that allows specifying BIP behavior and interaction models in a purely graphical way and generating the equivalent textual specifications. To facilitate scaling and reusability of BIP models, we have extended architecture diagrams, a graphical language for modeling architecture styles, to define parameterized BIP models. We present the various services provided by the design studio, including model repositories, design guidance mechanisms, code generators, and integration with the BIP tool-set.

Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits.  2017.  WebGME-BIP: A Design Studio for Modeling, Analyzing and Generating Systems with BIP.

When building large concurrent systems, one of the key difficulties lies in coordinating component behavior and, in particular, managing the access to shared resources of the execution platform. Components may interact through buses, message buffers, etc. leading to resource contention and potential deadlocks compromising safety-critical operations. The concurrent nature of such interactions is the root cause of the complexity of the resulting software. Thus, the complexity of software systems is exponential in the number of their components, making a-posteriori verification of their correctness practically infeasible. An alternative approach, taken by the BIP framework, consists in ensuring correctness-by-construction by applying automatic transformations to obtain executable code from formally defined models. Following this latter approach, we have designed and implemented a BIP design studio. We have studied extensions of the BIP language for specifying parameterized models and integrated them in the design studio to enhance scalability, reusability, and reduce model size. Additionally, we have studied and implemented a set of necessary and sufficient conditions for validating the consistency and encodability of BIP models at design time. We have developed code generation plugins from graphical BIP models to equivalent Java and BIP code. The generated BIP code can be verified for deadlock-freedom or safety properties using compositional verifications tools offered by the BIP framework.

Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits.  2018.  DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD).
Anastasia Mavridou, Tamas Kecskes, Qishen Zhang, Janos Sztipanovits.  Submitted.  A Common Integrated Framework for Heterogeneous Modeling Services.

Under submission at 6th International Workshop on the Globalization of Modeling Language (GEMOC)

Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee.  2013.  Assuring the Safety of On-Demand Medical Cyber-Physical Systems. Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA) 2013.
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee.  2015.  Towards Assurance for Plug & Play Medical Systems. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2015}). :228-242.
Andrew R. Teel, João P. Hespanha.  2015.  Stochastic hybrid systems: a modeling and stability theory tutorial. Proc. of the 54th Conf. on Decision and Contr..