Visible to the public Biblio

Found 339 results

Filters: First Letter Of Last Name is A  [Clear All Filters]
2018-05-14
[Anonymous].  2016.  Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Lecture Notes in Computer Science. 9641
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.
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2015.  Automatic Completion of Distributed Protocols with Symmetry. Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}. :395–412.
[Anonymous].  2015.  Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015.
Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2015.  Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2015, Samos, Greece, July 19-23, 2015. :113–122.
[Anonymous].  2014.  From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science. 8415
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  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.
Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  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.
Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  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.
2018-05-11
Anany Dwivedi, Anand Ramakrishnan, Kunal Patel, Selim Ozel, Cagdas D. Onal.  2017.  Design, Modeling, and Validation of a Soft Magnetic 3-D Force Sensor. IEEE Sensors (submitted).
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..
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, João P. Hespanha, Paulo Tabuada.  2017.  SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks. ACM Trans. Cyber-Physical Systems.
Kunihisa Okano, Masashi Wakaiki, Guosong Yang, and João Pedro Hespanha.  Submitted.  Stabilization of networked control systems under clock offsets and quantization. IEEE Trans. on Automat. Contr..
Henrique Ferraz, Amr Alanwar, Mani Srivastava, João Pedro Hespanha.  2017.  Node Localization Based on Distributed Constrained Optimization using Jacobi's Method. Proc. of the 56th Conf. on Decision and Contr..
Amr Alanwar, Henrique Ferraz, Kevin Hsieh, Rohit Thazhath, Paul Martin, João Pedro Hespanha, Mani Srivastava.  2017.  D-SLATS: Distributed Simultaneous Localization and Time Synchronization. Proc. of the ACM MOBIHOC.
Amr Alanwar, Fatima Anwar, João Pedro Hespanha, Mani Srivastava.  2016.  Realizing Uncertainty-Aware Timing Stack in Embedded Operating System. Proc. of the Embedded Operating Systems Workshop.
Jiang, Zhihao, Abbas, Houssam, and Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  In-silico pre-clinical trials for implantable cardioverter defibrillators. 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :169-172.
Abbas, Houssam, Jang, K.J., Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2017.  A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias. Heart Rhythm Society Scientific Sessions.
Abbas, Houssam, Alur, Rajeev, Mamouras, Konstantinos, Mangharam, Rahul, Rodionova, Alena.  2017.  Real-time Decision Policies with Predictable Performance. Proceedings of the IEEE.

Submitted

Mangharam, Rahul, Abbas, Houssam, Behl, Madhur, Jang, Kuk Jin Pajic, Miroslav, Jiang, Zhihao.  2016.  Three challenges in cyber-physical systems. 2016 8th International Conference on Communication Systems and Networks (COMSNETS). :1-8.
Abbas, Houssam, Jang, Kuk Jin, Jiang, Zhihao, Mangharam, Rahul.  2016.  Towards Model Checking of Implantable Cardioverter Defibrillators. 19th ACM International Conference on Hybrid Systems: Computation and Control.
Abbas, Houssam, Jang, Kuk Jin, Mangharam, Rahul.  2016.  Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. Applied Verification for Continuous and Hybrid Systems.
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  Computer Aided Clinical Trials for Implantable Cardiac Devices. SES 2016: Symposium F-2: Modeling, Design and Safety Analysis in Physiological Closed-Loop Systems.
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices. IEEE International High Level Design Validation and Test Workshop (HLDVT). :85-92.
Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter, Mangharam, Rahul.  2016.  Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees. Medical Cyber Physical Systems Workshop 2016.