Biblio
.
2014. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. 8855
.
2014. Synthesizing Finite-State Protocols from Scenarios and Requirements. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. :75–91.
.
2014. Are interface theories equivalent to contract theories? Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014. :104–113.
.
2014. On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. XIVth International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2014, Agios Konstantinos, Samos, Greece, July 14-17, 2014. :51–58.
.
2014. Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. 12th International Workshop on Discrete Event Systems, {WODES} 2014, Cachan, France, May 14-16, 2014.. :222–227.
.
2014. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedin. Lecture Notes in Computer Science. 8413
.
2014. Basic Problems in Multi-View Modeling. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedin. :217–232.
.
2014. Library-based scalable refinement checking for contract-based design. Design, Automation {&} Test in Europe Conference {&} Exhibition, {DATE} 2014, Dresden, Germany, March 24-28, 2014. :1–6.
.
2013. Determinate composition of FMUs for co-simulation. Proceedings of the International Conference on Embedded Software, {EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. :2:1–2:12.
.
2017. Design and Evaluation of a Reconfigurable ECU Architecture for Secure, Dependable, and Real-Time Automotive CPS. under review in IEEE Transactions on Dependable and Secure Computing.
.
2017. Design and Comparative Evaluation of GPGPU- and FPGA-based MPSoC ECU Architectures for Secure, Dependable, and Real-Time Automotive CPS. Proc. of IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP).
.
2017. IFCIoT: Integrated Fog Cloud IoT: A novel architectural paradigm for the future Internet of Things. IEEE Consumer Electronics Magazine. 6:74-82.
.
2017. Safety Assessment and Design of Dependable Cybercars: For today and the future. IEEE Consumer Electronics Magazine. 6:69-77.
.
2017. Design and Evaluation of a Novel ECU Architecture for Secure and Dependable Automotive CPS. Proc. of IEEE Consumer Communications and Networking Conference (CCNC).
.
2017. Predicting Cycling Safety Levels Using Crowdsourced Data. under submission.
.
2017. Cycling Trip Purpose Inference and Route Choice Using GPS Data. under submission.
.
2017. Towards scalable and dynamic social sensing using a distributed computing framework. Distributed Computing Systems (ICDCS), 2017 IEEE 37th International Conference on. :966–976.
.
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.
.
2017. Scalable Uncertainty-Aware Truth Discovery in Big Data Social Sensing Applications for Cyber-Physical Systems. IEEE Transactions on Big Data.
.
2016. On robust truth discovery in sparse social media sensing. Big Data (Big Data), 2016 IEEE International Conference on. :1076–1081.