Visible to the public Biblio

Filters: First Letter Of Title is W  [Clear All Filters]
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   [Show ALL]
Min, Kyeong T, Forys, Andrzej, Luong, Anh, Lee, Enoch, Davies, Jon, Schmid, Thomas.  2014.  WRENSys: Large-scale, rapid deployable mobile sensing system. Local Computer Networks Workshops (LCN Workshops), 2014 IEEE 39th Conference on. :557–565.
Wen-Zhan Song, Debraj De, Song Tan, Sajal Das, Lang Tong.  2012.  A Wireless Smart Grid Testbed In Lab. Special Issue on Recent Advances in Wireless Technologies for Smart Grid, IEEE Wireless Communications Magazine. 19
M. Hosseini, R. R. Berlin, L. Sha.  2017.  WiP Abstract: A Physiology-Aware Communication Architecture for Distributed Emergency Medical CPS. 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS). :83-84.
Tamrazian, Arbi, Qian, Zhen, Rajagopal, Ram.  2015.  Where Is My Parking Spot? Online and Offline Prediction of Time-Varying Parking Occupancy Transportation Research Record: Journal of the Transportation Research Board. :77–85.
Huang, Chao, Wang, Dong, Zhu, Shenglong.  2017.  Where are you from: Home location profiling of crowd sensors from noisy and sparse crowdsourcing data. INFOCOM 2017-IEEE Conference on Computer Communications, IEEE. :1–9.
Antti Siirtola, Stavros Tripakis, Keijo Heljanko.  2017.  When Do We Not Need Complex Assume-Guarantee Rules? {ACM} Trans. Embedded Comput. Syst.. 16:48:1–48:25.
Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko.  2015.  When Do We (Not) Need Complex Assume-Guarantee Rules? 15th International Conference on Application of Concurrency to System Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015. :30–39.
Ye, Chengxi, Yang, Yezhou, Mao, Ren, Fermuller, Cornelia, Aloimonos, Yiannis.  2017.  What can i do around here? deep functional scene understanding for cognitive robots Robotics and Automation (ICRA), 2017 IEEE International Conference on. :4604–4611.
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.