引用次数
引用: 23,928
H-指数: 73
I10-指数 : 197
出版物: 473
Post-silicon validation opportunities, challenges and recent advances
Seshia , Mitra , Nicolici
design automation conference 12 -17
2010
Counterexample-guided SMT-driven optimal buffer sizing
Holcomb , Brady , Seshia
2011 Design, Automation&Test in Europe 1 -6
2011
Abstraction-based performance verification of NoCs
Holcomb , Brady , Seshia
design automation conference 492 -497
2011
A Performance Comparison of Interval Arithmetic and Error Analysis for Geometric Predicates
Guy E. Blelloch , S. A. Seshia , Robert Harper
2000
A Translation of Statecharts to Esterel
S. A. Seshia , R. K. Shyamasundar , A. K. Bhattacharjee , S. D. Dhodapkar
formal methods 983 -1007
26
1999
Machine learning and formal methods
SA Seshia , XJ Zhu , A Krause , S Jha
Dagstuhl Seminar 17351
2
2017
CYBER–PHYSICAL SYSTEMS
P Derler , EA Lee , AS Vincentelli , J Sztipanovits
Proceedings of the IEEE 100 ( 1)
2
2012
Automatic synthesis of a voting machine design
Lili Dworkin , W Li , SA Seshia
Unpublished manuscript
1
2010
The Design Process
EA Lee , SA Seshia
Introduction to Embedded Systems: A Cyber-Physical Systems Approach 8 -15
1
A LiDAR Point Cloud Generator: from a Virtual World to Autonomous
X Yue , B Wu , SA Seshia
2018
Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead
J Roychowdhury , RY Zhang , JK White , IL Markov
Proceedings of the IEEE 103 ( 11)
2015
A Performance Comparison of Interval Arithmetic and Error Analysis in Geometric
SA Seshia , GE Blelloch , RW Harper
School of Computer Science, Carnegie Mellon University
2000
Randal E. Bryant Publications
RE Bryant , D Kroening , J Ouaknine , SA Seshia
Young 18 ( 7)
1999
Circuit Learning: From Decision Trees to Decision Graphs.................................... Y.-S. Huang and J.-HR Jiang 3985 Machine Learning/AI Automation HyperSpikeASIC: Accelerating Event-Based Workloads With HyperDimensional Computing and Spiking Neural Networks....
Z Bai , H Cassé , T Carle , C Rochange
The issue number is given in front of the page numbers.
V Anantharam , R Gharavi , C Bazgan , J Monnot
Theoretical Computer Science 338 426 -426
2005
Introduction to Embedded Systems A Cyber-Physical Systems Approach Second Edition
EA Lee , SA Seshia
MIT Press.,
8
2017
Introduction to embedded system-a cyber physical system approach UC berkeley
EA Lee , SA Seshia
Berkeley CA
8
2011