Research Output

Filter
Conference contribution
2018

A Coupled Bi-Virus Spread Model in Networked Systems

Paré, P. E., Liu, J., Beck, C. L. & Başar, T., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 4414-4419 6 p. 8430785. (Proceedings of the American Control Conference; vol. 2018-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Acquiring metadata to support biographies of museum artefacts

Zhao, C., Twidale, M. B. & Nichols, D. M., 2018, Maturity and Innovation in Digital Libraries - 20th International Conference on Asia-Pacific Digital Libraries, ICADL 2018, Proceedings. Žumer, M., Hinze, A. & Dobreva, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 304-315 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11279 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Active Learning on Heterogeneous Information Networks: A Multi-armed Bandit Approach

Xin, D., El-Kishky, A., Liao, D., Norick, B. & Han, J., Dec 27 2018, 2018 IEEE International Conference on Data Mining, ICDM 2018. Institute of Electrical and Electronics Engineers Inc., p. 1350-1355 6 p. 8594993. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2018-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adaptive Coordination of Distributed Energy Resources in Lossy Power Distribution Systems

Xu, H., Dominguez-Garcia, A. D. & Sauer, P. W., Dec 21 2018, 2018 IEEE Power and Energy Society General Meeting, PESGM 2018. IEEE Computer Society, 8586090. (IEEE Power and Energy Society General Meeting; vol. 2018-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Data-driven Voltage Control Framework for Power Distribution Systems

Xu, H., Dominguez-Garcia, A. D. & Sauer, P. W., Dec 21 2018, 2018 IEEE Power and Energy Society General Meeting, PESGM 2018. IEEE Computer Society, 8586174. (IEEE Power and Energy Society General Meeting; vol. 2018-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A decidable fragment of second order logic with applications to synthesis

Madhusudan, P., Mathur, U., Saha, S. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A design-space exploration for allocating security tasks in multicore real-Time systems

Hasan, M., Mohan, S., Pellizzoni, R. & Bobba, R. B., Apr 19 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., p. 225-230 6 p. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adversarial Machine Learning: The Case of Recommendation Systems

Truong, A., Kiyavash, N. & Rasoul Etesami, S., Aug 24 2018, 2018 IEEE 19th International Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2018. Institute of Electrical and Electronics Engineers Inc., 8445767. (IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC; vol. 2018-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A dynamical network framework with application to stability of power networks

Wang, D., Chen, W., Khong, S. Z., Liu, J., Basar, T. & Qiu, L., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2924-2928 5 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A fast and massively-parallel inverse solver for multiple-scattering tomographic image reconstruction

Hidayetoglu, M., Pearson, C., El Hajj, I., Gurel, L., Chew, W. C. & Hwu, W. M., Aug 3 2018, Proceedings - 2018 IEEE 32nd International Parallel and Distributed Processing Symposium, IPDPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 64-74 11 p. 8425161. (Proceedings - 2018 IEEE 32nd International Parallel and Distributed Processing Symposium, IPDPS 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal verification tool for ethereum VM bytecode

Park, D., Zhang, Y., Saxena, M., Daian, P. & Roşu, G., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 912-915 4 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A game theoretical framework for inter-process adversarial intervention detection

Sayin, M. O., Hosseini, H., Poovendran, R. & Başar, T., Jan 1 2018, Decision and Game Theory for Security - 9th International Conference, GameSec 2018, Proceedings. Bushnell, L., Poovendran, R. & Basar, T. (eds.). Springer-Verlag Berlin Heidelberg, p. 486-507 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11199 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Aggio: A coupon safe for privacy-preserving smart retail environments

Harris, A. F., Kravets, R. & Snader, R., Dec 6 2018, Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018. Institute of Electrical and Electronics Engineers Inc., p. 174-186 13 p. 8567665. (Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Aladdin: Automating release of deep-link apis on android

Ma, Y., Hu, Z., Liu, Y., Xie, T. & Liu, X., Apr 10 2018, The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018. Association for Computing Machinery, Inc, p. 1469-1478 10 p. (The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A language-independent approach to smart contract verification

Chen, X., Park, D. & Roşu, G., Jan 1 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 405-413 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A language-independent program verification framework

Chen, X. & Roşu, G., Jan 1 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 92-102 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A large-scale empirical study on android runtime-permission rationale messages

Liu, X., Leng, Y., Yang, W., Wang, W., Zhai, C. & Xie, T., Oct 23 2018, Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018. Kelleher, C., Engels, G., Fernandes, J. P., Cunha, J. & Mendes, J. (eds.). IEEE Computer Society, p. 137-146 10 p. 8506574. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC; vol. 2018-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A large-scale study of test coverage evolution

Hilton, M., Bell, J. & Marinov, D., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 53-63 11 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

AliDrone: Enabling trustworthy proof-of-alibi for commercial drone compliance

Liu, T., Hojjati, A., Bates, A. & Nahrstedt, K., Jul 19 2018, Proceedings - 2018 IEEE 38th International Conference on Distributed Computing Systems, ICDCS 2018. Institute of Electrical and Electronics Engineers Inc., p. 841-852 12 p. (Proceedings - International Conference on Distributed Computing Systems; vol. 2018-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A ML-based runtime system for executing dataflow graphs on heterogeneous processors

Banerjee, S. S., Athreya, A. P., Kalbarczyk, Z., Lumetta, S. & Iyer, R. K., Oct 11 2018, SoCC 2018 - Proceedings of the 2018 ACM Symposium on Cloud Computing. Association for Computing Machinery, Inc, 1 p. (SoCC 2018 - Proceedings of the 2018 ACM Symposium on Cloud Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Analysis of privacy protections in fitness tracking social networks-or-you can run, but can you hide?

Hassan, W. U., Hussain, S. & Bates, A., Jan 1 2018, Proceedings of the 27th USENIX Security Symposium. USENIX Association, p. 497-512 16 p. (Proceedings of the 27th USENIX Security Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Analysis of Stepping Stone Attacks in Dynamic Vulnerability Graphs

Gamarra, M., Shetty, S., Nicol, D. M., Gonazlez, O., Kamhoua, C. A. & Njilla, L., Jul 27 2018, 2018 IEEE International Conference on Communications, ICC 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8422723. (IEEE International Conference on Communications; vol. 2018-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An Analytical Method to Determine Minimum Per-Layer Precision of Deep Neural Networks

Sakr, C. & Shanbhag, N., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1090-1094 5 p. 8461702. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An approach to distributed parametric learning with streaming data

Liu, J., Liu, Y., Nedich, A. & Başar, T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 3206-3211 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An Efficient Strategy for Model Composition in the Möbius Modeling Environment

Masetti, G., Chiaradonna, S., Di Giandomenico, F., Feddersen, B. & Sanders, W. H., Nov 9 2018, Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018. Institute of Electrical and Electronics Engineers Inc., p. 116-119 4 p. 8530770. (Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An empirical study of android test generation tools in industrial cases

Wang, W., Cao, Y., Li, D., Zhang, Z., Deng, Y., Yang, W. & Xie, T., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 738-748 11 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An extensible, regular-expression-based tool for multi-language mutant generation

Groce, A., Holmes, J., Marinov, D., Shi, A. & Zhang, L., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 25-28 4 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An Ontology Framework for Generating Discrete-Event Stochastic Models

Keefe, K., Feddersen, B., Rausch, M., Wright, R. & Sanders, W. H., Jan 1 2018, Computer Performance Engineering - 15th European Workshop, EPEW 2018, Proceedings. Remke, A., Ballarini, P., Barbot, B., Bakhshi, R. & Castel-Taleb, H. (eds.). Springer-Verlag, p. 173-189 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11178 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

ApDeepSense: Deep learning uncertainty estimation without the pain for IoT applications

Yao, S., Zhao, Y., Shao, H., Zhang, C., Zhang, A., Liu, D., Liu, S., Su, L. & Abdelzaher, T., Jul 19 2018, Proceedings - 2018 IEEE 38th International Conference on Distributed Computing Systems, ICDCS 2018. Institute of Electrical and Electronics Engineers Inc., p. 334-343 10 p. (Proceedings - International Conference on Distributed Computing Systems; vol. 2018-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Platform Solution of Data-Quality Improvement for Internet-of-Vehicle Services

Zhang, M., Wo, T. & Xie, T., Aug 22 2018, 2018 IEEE International Conference on Pervasive Computing and Communications, PerCom 2018. Institute of Electrical and Electronics Engineers Inc., 8444581. (2018 IEEE International Conference on Pervasive Computing and Communications, PerCom 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Application level hardware tracing for scaling post-silicon debug

Pal, D., Sharma, A., Ray, S., De Paula, F. M. & Vasudevan, S., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., a92. (Proceedings - Design Automation Conference; vol. Part F137710).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Application of a Message-Passing Decomposition of Sparsely-Coupled Linear Programming Problems to the Uniform Stabilization of Positive Switched Linear Systems

Essick, R. & Dullerud, G., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 3780-3785 6 p. 8431432. (Proceedings of the American Control Conference; vol. 2018-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Applications of group testing to security decision-making in networks

Bolouki, S., Dobakhshari, D. G., Basar, T., Gupta, V. & Nedich, A., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2929-2934 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Application-Transparent near-memory processing architecture with memory channel network

Alian, M., Min, S. W., Asgharimoghaddam, H., Dhar, A., Wang, D. K., Roewer, T., McPadden, A., O'Halloran, O., Chen, D., Xiong, J., Kim, D., Hwu, W. M. & Kim, N. S., Dec 12 2018, Proceedings - 51st Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2018. IEEE Computer Society, p. 802-814 13 p. 8574587. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2018-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Approximate partial order reduction

Fan, C., Huang, Z. & Mitra, S., Jan 1 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 588-607 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Approximating probabilistic automata by regular languages

Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A provenance model for the european union general data protection regulation

Ujcich, B. E., Bates, A. & Sanders, W. H., Jan 1 2018, Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, Proceedings. Belhajjame, K., Gehani, A. & Alper, P. (eds.). Springer-Verlag Berlin Heidelberg, p. 45-57 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11017 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

ASketch: A sketching framework for alloy

Wang, K., Sullivan, A., Marinov, D. & Khurshid, S., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 916-919 4 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A spherical hidden Markov model for semantics-rich human mobility modeling

Zhu, W., Zhang, C., Yao, S., Gao, X. & Han, J., Jan 1 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, p. 4613-4620 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Associative unification and symbolic reasoning modulo associativity in maude

Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J. & Talcott, C., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag Berlin Heidelberg, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Asymptotic behavior of a reduced conjunctive Boolean network

Chen, X., Gao, Z. & Basar, T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 4404-4409 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Audio Based Handwriting Input for Tiny Mobile Devices

Yu, T., Jin, H. & Nahrstedt, K., Jun 26 2018, Proceedings - IEEE 1st Conference on Multimedia Information Processing and Retrieval, MIPR 2018. Institute of Electrical and Electronics Engineers Inc., p. 130-135 6 p. (Proceedings - IEEE 1st Conference on Multimedia Information Processing and Retrieval, MIPR 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Augmented Joint Stiffness and Actuation Using Architectures of Soft Pneumatic Actuators

Thompson, N., Zhang, X., Ayala, F., Hsiao-Wecksler, E. T. & Krishnan, G., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 1533-1538 6 p. 8460746. (Proceedings - IEEE International Conference on Robotics and Automation).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Unified Framework for Decentralized Control Synthesis

Naghnaeian, M., Voulgaris, P. G. & Elia, N., Nov 27 2018, 2018 European Control Conference, ECC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2482-2487 6 p. 8550564. (2018 European Control Conference, ECC 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A unified input-output approach for networked control problems with decentralized and selfish optimality

Voulgaris, P. G. & Elia, N., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 5976-5981 6 p. 8430932. (Proceedings of the American Control Conference; vol. 2018-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Authenticated Data Structures for Privacy-Preserving Monero Light Clients

Lee, K. & Miller, A., Jul 6 2018, Proceedings - 3rd IEEE European Symposium on Security and Privacy Workshops, EURO S and PW 2018. Institute of Electrical and Electronics Engineers Inc., p. 20-28 9 p. (Proceedings - 3rd IEEE European Symposium on Security and Privacy Workshops, EURO S and PW 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automatically correcting networks with NEAT

Zhou, W., Croft, J., Liu, B., Ang, E. & Caesar, M., 2018, Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2018. USENIX Association, p. 595-608 14 p. (Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automatically generating security models from system models to aid in the evaluation of AMI deployment options

Rausch, M., Keefe, K., Feddersen, B. & Sanders, W. H., Jan 1 2018, Critical Information Infrastructures Security - 12th International Conference, CRITIS 2017, Revised Selected Papers. D’Agostino, G. & Scala, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 156-167 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10707 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

AVFI: Fault Injection for Autonomous Vehicles

Jha, S., Banerjee, S. S., Cyriac, J., Kalbarczyk, Z. T. & Iyer, R. K., Jul 19 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018. Institute of Electrical and Electronics Engineers Inc., p. 55-56 2 p. 8416212. (Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Benchmarking microservice systems for software engineering research

Zhou, X., Peng, X., Xie, T., Sun, J., Xu, C., Ji, C. & Zhao, W., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 323-324 2 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution