Alberto L. Sangiovanni-Vincentelli Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
475Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Nuzzo, Claudio Nani, Costantino Armiento, Alberto L. Sangiovanni-Vincentelli, Jan Craninckx, Geert Van der Plas: A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS. IEEE Trans. on Circuits and Systems 59-I(1): 80-92 (2012)
474Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli: Modeling Cyber-Physical Systems. Proceedings of the IEEE 100(1): 13-28 (2012)
473Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli: Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. Sci. Comput. Program. 77(2): 96-112 (2012)
2011
472Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: Are logic synthesis tools robust? DAC 2011: 633-638
471Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward A. Lee, Alberto L. Sangiovanni-Vincentelli: Component-based design for the future. DATE 2011: 1029
470Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli: Robustness in analog systems: Design techniques, methodologies and tools. SIES 2011: 194-203
469Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli: Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Trans. Industrial Informatics 7(1): 1-17 (2011)
468Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPan Gun Park, Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli: Breath: An Adaptive Protocol for Industrial Control Applications Using Wireless Sensor Networks. IEEE Trans. Mob. Comput. 10(6): 821-838 (2011)
2010
467Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa: Education panel: designing the always connected car of the future. DAC 2010: 617-618
466Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: All things are connected. DATE 2010: 1
465Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli: CalCS: SMT solving for non-linear convex constraints. FMCAD 2010: 71-79
464Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang-Ching Wu, Xuening Sun, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey: A 2.2mW CMOS LNA for 6-8.5GHz UWB receivers. ISCAS 2010: 1631-1634
463Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu: A Design Flow for Building Automation and Control Systems. RTSS 2010: 105-116
462Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago, Alberto L. Sangiovanni-Vincentelli: HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications. SIES 2010: 88-97
461Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Nuzzo, Xuening Sun, Chang-Ching Wu, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli: A Platform-Based Methodology for System-Level Mixed-Signal Design. EURASIP J. Emb. Sys. 2010: (2010)
460Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli: Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. IEEE Trans. Industrial Informatics 6(4): 621-636 (2010)
459Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli: Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. IEEE Trans. Industrial Informatics 6(4): 637-651 (2010)
458Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli: Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. IEEE Trans. Industrial Informatics 6(4): 678-691 (2010)
457Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli: Optimal synthesis of communication procedures in real-time synchronous reactive models. IEEE Trans. Industrial Informatics 6(4): 729-743 (2010)
2009
456Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli: Contract-based system-level composition of analog circuits. DAC 2009: 605-610
455Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli: Scheduling the FlexRay bus using optimization techniques. DAC 2009: 874-877
454Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia: Optimizations of an application-level protocol for enhanced dependability in FlexRay. DATE 2009: 1076-1081
453Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: UMTS MPSoC design evaluation using a system level design framework. DATE 2009: 478-483
452Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Gueye, Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli: Iterative Node Deployment in an Unknown Environment. GLOBECOM 2009: 1-6
451Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli: Automatic Code Generation for Synchronous Reactive Communication. ICESS 2009: 40-47
450Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli: Optimizing Extensibility in Hard Real-Time Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 275-284
449Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo Fischione, Alberto Speranzon, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli: Peer-to-peer estimation over wireless sensor networks via Lipschitz optimization. IPSN 2009: 241-252
448Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo Fischione, Sinem Coleri Ergen, Pan Gun Park, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli: Medium Access Control Analytical Modeling and Optimization in Unslotted IEEE 802.15.4 Wireless Sensor Networks. SECON 2009: 1-9
447Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli: Statistical analysis of Controller Area Network message response times. SIES 2009: 1-10
446Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Cheung, Xi Chen, Harry Hsieh, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe: Runtime deadlock analysis for system level design. Design Autom. for Emb. Sys. 13(4): 287-310 (2009)
445Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli: Metamodels in Europe: Languages, Tools, and Applications. IEEE Design & Test of Computers 26(3): 38-53 (2009)
444Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Janos Sztipanovits, Guang Yang, Deepak Mathaikutty: Metamodeling: An Emerging Representation Paradigm for System-Level Design. IEEE Design & Test of Computers 26(3): 54-69 (2009)
443Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli: Improving the size of communication buffers in synchronous models with time constraints. IEEE Trans. Industrial Informatics 5(3): 229-240 (2009)
442Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli: Stochastic Analysis of Distributed Real-time Automotive Systems. IEEE Trans. Industrial Informatics 5(4): 388-401 (2009)
441Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Methodology for Constraint-Driven Synthesis of On-Chip Communications. IEEE Trans. on CAD of Integrated Circuits and Systems 28(3): 364-377 (2009)
440Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Marco Di Natale: Challenges and Solutions in the Development of Automotive Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 28(7): 937-940 (2009)
439Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli, Xuening Sun, R. Tebano, S. Alalusi, G. Audisio, Marco Sabatini: The Tire as an Intelligent Sensor. IEEE Trans. on CAD of Integrated Circuits and Systems 28(7): 941-955 (2009)
438Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo Fischione, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli, Benigno Zurita Ares: Minimum Energy coding in CDMA Wireless Sensor Networks. IEEE Transactions on Wireless Communications 8(2): 985-994 (2009)
2008
437Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Antonio Bicchi: Hybrid system reduction. CDC 2008: 227-232
436Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli: Composing hybrid systems. CDC 2008: 4693-4699
435Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Passerone, Alberto L. Sangiovanni-Vincentelli: Approximating Behaviors in Embedded System Design. Concurrency, Graphs and Models 2008: 721-742
434Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Meyerowitz, Alberto L. Sangiovanni-Vincentelli, Mirko Sauermann, Dominik Langen: Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor. DATE 2008: 276-279
433Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Physical Architectures of Automotive Systems. DATE 2008: 391-395
432Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Software Components for Reliable Automotive Systems. DATE 2008: 549-554
431Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLE. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. DATE 2008: 659-663
430Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber: Panel Session - The Future Car: Technology, Methods and Tools. DATE 2008: 812
429Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli: Logical Reliability of Interacting Real-Time Tasks. DATE 2008: 909-914
428Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli: Outage-Based Rate Maximization in CDMA Wireless Networks. GLOBECOM 2008: 1310-1315
427Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSinem Coleri Ergen, Carlo Fischione, Dimitri Marandin, Alberto L. Sangiovanni-Vincentelli: Duty-Cycle Optimization in Unslotted 802.15.4 Wireless Sensor Networks. GLOBECOM 2008: 388-393
426Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli: Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. HSCC 2008: 58-71
425Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli: Optimizing the Implementation of Communication in Synchronous Reactive Models. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 169-179
424Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPan Gun Park, Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli: Breath: A Self-Adapting Protocol for Wireless Sensor Networks in Control and Automation. SECON 2008: 323-331
423Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYanmei Li, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli: Analysis of Interference Effects in MB-OFDM UWB Systems. WCNC 2008: 165-170
422Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4): (2008)
421Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo Fischione, Alberto Speranzon, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli: Distributed Estimation over Wireless Sensor Networks with Packet Losses CoRR abs/0810.3715: (2008)
420Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems 18(1): 51-89 (2008)
419Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli: Schedulability Analysis of Petri Nets Based on Structural Properties. Fundam. Inform. 86(3): 325-341 (2008)
418Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Is a Unified Methodology for System-Level Design Possible? IEEE Design & Test of Computers 25(4): 346-357 (2008)
417Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: COSI: A Framework for the Design of Interconnection Networks. IEEE Design & Test of Computers 25(5): 402-415 (2008)
416Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinaldo A. Bergamaschi, Luca Benini, Krisztián Flautner, Wido Kruijtzer, Alberto L. Sangiovanni-Vincentelli, Kazutoshi Wakabayashi: The State of ESL Design [Roundtable]. IEEE Design & Test of Computers 25(6): 510-519 (2008)
415Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Speranzon, Carlo Fischione, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli: A distributed minimum variance estimator for sensor networks. IEEE Journal on Selected Areas in Communications 26(4): 609-621 (2008)
414Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale: Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57(10): 1300-1314 (2008)
413Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Fault-Tolerant Distributed Deployment of Embedded Control Software. IEEE Trans. on CAD of Integrated Circuits and Systems 27(5): 906-919 (2008)
412Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting. IEEE Trans. on CAD of Integrated Circuits and Systems 27(6): 1159-1164 (2008)
2007
411Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A new algorithm for the largest compositionally progressive solution of synchronous language equations. ACM Great Lakes Symposium on VLSI 2007: 441-444
410Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Marculescu, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli: Fresh air: the emerging landscape of design for networked embedded systems. CODES+ISSS 2007: 124
409Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Ernst, Gernot Spiegelberg, Thomas Weber, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marek Jersak: Automotive networks: are new busses and gateways the answer or just another challenge? CODES+ISSS 2007: 263
408Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli: Period Optimization for Hard Real-time Distributed Automotive Systems. DAC 2007: 278-283
407Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Smith, Andrew Chien, Christopher Hegarty, Walden C. Rhines, Alberto L. Sangiovanni-Vincentelli, Frank Winters: Electronics: The New Differential in the Automotive Industry. DAC 2007: 446
406Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli: Synthesis of task and message activation models in real-time distributed automotive systems. DATE 2007: 93-98
405Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. EMSOFT 2007: 21-29
404Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Loosely time-triggered architectures based on communication-by-sampling. EMSOFT 2007: 231-239
403Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli: Complexity Reduction for the Design of Interacting Controllers. HSCC 2007: 46-60
402Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli: Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 293-302
401Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli: Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. RTSS 2007: 161-170
400Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Reasoning about the Trends and Challenges of Engineering Design Automation. VLSI Design 2007: 28-30
399Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Necchi, Alvise Bonivento, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Laura Vanzago: E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks. WCNC 2007: 3364-3369
398Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarinaz Koushanfar, Abhijit Davare, David T. Nguyen, Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak: Techniques for maintaining connectivity in wireless ad-hoc networks under energy constraints. ACM Trans. Embedded Comput. Syst. 6(3): (2007)
397Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Uniprocessor scheduling under precedence constraints for embedded systems design. ACM Trans. Embedded Comput. Syst. 7(1): (2007)
396Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: FSM Encoding for BDD Representations. Applied Mathematics and Computer Science 17(1): 113-124 (2007)
395Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli: Refinement preserving approximations for the design and verification of heterogeneous systems. Formal Methods in System Design 31(1): 1-33 (2007)
394Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Marco Di Natale: Embedded System Design for Automotive Applications. IEEE Computer 40(10): 42-51 (2007)
393Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvise Bonivento, Carlo Fischione, Luca Necchi, Fernando Pianegiani, Alberto L. Sangiovanni-Vincentelli: System Level Design for Clustered Wireless Sensor Networks. IEEE Trans. Industrial Informatics 3(3): 202-214 (2007)
392Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Semantics-Preserving Design of Embedded Control Software from Synchronous Models. IEEE Trans. Software Eng. 33(8): 497-509 (2007)
391Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Remembering Richard [Obituary, Richard A.Newton]. IEEE Trans. on CAD of Integrated Circuits and Systems 26(8): 1357-1366 (2007)
390Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Otis, Simone Gambini, Rahul C. Shah, Dan Steingart, E. Quevy, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli, Paul K. Wright: Modelling and simulation techniques for highly integrated, low-power wireless sensor networks. IET Computers & Digital Techniques 1(5): 528-536 (2007)
2006
389Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli: Functional Model Exploration for Multimedia Applications via Algebraic Operators. ACSD 2006: 229-238
388Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel: Schedulability Analysis of Petri Nets Based on Structural Properties. ACSD 2006: 69-78
387Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Automotive electronics: steady growth for years to come! ASP-DAC 2006
386Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: SAT sweeping with local observability don't-cares. DAC 2006: 229-234
385Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform-based design of wireless sensor networks for industrial applications. DATE 2006: 1103-1107
384Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Marculescu, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli: Is "Network" the next "Big Idea" in design? DATE 2006: 254-256
383Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuang Yang, Xi Chen, Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli: Communication and co-simulation infrastructure for heterogeneous system integration. DATE 2006: 462-467
382Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli: Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. DATE 2006: 548-553
381Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas Densmore, Adam Donlin, Alberto L. Sangiovanni-Vincentelli: FPGA architecture characterization for system level performance analysis. DATE 2006: 734-739
380Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan: A hierarchical coordination language for interacting real-time tasks. EMSOFT 2006: 132-141
379Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160
378Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506
377Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra: Hybrid Modelling and Control of the Common Rail Injection System. HSCC 2006: 79-92
376Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli: Robust system level design with analog platforms. ICCAD 2006: 334-341
375Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Fazzi, L. Magagni, Mario de Dominicis, Paolo Zoffoli, Roberto Canegallo, Pier Luigi Rolandi, Alberto L. Sangiovanni-Vincentelli, Roberto Guerrieri: Yield prediction for 3D capacitive interconnections. ICCAD 2006: 809-814
374Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium 2006: 157-166
373Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli: A semantic-driven synthesis flow for platform-based design. MEMOCODE 2006: 199
372Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli: Modeling and Early Performance Estimation for Network Processor Applications. MoDELS 2006: 753-767
371Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli: Cooperative Diversity with Disconnection Constraints and Sleep Discipline for Power Control in Wireless Sensor Networks. VTC Spring 2006: 578-582
370Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi: System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Design Autom. Electr. Syst. 11(3): 537-563 (2006)
369Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Framework for Modeling the Distributed Deployment of Synchronous Designs. Formal Methods in System Design 28(2): 93-110 (2006)
368Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli: Languages and Tools for Hybrid Systems Design. Foundations and Trends in Electronic Design Automation 1(1/2): (2006)
367Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Umans, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: Complexity of two-level logic minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 25(7): 1230-1246 (2006)
366Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform based design for wireless sensor networks. MONET 11(4): 469-485 (2006)
2005
365Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli: Extensible and Scalable Time Triggered Scheduling. ACSD 2005: 132-141
364Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: FSM re-engineering and its application in low power state encoding. ASP-DAC 2005: 254-259
363Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, C. John Glossner, Trevor N. Mudge, Chris Rowen, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf, Feng Zhao: Grand challenges in embedded systems. CODES+ISSS 2005: 333
362Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Chen, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe: Simulation based deadlock analysis for system level designs. DAC 2005: 260-265
361Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli: Mixed signal design space exploration through analog platforms. DAC 2005: 875-880
360Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff: Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. DATE 2005: 1044-1049
359no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Integrated Electronics in the Car and the Design Chain Evolution or Revolution? DATE 2005: 532-533
358Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli: Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. ECBS 2005: 229-235
357Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: A structural approach to quasi-static schedulability analysis of communicating concurrent programs. EMSOFT 2005: 10-16
356Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. EMSOFT 2005: 183-186
355Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli: Efficient embedded software design with synchronous models. EMSOFT 2005: 187-190
354Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli: A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. EMSOFT 2005: 237-246
353Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
352Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhijit Davare, Qi Zhu, John Moondanos, Alberto L. Sangiovanni-Vincentelli: JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study. ESTImedia 2005: 89-94
351Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli: Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains. HSCC 2005: 118-133
350Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone: Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541
349no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli: Efficient analog platform characterization through analog constraint graphs. ICCAD 2005: 415-421
348Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando De Bernardinis, Pierluigi Nuzzo, Pierangelo Terreni, Alberto L. Sangiovanni-Vincentelli: Enriching an analog platform for analog-to-digital converter design. ISCAS (2) 2005: 1286-1289
347Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvise Bonivento, Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Fabio Graziosi, Fortunato Santucci: SERAN: a semi random protocol solution for clustered wireless sensor networks. MASS 2005
346Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli: A formal approach to system level design: metamodels and unified design environments. MEMOCODE 2005: 155-163
345no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi: Platform-Based and Derivative Design. The Industrial Information Technology Handbook 2005: 1-15
344Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Alessandro Pinto: An overview of embedded system design education at berkeley. ACM Trans. Embedded Comput. Syst. 4(3): 472-499 (2005)
343Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
342Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnon Amir, Lior Zimet, Alberto L. Sangiovanni-Vincentelli, Sean Kao: An embedded system for an eye-detection sensor. Computer Vision and Image Understanding 98(1): 104-123 (2005)
341Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: The importance of innovation in the economy of advanced countries. IEEE Design & Test of Computers 22(1): 14-16 (2005)
340Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Efficient Solution of Optimal Control Problems Using Hybrid Systems. SIAM J. Control and Optimization 43(6): 1923-1952 (2005)
2004
339Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi: Benefits and challenges for platform-based design. DAC 2004: 409-414
338Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli: The best of both worlds: the efficient asynchronous implementation of synchronous specifications. DAC 2004: 588-591
337Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. DATE 2004: 1164-1169
336Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas Densmore, Sanjay Rekhi, Alberto L. Sangiovanni-Vincentelli: Microarchitecture Development via Metropolis Successive Platform Refinement. DATE 2004: 346-351
335Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli: A Methodology for System-Level Analog Design Space Exploration. DATE 2004: 676-677
334Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Nardi, Alberto L. Sangiovanni-Vincentelli: Synthesis for Manufacturability: A Sanity Check. DATE 2004: 796-803
333Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli: Conservative approximations for heterogeneous design. EMSOFT 2004: 155-164
332Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT 2004: 220-229
331Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin: Separation of concerns: overhead in modeling and efficient simulation techniques. EMSOFT 2004: 44-53
330Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Federico Di Natale, Alberto L. Sangiovanni-Vincentelli, Jan H. van Schuppen: Synthesis for Idle Speed Control of an Automotive Engine. HSCC 2004: 80-94
329Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Nardi, Alberto L. Sangiovanni-Vincentelli: Logic Synthesis for Manufacturability. IEEE Design & Test of Computers 21(3): 192-199 (2004)
328Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Subarnarekha Sinha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: SPFD-based wire removal in standard-cell and network-of-PLA circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 23(7): 1020-1030 (2004)
2003
327Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini: Fault-tolerant platforms for automotive safety-critical applications. CASES 2003: 170-177
326Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: On-chip communication design: roadblocks and avenues. CODES+ISSS 2003: 75-76
325Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Meyerowitz, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli: A tool for describing and evaluating hierarchical real-time bus scheduling policies. DAC 2003: 312-317
324Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando De Bernardinis, Michael I. Jordan, Alberto L. Sangiovanni-Vincentelli: Support vector machines for analog circuit performance representation. DAC 2003: 964-969
323Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE 2003: 11154-11155
322Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese: System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. DATE 2003: 20232-20237
321Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50
320Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO 2003: 1-16
319Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Nardi, Haibo Zeng, Joshua L. Garrett, Luca Daniel, Alberto L. Sangiovanni-Vincentelli: A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity. ICCAD 2003: 778-785
318Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Efficient Synthesis of Networks On Chip. ICCD 2003: 146-150
317Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: Structural Detection of Symmetries in Boolean Functions. ICCD 2003: 498-503
316Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarinaz Koushanfar, Abhijit Davare, Dai Tho Nguyen, Miodrag Potkonjak, Alberto L. Sangiovanni-Vincentelli: Low power coordination in wireless ad-hoc networks. ISLPED 2003: 475-480
315Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI 2003: 47-52
314Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benvenuti, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Individual cylinder characteristic estimation for a spark injection engine. Automatica 39(7): 1157-1169 (2003)
313Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli: Metropolis: An Integrated Electronic System Design Environment. IEEE Computer 36(4): 45-52 (2003)
312no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: DAC Turns 40! IEEE Design & Test of Computers 20(3): 90-96 (2003)
311Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: The Tides of EDA. IEEE Design & Test of Computers 20(6): 59-75 (2003)
310Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Luciano Lavagno: Guest Editors' Introduction: Trends and Directions in Microelectronics. IEEE Micro 23(3): 6-7 (2003)
309Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Electronic-System Design in the Automobile Industry. IEEE Micro 23(3): 8-18 (2003)
308no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry: Platform-based embedded software design and system integration for autonomous vehicles. Proceedings of the IEEE 91(1): 198-211 (2003)
2002
307no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Joseph Sifakis: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings Springer 2002
306Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Guang Yang: Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. CODES 2002: 13-18
305Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform. CODES 2002: 151-156
304Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe: Modeling and Designing Heterogeneous Systems. Concurrency and Hardware Design 2002: 228-273
303Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Constraint-driven communication synthesis. DAC 2002: 783-788
302Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry: Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. EMSOFT 2002: 32-45
301Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Gößler, Alberto L. Sangiovanni-Vincentelli: Compositional Modeling in Metropolis. EMSOFT 2002: 93-107
300Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli: An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. FPL 2002: 677-686
299Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi: Synthesis of Robust Control Systems under Resource Constraints. HSCC 2002: 337-350
298Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli: Design of Observers for Hybrid Systems. HSCC 2002: 76-89
297Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli: Convertibility verification and converter synthesis: two faces of the same coin. ICCAD 2002: 132-139
296Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob White: Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect. ICCAD 2002: 326-333
295Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Automotive Virtual Integration Platforms: Why's, What's, and How's. ICCD 2002: 370-378
294Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto: Models of IP's for Automotive Virtual Integration Platforms. ICCD 2002: 379-
293no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS 2002: 45-50
292Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Formula-Dependent Equivalence for Compositional CTL Model Checking. Formal Methods in System Design 21(2): 193-224 (2002)
291Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Coping with Latency in SOC Design. IEEE Micro 22(5): 24-35 (2002)
2001
290no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings Springer 2001
289Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. ACSD 2001: 13-
288Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Grant Martin: A vision for embedded software. CASES 2001: 1-7
287Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob White: Using Conduction Modes Basis Functions for Efficient Electromagnetic Analysis of On-Chip and Off-Chip Interconnect. DAC 2001: 563-566
286Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Sgroi, Michael Sheets, Andrew Mihal, Kurt Keutzer, Sharad Malik, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli: Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design. DAC 2001: 667-672
285Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulio Leao da Silva Jr., J. Shamberger, M. Josie Ammer, C. Guo, Suet-Fei Li, Rahul C. Shah, Tim Tuan, Michael Sheets, Jan M. Rabaey, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli, Paul K. Wright: Design methodology for PicoRadio networks. DATE 2001: 314-325
284Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Luculli, Alberto L. Sangiovanni-Vincentelli: Analysis of DSP-Kernel Software by Implicit Cache Simulation. ECBS 2001: 282-288
283Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Using Multiple Levels of Abstractions in Embedded Software Design. EMSOFT 2001: 324-343
282Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Optimal Control Using Bisimulations: Implementation. HSCC 2001: 175-188
281Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis: Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6
280Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103-
279Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Marculescu, Amit Nandi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels. ICCAD 2001: 207-
278Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilsin Gosti, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli: Addressing the Timing Closure Problem by Integrating Logic Optimization and Placement. ICCAD 2001: 224-231
277Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob White: Techniques for Including Dielectrics when Extracting Passive Low-Order Models of High Speed Interconnect. ICCAD 2001: 240-244
276Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin: Scheduling Reactive Task Graphs in Embedded Control Systems. IEEE Real Time Technology and Applications Symposium 2001: 191-
275Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Embedded Software Design for Real-Time Applications. IEEE Real-Time Systems Symposium 2001
274Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Zanella, Andrea Neviani, Enrico Zanoni, Paolo Miliozzi, Edoardo Charbon, Carlo Guardiani, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Modeling of Substrate Noise Injected by Digital Libraries. ISQED 2001: 488-
273Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Grant Martin: Platform-Based Design and Software Design Methodology for Embedded Systems. IEEE Design & Test of Computers 18(6): 23-33 (2001)
272Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Synchronous approach to the functional equivalence of embeddedsystem implementations. IEEE Trans. on CAD of Integrated Circuits and Systems 20(8): 1016-1033 (2001)
271Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Theory of latency-insensitive design. IEEE Trans. on CAD of Integrated Circuits and Systems 20(9): 1059-1076 (2001)
2000
270Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBassam Tabbara, Abdallah Tabbara, Alberto L. Sangiovanni-Vincentelli: Task response time optimization using cost-based operation motion. CODES 2000: 110-114
269Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulio Leao da Silva Jr., Marco Sgroi, Fernando De Bernardinis, Suet-Fei Li, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey: Wireless protocols design: challenges and opportunities. CODES 2000: 147-151
268Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno: Formal Models for Communication-Based Design. CONCUR 2000: 29-47
267Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Performance analysis and optimization of latency insensitive systems. DAC 2000: 361-367
266Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin: Task scheduling with RT constraints. DAC 2000: 483-488
265Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: Task generation and compile-time scheduling for mixed data-control embedded software. DAC 2000: 489-494
264Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf: Embedded systems education (panel abstract). DAC 2000: 519
263Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Efficient methods for embedded system design space exploration. DAC 2000: 607-612
262Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Free MDD-Based Software Optimization Techniques for Embedded Systems. DATE 2000: 14-18
261Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti: HW/SW Codesign of an Engine Management System. DATE 2000: 263-267
260Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli: Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. HSCC 2000: 32-44
259Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Models of Computation and Simulation of Hybrid Systems. HSCC 2000: 5
258Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro: Theory of Optimal Control Using Bisimulations. HSCC 2000: 89-102
257no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Cross-Talk Immune VLSI Design Using a Network of PLAs Embedded in a Regular Layout Fabric. ICCAD 2000: 412-418
256Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubarnarekha Sinha, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks. ICCD 2000: 494-503
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Platform-Based Design: A Path to Efficient Design Re-Use. ISQED 2000: 209-210
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTullio Cuatto, Claudio Passerone, Claudio Sansoè, Francesco Gregoretti, Attila Jurecska, Alberto L. Sangiovanni-Vincentelli: A Case Study in Embedded Systems Design: An Engine Control Unit. Design Autom. for Emb. Sys. 6(1): 71-88 (2000)
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Sgroi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Models for Embedded System Design. IEEE Design & Test of Computers 17(2): 14-27 (2000)
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential synthesis using S1S. IEEE Trans. on CAD of Integrated Circuits and Systems 19(10): 1149-1162 (2000)
251Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Keutzer, A. Richard Newton, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli: System-level design: orthogonalization of concerns andplatform-based design. IEEE Trans. on CAD of Integrated Circuits and Systems 19(12): 1523-1543 (2000)
250Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. on CAD of Integrated Circuits and Systems 19(3): 281-294 (2000)
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, K. Yamaguchi: A new procedure for exact ring closure. Journal of Computational Chemistry 21(10): 870-881 (2000)
1999
248Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment. ASP-DAC 1999: 347-
247Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Latency Insensitive Protocols. CAV 1999: 123-133
246Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLH. J. H. N. Kenter, Claudio Passerone, W. J. M. Smits, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: Designing digital video systems: modeling and scheduling. CODES 1999: 64-68
245Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Lajolo, Mihai Lazarescu, Alberto L. Sangiovanni-Vincentelli: A compilation-based software estimation scheme for hardware/software co-simulation. CODES 1999: 85-89
244Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Amit Mehrotra, Robert K. Brayton, Ralph H. J. M. Otten, Alberto L. Sangiovanni-Vincentelli: A Novel VLSI Layout Fabric for Deep Sub-Micron Applications. DAC 1999: 491-496
243Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaul Camposano, Kurt Keutzer, Jerry Fiddler, Alberto L. Sangiovanni-Vincentelli, Jim Lansford: HW and SW in Embedded System Design: Loveboat, Shipwreck, or Ships Passing in the Night. DAC 1999: 76-77
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaustav Banerjee, Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli, Chenming Hu: On Thermal Effects in Deep Sub-Micron VLSI Interconnects. DAC 1999: 885-891
241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno: Fast Hardware-Software Co-simulation Using VHDL Models. DATE 1999: 309-
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. ICATPN 1999: 208-227
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: A methodology for correct-by-construction latency insensitive design. ICCAD 1999: 309-315
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Mehrotra, Alberto L. Sangiovanni-Vincentelli: Noise analysis of non-autonomous radio frequency circuits. ICCAD 1999: 55-60
237Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Ferrari, Alberto L. Sangiovanni-Vincentelli: System Design: Traditional Concepts and New Paradigms. ICCD 1999: 2-13
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Marco Re, Luciano Lavagno, Gian-Carlo Cardarilli, Roberto Lojacono: Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion. ISCAS (2) 1999: 334-338
235no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI 1999: 346-361
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential Multi-Valued Network Simplification using Redundancy Removal. VLSI Design 1999: 206-211
233Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli: Hybrid control in automotive applications: the cut-off control. Automatica 35(3): 519-535 (1999)
232Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdoardo Charbon, Ranjit Gharpurey, Robert G. Meyer, Alberto L. Sangiovanni-Vincentelli: Substrate optimization based on semi-analytical techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 18(2): 172-190 (1999)
231Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. on CAD of Integrated Circuits and Systems 18(3): 301-310 (1999)
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki: Synthesis of software programs for embedded control applications. IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 834-849 (1999)
1998
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: A case study on modeling shared memory access effects during performance analysis of HW/SW systems. CODES 1998: 117-121
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer: Modeling reactive systems in Java. CODES 1998: 15-19
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie Liu, Marcello Lajolo, Alberto L. Sangiovanni-Vincentelli: Software timing analysis using HW/SW cosimulation and instruction set simulator. CODES 1998: 65-69
226Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli: Automatic Synthesis of Interfaces Between Incompatible Protocols. DAC 1998: 8-13
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli: A Case Study in Embedded System Design: An Engine Control Unit. DAC 1998: 804-807
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha: An Exact Input Encoding Algorithm for BDDs Representing FSMs. Great Lakes Symposium on VLSI 1998: 294-300
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli: Hybrid Control for Automotive Engine Management: The Cut-Off Case. HSCC 1998: 13-32
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Wireplanning in logic synthesis. ICCAD 1998: 26-33
221Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrica Filippi, Luciano Lavagno, L. Licciardi, A. Montanaro, M. Paolini, Roberto Passerone, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli: Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study. ISSS 1998: 37-42
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Modeling reactive systems in Java. ACM Trans. Design Autom. Electr. Syst. 3(4): 515-523 (1998)
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli: Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. Design Autom. for Emb. Sys. 3(2-3): 149-161 (1998)
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Luciano Lavagno, Praveen K. Murthy, Alberto L. Sangiovanni-Vincentelli: Scheduling for Embedded Real-Time Systems. IEEE Design & Test of Computers 15(1): 71-82 (1998)
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers 47(11): 1282-1296 (1998)
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward A. Lee, Alberto L. Sangiovanni-Vincentelli: A framework for comparing models of computation. IEEE Trans. on CAD of Integrated Circuits and Systems 17(12): 1217-1229 (1998)
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Theory and algorithms for face hypercube embedding. IEEE Trans. on CAD of Integrated Circuits and Systems 17(6): 472-488 (1998)
1997
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry Hsieh, Alberto L. Sangiovanni-Vincentelli: Modeling micro-controller peripherals for high-level co-simulation and synthesis. CODES 1997: 127-134
213Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli: Automatic Generation of a Real-Time Operating System for Embedded Systems. CODES 1997: 95-100
212Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames A. Rowson, Alberto L. Sangiovanni-Vincentelli: Interface-Based Design. DAC 1997: 178-183
211Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli: Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. DAC 1997: 389-394
210Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Alberto L. Sangiovanni-Vincentelli: Schedule Validation for Embedded Reactive Real-Time Systems. DAC 1997: 52-57
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli: Sequential optimisation without state space exploration. ICCAD 1997: 208-215
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A fast and robust exact algorithm for face embedding. ICCAD 1997: 296-303
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Reachability analysis using partitioned-ROBDDs. ICCAD 1997: 388-393
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: Trace driven logic synthesis&mdashapplication to power minimization. ICCAD 1997: 581-588
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPremal Buch, Amit Narayan, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Logic synthesis for large pass transistor circuits. ICCAD 1997: 663-670
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking by incremental problem solving: application to unate covering. ICCAD 1997: 91-98
203no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions. ICCD 1997: 344-351
202no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli: A Survey of Techniques for Formal Verification of Combinational Circuits. ICCD 1997: 445-454
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli: Formal Verification of Combinational Circuit. VLSI Design 1997: 218-225
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Theory and algorithms for state minimization of nondeterministic FSMs. IEEE Trans. on CAD of Integrated Circuits and Systems 16(11): 1311-1322 (1997)
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit computation of compatible sets for state minimization of ISFSMs. IEEE Trans. on CAD of Integrated Circuits and Systems 16(7): 657-676 (1997)
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Explicit and implicit algorithms for binate covering problems. IEEE Trans. on CAD of Integrated Circuits and Systems 16(7): 677-691 (1997)
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziano Villa, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Symbolic two-level minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 16(7): 692-708 (1997)
1996
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS: A System for Verification and Synthesis. CAV 1996: 428-432
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha: Verification of Electronic Systems. DAC 1996: 106-111
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Miliozzi, Iasson Vassiliou, Edoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli: Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design. DAC 1996: 227-232
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Amit Narayan, Sriram C. Krishnan, Kenneth L. McMillan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Engineering Change in a Non-Deterministic FSM Setting. DAC 1996: 451-456
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Verification of Embedded Systems based on CFSM Networks. DAC 1996: 568-571
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKei Suzuki, Alberto L. Sangiovanni-Vincentelli: Efficient Software Performance Estimation Methods for Hardware/Software Codesign. DAC 1996: 605-610
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: High Performance BDD Package By Exploiting Memory Hiercharchy. DAC 1996: 635-640
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS. FMCAD 1996: 248-256
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita: Decomposition Techniques for Efficient ROBDD Construction. FMCAD 1996: 419-434
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdoardo Charbon, Paolo Miliozzi, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli: Generalized constraint generation in the presence of non-deterministic parasitics. ICCAD 1996: 187-192
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Compact and complete test set generation for multiple stuck-faults. ICCAD 1996: 212-219
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward A. Lee, Alberto L. Sangiovanni-Vincentelli: Comparing models of computation. ICCAD 1996: 234-241
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Felt, Stefano Zanella, Carlo Guardiani, Alberto L. Sangiovanni-Vincentelli: Hierarchical statistical characterization of mixed-signal circuits using behavioral modeling. ICCAD 1996: 374-380
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdoardo Charbon, Ranjit Gharpurey, Alberto L. Sangiovanni-Vincentelli, Robert G. Meyer: Semi-analytical techniques for substrate characterization in the design of mixed-signal ICs. ICCAD 1996: 455-462
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIasson Vassiliou, Henry Chang, Alper Demir, Edoardo Charbon, Paolo Miliozzi, Alberto L. Sangiovanni-Vincentelli: A video driver system designed using a top-down, constraint-driven methodology. ICCAD 1996: 463-468
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDesmond Kirkpatrick, Alberto L. Sangiovanni-Vincentelli: Digital sensitivity: predicting signal interaction using functional analysis. ICCAD 1996: 536-541
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli: Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. ICCAD 1996: 547-554
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Binary decision diagrams on network of workstation. ICCD 1996: 358-364
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A study of composition schemes for mixed apply/compose based construction of ROBDDs. VLSI Design 1996: 249-253
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Felt, Alberto L. Sangiovanni-Vincentelli: Optimization of analog IC test structures. VTS 1996: 48-53
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimiliano Chiodo, Daniel Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli: A case study in computer-aided co-design of embedded controllers. Design Autom. for Emb. Sys. 1(1-2): 51-67 (1996)
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis. Formal Methods in System Design 9(3): 139-188 (1996)
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlper Demir, Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli: Time-domain non-Monte Carlo noise simulation for nonlinear dynamic circuits with arbitrary excitations. IEEE Trans. on CAD of Integrated Circuits and Systems 15(5): 493-505 (1996)
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Valid clock frequencies and their computation in wavepipelined circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 15(7): 791-807 (1996)
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Malavasi, Edoardo Charbon, Eric Felt, Alberto L. Sangiovanni-Vincentelli: Automation of IC layout with analog constraints. IEEE Trans. on CAD of Integrated Circuits and Systems 15(8): 923-942 (1996)
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Combinational test generation using satisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems 15(9): 1167-1176 (1996)
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli: Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs. Machine Learning 25(1): 23-50 (1996)
1995
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. DAC 1995: 254-260
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich: Synthesis of Software Programs for Embedded Control Applications. DAC 1995: 587-592
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia: Fast discrete function evaluation using decision diagrams. ICCAD 1995: 402-407
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential synthesis using S1S. ICCAD 1995: 612-617
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit state minimization of non-deterministic FSMs. ICCD 1995: 250-257
164no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli: Inferring Reduced Ordered Decision Graphs of Minimum Description Length. ICML 1995: 421-429
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Functional clock schedule optimization. VLSI Design 1995: 93-98
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Alberto L. Sangiovanni-Vincentelli: An Iterative Approach to Verification of Real-Time Systems. Formal Methods in System Design 6(1): 67-95 (1995)
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Delay fault coverage, test set size, and performance trade-offs. IEEE Trans. on CAD of Integrated Circuits and Systems 14(1): 32-44 (1995)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: An efficient heuristic procedure for solving the state assignment problem for event-based specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 14(1): 45-60 (1995)
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli: Synthesis of hazard-free asynchronous circuits with bounded wire delays. IEEE Trans. on CAD of Integrated Circuits and Systems 14(1): 61-86 (1995)
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Synthesis for testability techniques for asynchronous circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 14(12): 1569-1577 (1995)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUmakanta Choudhury, Alberto L. Sangiovanni-Vincentelli: Automatic generation of analytical models for interconnect capacitances. IEEE Trans. on CAD of Integrated Circuits and Systems 14(4): 470-480 (1995)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli: Verification of Nyquist data converters using behavioral simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 14(4): 493-502 (1995)
1994
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Alberto L. Sangiovanni-Vincentelli: On the Automatic Computation of Network Invariants. CAV 1994: 234-246
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki: A case study in computer-aided codesign of embedded controllers. CODES 1994: 220-224
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Exact Minimum Cycle Times for Finite State Machines. DAC 1994: 100-105
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Heuristic Minimization of BDDs Using Don't Cares. DAC 1994: 225-231
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdoardo Charbon, Enrico Malavasi, Davide Pandini, Alberto L. Sangiovanni-Vincentelli: Simultaneous Placement and Module Optimization of Analog IC's. DAC 1994: 31-35
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Collett, Mike Gianfagna, Michel Courtoy, Martin Baynes, Johan Van Ginderdeuren, Kenneth L. McMillan, Stephen Ricca, Alberto L. Sangiovanni-Vincentelli, Steve Sapiro, Naeem Zafar: Panel: Complex System Verification: The Challenge Ahead. DAC 1994: 320
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Optimum Functional Decomposition Using Encoding. DAC 1994: 408-414
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance Optimization Using Exact Sensitization. DAC 1994: 425-429
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: HSIS: A BDD-Based Environment for Formal Verification. DAC 1994: 454-459
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, K. Yamaguchi: Chain Closure: A Problem in Molecular CAD. DAC 1994: 497-502
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Steven Trimberger, Erik Carlson, Dave Hightower, Ulrich Lauther, Alberto L. Sangiovanni-Vincentelli: DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel). DAC 1994: 503
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A Fully Implicit Algorithm for Exact State Minimization. DAC 1994: 684-690
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Equivalences for Fair Kripke Structures. ICALP 1994: 364-375
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Felt, Amit Narayan, Alberto L. Sangiovanni-Vincentelli: Measurement and modeling of MOS transistor current mismatch in analog IC's. ICCAD 1994: 272-277
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Alberto L. Sangiovanni-Vincentelli: Iterative algorithms for formal verification of embedded real-time systems. ICCAD 1994: 450-457
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlper Demir, Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli: Time-domain non-Monte Carlo noise simulation for nonlinear dynamic circuits with arbitrary excitations. ICCAD 1994: 598-603
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDesmond Kirkpatrick, Alberto L. Sangiovanni-Vincentelli: Techniques for crosstalk avoidance in the physical design of high-performance digital systems. ICCAD 1994: 616-619
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Felt, Alberto L. Sangiovanni-Vincentelli: Testing of analog systems using behavioral models and optimal experimental design techniques. ICCAD 1994: 672-678
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Tomacruz, Jagesh V. Sanghavi, Alberto L. Sangiovanni-Vincentelli: A parallel iterative linear solver for solving irregular grid semiconductor device matrices. SC 1994: 24-33
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Satisfaction of input and output encoding constraints. IEEE Trans. on CAD of Integrated Circuits and Systems 13(5): 589-602 (1994)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda S. Milor, Alberto L. Sangiovanni-Vincentelli: Minimizing production test time to detect faults in analog circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 13(6): 796-813 (1994)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Circuit structure relations to redundancy and delay. IEEE Trans. on CAD of Integrated Circuits and Systems 13(7): 875-883 (1994)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli: Linear programming for hazard elimination in asynchronous circuits. VLSI Signal Processing 7(1-2): 137-160 (1994)
1993
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Automated Synthesis of Asynchronous Interface Circuits. Asynchronous Design Methodologies 1993: 107-121
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Alberto L. Sangiovanni-Vincentelli: An Iterative Approach to Language Containment. CAV 1993: 29-40
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasamichi Kawarabayashi, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli: A Verification Technique for Gated Clock. DAC 1993: 123-127
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions. DAC 1993: 128-134
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward W. Y. Liu, Henry C. Chang, Alberto L. Sangiovanni-Vincentelli: Analog System Verification in the Presence of Parasitics Using Behavioral Simulation. DAC 1993: 159-163
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential Synthesis for Table Look Up Programmable Gate Arrays. DAC 1993: 224-229
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Delay Fault Coverage and Performance Tradeoffs. DAC 1993: 446-452
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Resynthesis of Multi-Phase Pipelines. DAC 1993: 490-496
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Espresso-Signature: A New Exact Minimizer for Logic Functions. DAC 1993: 618-624
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Cube-packing and two-level minimization. ICCAD 1993: 115-122
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Minimum padding to satisfy short path constraints. ICCAD 1993: 156-161
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli: Nyquist data converter testing and yield analysis using behavioral simulation. ICCAD 1993: 341-348
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Beardslee, Alberto L. Sangiovanni-Vincentelli: An algorithm for improving partitions of pin-limited multi-chip systems. ICCAD 1993: 378-385
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli: Generalized constraint generation for analog circuit design. ICCAD 1993: 408-414
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Some Results on the Complexity of Boolean Functions for Table Look Up Architectures. ICCD 1993: 505-512
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli: Learning Complex Boolean Functions: Algorithms and Applications. NIPS 1993: 911-918
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Minimization of Logic Functions Using Essential Signature Sets. VLSI Design 1993: 323-328
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Two-Level Minimization of Multivalued Functions with Large Offsets. IEEE Trans. Computers 42(11): 1325-1342 (1993)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: ESPRESSO-SIGNATURE: a new exact minimizer for logic functions. IEEE Trans. VLSI Syst. 1(4): 432-440 (1993)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUmakanta Choudhury, Alberto L. Sangiovanni-Vincentelli: Automatic generation of parasitic constraints for performance-constrained physical design of analog circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 12(2): 208-224 (1993)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUmakanta Choudhury, Alberto L. Sangiovanni-Vincentelli: Constraint-based channel routing for analog and mixed analog/digital circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 12(4): 497-510 (1993)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance optimization of pipelined logic circuits using peripheral retiming and resynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 12(5): 568-578 (1993)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Casotto, Alberto L. Sangiovanni-Vincentelli: Automated design management using traces. IEEE Trans. on CAD of Integrated Circuits and Systems 12(8): 1077-1095 (1993)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Malavasi, Alberto L. Sangiovanni-Vincentelli: Area routing for analog layout. IEEE Trans. on CAD of Integrated Circuits and Systems 12(8): 1186-1197 (1993)
1992
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Alberto L. Sangiovanni-Vincentelli: A Verification Strategy for Timing-Constrained Systems. CAV 1992: 151-163
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Automatic Reduction in CTL Compositional Model Checking. CAV 1992: 234-247
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation. DAC 1992: 173-176
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited. DAC 1992: 245-248
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: An Improved Synthesis Algorithm for Multiplexor-Based PGA's. DAC 1992: 380-386
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: On the Temporal Equivalence of Sequential Circuits. DAC 1992: 405-409
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Solving the State Assignment Problem for Signal Transition Graphs. DAC 1992: 568-572
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Some Considerations on Field-Programmable Gate Arrays and Their Impact on System Design. FPL 1992: 26-34
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: A unified signal transition graph model for asynchronous control circuit synthesis. ICCAD 1992: 104-111
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Graph algorithms for clock schedule optimization. ICCAD 1992: 132-136
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Automatic compositional minimization in CTL model checking. ICCAD 1992: 172-178
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli: Behavioral simulation for noise in mixed-mode sampled-data systems. ICCAD 1992: 322-326
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Valid clocking in wavepipelined circuits. ICCAD 1992: 518-525
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits. ICCD 1992: 275-278
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEllen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential Circuit Design Using Synthesis and Optimization. ICCD 1992: 328-333
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli: Constructive Induction Using a Non-Greedy Strategy for Feature Selection. ML 1992: 355-360
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Luciano Lavagno, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Symbolic minimization of multilevel logic and the input encoding problem. IEEE Trans. on CAD of Integrated Circuits and Systems 11(7): 825-843 (1992)
1991
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A Framework for Satisfying Input and Output Encoding Constraints. DAC 1991: 170-175
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli: Algorithms for Synthesis of Hazard-Free Asynchronous Circuits. DAC 1991: 302-308
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Testability Solutions: Who Really Wants Them? (Panel Abstract). DAC 1991: 611
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli: LSAT-An Algorithm for the Synthesis of Two Level Threshold Gate Networks. ICCAD 1991: 130-133
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions. ICCAD 1991: 180-183
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni: Performance Enhancement through the Generalized Bypass Transform. ICCAD 1991: 184-187
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Synthesis for Testability Techniques for Asynchronous Circuits. ICCAD 1991: 326-329
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli, Georges G. E. Gielen, Paul R. Gray: A Behavioral Representation for Nyquist Rate A/D Converters. ICCAD 1991: 386-389
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Improved Logic Synthesis Algorithms for Table Look Up Architectures. ICCAD 1991: 564-567
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance Directed Synthesis for Table Look Up Programmable Gate Arrays. ICCAD 1991: 572-575
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: On Clustering for Minimum Delay/Area. ICCAD 1991: 6-9
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Retiming of Circuits with Single Phase Transparent Latches. ICCD 1991: 86-89
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli: Learning Concepts by Synthesizing Minimal Threshold Gate Networks. ML 1991: 193-197
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Editor's Foreword. Algorithmica 6(3): 295-301 (1991)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Romeo, Alberto L. Sangiovanni-Vincentelli: A Theoretical Framework for Simulated Annealing. Algorithmica 6(3): 302-345 (1991)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Ellen M. Sentovich, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Retiming and resynthesis: optimizing sequential networks with combinational techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 74-84 (1991)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Casinovi, Alberto L. Sangiovanni-Vincentelli: A macromodeling algorithm for analog circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 10(2): 150-160 (1991)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Reduced offsets for minimization of binary-valued functions. IEEE Trans. on CAD of Integrated Circuits and Systems 10(4): 413-426 (1991)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald M. Webber, Eric Tomacruz, Roberto Guerrieri, Toru Toyabe, Alberto L. Sangiovanni-Vincentelli: A massively parallel algorithm for three-dimensional device simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 10(9): 1201-1209 (1991)
1990
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Casotto, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Design Management Based on Design Traces. DAC 1990: 136-141
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Reduced Offsets for Two-Level Multi-Valued Logic Minimization. DAC 1990: 290-296
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Testing Strategies for the 1990's (Panel Abstract). DAC 1990: 338
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKanwar Jit Singh, Alberto L. Sangiovanni-Vincentelli: A Heuristic Algorithm for the Fanout Problem. DAC 1990: 357-360
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUmakanta Choudhury, Alberto L. Sangiovanni-Vincentelli: Constraint Generation for Routing Analog Circuits. DAC 1990: 561-566
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Yoshihito Nishizaki, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Logic Synthesis for Programmable Gate Arrays. DAC 1990: 620-625
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda Milor, Alberto L. Sangiovanni-Vincentelli: Computing Parametric Yield Accurately and Efficiently. ICCAD 1990: 116-119
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit State Enumeration of Finite State Machines Using BDDs. ICCAD 1990: 130-133
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUmakanta Choudhury, Alberto L. Sangiovanni-Vincentelli: Constraint-Based Channel Routing for Analog and Mixed Analog/Digital Circuits. ICCAD 1990: 198-201
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Malavasi, Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli: A Routing Methodology for Analog Integrated Circuits. ICCAD 1990: 202-205
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGani Jusuf, Paul R. Gray, Alberto L. Sangiovanni-Vincentelli: CADICS - Cyclic Analog-to-Digital Converter Synthesis. ICCAD 1990: 286-289
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda Milor, Alberto L. Sangiovanni-Vincentelli: Optimal Test Set Design for Analog Circuits. ICCAD 1990: 294-297
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance Optimization of Pipelined Circuits. ICCAD 1990: 410-413
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kwang-Ting Cheng: Timing Optimization with Testability Considerations. ICCAD 1990: 460-463
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Sharad Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs. ICCAD 1990: 560-563
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Irredundant sequential machines via optimal logic synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 9(1): 8-18 (1990)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyunchul Shin, Alberto L. Sangiovanni-Vincentelli, Carlo H. Séquin: 'Zone-refining' techniques for IC layout compaction. IEEE Trans. on CAD of Integrated Circuits and Systems 9(2): 167-179 (1990)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziano Villa, Alberto L. Sangiovanni-Vincentelli: NOVA: state assignment of finite state machines for optimal two-level logic implementation. IEEE Trans. on CAD of Integrated Circuits and Systems 9(9): 905-924 (1990)
1989
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitsuru Igusa, Mark Beardslee, Alberto L. Sangiovanni-Vincentelli: ORCA a Sea-of-Gates Place and Route System. DAC 1989: 122-127
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Multi-level Logic Simplification Using Don't Cares and Filters. DAC 1989: 277-282
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziano Villa, Alberto L. Sangiovanni-Vincentelli: NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations. DAC 1989: 327-332
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLN. Weiner, Alberto L. Sangiovanni-Vincentelli: Timing Analysis in a Logic Synthesis Environment. DAC 1989: 655-661
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Design Methods and Tools for Application Specific Integrated Circuits. IFIP Congress 1989: 903
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: A synthesis and optimization procedure for fully and easily testable sequential machines. IEEE Trans. on CAD of Integrated Circuits and Systems 8(10): 1100-1107 (1989)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli: Logic verification algorithms and their parallel implementation. IEEE Trans. on CAD of Integrated Circuits and Systems 8(2): 181-189 (1989)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge W. Rhyne, Michael Steer, K. S. Kundent, Alberto L. Sangiovanni-Vincentelli: Comments on 'Simulation of nonlinear circuits in the frequency domain' [with reply]. IEEE Trans. on CAD of Integrated Circuits and Systems 8(8): 927-929 (1989)
1988
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli: Optimal Logic Synthesis and Testability : Two Sides of the Same Coin. ITC 1988: 3-12
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines. ITC 1988: 621-630
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli: An Incomplete Scan Design Approach to Test Generation for Sequential Machines. ITC 1988: 730-734
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan H. Kramer, Alberto L. Sangiovanni-Vincentelli: Efficient Parallel Learning Algorithms for Neural Networks. NIPS 1988: 40-48
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHi-Keung Tony Ma, Srinivas Devadas, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Test generation for sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 7(10): 1081-1093 (1988)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Guerrieri, Alberto L. Sangiovanni-Vincentelli: Three-dimensional capacitance evaluation on a Connection Machine. IEEE Trans. on CAD of Integrated Circuits and Systems 7(11): 1125-1133 (1988)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: MUSTANG: state assignment of finite state machines targeting multilevel logic implementations. IEEE Trans. on CAD of Integrated Circuits and Systems 7(12): 1290-1300 (1988)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Nye, David C. Riley, Alberto L. Sangiovanni-Vincentelli, André L. Tits: DELIGHT.SPICE: an optimization-based system for the design of integrated circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 7(4): 501-519 (1988)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas Braun, Jeffrey L. Burns, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli, Kartikeya Mayaram, Srinivas Devadas, Hi-Keung Tony Ma: Techniques for multilayer channel routing. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 698-712 (1988)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang: Multi-level logic minimization using implicit don't cares. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 723-740 (1988)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Casinovi, Alberto L. Sangiovanni-Vincentelli: A new aggregation technique for the solution of large systems of algebraic equations [IC simulation]. IEEE Trans. on CAD of Integrated Circuits and Systems 7(9): 976-986 (1988)
1987
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald M. Webber, Alberto L. Sangiovanni-Vincentelli: Circuit Simulation on the Connection Machine. DAC 1987: 108-113
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, R. Wei: Logic Verification Algorithms and Their Parallel Implementation. DAC 1987: 283-290
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard L. Rudell, Alberto L. Sangiovanni-Vincentelli: Multiple-Valued Minimization for PLA Optimization. IEEE Trans. on CAD of Integrated Circuits and Systems 6(5): 727-750 (1987)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Casotto, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli: A Parallel Simulated Annealing Algorithm for the Placement of Macro-Cells. IEEE Trans. on CAD of Integrated Circuits and Systems 6(5): 838-847 (1987)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang: MIS: A Multiple-Level Logic Optimization System. IEEE Trans. on CAD of Integrated Circuits and Systems 6(6): 1062-1081 (1987)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyunchul Shin, Alberto L. Sangiovanni-Vincentelli: A Detailed Router Based on Incremental Routing Modifications: Mighty. IEEE Trans. on CAD of Integrated Circuits and Systems 6(6): 942-955 (1987)
1986
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyunchul Shin, Alberto L. Sangiovanni-Vincentelli, Carlo H. Séquin: Two-dimensional compaction by ``zone refining''. DAC 1986: 115-122
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl Sechen, Alberto L. Sangiovanni-Vincentelli: TimberWolf3.2: a new standard cell placement and global routing package. DAC 1986: 432-439
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas Braun, Jeffrey L. Burns, Srinivas Devadas, Hi-Keung Tony Ma, Kartikeya Mayaram, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli: Chameleon: a new multi-layer channel router. DAC 1986: 495-502
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHi-Keung Tony Ma, Alberto L. Sangiovanni-Vincentelli: Mixed-level fault coverage estimation. DAC 1986: 553-559
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward S. Rifkin, William R. Heller, Steve Law, Misha Burich, Alberto L. Sangiovanni-Vincentelli: Floor planning systems (panel session). DAC 1986: 630
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo H. Séquin, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Highlights of VLSI Research at Berkeley. FJCC 1986: 894-897
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuey-Sing Wei, Alberto L. Sangiovanni-Vincentelli: New Front-End and Line Justification Algorithm for Automatic Test Generation. ITC 1986: 121-128
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei: PROTEUS : A Logic Verification System for Combinational Circuits. ITC 1986: 350-359
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid C. Riley, Alberto L. Sangiovanni-Vincentelli: Models for a New Profit-Based Methodology for Statistical Design of Integrated Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 5(1): 131-169 (1986)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni De Micheli, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Correction to "Optimal State Assignment for Finite State Machines". IEEE Trans. on CAD of Integrated Circuits and Systems 5(1): 239 (1986)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth S. Kundert, Alberto L. Sangiovanni-Vincentelli: Simulation of Nonlinear Circuits in the Frequency Domain. IEEE Trans. on CAD of Integrated Circuits and Systems 5(4): 521-535 (1986)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuey-Sing Wei, Alberto L. Sangiovanni-Vincentelli: PLATYPUS: A PLA Test Pattern Generation Tool. IEEE Trans. on CAD of Integrated Circuits and Systems 5(4): 633-644 (1986)
1985
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuey-Sing Wei, Alberto L. Sangiovanni-Vincentelli: PLATYPUS: a PLA test pattern generation tool. DAC 1985: 197-203
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Reed, Alberto L. Sangiovanni-Vincentelli, Mauro Santomauro: A New Symbolic Channel Router: YACR2. IEEE Trans. on CAD of Integrated Circuits and Systems 4(3): 208-219 (1985)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni De Micheli, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Optimal State Assignment for Finite State Machines. IEEE Trans. on CAD of Integrated Circuits and Systems 4(3): 269-285 (1985)
1984
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. Visvanathan, Alberto L. Sangiovanni-Vincentelli: A Computational Approach for the Diagnosability of Dynamical Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 3(3): 165-171 (1984)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni De Micheli, Alberto L. Sangiovanni-Vincentelli: Correction to "Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications". IEEE Trans. on CAD of Integrated Circuits and Systems 3(3): 256 (1984)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Relaxation-Based Electrical Simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 3(4): 308-331 (1984)
1983
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni De Micheli, Alberto L. Sangiovanni-Vincentelli: PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of Programmable Logic Arrays. DAC 1983: 530-537
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni De Micheli, Alberto L. Sangiovanni-Vincentelli: Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications. IEEE Trans. on CAD of Integrated Circuits and Systems 2(3): 151-167 (1983)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni De Micheli, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Symmetric Displacement Algorithms for the Timing Analysis of Large Scale Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 2(3): 167-180 (1983)
1982
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Techniques for programmable logic array folding. DAC 1982: 147-155
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEkachai Lelarasmee, Alberto L. Sangiovanni-Vincentelli: Relax: A new circuit for large scale MOS integrated circuits. DAC 1982: 682-687
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIon M. Ratiu, Alberto L. Sangiovanni-Vincentelli, Donald O. Pederson: VICTOR : A Fast VLSI Testability Analysis Program. ITC 1982: 397-403
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: An Algorithm for Optimal PLA Folding. IEEE Trans. on CAD of Integrated Circuits and Systems 1(2): 63-77 (1982)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEkachai Lelarasmee, Albert E. Ruehli, Alberto L. Sangiovanni-Vincentelli: The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 1(3): 131-145 (1982)
1981
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. Visvanathan, Alberto L. Sangiovanni-Vincentelli: Diagnosability of Nonlinear Circuits and Systems - Part I: The dc Case. IEEE Trans. Computers 30(11): 889-898 (1981)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Saeks, Alberto L. Sangiovanni-Vincentelli, V. Visvanathan: Diagnosability of Nonlinear Circuits and Systems - Part II: Dynamical Systems. IEEE Trans. Computers 30(11): 899-904 (1981)
1973
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto L. Sangiovanni-Vincentelli, Marco Somalvico: State-Space Approach in Problem-solving Optimization. Optimization Techniques 1973: 144-158

Coauthor Index

1Alok Agrawal [186]
2S. Alalusi [439]
3Luca de Alfaro [297]
4Luís Almeida [343]
5Arnon Amir [342]
6M. Josie Ammer [285]
7Guglielmo De Angelis [372]
8Scuola S. Anna [430]
9Benigno Zurita Ares [438]
10Costantino Armiento [475]
11D. K. Arvind (Damal Kandadai Arvind) [264]
12G. Audisio [433] [439]
13Adnan Aziz [143] [147] [166] [189] [196] [209] [252] [292]
14Felice Balarin [108] [131] [141] [143] [147] [155] [162] [166] [192] [210] [213] [218] [230] [252] [263] [266] [272] [276] [304] [306] [313] [331] [346] [383]
15Massimo Baleani [261] [300] [305] [327] [355] [360] [392] [397]
16Andrea Balluchi [223] [233] [260] [298] [330] [351] [377] [403] [437]
17Kaustav Banerjee [242]
18Karen A. Bartlett [37]
19Martin Baynes [150]
20Mark Beardslee [54] [120]
21Maria Domenica Di Benedetto [146] [223] [233] [249] [258] [260] [282] [290] [298] [314] [340]
22Luca Benini [416]
23Albert Benveniste [320] [321] [332] [343] [353] [379] [404] [414] [422] [445]
24Luca Benvenuti [260] [298] [314] [426] [436]
25Reinaldo A. Bergamaschi [416]
26Fernando De Bernardinis [269] [324] [335] [339] [345] [348] [349] [361] [376] [461]
27Antonia Bertolino [372]
28Antonio Bicchi [299] [377] [437]
29Alvise Bonivento [347] [356] [366] [370] [371] [372] [385] [393] [399] [424] [468]
30Amar Bouali [430]
31Bruno Bouyssounouse [343]
32Douglas Braun [27] [38]
33Robert K. Brayton [15] [20] [31] [37] [53] [58] [59] [60] [65] [67] [71] [74] [76] [80] [81] [82] [83] [86] [87] [91] [92] [94] [96] [98] [99] [102] [103] [104] [105] [106] [107] [111] [114] [115] [116] [118] [122] [123] [124] [125] [126] [127] [129] [134] [136] [143] [144] [147] [148] [149] [152] [153] [160] [161] [163] [165] [166] [171] [173] [178] [179] [188] [189] [190] [193] [196] [197] [198] [199] [200] [203] [204] [207] [208] [209] [215] [222] [234] [235] [244] [250] [252] [256] [257] [280] [292] [293] [305] [323] [328] [411] [420]
34Mireille E. Broucke [258] [282] [340]
35Jean-Yves Brunel [294] [295]
36Premal Buch [205]
37Jerry R. Burch [283] [289] [333] [395]
38Misha Burich [25]
39Jeffrey L. Burns [27] [38]
40Giorgio C. Buttazzo [343]
41Matteo Butussi [428]
42Benoît Caillaud [320] [332] [353] [379] [422]
43Raul Camposano [243]
44Daniela Cancila [445]
45Roberto Canegallo [375]
46Gian-Carlo Cardarilli [236]
47Stefano Cardelli [219]
48Luca P. Carloni [204] [206] [217] [231] [235] [239] [247] [250] [267] [271] [274] [291] [303] [315] [318] [320] [321] [326] [332] [337] [339] [345] [350] [353] [356] [366] [368] [369] [378] [379] [385] [405] [413] [417] [422] [441]
49Erik Carlson [145]
50Giorgio Casinovi [36] [75]
51Andrea Casotto [32] [72] [110]
52Paul Caspi [320] [321] [332] [343] [379] [404] [414] [422]
53Henry Chang [182]
54Henry C. Chang [128]
55Edoardo Charbon [119] [151] [172] [182] [183] [187] [194] [231] [232] [274]
56Krishnendu Chatterjee [429]
57Xi Chen [362] [383] [446]
58Kwang-Ting Cheng (Kwang-Ting (Tim) Cheng) [59]
59Szu-Tsung Cheng [147] [189] [196]
60Eric Cheung [446]
61Andrew Chien [407]
62Massimiliano Chiodo [98] [107] [154] [168] [176] [211] [213] [219] [230]
63Jike Chong [365]
64Umakanta Choudhury [63] [64] [68] [112] [113] [157]
65C. Coelho [188]
66Ronald Collett [150]
67Massimo Conti [300]
68Jordi Cortadella [265]
69Michel Courtoy [150]
70Jan Craninckx [475]
71Ivica Crnkovic [343]
72Tullio Cuatto [225] [254]
73Arnaud Cuccuru [445]
74Joseph D'Ambrosio [467]
75M. D'Angelo [428]
76Antonino Damiano [225]
77Werner Damm [343] [432] [445]
78Luca Daniel [277] [287] [296] [319]
79Abhijit Davare [316] [338] [352] [362] [373] [389] [398] [408] [446] [453]
80Alper Demir [140] [174] [182]
81Douglas Densmore [336] [381] [389] [453]
82Patricia Derler [474]
83Jörg Desel [388] [419]
84Srinivas Devadas [27] [34] [38] [40] [42] [44] [45] [48] [49] [57]
85Sujit Dey [229]
86Mario de Dominicis [375]
87Adam Donlin [381]
88Stephen A. Edwards [189] [196]
89Gabriel Eirea [354]
90Laurent Elghaoui [299]
91Jakob Engblom [343]
92Daniel Engels [176]
93Sinem Coleri Ergen [427] [439] [448] [452]
94Rolf Ernst [409] [431]
95Alberto Fazzi [375]
96Eric Felt [138] [142] [172] [177] [184]
97H. Fennel [430]
98Alberto Ferrari [231] [237] [261] [294] [295] [300] [322] [327] [355] [360] [374] [392] [397] [426] [433] [436] [445]
99Jerry Fiddler [243]
100Enrica Filippi [221] [241]
101Carlo Fischione [347] [371] [393] [415] [421] [424] [427] [428] [438] [448] [449] [468]
102Krisztián Flautner [416]
103Gerhard Fohler [343]
104T. Forest [433]
105Eliane Fourgeau [294] [295]
106E. Frank [431]
107Valerio Frascolla [300]
108Ulrich Freund [360]
109Masahiro Fujita [178] [180] [188] [201] [202]
110Simone Gambini [390]
111Marisol García-Valls [343]
112Joshua L. Garrett [319]
113Frank Gennari [305]
114Stefano Di Gennaro [258] [282] [314] [340]
115Sébastien Gérard (Sebastien Gerard) [445]
116Ranjit Gharpurey [183] [232]
117Arkadeb Ghosal [380] [429] [455] [467] [469] [473]
118Mike Gianfagna [150]
119Georges G. E. Gielen [84]
120Johan Van Ginderdeuren [150]
121Paolo Giusto [154] [168] [176] [219] [230] [294] [295] [402] [406] [442] [447] [454] [455] [458] [467]
122C. John Glossner (John Glossner) [363]
123Eugene Goldberg (Evguenii I. Goldberg) [204] [208] [215] [235] [250]
124Gregor Gößler (Gregor Goessler) [301]
125Wilsin Gosti [203] [222] [224] [278] [396]
126Susanne Graf [445]
127Paul R. Gray [62] [84]
128Fabio Graziosi [347]
129Francesco Gregoretti [254]
130Carlo Guardiani [184] [274]
131Emanuele Guasto [294]
132Roberto Guerrieri [41] [73] [375]
133A. Gueye [452]
134C. Guo [285]
135Liangpeng Guo [459]
136Gary D. Hachtel [5] [8] [37] [189] [196]
137Imene Ben Hafaiedh [445]
138H. Hanselmann [430]
139Heather Harkness [148]
140Christopher Hegarty [407]
141Harald Heinecke [430] [432]
142William R. Heller [25]
143Thomas A. Henzinger [281] [297] [380] [429] [473]
144Dave Hightower (David W. Hightower) [145]
145Ramin Hojati [147] [152]
146Benjamin Horowitz [302] [308]
147Harry Hsieh [154] [168] [176] [192] [214] [230] [263] [272] [313] [362] [383] [446]
148Chenming Hu [242]
149Daniel T. Iercan [380] [429] [473]
150Mitsuru Igusa [54]
151Adrian J. Isles [207]
152Reily M. Jacoby [37]
153Jawahar Jain [178] [180] [188] [201] [202] [207]
154Marek Jersak [409]
155Yunjian Jiang [305]
156Karl Henrik Johansson [371] [415] [421] [424] [438] [448] [449] [468]
157Michael I. Jordan [324]
158Bernhard Josko [432] [445]
159Attila Jurecska [154] [168] [176] [192] [213] [219] [225] [230] [254]
160Gani Jusuf [62]
161Shinjiro Kakita [389]
162Timothy Kam [144] [147] [165] [198] [199] [200]
163Sri Kanajan [354] [365] [382] [408]
164Sean Kao [342]
165Masamichi Kawarabayashi [130]
166H. J. H. N. Kenter [246]
167Kurt Keutzer [85] [90] [158] [159] [243] [251] [286]
168Sunil P. Khatri [178] [188] [189] [193] [196] [234] [244] [256] [257] [278] [328]
169Chunghee Kim [262]
170Desmond Kirkpatrick [139] [181]
171Christoph M. Kirsch (Christoph Meyer) [380] [429] [473]
172Nathan Kitchen [386]
173Alex Kondratyev [265] [338] [357] [388] [419]
174Tak-John Koo [302] [308]
175Philip Koopman (Phil Koopman, Philip J. Koopman Jr.) [264]
176Hermann Kopetz [343] [409] [430] [432]
177Farinaz Koushanfar [316] [398]
178Alan H. Kramer [43]
179Sriram C. Krishnan [147] [193]
180Bruce H. Krogh [281]
181Wido Kruijtzer (W. M. Kruijtzer) [416]
182Andreas Kuehlmann [317] [386] [472]
183Markus Kuhl [467]
184Yuji Kukimoto [189] [196]
185K. S. Kundent [47]
186Kenneth S. Kundert [19]
187Marcello Lajolo [227] [229] [245] [248]
188Yassine Lakhnech [343]
189William K. C. Lam [96] [126] [129] [153] [161] [173]
190Dominik Langen [434]
191Jim Lansford [243]
192François Laroussinie [343]
193Ulrich Lauther [145]
194Luciano Lavagno [58] [85] [90] [92] [95] [100] [102] [132] [133] [154] [158] [159] [160] [168] [169] [175] [176] [186] [192] [211] [213] [218] [219] [220] [221] [225] [229] [230] [236] [240] [241] [248] [253] [262] [263] [265] [268] [272] [279] [294] [295] [304] [306] [310] [313] [343] [399] [462]
195Steve Law [25]
196Mihai Lazarescu [245]
197Edward A. Lee [185] [216] [264] [471] [474]
198Ekachai Lelarasmee [4] [7]
199Suet-Fei Li [269] [285]
200Wenchao Li [454]
201Yanmei Li [423]
202L. Licciardi [221]
203Judith Liebman [302] [308]
204Bill Lin [65]
205Giuseppe Lipari [343]
206Cong Liu [357] [388] [419]
207Edward W. Y. Liu [84] [97] [121] [128] [140] [156] [174]
208Jie Liu [227]
209Roberto Lojacono [236]
210Pasquale Lucibello [146] [249]
211Gabriele Luculli [284]
212Kelvin Lwin [338]
213Cedric Ma [302] [308]
214Hi-Keung Tony Ma [26] [27] [34] [38] [40] [42] [44] [45] [48] [49] [57]
215L. Magagni [375]
216Enrico Malavasi [63] [109] [119] [151] [172] [187] [194]
217Oded Maler [281]
218Abdul A. Malik [71] [74] [115]
219Sharad Malik [58] [60] [76] [92] [111] [264] [286]
220Leonardo Mangeruca [322] [327] [355] [360] [374] [392] [397] [445]
221Dimitri Marandin [427]
222Florence Maraninchi [343]
223Radu Marculescu [279] [384] [410]
224Grant Martin [273] [288]
225Jonathan Martin [220] [228]
226Marc Massot [265]
227Deepak Mathaikutty [444]
228Kartikeya Mayaram [27] [38]
229Emanuele Mazzi [377] [403] [426] [436] [437]
230Patrick C. McGeer [86] [87] [114] [116] [124] [145] [148] [167] [169] [195] [206] [220]
231Rick McGeer [228]
232Mark L. McKelvin Jr. [354] [358]
233Kenneth L. McMillan [150] [167] [193] [239] [247] [271]
234Amit Mehrotra [209] [238] [242] [244]
235Alexander Metzner [432]
236Robert G. Meyer [183] [232]
237Trevor Meyerowitz [325] [434]
238Giovanni De Micheli [9] [10] [11] [13] [15] [20]
239Guido M. Miconi [260]
240Andrew Mihal [286]
241Paolo Miliozzi [182] [187] [194] [231] [274]
242Linda S. Milor (Linda Milor) [61] [66] [135]
243A. Montanaro [221]
244Cho W. Moon [94] [102] [160]
245John Moondanos [352]
246Sandra Moral [265]
247Manfred Morari [281]
248Christopher R. Morrison [37]
249Pieter J. Mosterman [451]
250Mohammad Mostafizur Rahman Mozumdar [462]
251Trevor N. Mudge [363]
252Rajeev Murgai [67] [81] [82] [83] [104] [118] [123] [127] [149]
253Pierpaolo Murrieri [351]
254Praveen K. Murthy [218]
255Amit Nandi [279]
256Claudio Nani [475]
257Amit Narayan [142] [178] [180] [188] [193] [201] [202] [205] [207] [222]
258Alessandra Nardi [319] [329] [334]
259Federico Di Natale [330]
260Marco Di Natale [266] [276] [394] [401] [402] [404] [406] [408] [414] [425] [430] [431] [432] [433] [440] [442] [443] [447] [450] [451] [454] [455] [457] [458] [459] [460] [469]
261Luca Necchi [393] [399]
262Andrea Neviani [274]
263A. Richard Newton [5] [8] [9] [12] [24] [40] [42] [44] [45] [49] [57] [71] [72] [74] [115] [205] [251]
264Dai Tho Nguyen [316]
265David T. Nguyen [398]
266Borivoje Nikolic [285] [410]
267Yoshihito Nishizaki [67]
268Ed Nuckolls [467]
269Pierluigi Nuzzo [348] [361] [376] [456] [461] [465] [470] [475]
270William Nye [39]
271Barry O'Rourke [294]
272Arlindo L. Oliveira [79] [88] [93] [117] [164] [170] [217]
273Brian Otis [390]
274Ralph H. J. M. Otten [244]
275Luigi Palopoli [299]
276Davide Pandini [151]
277Constantinos C. Pantelides (Costas C. Pantelides) [281]
278M. Paolini [221]
279George J. Pappas [281]
280Abelardo Pardo [189] [196]
281Pan Gun Park [424] [448] [468]
282Claudio Passerone [211] [220] [225] [228] [246] [254] [265] [304] [306] [313]
283Roberto Passerone [220] [221] [226] [228] [283] [289] [297] [333] [346] [350] [368] [370] [378] [395] [435] [445] [453]
284Yatish Patel [305]
285Donald O. Pederson [6]
286Thomas Peikenkamp [445]
287Michele Pennese [322]
288Maurizio Peri [327]
289Philipp Peti [343]
290Alexandre Petrenko [280] [293] [323] [420]
291Saverio Pezzini [327]
292Fernando Pianegiani [393]
293Andrea Pierantoni [322]
294Claudio Pinello [223] [233] [299] [325] [337] [354] [358] [365] [382] [402] [404] [406] [408] [413] [414] [429]
295Alessandro Pinto [303] [318] [344] [346] [350] [368] [370] [378] [405] [417] [428] [441] [463]
296Geert Van der Plas [475]
297Miodrag Potkonjak [316] [398]
298Ugo Pozzi [260]
299Juan Antonio de la Puente [343]
300Alberto Puggelli [465] [472]
301Shaz Qadeer [189] [196] [209]
302Gang Qu [364] [412]
303E. Quevy [390]
304Jan M. Rabaey [251] [269] [285] [286] [384] [390] [423] [464]
305Anand Raghunathan [229]
306Rajeev K. Ranjan [147] [179] [189] [190] [196] [203]
307Ion M. Ratiu [6]
308Marco Re [236]
309James Reed [16]
310Sanjay Rekhi [336]
311Walden C. Rhines [407]
312George W. Rhyne [47]
313Stephen Ricca [150]
314Howard S. Rifkin [25]
315David C. Riley [21] [39]
316Pier Luigi Rolandi [375]
317Fabio Romeo [27] [32] [38] [77]
318C. Rossi [223] [233]
319Chris Rowen (Christopher Rowen) [363]
320James A. Rowson [212] [226]
321Richard L. Rudell [31] [33] [37]
322Albert E. Ruehli [4]
323Marco Sabatini [433] [439]
324Richard Saeks [2]
325Sartaj Sahni (Sartaj K. Sahni) [86]
326Alexander Saldanha [53] [59] [87] [91] [105] [106] [126] [134] [136] [148] [161] [163] [167] [169] [186] [195] [197] [206] [224] [239] [396]
327Jagesh V. Sanghavi [114] [116] [124] [137] [179] [190]
328Claudio Sansoè [219] [220] [225] [228] [254]
329Mauro Santomauro [16]
330Fortunato Santucci [347]
331Steve Sapiro [150]
332Shaker Sarwary [189] [196]
333Shankar Sastry (Shankar S. Sastry) [302] [308]
334Mirko Sauermann [434]
335Hamid Savoj [65] [94]
336Patrick Scaglia [167]
337Norman Scaife [343]
338Erhard Schlenker [360]
339Eelco Scholte [450] [460]
340Jan H. van Schuppen [330]
341Carl Sechen [28]
342Ellen Sentovich (Ellen M. Sentovich) [76] [94] [168] [230]
343Carlo H. Séquin [24] [29] [56]
344Gabriele Serra [377]
345Sanjit A. Seshia [454] [465]
346Marco Sgroi [221] [240] [241] [253] [268] [269] [286] [304] [339] [345] [370]
347Rahul C. Shah [285] [390]
348J. Shamberger [285]
349Michael Sheets [285] [286]
350Narendra V. Shenoy [67] [80] [82] [83] [99] [103] [122] [125] [130] [133] [163]
351Hyunchul Shin [29] [30] [56]
352Thomas R. Shiple [98] [107] [147] [152] [189] [196] [292]
353Sandeep K. Shukla (Sandeep Kumar Shukla) [444]
354Joseph Sifakis [307] [343]
355Julio Leao da Silva Jr. [269] [285]
356Alena Simalatsar [453]
357Robert de Simone [343]
358Tunc Simsec [281]
359Kanwar Jit Singh [60] [69] [94] [103] [111]
360Vigyan Singhal [143] [147] [209] [292]
361Subarnarekha Sinha [256] [328]
362Nick Smith [407]
363W. J. M. Smits [246]
364Marco Somalvico [1]
365Fabio Somenzi [189] [196]
366Alberto Speranzon [415] [421] [449]
367Gernot Spiegelberg [409]
368Jonathan Sprinkle [358]
369Peter van Staa [467]
370Michael Steer [47]
371Dan Steingart [390]
372Paul R. Stephan [87] [171]
373Xuening Sun [439] [456] [461] [464]
374Kei Suzuki [154] [168] [176] [191] [230]
375Gitanjali Swamy [189] [196]
376Janos Sztipanovits [281] [363] [444]
377Abdallah Tabbara [270]
378Bassam Tabbara [213] [241] [270]
379Serdar Tasiran [147]
380R. Tebano [439]
381Pierangelo Terreni [348]
382François Terrier [445]
383André L. Tits [39]
384Eric Tomacruz [73] [137]
385Martin Törngren [343]
386Hervé J. Touati [65]
387Toru Toyabe [73]
388Steven Trimberger [145]
389Stavros Tripakis [281] [379] [404] [414]
390Tim Tuan [285]
391Jim Tung [467]
392Claudio Turchetti [261]
393Christopher Umans [367]
394Laura Vanzago [399] [462]
395Iasson Vassiliou [182] [194]
396Paulo Veríssimo [343]
397Tiziano Villa [52] [55] [91] [136] [144] [165] [189] [196] [197] [198] [199] [200] [204] [208] [215] [217] [224] [235] [250] [260] [280] [293] [323] [364] [367] [396] [411] [412] [420]
398V. Visvanathan [2] [3] [14]
399Kazutoshi Wakabayashi [416]
400Albert R. Wang [31] [37] [53]
401Guoqiang Wang [317] [425] [443] [451] [457]
402Huey-Yih Wang [147]
403Yosinori Watanabe [240] [246] [265] [304] [306] [313] [331] [357] [362] [388] [389] [419] [446]
404Donald M. Webber [35] [73]
405Thomas Weber [409] [430]
406R. Wei [34]
407Ruey-Sing Wei [17] [18] [22] [23] [48]
408N. Weiner [51]
409Andy J. Wellings [343]
410Tobias Welp [472]
411Jacob K. White (Jacob White) [277] [287] [296]
412Harald Wilhelm [467]
413Reinhard Wilhelm [343] [431]
414Tim A. C. Willemse [343]
415Frank Winters [407]
416Marilyn Wolf (Wayne Wolf, Wayne Hendrix Wolf) [264] [363]
417Hans-Jörg Wolff [360]
418Howard Wong-Toi [260]
419Paul K. Wright [285] [390]
420Chang-Ching Wu [456] [461] [464]
421Alexandre Yakovlev (Alex Yakovlev) [100] [175]
422K. Yamaguchi [146] [249]
423Yang Yang [450] [460] [463]
424Guang Yang [306] [331] [383] [444]
425S. Yee [154]
426Nina Yevtushenko [280] [293] [323] [411] [420]
427Wang Yi [343]
428Lin Yuan [364] [412]
429Naeem Zafar [150]
430Stefano Zanella [184] [274]
431Enrico Zanoni [274]
432Haibo Zeng [319] [382] [442] [447] [455] [458] [459] [469]
433Feng Zhao [363]
434Svetlana Zharikova [411]
435Wei Zheng [365] [401] [402] [406] [454] [455]
436Qi Zhu [352] [373] [386] [401] [408] [450] [460] [463]
437Lior Zimet [342]
438Paolo Zoffoli [375]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page