Seshia, Sanjit: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

51

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming

Shoukry, Yasser, Nuzzo, Pierluigi, Balkan, Ayca, Saha, Indranil, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo

Year:

2017

Language:

english

File:

PDF, 178 KB

english, 2017

52

[ACM Press the 2018 ACM - Yokohama, Japan (2018.06.11-2018.06.14)] Proceedings of the 2018 ACM on International Conference on Multimedia Retrieval - ICMR '18 - A LiDAR Point Cloud Generator

Yue, Xiangyu, Wu, Bichen, Seshia, Sanjit A., Keutzer, Kurt, Sangiovanni-Vincentelli, Alberto L.

Year:

2018

Language:

english

File:

PDF, 3.72 MB

english, 2018

53

[IEEE 2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) - Austin, TX, USA (2013.06.2-2013.06.3)] 2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) - WordRev: Finding word-level structures in a sea of bit-level gates

Li, Wenchao, Gascon, Adria, Subramanyan, Pramod, Tan, Wei Yang, Tiwari, Ashish, Malik, Sharad, Shankar, Natarajan, Seshia, Sanjit A.

Year:

2013

Language:

english

File:

PDF, 961 KB

english, 2013

54

Mining Requirements From Closed-Loop Control Models

Jin, Xiaoqing, Donze, Alexandre, Deshmukh, Jyotirmoy V., Seshia, Sanjit A.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2015

Language:

english

File:

PDF, 1.12 MB

english, 2015

55

2016 IEEE Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected IEEE Awards

Jones, Edwin C., Wage, Kathleen E., Seshia, Sanjit A., Lord, Susan M., Auer, Michael E., Perez, Lance C., Li, Katherine Shu-Min, Priya, S. L. Krishna, Nikolic, Sasha, Arcega, Francisco J., Layton, Ric

Journal:

IEEE Transactions on Education

Year:

2017

Language:

english

File:

PDF, 969 KB

english, 2017

56

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Abstraction-based performance verification of NoCs

Holcomb, Daniel, Brady, Bryan, Seshia, Sanjit

Year:

2011

Language:

english

File:

PDF, 526 KB

english, 2011

57

[ACM Press the 12th international conference - San Jose, California, USA (2006.10.21-2006.10.25)] Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII - Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

58

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - Automatic discovery of API-level exploits

Ganapathy, Vinod, Seshia, Sanjit A., Jha, Somesh, Reps, Thomas W., Bryant, Randal E.

Year:

2005

Language:

english

File:

PDF, 498 KB

english, 2005

59

[ACM Press the 22nd ACM International Conference - Montreal, Quebec, Canada (2019.04.16-2019.04.18)] Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 - A new simulation metric to determine safe environments and controllers for systems with unknown dynamics

Ghosh, Shromona, Bansal, Somil, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A., Tomlin, Claire

Year:

2019

Language:

english

File:

PDF, 5.22 MB

english, 2019

60

An abstraction-based decision procedure for bit-vector arithmetic

Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan Brady

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 381 KB

english, 2009

61

[ACM Press the 16th ACM SIGSOFT International Symposium - Atlanta, Georgia (2008.11.09-2008.11.14)] Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16 - Effective blame for information-flow violations

King, Dave, Jaeger, Trent, Jha, Somesh, Seshia, Sanjit A.

Year:

2008

Language:

english

File:

PDF, 566 KB

english, 2008

62

[ACM Press the 1st ACM Conference - Memphis, Tennessee (2014.11.03-2014.11.06)] Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings - BuildSys '14 - Distributed control of a swarm of buildings connected to a smart grid

Aksanli, Baris, Nghiem, Truong X., Raman, Vasumathi, Rowe, Anthony, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit, Rosing, Tajana Simunic, Venkatesh, Jagannathan, Akyurek, Alper S., Behl, Madhur, C

Year:

2014

Language:

english

File:

PDF, 128 KB

english, 2014

63

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks

Jha, Susmit, Raman, Vasumathi, Seshia, Sanjit A.

Year:

2016

Language:

english

File:

PDF, 126 KB

english, 2016

64

[IEEE 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Westminster, CO, USA (2019.11.4-2019.11.7)] 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes

Magyar, Albert, Biancolin, David, Koenig, John, Seshia, Sanjit, Bachrach, Jonathan, Asanovic, Krste

Year:

2019

Language:

english

File:

PDF, 2.86 MB

english, 2019

65

[IEEE 2009 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS Workshops) - Montreal, Quebec, Canada (2009.06.22-2009.06.26)] 2009 29th IEEE International Conference on Distributed Computing Systems Workshops - The Case for Timing-Centric Distributed Software Invited Paper

Lee, Edward A., Matic, Slobodan, Seshia, Sanjit A., Zou, Jia

Year:

2009

Language:

english

File:

PDF, 580 KB

english, 2009

66

Sketching stencils

Solar-Lezama, Armando, Arnold, Gilad, Tancau, Liviu, Bodik, Rastislav, Saraswat, Vijay, Seshia, Sanjit

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 221 KB

english, 2007

67

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Reactive synthesis from signal temporal logic specifications

Raman, Vasumathi, Donzé, Alexandre, Sadigh, Dorsa, Murray, Richard M., Seshia, Sanjit A.

Year:

2015

Language:

english

File:

PDF, 781 KB

english, 2015

68

[ACM Press the Workshop - Tampere, Finland (2012.10.12-2012.10.12)] Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education - WESE '12 - Teaching embedded systems the Berkeley way

Lee, Edward A., Seshia, Sanjit A., Jensen, Jeff C.

Year:

2013

Language:

english

File:

PDF, 815 KB

english, 2013

69

[IEEE 2017 American Control Conference (ACC) - Seattle, WA, USA (2017.5.24-2017.5.26)] 2017 American Control Conference (ACC) - Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications

Mehr, Negar, Sadigh, Dorsa, Horowitz, Roberto, Sastry, S. Shankar, Seshia, Sanjit A.

Year:

2017

Language:

english

File:

PDF, 252 KB

english, 2017

70

Semantic Adversarial Deep Learning

Seshia, Sanjit A., Jha, Somesh, Dreossi, Tommaso

Journal:

IEEE Design and Test

Year:

2020

File:

PDF, 1.03 MB

2020

71

[IEEE 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Daejeon, South Korea (2016.10.9-2016.10.14)] 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Information gathering actions over human internal state

Sadigh, Dorsa, Sastry, S. Shankar, Seshia, Sanjit A., Dragan, Anca

Year:

2016

Language:

english

File:

PDF, 3.58 MB

english, 2016

72

[ACM Press the 8th International Conference - Pittsburgh, Pennsylvania (2017.04.18-2017.04.20)] Proceedings of the 8th International Conference on Cyber-Physical Systems - ICCPS '17 - DRONA

Desai, Ankush, Saha, Indranil, Yang, Jianqiao, Qadeer, Shaz, Seshia, Sanjit A.

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

73

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Dreossi, Tommaso, Donzé, Alexandre, Seshia, Sanjit A.

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 2.57 MB

english, 2019

74

Modular verification of multithreaded programs

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 330 KB

english, 2005

75

[Lecture Notes in Computer Science] Computer Aided Verification Volume 7358 ||

Madhusudan, P., Seshia, Sanjit A.

Year:

2012

Language:

english

File:

PDF, 13.64 MB

english, 2012

76

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - A hybrid SAT-based decision procedure for separation logic with uninterpreted functions

Seshia, Sanjit A., Lahiri, Shuvendu K., Bryant, Randal E.

Year:

2003

Language:

english

File:

PDF, 151 KB

english, 2003

77

[IEEE 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI) - Berlin, Germany (2016.4.4-2016.4.8)] 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI) - Control Improvisation with Probabilistic Temporal Specifications

Akkaya, Ilge, Fremont, Daniel J., Valle, Rafael, Donze, Alexandre, Lee, Edward A., Seshia, Sanjit A.

Year:

2016

Language:

english

File:

PDF, 626 KB

english, 2016

78

Robust online monitoring of signal temporal logic

Deshmukh, Jyotirmoy V., Donzé, Alexandre, Ghosh, Shromona, Jin, Xiaoqing, Juniwal, Garvit, Seshia, Sanjit A.

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.14 MB

english, 2017

79

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems

Yamaguchi, Tomoya, Kaga, Tomoyuki, Donze, Alexandre, Seshia, Sanjit A.

Year:

2016

Language:

english

File:

PDF, 472 KB

english, 2016

80

[ACM Press the 17th ACM-IEEE International Conference - La Jolla, California (2019.10.09-2019.10.11)] Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 - RTL bug localization through LTL specification mining (WIP)

Iyer, Vighnesh, Kim, Donggyu, Nikolic, Borivoje, Seshia, Sanjit A.

Year:

2019

Language:

english

File:

PDF, 885 KB

english, 2019

81

[ACM Press the 52nd Annual Design Automation Conference - San Francisco, California (2015.06.07-2015.06.11)] Proceedings of the 52nd Annual Design Automation Conference on - DAC '15 - Formal methods for semi-autonomous driving

