| 2009 |
|---|
| 420 | EE | Alessandro 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) |
| 2008 |
|---|
| 419 | EE | Roberto Passerone,
Alberto L. Sangiovanni-Vincentelli:
Approximating Behaviors in Embedded System Design.
Concurrency, Graphs and Models 2008: 721-742 |
| 418 | EE | Trevor Meyerowitz,
Alberto L. Sangiovanni-Vincentelli,
Mirko Sauermann,
Dominik Langen:
Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor.
DATE 2008: 276-279 |
| 417 | EE | T. Forest,
Alberto Ferrari,
G. Audisio,
M. Sabatini,
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale:
Physical Architectures of Automotive Systems.
DATE 2008: 391-395 |
| 416 | EE | Harald 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 |
| 415 | EE | E. 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 |
| 414 | EE | Alberto 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 |
| 413 | EE | Krishnendu 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 |
| 412 | EE | M. D'Angelo,
Carlo Fischione,
Matteo Butussi,
Alessandro Pinto,
Alberto L. Sangiovanni-Vincentelli:
Outage-Based Rate Maximization in CDMA Wireless Networks.
GLOBECOM 2008: 1310-1315 |
| 411 | EE | Sinem 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 |
| 410 | EE | Luca 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 |
| 409 | EE | Marco 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 |
| 408 | EE | Pan 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 |
| 407 | EE | Yanmei Li,
Jan M. Rabaey,
Alberto L. Sangiovanni-Vincentelli:
Analysis of Interference Effects in MB-OFDM UWB Systems.
WCNC 2008: 165-170 |
| 406 | EE | Albert 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) |
| 405 | EE | Carlo Fischione,
Alberto Speranzon,
Karl Henrik Johansson,
Alberto L. Sangiovanni-Vincentelli:
Distributed Estimation over Wireless Sensor Networks with Packet Losses
CoRR abs/0810.3715: (2008) |
| 404 | EE | Nina 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) |
| 403 | EE | Cong 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) |
| 402 | EE | Alberto 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) |
| 401 | EE | Stavros 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) |
| 400 | EE | Claudio 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) |
| 399 | EE | Lin 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 |
|---|
| 398 | EE | Tiziano 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 |
| 397 | EE | Radu Marculescu,
Borivoje Nikolic,
Alberto L. Sangiovanni-Vincentelli:
Fresh air: the emerging landscape of design for networked embedded systems.
CODES+ISSS 2007: 124 |
| 396 | EE | Rolf 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 |
| 395 | EE | Abhijit 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 |
| 394 | EE | Nick 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 |
| 393 | EE | Wei 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 |
| 392 | EE | Alessandro 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 |
| 391 | EE | Albert 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 |
| 390 | EE | Andrea Balluchi,
Emanuele Mazzi,
Alberto L. Sangiovanni-Vincentelli:
Complexity Reduction for the Design of Interacting Controllers.
HSCC 2007: 46-60 |
| 389 | EE | Marco 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 |
| 388 | EE | Wei 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 |
| 387 | EE | Alberto L. Sangiovanni-Vincentelli:
Reasoning about the Trends and Challenges of Engineering Design Automation.
VLSI Design 2007: 28-30 |
| 386 | EE | Farinaz 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) |
| 385 | EE | Leonardo 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) |
| 384 | EE | Roberto 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) |
| 383 | EE | Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale:
Embedded System Design for Automotive Applications.
IEEE Computer 40(10): 42-51 (2007) |
| 382 | EE | Alvise 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) |
| 381 | EE | Leonardo 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) |
| 380 | EE | Alberto L. Sangiovanni-Vincentelli:
Remembering Richard [Obituary, Richard A.Newton].
IEEE Trans. on CAD of Integrated Circuits and Systems 26(8): 1357-1366 (2007) |
| 2006 |
|---|
| 379 | EE | Shinjiro Kakita,
Yosinori Watanabe,
Douglas Densmore,
Abhijit Davare,
Alberto L. Sangiovanni-Vincentelli:
Functional Model Exploration for Multimedia Applications via Algebraic Operators.
ACSD 2006: 229-238 |
| 378 | EE | Cong 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 |
| 377 | EE | Alberto L. Sangiovanni-Vincentelli:
Automotive electronics: steady growth for years to come!
ASP-DAC 2006 |
| 376 | EE | Qi Zhu,
Nathan Kitchen,
Andreas Kuehlmann,
Alberto L. Sangiovanni-Vincentelli:
SAT sweeping with local observability don't-cares.
DAC 2006: 229-234 |
| 375 | EE | Alvise Bonivento,
Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Platform-based design of wireless sensor networks for industrial applications.
DATE 2006: 1103-1107 |
| 374 | EE | Radu Marculescu,
Jan M. Rabaey,
Alberto L. Sangiovanni-Vincentelli:
Is "Network" the next "Big Idea" in design?
DATE 2006: 254-256 |
| 373 | EE | Guang Yang,
Xi Chen,
Felice Balarin,
Harry Hsieh,
Alberto L. Sangiovanni-Vincentelli:
Communication and co-simulation infrastructure for heterogeneous system integration.
DATE 2006: 462-467 |
| 372 | EE | Sri 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 |
| 371 | EE | Douglas Densmore,
Adam Donlin,
Alberto L. Sangiovanni-Vincentelli:
FPGA architecture characterization for system level performance analysis.
DATE 2006: 734-739 |
| 370 | EE | Arkadeb 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 |
| 369 | EE | Albert 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 |
| 368 | EE | Alessandro Pinto,
Luca P. Carloni,
Roberto Passerone,
Alberto L. Sangiovanni-Vincentelli:
Interchange Format for Hybrid Systems: Abstract Semantics.
HSCC 2006: 491-506 |
| 367 | EE | Andrea 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 |
| 366 | EE | Fernando De Bernardinis,
Pierluigi Nuzzo,
Alberto L. Sangiovanni-Vincentelli:
Robust system level design with analog platforms.
ICCAD 2006: 334-341 |
| 365 | EE | Alberto 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 |
| 364 | EE | Leonardo Mangeruca,
Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli:
Uniprocessor Scheduling Under Precedence Constraints.
IEEE Real Time Technology and Applications Symposium 2006: 157-166 |
| 363 | EE | Qi Zhu,
Abhijit Davare,
Alberto L. Sangiovanni-Vincentelli:
A semantic-driven synthesis flow for platform-based design.
MEMOCODE 2006: 199 |
| 362 | EE | Antonia Bertolino,
Alvise Bonivento,
Guglielmo De Angelis,
Alberto L. Sangiovanni-Vincentelli:
Modeling and Early Performance Estimation for Network Processor Applications.
MoDELS 2006: 753-767 |
| 361 | EE | Carlo 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 |
| 360 | EE | Alessandro 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) |
| 359 | EE | Luca 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) |
| 358 | EE | Luca 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) |
| 357 | EE | Christopher 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) |
| 356 | EE | Alvise Bonivento,
Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Platform based design for wireless sensor networks.
MONET 11(4): 469-485 (2006) |
| 2005 |
|---|
| 355 | EE | Wei Zheng,
Jike Chong,
Claudio Pinello,
Sri Kanajan,
Alberto L. Sangiovanni-Vincentelli:
Extensible and Scalable Time Triggered Scheduling.
ACSD 2005: 132-141 |
| 354 | EE | Lin 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 |
| 353 | EE | Janos 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 |
| 352 | EE | Xi Chen,
Abhijit Davare,
Harry Hsieh,
Alberto L. Sangiovanni-Vincentelli,
Yosinori Watanabe:
Simulation based deadlock analysis for system level designs.
DAC 2005: 260-265 |
| 351 | EE | Fernando De Bernardinis,
Pierluigi Nuzzo,
Alberto L. Sangiovanni-Vincentelli:
Mixed signal design space exploration through analog platforms.
DAC 2005: 875-880 |
| 350 | EE | Massimo 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 |
| 349 | | Alberto L. Sangiovanni-Vincentelli:
Integrated Electronics in the Car and the Design Chain Evolution or Revolution?
DATE 2005: 532-533 |
| 348 | EE | Mark 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 |
| 347 | EE | Cong 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 |
| 346 | EE | Alvise 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 |
| 345 | EE | Massimo Baleani,
Alberto Ferrari,
Leonardo Mangeruca,
Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models.
EMSOFT 2005: 187-190 |
| 344 | EE | Mark 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 |
| 343 | EE | Albert Benveniste,
Benoît Caillaud,
Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Tag machines.
EMSOFT 2005: 255-263 |
| 342 | EE | Abhijit 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 |
| 341 | EE | Andrea Balluchi,
Pierpaolo Murrieri,
Alberto L. Sangiovanni-Vincentelli:
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains.
HSCC 2005: 118-133 |
| 340 | EE | Alessandro Pinto,
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Roberto Passerone:
Interchange Formats for Hybrid Systems: Review and Proposal.
HSCC 2005: 526-541 |
| 339 | | Fernando De Bernardinis,
Alberto L. Sangiovanni-Vincentelli:
Efficient analog platform characterization through analog constraint graphs.
ICCAD 2005: 415-421 |
| 338 | EE | Fernando 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 |
| 337 | EE | Felice Balarin,
Claudio Passerone,
Alessandro Pinto,
Alberto L. Sangiovanni-Vincentelli:
A formal approach to system level design: metamodels and unified design environments.
MEMOCODE 2005: 155-163 |
| 336 | | Luca P. Carloni,
Fernando De Bernardinis,
Alberto L. Sangiovanni-Vincentelli,
Marco Sgroi:
Platform-Based and Derivative Design.
The Industrial Information Technology Handbook 2005: 1-15 |
| 335 | EE | Alberto L. Sangiovanni-Vincentelli,
Alessandro Pinto:
An overview of embedded system design education at berkeley.
ACM Trans. Embedded Comput. Syst. 4(3): 472-499 (2005) |
| 334 | EE | Paul 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) |
| 333 | EE | Arnon 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) |
| 332 | EE | Alberto L. Sangiovanni-Vincentelli:
The importance of innovation in the economy of advanced countries.
IEEE Design & Test of Computers 22(1): 14-16 (2005) |
| 2004 |
|---|
| 331 | EE | Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Fernando De Bernardinis,
Marco Sgroi:
Benefits and challenges for platform-based design.
DAC 2004: 409-414 |
| 330 | EE | Abhijit 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 |
| 329 | EE | Claudio 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 |
| 328 | EE | Douglas Densmore,
Sanjay Rekhi,
Alberto L. Sangiovanni-Vincentelli:
Microarchitecture Development via Metropolis Successive Platform Refinement.
DATE 2004: 346-351 |
| 327 | EE | Fernando De Bernardinis,
Alberto L. Sangiovanni-Vincentelli:
A Methodology for System-Level Analog Design Space Exploration.
DATE 2004: 676-677 |
| 326 | EE | Alessandra Nardi,
Alberto L. Sangiovanni-Vincentelli:
Synthesis for Manufacturability: A Sanity Check.
DATE 2004: 796-803 |
| 325 | EE | Roberto Passerone,
Jerry R. Burch,
Alberto L. Sangiovanni-Vincentelli:
Conservative approximations for heterogeneous design.
EMSOFT 2004: 155-164 |
| 324 | EE | Albert 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 |
| 323 | EE | Guang Yang,
Alberto L. Sangiovanni-Vincentelli,
Yosinori Watanabe,
Felice Balarin:
Separation of concerns: overhead in modeling and efficient simulation techniques.
EMSOFT 2004: 44-53 |
| 322 | EE | Andrea 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 |
| 321 | EE | Alessandra Nardi,
Alberto L. Sangiovanni-Vincentelli:
Logic Synthesis for Manufacturability.
IEEE Design & Test of Computers 21(3): 192-199 (2004) |
| 320 | EE | Sunil 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 |
|---|
| 319 | EE | Massimo 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 |
| 318 | EE | Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
On-chip communication design: roadblocks and avenues.
CODES+ISSS 2003: 75-76 |
| 317 | EE | Trevor Meyerowitz,
Claudio Pinello,
Alberto L. Sangiovanni-Vincentelli:
A tool for describing and evaluating hierarchical real-time bus scheduling policies.
DAC 2003: 312-317 |
| 316 | EE | Fernando De Bernardinis,
Michael I. Jordan,
Alberto L. Sangiovanni-Vincentelli:
Support vector machines for analog circuit performance representation.
DAC 2003: 964-969 |
| 315 | EE | Nina 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 |
| 314 | EE | Leonardo 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 |
| 313 | EE | Albert Benveniste,
Luca P. Carloni,
Paul Caspi,
Alberto L. Sangiovanni-Vincentelli:
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.
EMSOFT 2003: 35-50 |
| 312 | EE | Albert 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 |
| 311 | EE | Alessandra 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 |
| 310 | EE | Alessandro Pinto,
Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Efficient Synthesis of Networks On Chip.
ICCD 2003: 146-150 |
| 309 | EE | Guoqiang Wang,
Andreas Kuehlmann,
Alberto L. Sangiovanni-Vincentelli:
Structural Detection of Symmetries in Boolean Functions.
ICCD 2003: 498-503 |
| 308 | EE | Farinaz Koushanfar,
Abhijit Davare,
Dai Tho Nguyen,
Miodrag Potkonjak,
Alberto L. Sangiovanni-Vincentelli:
Low power coordination in wireless ad-hoc networks.
ISLPED 2003: 475-480 |
| 307 | EE | Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits.
SBCCI 2003: 47-52 |
| 306 | EE | Felice 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) |
| 305 | | Alberto L. Sangiovanni-Vincentelli:
DAC Turns 40!
IEEE Design & Test of Computers 20(3): 90-96 (2003) |
| 304 | EE | Alberto L. Sangiovanni-Vincentelli:
The Tides of EDA.
IEEE Design & Test of Computers 20(6): 59-75 (2003) |
| 303 | EE | Alberto L. Sangiovanni-Vincentelli,
Luciano Lavagno:
Guest Editors' Introduction: Trends and Directions in Microelectronics.
IEEE Micro 23(3): 6-7 (2003) |
| 302 | EE | Alberto L. Sangiovanni-Vincentelli:
Electronic-System Design in the Automobile Industry.
IEEE Micro 23(3): 8-18 (2003) |
| 301 | | Benjamin 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 |
|---|
| 300 | | Alberto L. Sangiovanni-Vincentelli,
Joseph Sifakis:
Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings
Springer 2002 |
| 299 | EE | Felice 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 |
| 298 | EE | Massimo 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 |
| 297 | EE | Felice 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 |
| 296 | EE | Alessandro Pinto,
Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Constraint-driven communication synthesis.
DAC 2002: 783-788 |
| 295 | EE | Tak-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 |
| 294 | EE | Gregor Gößler,
Alberto L. Sangiovanni-Vincentelli:
Compositional Modeling in Metropolis.
EMSOFT 2002: 93-107 |
| 293 | EE | Massimo 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 |
| 292 | EE | Luigi Palopoli,
Claudio Pinello,
Alberto L. Sangiovanni-Vincentelli,
Laurent Elghaoui,
Antonio Bicchi:
Synthesis of Robust Control Systems under Resource Constraints.
HSCC 2002: 337-350 |
| 291 | EE | Andrea Balluchi,
Luca Benvenuti,
Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli:
Design of Observers for Hybrid Systems.
HSCC 2002: 76-89 |
| 290 | EE | Roberto 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 |
| 289 | EE | Luca 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 |
| 288 | EE | Paolo 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 |
| 287 | EE | Paolo 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- |
| 286 | | Nina 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 |
| 285 | | Adnan 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) |
| 284 | EE | Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Coping with Latency in SOC Design.
IEEE Micro 22(5): 24-35 (2002) |
| 2001 |
|---|
| 283 | | Maria 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 |
| 282 | EE | Jerry R. Burch,
Roberto Passerone,
Alberto L. Sangiovanni-Vincentelli:
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems.
ACSD 2001: 13- |
| 281 | EE | Alberto L. Sangiovanni-Vincentelli,
Grant Martin:
A vision for embedded software.
CASES 2001: 1-7 |
| 280 | EE | Luca 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 |
| 279 | EE | Marco 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 |
| 278 | EE | Julio 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 |
| 277 | EE | Gabriele Luculli,
Alberto L. Sangiovanni-Vincentelli:
Analysis of DSP-Kernel Software by Implicit Cache Simulation.
ECBS 2001: 282-288 |
| 276 | EE | Jerry R. Burch,
Roberto Passerone,
Alberto L. Sangiovanni-Vincentelli:
Using Multiple Levels of Abstractions in Embedded Software Design.
EMSOFT 2001: 324-343 |
| 275 | EE | Mireille E. Broucke,
Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alberto L. Sangiovanni-Vincentelli:
Optimal Control Using Bisimulations: Implementation.
HSCC 2001: 175-188 |
| 274 | EE | Alberto 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 |
| 273 | EE | Nina Yevtushenko,
Tiziano Villa,
Robert K. Brayton,
Alexandre Petrenko,
Alberto L. Sangiovanni-Vincentelli:
Solution of Parallel Language Equations for Logic Synthesis.
ICCAD 2001: 103- |
| 272 | EE | Radu 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- |
| 271 | EE | Wilsin Gosti,
Sunil P. Khatri,
Alberto L. Sangiovanni-Vincentelli:
Addressing the Timing Closure Problem by Integrating Logic Optimization and Placement.
ICCAD 2001: 224-231 |
| 270 | EE | Luca 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 |
| 269 | EE | Marco 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- |
| 268 | EE | Alberto L. Sangiovanni-Vincentelli:
Embedded Software Design for Real-Time Applications.
IEEE Real-Time Systems Symposium 2001 |
| 267 | EE | Stefano 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- |
| 266 | EE | Alberto 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) |
| 265 | EE | Harry 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) |
| 264 | EE | Luca 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 |
|---|
| 263 | EE | Bassam Tabbara,
Abdallah Tabbara,
Alberto L. Sangiovanni-Vincentelli:
Task response time optimization using cost-based operation motion.
CODES 2000: 110-114 |
| 262 | EE | Julio 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 |
| 261 | EE | Alberto L. Sangiovanni-Vincentelli,
Marco Sgroi,
Luciano Lavagno:
Formal Models for Communication-Based Design.
CONCUR 2000: 29-47 |
| 260 | EE | Luca P. Carloni,
Alberto L. Sangiovanni-Vincentelli:
Performance analysis and optimization of latency insensitive systems.
DAC 2000: 361-367 |
| 259 | EE | Marco Di Natale,
Alberto L. Sangiovanni-Vincentelli,
Felice Balarin:
Task scheduling with RT constraints.
DAC 2000: 483-488 |
| 258 | EE | Jordi 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 |
| 257 | EE | Sharad Malik,
D. K. Arvind,
Edward A. Lee,
Phil Koopman,
Alberto L. Sangiovanni-Vincentelli,
Wayne Wolf:
Embedded systems education (panel abstract).
DAC 2000: 519 |
| 256 | EE | Harry Hsieh,
Felice Balarin,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Efficient methods for embedded system design space exploration.
DAC 2000: 607-612 |
| 255 | EE | Chunghee Kim,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Free MDD-Based Software Optimization Techniques for Embedded Systems.
DATE 2000: 14- |
| 254 | EE | Massimo Baleani,
Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli,
Claudio Turchetti:
HW/SW Codesign of an Engine Management System.
DATE 2000: 263- |
| 253 | EE | Andrea 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 |
| 252 | EE | Alberto L. Sangiovanni-Vincentelli:
Models of Computation and Simulation of Hybrid Systems.
HSCC 2000: 5 |
| 251 | EE | Mireille E. Broucke,
Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli,
Stefano Di Gennaro:
Theory of Optimal Control Using Bisimulations.
HSCC 2000: 89-102 |
| 250 | | Sunil 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 |
| 249 | EE | Subarnarekha 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 |
| 248 | EE | Alberto L. Sangiovanni-Vincentelli:
Platform-Based Design: A Path to Efficient Design Re-Use.
ISQED 2000: 209-210 |
| 247 | EE | Marco Sgroi,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Formal Models for Embedded System Design.
IEEE Design & Test of Computers 17(2): 14-27 (2000) |
| 246 | EE | Adnan 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) |
| 245 | EE | Kurt 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) |
| 244 | EE | Evguenii 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) |
| 243 | EE | Maria 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 |
|---|
| 242 | EE | Marcello Lajolo,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment.
ASP-DAC 1999: 347- |
| 241 | EE | Luca P. Carloni,
Kenneth L. McMillan,
Alberto L. Sangiovanni-Vincentelli:
Latency Insensitive Protocols.
CAV 1999: 123-133 |
| 240 | EE | H. 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 |
| 239 | EE | Marcello Lajolo,
Mihai Lazarescu,
Alberto L. Sangiovanni-Vincentelli:
A compilation-based software estimation scheme for hardware/software co-simulation.
CODES 1999: 85-89 |
| 238 | EE | Sunil 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 |
| 237 | EE | Raul 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 |
| 236 | EE | Kaustav Banerjee,
Amit Mehrotra,
Alberto L. Sangiovanni-Vincentelli,
Chenming Hu:
On Thermal Effects in Deep Sub-Micron VLSI Interconnects.
DAC 1999: 885-891 |
| 235 | EE | Bassam Tabbara,
Marco Sgroi,
Alberto L. Sangiovanni-Vincentelli,
Enrica Filippi,
Luciano Lavagno:
Fast Hardware-Software Co-simulation Using VHDL Models.
DATE 1999: 309- |
| 234 | EE | Marco Sgroi,
Luciano Lavagno,
Yosinori Watanabe,
Alberto L. Sangiovanni-Vincentelli:
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets.
ICATPN 1999: 208-227 |
| 233 | EE | Luca P. Carloni,
Kenneth L. McMillan,
Alexander Saldanha,
Alberto L. Sangiovanni-Vincentelli:
A methodology for correct-by-construction latency insensitive design.
ICCAD 1999: 309-315 |
| 232 | EE | Amit Mehrotra,
Alberto L. Sangiovanni-Vincentelli:
Noise analysis of non-autonomous radio frequency circuits.
ICCAD 1999: 55-60 |
| 231 | EE | Alberto Ferrari,
Alberto L. Sangiovanni-Vincentelli:
System Design: Traditional Concepts and New Paradigms.
ICCD 1999: 2-13 |
| 230 | EE | Alberto 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 |
| 229 | | Luca 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 |
| 228 | EE | Sunil P. Khatri,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Sequential Multi-Valued Network Simplification using Redundancy Removal.
VLSI Design 1999: 206-211 |
| 227 | EE | Edoardo 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) |
| 226 | EE | Edoardo 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) |
| 225 | EE | Felice 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 |
|---|
| 224 | EE | Marcello 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 |
| 223 | EE | Claudio Passerone,
Roberto Passerone,
Claudio Sansoè,
Jonathan Martin,
Alberto L. Sangiovanni-Vincentelli,
Rick McGeer:
Modeling reactive systems in Java.
CODES 1998: 15-19 |
| 222 | EE | Jie Liu,
Marcello Lajolo,
Alberto L. Sangiovanni-Vincentelli:
Software timing analysis using HW/SW cosimulation and instruction set simulator.
CODES 1998: 65-69 |
| 221 | EE | Roberto Passerone,
James A. Rowson,
Alberto L. Sangiovanni-Vincentelli:
Automatic Synthesis of Interfaces Between Incompatible Protocols.
DAC 1998: 8-13 |
| 220 | EE | Tullio 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 |
| 219 | EE | Wilsin 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 |
| 218 | | Andrea 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 |
| 217 | EE | Wilsin Gosti,
Amit Narayan,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Wireplanning in logic synthesis.
ICCAD 1998: 26-33 |
| 216 | EE | Enrica 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 |
| 215 | EE | Claudio 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) |
| 214 | EE | Felice 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) |
| 213 | | Arlindo 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) |
| 212 | EE | Edward 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) |
| 211 | EE | Evguenii 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 |
|---|
| 210 | EE | Harry Hsieh,
Alberto L. Sangiovanni-Vincentelli:
Modeling micro-controller peripherals for high-level co-simulation and synthesis.
CODES 1997: 127-134 |
| 209 | EE | Felice 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 |
| 208 | EE | James A. Rowson,
Alberto L. Sangiovanni-Vincentelli:
Interface-Based Design.
DAC 1997: 178-183 |
| 207 | EE | Claudio 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 |
| 206 | EE | Felice Balarin,
Alberto L. Sangiovanni-Vincentelli:
Schedule Validation for Embedded Reactive Real-Time Systems.
DAC 1997: 52-57 |
| 205 | EE | Amit Mehrotra,
Shaz Qadeer,
Vigyan Singhal,
Robert K. Brayton,
Adnan Aziz,
Alberto L. Sangiovanni-Vincentelli:
Sequential optimisation without state space exploration.
ICCAD 1997: 208-215 |
| 204 | EE | Evguenii I. Goldberg,
Tiziano Villa,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
A fast and robust exact algorithm for face embedding.
ICCAD 1997: 296-303 |
| 203 | EE | Amit Narayan,
Adrian J. Isles,
Jawahar Jain,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Reachability analysis using partitioned-ROBDDs.
ICCAD 1997: 388-393 |
| 202 | EE | Luca P. Carloni,
Patrick C. McGeer,
Alexander Saldanha,
Alberto L. Sangiovanni-Vincentelli:
Trace driven logic synthesis&mdashapplication to power minimization.
ICCAD 1997: 581-588 |
| 201 | EE | Premal Buch,
Amit Narayan,
A. Richard Newton,
Alberto L. Sangiovanni-Vincentelli:
Logic synthesis for large pass transistor circuits.
ICCAD 1997: 663-670 |
| 200 | EE | Evguenii 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 |
| 199 | | Rajeev 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 |
| 198 | | Jawahar Jain,
Amit Narayan,
Masahiro Fujita,
Alberto L. Sangiovanni-Vincentelli:
A Survey of Techniques for Formal Verification of Combinational Circuits.
ICCD 1997: 445-454 |
| 197 | EE | Jawahar Jain,
Amit Narayan,
Masahiro Fujita,
Alberto L. Sangiovanni-Vincentelli:
Formal Verification of Combinational Circuit.
VLSI Design 1997: 218-225 |
| 196 | EE | Timothy 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) |
| 195 | EE | Timothy 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) |
| 194 | EE | Tiziano 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) |
| 193 | EE | Tiziano 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 |
|---|
| 192 | | Robert 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 |
| 191 | EE | Alberto L. Sangiovanni-Vincentelli,
Patrick C. McGeer,
Alexander Saldanha:
Verification of Electronic Systems.
DAC 1996: 106-111 |
| 190 | EE | Paolo 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 |
| 189 | EE | Sunil 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 |
| 188 | EE | Felice Balarin,
Harry Hsieh,
Attila Jurecska,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Formal Verification of Embedded Systems based on CFSM Networks.
DAC 1996: 568-571 |
| 187 | EE | Kei Suzuki,
Alberto L. Sangiovanni-Vincentelli:
Efficient Software Performance Estimation Methods for Hardware/Software Codesign.
DAC 1996: 605-610 |
| 186 | EE | Jagesh V. Sanghavi,
Rajeev K. Ranjan,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
High Performance BDD Package By Exploiting Memory Hiercharchy.
DAC 1996: 635-640 |
| 185 | | Robert 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 |
| 184 | | Jawahar 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 |
| 183 | EE | Edoardo Charbon,
Paolo Miliozzi,
Enrico Malavasi,
Alberto L. Sangiovanni-Vincentelli:
Generalized constraint generation in the presence of non-deterministic parasitics.
ICCAD 1996: 187-192 |
| 182 | EE | Alok Agrawal,
Alexander Saldanha,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Compact and complete test set generation for multiple stuck-faults.
ICCAD 1996: 212-219 |
| 181 | EE | Edward A. Lee,
Alberto L. Sangiovanni-Vincentelli:
Comparing models of computation.
ICCAD 1996: 234-241 |
| 180 | EE | Eric Felt,
Stefano Zanella,
Carlo Guardiani,
Alberto L. Sangiovanni-Vincentelli:
Hierarchical statistical characterization of mixed-signal circuits using behavioral modeling.
ICCAD 1996: 374-380 |
| 179 | EE | Edoardo 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 |
| 178 | EE | Iasson 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 |
| 177 | EE | Desmond Kirkpatrick,
Alberto L. Sangiovanni-Vincentelli:
Digital sensitivity: predicting signal interaction using functional analysis.
ICCAD 1996: 536-541 |
| 176 | EE | Amit 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 |
| 175 | EE | Rajeev K. Ranjan,
Jagesh V. Sanghavi,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Binary decision diagrams on network of workstation.
ICCD 1996: 358-364 |
| 174 | EE | Amit 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 |
| 173 | EE | Eric Felt,
Alberto L. Sangiovanni-Vincentelli:
Optimization of analog IC test structures.
VTS 1996: 48-53 |
| 172 | | Alexandre 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) |
| 171 | EE | Alper 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) |
| 170 | EE | William 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) |
| 169 | EE | Enrico 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) |
| 168 | EE | Paul 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) |
| 167 | | Arlindo 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 |
|---|
| 166 | EE | Luciano 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 |
| 165 | EE | Massimiliano 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 |
| 164 | EE | Patrick C. McGeer,
Kenneth L. McMillan,
Alexander Saldanha,
Alberto L. Sangiovanni-Vincentelli,
Patrick Scaglia:
Fast discrete function evaluation using decision diagrams.
ICCAD 1995: 402-407 |
| 163 | EE | Adnan Aziz,
Felice Balarin,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Sequential synthesis using S1S.
ICCAD 1995: 612-617 |
| 162 | EE | Timothy Kam,
Tiziano Villa,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Implicit state minimization of non-deterministic FSMs.
ICCD 1995: 250-257 |
| 161 | | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
Inferring Reduced Ordered Decision Graphs of Minimum Description Length.
ICML 1995: 421-429 |
| 160 | EE | Alexander Saldanha,
Narendra V. Shenoy,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Functional clock schedule optimization.
VLSI Design 1995: 93-98 |
| 159 | | Felice Balarin,
Alberto L. Sangiovanni-Vincentelli:
An Iterative Approach to Verification of Real-Time Systems.
Formal Methods in System Design 6(1): 67-95 (1995) |
| 158 | EE | William 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) |
| 157 | EE | Luciano 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) |
| 156 | EE | Luciano 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) |
| 155 | EE | Kurt 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) |
| 154 | EE | Umakanta 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) |
| 153 | EE | Edward 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 |
|---|
| 152 | | Felice Balarin,
Alberto L. Sangiovanni-Vincentelli:
On the Automatic Computation of Network Invariants.
CAV 1994: 234-246 |
| 151 | EE | Luciano 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 |
| 150 | EE | William K. C. Lam,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Exact Minimum Cycle Times for Finite State Machines.
DAC 1994: 100-105 |
| 149 | EE | Thomas R. Shiple,
Ramin Hojati,
Alberto L. Sangiovanni-Vincentelli,
Robert K. Brayton:
Heuristic Minimization of BDDs Using Don't Cares.
DAC 1994: 225-231 |
| 148 | EE | Edoardo Charbon,
Enrico Malavasi,
Davide Pandini,
Alberto L. Sangiovanni-Vincentelli:
Simultaneous Placement and Module Optimization of Analog IC's.
DAC 1994: 31-35 |
| 147 | EE | Ronald 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 |
| 146 | EE | Rajeev Murgai,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Optimum Functional Decomposition Using Encoding.
DAC 1994: 408-414 |
| 145 | EE | Alexander Saldanha,
Heather Harkness,
Patrick C. McGeer,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Performance Optimization Using Exact Sensitization.
DAC 1994: 425-429 |
| 144 | EE | Adnan 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 |
| 143 | EE | Maria Domenica Di Benedetto,
Pasquale Lucibello,
Alberto L. Sangiovanni-Vincentelli,
K. Yamaguchi:
Chain Closure: A Problem in Molecular CAD.
DAC 1994: 497-502 |
| 142 | EE | Patrick 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 |
| 141 | EE | Timothy Kam,
Tiziano Villa,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
A Fully Implicit Algorithm for Exact State Minimization.
DAC 1994: 684-690 |
| 140 | | Adnan Aziz,
Vigyan Singhal,
Felice Balarin,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Equivalences for Fair Kripke Structures.
ICALP 1994: 364-375 |
| 139 | EE | Eric Felt,
Amit Narayan,
Alberto L. Sangiovanni-Vincentelli:
Measurement and modeling of MOS transistor current mismatch in analog IC's.
ICCAD 1994: 272-277 |
| 138 | EE | Felice Balarin,
Alberto L. Sangiovanni-Vincentelli:
Iterative algorithms for formal verification of embedded real-time systems.
ICCAD 1994: 450-457 |
| 137 | EE | Alper 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 |
| 136 | EE | Desmond Kirkpatrick,
Alberto L. Sangiovanni-Vincentelli:
Techniques for crosstalk avoidance in the physical design of high-performance digital systems.
ICCAD 1994: 616-619 |
| 135 | EE | Eric Felt,
Alberto L. Sangiovanni-Vincentelli:
Testing of analog systems using behavioral models and optimal experimental design techniques.
ICCAD 1994: 672-678 |
| 134 | EE | Eric Tomacruz,
Jagesh V. Sanghavi,
Alberto L. Sangiovanni-Vincentelli:
A parallel iterative linear solver for solving irregular grid semiconductor device matrices.
SC 1994: 24-33 |
| 133 | EE | Alexander 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) |
| 132 | EE | Linda 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) |
| 131 | EE | Alexander 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) |
| 130 | EE | Luciano 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 |
|---|
| 129 | | Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Automated Synthesis of Asynchronous Interface Circuits.
Asynchronous Design Methodologies 1993: 107-121 |
| 128 | | Felice Balarin,
Alberto L. Sangiovanni-Vincentelli:
An Iterative Approach to Language Containment.
CAV 1993: 29-40 |
| 127 | EE | Masamichi Kawarabayashi,
Narendra V. Shenoy,
Alberto L. Sangiovanni-Vincentelli:
A Verification Technique for Gated Clock.
DAC 1993: 123-127 |
| 126 | EE | William 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 |
| 125 | EE | Edward 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 |
| 124 | EE | Rajeev Murgai,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Sequential Synthesis for Table Look Up Programmable Gate Arrays.
DAC 1993: 224-229 |
| 123 | EE | William K. C. Lam,
Alexander Saldanha,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Delay Fault Coverage and Performance Tradeoffs.
DAC 1993: 446-452 |
| 122 | EE | Narendra V. Shenoy,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Resynthesis of Multi-Phase Pipelines.
DAC 1993: 490-496 |
| 121 | EE | Patrick 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 |
| 120 | EE | Rajeev Murgai,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Cube-packing and two-level minimization.
ICCAD 1993: 115-122 |
| 119 | EE | Narendra V. Shenoy,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Minimum padding to satisfy short path constraints.
ICCAD 1993: 156-161 |
| 118 | EE | Edward W. Y. Liu,
Alberto L. Sangiovanni-Vincentelli:
Nyquist data converter testing and yield analysis using behavioral simulation.
ICCAD 1993: 341-348 |
| 117 | EE | Mark Beardslee,
Alberto L. Sangiovanni-Vincentelli:
An algorithm for improving partitions of pin-limited multi-chip systems.
ICCAD 1993: 378-385 |
| 116 | EE | Edoardo Charbon,
Enrico Malavasi,
Alberto L. Sangiovanni-Vincentelli:
Generalized constraint generation for analog circuit design.
ICCAD 1993: 408-414 |
| 115 | | Rajeev 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 |
| 114 | EE | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
Learning Complex Boolean Functions: Algorithms and Applications.
NIPS 1993: 911-918 |
| 113 | | Patrick 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 |
| 112 | | Abdul 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) |
| 111 | EE | Patrick 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) |
| 110 | EE | Umakanta 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) |
| 109 | EE | Umakanta 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) |
| 108 | EE | Sharad 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) |
| 107 | EE | Andrea Casotto,
Alberto L. Sangiovanni-Vincentelli:
Automated design management using traces.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(8): 1077-1095 (1993) |
| 106 | EE | Enrico 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 |
|---|
| 105 | | Felice Balarin,
Alberto L. Sangiovanni-Vincentelli:
A Verification Strategy for Timing-Constrained Systems.
CAV 1992: 151-163 |
| 104 | | Thomas R. Shiple,
Massimiliano Chiodo,
Alberto L. Sangiovanni-Vincentelli,
Robert K. Brayton:
Automatic Reduction in CTL Compositional Model Checking.
CAV 1992: 234-247 |
| 103 | EE | Alexander Saldanha,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation.
DAC 1992: 173-176 |
| 102 | EE | Alexander Saldanha,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited.
DAC 1992: 245-248 |
| 101 | EE | Rajeev Murgai,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
An Improved Synthesis Algorithm for Multiplexor-Based PGA's.
DAC 1992: 380-386 |
| 100 | EE | Narendra V. Shenoy,
Kanwar Jit Singh,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
On the Temporal Equivalence of Sequential Circuits.
DAC 1992: 405-409 |
| 99 | EE | Luciano Lavagno,
Cho W. Moon,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Solving the State Assignment Problem for Signal Transition Graphs.
DAC 1992: 568-572 |
| 98 | | Alberto L. Sangiovanni-Vincentelli:
Some Considerations on Field-Programmable Gate Arrays and Their Impact on System Design.
FPL 1992: 26-34 |
| 97 | EE | Alexandre Yakovlev,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
A unified signal transition graph model for asynchronous control circuit synthesis.
ICCAD 1992: 104-111 |
| 96 | EE | Narendra V. Shenoy,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Graph algorithms for clock schedule optimization.
ICCAD 1992: 132-136 |
| 95 | EE | Massimiliano Chiodo,
Thomas R. Shiple,
Alberto L. Sangiovanni-Vincentelli,
Robert K. Brayton:
Automatic compositional minimization in CTL model checking.
ICCAD 1992: 172-178 |
| 94 | EE | Edward W. Y. Liu,
Alberto L. Sangiovanni-Vincentelli:
Behavioral simulation for noise in mixed-mode sampled-data systems.
ICCAD 1992: 322-326 |
| 93 | EE | William K. C. Lam,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Valid clocking in wavepipelined circuits.
ICCAD 1992: 518-525 |
| 92 | | Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits.
ICCD 1992: 275-278 |
| 91 | | Ellen 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 |
| 90 | | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
Constructive Induction Using a Non-Greedy Strategy for Feature Selection.
ML 1992: 355-360 |
| 89 | EE | Sharad 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 |
|---|
| 88 | EE | Alexander Saldanha,
Tiziano Villa,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
A Framework for Satisfying Input and Output Encoding Constraints.
DAC 1991: 170-175 |
| 87 | EE | Luciano Lavagno,
Kurt Keutzer,
Alberto L. Sangiovanni-Vincentelli:
Algorithms for Synthesis of Hazard-Free Asynchronous Circuits.
DAC 1991: 302-308 |
| 86 | | Alberto L. Sangiovanni-Vincentelli:
Testability Solutions: Who Really Wants Them? (Panel Abstract).
DAC 1991: 611 |
| 85 | | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
LSAT-An Algorithm for the Synthesis of Two Level Threshold Gate Networks.
ICCAD 1991: 130-133 |
| 84 | | Patrick 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 |
| 83 | | Patrick C. McGeer,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Sartaj Sahni:
Performance Enhancement through the Generalized Bypass Transform.
ICCAD 1991: 184-187 |
| 82 | | Kurt Keutzer,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Synthesis for Testability Techniques for Asynchronous Circuits.
ICCAD 1991: 326-329 |
| 81 | | Edward 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 |
| 80 | | Rajeev Murgai,
Narendra V. Shenoy,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Improved Logic Synthesis Algorithms for Table Look Up Architectures.
ICCAD 1991: 564-567 |
| 79 | | Rajeev 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 |
| 78 | | Rajeev Murgai,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
On Clustering for Minimum Delay/Area.
ICCAD 1991: 6-9 |
| 77 | | Narendra V. Shenoy,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Retiming of Circuits with Single Phase Transparent Latches.
ICCD 1991: 86-89 |
| 76 | | Arlindo L. Oliveira,
Alberto L. Sangiovanni-Vincentelli:
Learning Concepts by Synthesizing Minimal Threshold Gate Networks.
ML 1991: 193-197 |
| 75 | | Alberto L. Sangiovanni-Vincentelli:
Editor's Foreword.
Algorithmica 6(3): 295-301 (1991) |
| 74 | | Fabio Romeo,
Alberto L. Sangiovanni-Vincentelli:
A Theoretical Framework for Simulated Annealing.
Algorithmica 6(3): 302-345 (1991) |
| 73 | EE | Sharad 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) |
| 72 | EE | Giorgio 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) |
| 71 | EE | Abdul 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) |
| 70 | EE | Donald 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 |
|---|
| 69 | EE | Andrea Casotto,
A. Richard Newton,
Alberto L. Sangiovanni-Vincentelli:
Design Management Based on Design Traces.
DAC 1990: 136-141 |
| 68 | EE | Abdul 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 |
| 67 | | Alberto L. Sangiovanni-Vincentelli:
Testing Strategies for the 1990's (Panel Abstract).
DAC 1990: 338 |
| 66 | EE | Kanwar Jit Singh,
Alberto L. Sangiovanni-Vincentelli:
A Heuristic Algorithm for the Fanout Problem.
DAC 1990: 357-360 |
| 65 | EE | Umakanta Choudhury,
Alberto L. Sangiovanni-Vincentelli:
Constraint Generation for Routing Analog Circuits.
DAC 1990: 561-566 |
| 64 | EE | Rajeev Murgai,
Yoshihito Nishizaki,
Narendra V. Shenoy,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Logic Synthesis for Programmable Gate Arrays.
DAC 1990: 620-625 |
| 63 | | Linda Milor,
Alberto L. Sangiovanni-Vincentelli:
Computing Parametric Yield Accurately and Efficiently.
ICCAD 1990: 116-119 |
| 62 | | Hervé 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 |
| 61 | | Umakanta Choudhury,
Alberto L. Sangiovanni-Vincentelli:
Constraint-Based Channel Routing for Analog and Mixed Analog/Digital Circuits.
ICCAD 1990: 198-201 |
| 60 | | Enrico Malavasi,
Umakanta Choudhury,
Alberto L. Sangiovanni-Vincentelli:
A Routing Methodology for Analog Integrated Circuits.
ICCAD 1990: 202-205 |
| 59 | | Gani Jusuf,
Paul R. Gray,
Alberto L. Sangiovanni-Vincentelli:
CADICS - Cyclic Analog-to-Digital Converter Synthesis.
ICCAD 1990: 286-289 |
| 58 | | Linda Milor,
Alberto L. Sangiovanni-Vincentelli:
Optimal Test Set Design for Analog Circuits.
ICCAD 1990: 294-297 |
| 57 | | Sharad Malik,
Kanwar Jit Singh,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Performance Optimization of Pipelined Circuits.
ICCAD 1990: 410-413 |
| 56 | | Alexander Saldanha,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Kwang-Ting Cheng:
Timing Optimization with Testability Considerations.
ICCAD 1990: 460-463 |
| 55 | | Luciano 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 |
| 54 | EE | Srinivas 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) |
| 53 | EE | Hyunchul 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) |
| 52 | EE | Tiziano 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 |
|---|
| 51 | EE | Mitsuru Igusa,
Mark Beardslee,
Alberto L. Sangiovanni-Vincentelli:
ORCA a Sea-of-Gates Place and Route System.
DAC 1989: 122-127 |
| 50 | EE | Alexander 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 |
| 49 | EE | Tiziano Villa,
Alberto L. Sangiovanni-Vincentelli:
NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations.
DAC 1989: 327-332 |
| 48 | EE | N. Weiner,
Alberto L. Sangiovanni-Vincentelli:
Timing Analysis in a Logic Synthesis Environment.
DAC 1989: 655-661 |
| 47 | | Alberto L. Sangiovanni-Vincentelli:
Design Methods and Tools for Application Specific Integrated Circuits.
IFIP Congress 1989: 903 |
| 46 | EE | Srinivas 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) |
| 45 | EE | Hi-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) |
| 44 | EE | George 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 |
|---|
| 43 | | Alberto L. Sangiovanni-Vincentelli:
Optimal Logic Synthesis and Testability : Two Sides of the Same Coin.
ITC 1988: 3-12 |
| 42 | | Srinivas 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 |
| 41 | | Hi-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 |
| 40 | EE | Alan H. Kramer,
Alberto L. Sangiovanni-Vincentelli:
Efficient Parallel Learning Algorithms for Neural Networks.
NIPS 1988: 40-48 |
| 39 | EE | Hi-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) |
| 38 | EE | Roberto 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) |
| 37 | EE | Srinivas 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) |
| 36 | EE | William 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) |
| 35 | EE | Douglas 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) |
| 34 | EE | Karen 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) |
| 33 | EE | Giorgio 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 |
|---|
| 32 | EE | Donald M. Webber,
Alberto L. Sangiovanni-Vincentelli:
Circuit Simulation on the Connection Machine.
DAC 1987: 108-113 |
| 31 | EE | Hi-Keung Tony Ma,
Srinivas Devadas,
Alberto L. Sangiovanni-Vincentelli,
R. Wei:
Logic Verification Algorithms and Their Parallel Implementation.
DAC 1987: 283-290 |
| 30 | EE | Richard 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) |
| 29 | EE | Andrea 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) |
| 28 | EE | Robert 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) |
| 27 | EE | Hyunchul 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 |
|---|
| 26 | EE | Hyunchul Shin,
Alberto L. Sangiovanni-Vincentelli,
Carlo H. Séquin:
Two-dimensional compaction by ``zone refining''.
DAC 1986: 115-122 |
| 25 | EE | Carl Sechen,
Alberto L. Sangiovanni-Vincentelli:
TimberWolf3.2: a new standard cell placement and global routing package.
DAC 1986: 432-439 |
| 24 | EE | Douglas 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 |
| 23 | EE | Hi-Keung Tony Ma,
Alberto L. Sangiovanni-Vincentelli:
Mixed-level fault coverage estimation.
DAC 1986: 553-559 |
| 22 | EE | Howard S. Rifkin,
William Heller,
Steve Law,
Misha Burich,
Alberto L. Sangiovanni-Vincentelli:
Floor planning systems (panel session).
DAC 1986: 630 |
| 21 | | Carlo H. Séquin,
A. Richard Newton,
Alberto L. Sangiovanni-Vincentelli:
Highlights of VLSI Research at Berkeley.
FJCC 1986: 894-897 |
| 20 | | Ruey-Sing Wei,
Alberto L. Sangiovanni-Vincentelli:
New Front-End and Line Justification Algorithm for Automatic Test Generation.
ITC 1986: 121-128 |
| 19 | | Alberto L. Sangiovanni-Vincentelli,
Ruey-Sing Wei:
PROTEUS : A Logic Verification System for Combinational Circuits.
ITC 1986: 350-359 |
| 18 | EE | David 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) |
| 17 | EE | Giovanni 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-239 (1986) |
| 16 | EE | Kenneth 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) |
| 15 | EE | Ruey-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 |
|---|
| 14 | EE | Ruey-Sing Wei,
Alberto L. Sangiovanni-Vincentelli:
PLATYPUS: a PLA test pattern generation tool.
DAC 1985: 197-203 |
| 13 | EE | James 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) |
| 12 | EE | Giovanni 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 |
|---|
| 11 | EE | V. 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) |
| 10 | EE | Giovanni 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-256 (1984) |
| 9 | EE | A. 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 |
|---|
| 8 | EE | Giovanni 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) |
| 7 | EE | Giovanni 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 |
|---|
| 6 | | Ion M. Ratiu,
Alberto L. Sangiovanni-Vincentelli,
Donald O. Pederson:
VICTOR : A Fast VLSI Testability Analysis Program.
ITC 1982: 397-403 |
| 5 | EE | Gary 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) |
| 4 | EE | Ekachai 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 |
|---|
| 3 | | V. Visvanathan,
Alberto L. Sangiovanni-Vincentelli:
Diagnosability of Nonlinear Circuits and Systems - Part I: The dc Case.
IEEE Trans. Computers 30(11): 889-898 (1981) |
| 2 | | Richard 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 |
|---|
| 1 | | Alberto L. Sangiovanni-Vincentelli,
Marco Somalvico:
State-Space Approach in Problem-solving Optimization.
Optimization Techniques 1973: 144-158 |