Seshia, Sanjit A., Sadigh, Dorsa, Sastry, S. Shankar

Year:

2015

Language:

english

File:

PDF, 224 KB

english, 2015

82

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Sketching stencils

Solar-Lezama, Armando, Arnold, Gilad, Tancau, Liviu, Bodik, Rastislav, Saraswat, Vijay, Seshia, Sanjit

Year:

2007

Language:

english

File:

PDF, 221 KB

english, 2007

83

Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

84

[IEEE 2016 American Control Conference (ACC) - Boston, MA, USA (2016.7.6-2016.7.8)] 2016 American Control Conference (ACC) - Assume-guarantee contracts and controller synthesis for vehicular traffic networks

Kim, Eric S., Arcak, Murat, Seshia, Sanjit A.

Year:

2016

Language:

english

File:

PDF, 86 KB

english, 2016

85

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Scalable lazy SMT-based motion planning

Shoukry, Yasser, Nuzzo, Pierluigi, Saha, Indranil, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo

Year:

2016

Language:

english

File:

PDF, 396 KB

english, 2016

86

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - A compiler and verifier for page access oblivious computation

Sinha, Rohit, Rajamani, Sriram, Seshia, Sanjit A.

Year:

2017

Language:

english

File:

PDF, 3.21 MB

english, 2017

87

Secure State Estimation for Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

Shoukry, Yasser, Nuzzo, Pierluigi, Puggelli, Alberto, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Tabuada, Paulo

Journal:

IEEE Transactions on Automatic Control

Year:

2017

Language:

english

File:

PDF, 2.59 MB

english, 2017

88

[Lecture Notes in Computer Science] Computer Aided Verification Volume 7358 || Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement

Madhusudan, P., Seshia, Sanjit A.

Year:

2012

Language:

english

File:

PDF, 303 KB

english, 2012

89

[ACM Press the 14th International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 - CPSGrader

Juniwal, Garvit, Donzé, Alexandre, Jensen, Jeff C., Seshia, Sanjit A.

Year:

2014

Language:

english

File:

PDF, 413 KB

english, 2014

90

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - CrowdMine

Li, Wenchao, Seshia, Sanjit A., Jha, Somesh

Year:

2012

Language:

english

File:

PDF, 651 KB

english, 2012

91

[IEEE 2015 American Control Conference (ACC) - Chicago, IL, USA (2015.7.1-2015.7.3)] 2015 American Control Conference (ACC) - Automotive systems requirement mining using breach

Donze, Alexandre, Jin, Xiaoqing, Deshmukh, Jyotirmoy V., Seshia, Sanjit A.

Year:

2015

Language:

english

File:

PDF, 59 KB

english, 2015

92

Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Journal:

ACM SIGARCH Computer Architecture News

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

93

Program synthesis for interactive-security systems

Harris, William R., Jha, Somesh, Reps, Thomas W., Seshia, Sanjit A.

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

94

[IEEE 2014 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS) - Austin, TX, USA (2014.9.22-2014.9.26)] 2014 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS) - Endlessly circulating messages in IEEE 1588-2008 systems

Broman, David, Derler, Patricia, Desai, Ankush, Eidson, John C., Seshia, Sanjit A.

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

95

Quantitative Analysis of Systems Using Game-Theoretic Learning

Seshia, Sanjit A., Rakhlin, Alexander

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 447 KB

english, 2012

96

[ACM Press the 3rd international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 - User interface design and verification for semi-autonomous driving

Sadigh, Dorsa, Driggs-Campbell, Katherine, Bajcsy, Ruzena, Sastry, S. Shankar, Seshia, Sanjit

Year:

2014

Language:

english

File:

PDF, 450 KB

english, 2014

97

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Compositional controller synthesis for vehicular traffic networks

Kim, Eric S., Arcak, Murat, Seshia, Sanjit A.

Year:

2015

Language:

english

File:

PDF, 699 KB

english, 2015

98

[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Scalable specification mining for verification and diagnosis

Li, Wenchao, Forin, Alessandro, Seshia, Sanjit A.

Year:

2010

Language:

english

File:

PDF, 295 KB

english, 2010

99

[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - Mining requirements from closed-loop control models

Jin, Xiaoqing, Donzé, Alexandre, Deshmukh, Jyotirmoy V., Seshia, Sanjit A.

Year:

2013

Language:

english

File:

PDF, 1010 KB

english, 2013

100

[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - Moat

Sinha, Rohit, Rajamani, Sriram, Seshia, Sanjit, Vaswani, Kapil

Year:

2015

Language:

english

File:

PDF, 2.08 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски