Alberto L. Sangiovanni-Vincentelli

发表

Alberto L. Sangiovanni-Vincentelli, Mireille E. Broucke, Maria Domenica Di Benedetto, 2005, SIAM J. Control. Optim..

Alberto L. Sangiovanni-Vincentelli, Xuening Sun, Pierluigi Nuzzo, 2009, 2009 46th ACM/IEEE Design Automation Conference.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1994, IEEE Micro.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1994, 31st Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Alberto Puggelli, 2014, 2014 International Conference on Embedded Software (EMSOFT).

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2015, Proc. IEEE.

Alberto L. Sangiovanni-Vincentelli, Jacob K. White, Luca Daniel, 2001, DAC '01.

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Guoqiang Wang, 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Andrea Balluchi, 2008, 2008 47th IEEE Conference on Decision and Control.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sharad Malik, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Peter Marwedel, Haibo Zeng, 2014, Embedded Systems Development, From Functional Models to Implementations.

Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, 2004, 2004 IEEE International Conference on Communications (IEEE Cat. No.04CH37577).

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Gary D. Hachtel, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Francesco Chirico, 2014, MoDELS.

Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Roberto Passerone, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Harry Hsieh, 2000, Proceedings 37th Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Jörg Desel, Yosinori Watanabe, 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Vasumathi Raman, 2018, ADHS.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Vasumathi Raman, 2017, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1993, NIPS.

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, John B. Finn, 2013, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla, Mehdi Maasoumy, 2014, 2014 American Control Conference.

Robert K. Brayton, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Pasquale Lucibello, 1994, 31st Design Automation Conference.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Laura Vanzago, 2010, International Symposium on Industrial Embedded System (SIES).

Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Pierpaolo Murrieri, 2005, HSCC.

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Wilsin Gosti, 2007, Int. J. Appl. Math. Comput. Sci..

Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos, Yuxun Zhou, 2018, Proceedings of the IEEE.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Claudio Pinello, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Tim Tuan, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Christoph M. Kirsch, 2008, 2008 Design, Automation and Test in Europe.

Alberto L. Sangiovanni-Vincentelli, Xi Chen, Yosinori Watanabe, 2005, Proceedings. 42nd Design Automation Conference, 2005..

Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto, A. Sangiovanni-Vincentelli, 2017, Syst. Eng..

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Mehdi Maasoumy, 2017, 2017 13th IEEE Conference on Automation Science and Engineering (CASE).

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, 2018, Principles of Modeling.

Alberto L. Sangiovanni-Vincentelli, Marcello Lajolo, Jie Liu, 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Pierluigi Nuzzo, 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).

Alberto L. Sangiovanni-Vincentelli, Giancarlo Fortino, Antonio Guerrieri, 2008, BODYNETS.

Alberto L. Sangiovanni-Vincentelli, Florian Hofer, Ines Ugalde, 2019, 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom).

Carlo Fischione, Luca Necchi, Alvise Bonivento, 2007, IEEE Transactions on Industrial Informatics.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1995, Proceedings of the 8th International Conference on VLSI Design.

Alberto L. Sangiovanni-Vincentelli, Grant Martin, 2001, CASES '01.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1993, 30th ACM/IEEE Design Automation Conference.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 2000, Proceedings 2000 International Conference on Computer Design.

Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Andrea Balluchi, 1999, Autom..

Alberto L. Sangiovanni-Vincentelli, Felice Balarin, 1994, ICCAD.

Alberto L. Sangiovanni-Vincentelli, Amit Mehrotra, A. Sangiovanni-Vincentelli, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

Alberto L. Sangiovanni-Vincentelli, Xuening Sun, Chang-Ching Wu, 2010, Proceedings of 2010 IEEE International Symposium on Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei, A. Sangiovanni-Vincentelli, 1986, ITC.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2003, FMCO.

Alberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Deepak Mathaikutty, 2009, IEEE Design & Test of Computers.

Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Jim Lansford, 1999, DAC '99.

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Abhijit Davare, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

Carlo Fischione, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, 2005, IEEE International Conference on Mobile Adhoc and Sensor Systems Conference, 2005..

Alberto L. Sangiovanni-Vincentelli, James A. Rowson, 1997, DAC.

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Andrea Sindico, 2012, MODELS'12.

Alberto L. Sangiovanni-Vincentelli, Mihai T. Lazarescu, Marcello Lajolo, 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Stefano Di Gennaro, 2003, Autom..

Alberto L. Sangiovanni-Vincentelli, Mehdi Maasoumy, A. Sangiovanni-Vincentelli, 2016, Found. Trends Electron. Des. Autom..

Alberto L. Sangiovanni-Vincentelli, Georges G. E. Gielen, Paul R. Gray, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2014, IEEE Transactions on Automatic Control.

Alberto L. Sangiovanni-Vincentelli, David Q. Mayne, Elijah Polak, 1982, Autom..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Alexander Saldanha, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, 1996, Proceedings of 9th International Conference on VLSI Design.

Alberto L. Sangiovanni-Vincentelli, Alberto Puggelli, Andreas Kuehlmann, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Claudio Passerone, 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Sinem Coleri Ergen, 2008, IEEE GLOBECOM 2008 - 2008 IEEE Global Telecommunications Conference.

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, John B. Finn, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Alberto L. Sangiovanni-Vincentelli, 2012, IEEE Design & Test of Computers.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1993, 30th ACM/IEEE Design Automation Conference.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1992, ICCAD.

Alberto L. Sangiovanni-Vincentelli, Shiyan Hu, Xin Li, 2018, Proc. IEEE.

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, 1995, ICML.

Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Sicheng Zhao, 2019, 2019 IEEE/CVF International Conference on Computer Vision (ICCV).

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Zhen Yu Song, 2014, Sensors.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Vasumathi Raman, 2014, 53rd IEEE Conference on Decision and Control.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Mário J. Silva, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Sanjit A. Seshia, 2018, ICMR.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Jerry R. Burch, 2004, EMSOFT '04.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, Masamichi Kawarabayashi, 1993, 30th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin, 2019, HSCC.

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Leonardo Mangeruca, 2020, GandALF.

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, George J. Pappas, 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Radu Marculescu, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, 2006, DATE.

Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, David Blaauw, 2011, 2011 Symposium on VLSI Circuits - Digest of Technical Papers.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Marcello Lajolo, 1999, Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198).

Alberto L. Sangiovanni-Vincentelli, Mauro Santomauro, James Reed, 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Umakanta Choudhury, 1991, DAC '90.

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, 2014, FPS@ETAPS.

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Yang Yang, 2010, IEEE Transactions on Industrial Informatics.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, 1986, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, 1999, ICATPN.

Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Andrea Balluchi, 2002, HSCC.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev K. Ranjan, 1996, DAC '96.

Robert K. Brayton, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Benedetto Vigna, 2017, 2017 7th IEEE International Workshop on Advances in Sensors and Interfaces (IWASI).

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Jan Craninckx, 2009, 2009 Symposium on VLSI Circuits.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Paul R. Stephan, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Vasumathi Raman, 2014, BuildSys@SenSys.

Alberto L. Sangiovanni-Vincentelli, Yuxin Chen, Xiangyu Yue, 2020, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Umakanta Choudhury, A. Sangiovanni-Vincentelli, 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Eliane Fourgeau, 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Alberto L. Sangiovanni-Vincentelli, David C. Riley, 1986, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis, Antonio Iannopollo, 2016, FACS.

Alberto L. Sangiovanni-Vincentelli, Arkadeb Ghosal, Paolo Giusto, 2010, Design Automation Conference.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2008, Discret. Event Dyn. Syst..

Alberto L. Sangiovanni-Vincentelli, Xi Chen, Eric Cheung, 2009, Des. Autom. Embed. Syst..

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Alessandro Pinto, 2008, IEEE Design & Test of Computers.

Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Wei Zheng, 2009, 2009 46th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Shromona Ghosh, 2019, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Emanuele Mazzi, Luca Benvenuti, 2008, HSCC.

Alberto L. Sangiovanni-Vincentelli, 2003, IEEE Des. Test Comput..

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, A. Sangiovanni-Vincentelli, 2010, Proceedings of the IEEE.

Alberto L. Sangiovanni-Vincentelli, 2000, HSCC.

Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Luca Daniel, 2003, ICCAD.

Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha, 1996, DAC '96.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2007, GLSVLSI '07.

Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, A. Richard Newton, 1983, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2007, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Sébastien Gérard, François Terrier, 2009, IEEE Design & Test of Computers.

Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, C. Rossi, 1998, HSCC.

Alberto L. Sangiovanni-Vincentelli, Donald M. Webber, 1987, 24th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Yuxun Zhou, Pierluigi Nuzzo, 2015, BuildSys@SenSys.

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Dewei Li, 2017, MEMOCODE.

Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Kenneth L. McMillan, 1995, ICCAD.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, 2000, IEEE Des. Test Comput..

Alberto L. Sangiovanni-Vincentelli, Alessandra Nardi, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Alberto L. Sangiovanni-Vincentelli, Enrico Malavasi, Umakanta Choudhury, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Jyuo-Min Shyu, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Alberto Ferrari, Leonardo Mangeruca, 2007, TECS.

Alberto L. Sangiovanni-Vincentelli, Ufuk Topcu, Yisong Yue, 2019, 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA).

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1994, 31st Design Automation Conference.

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, 2001, IEEE Trans. Autom. Control..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Adnan Aziz, 1995, ICCAD.

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Pierangelo Terreni, 2005, 2005 IEEE International Symposium on Circuits and Systems.

Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, 2005, 2nd International Workshop Networking with Ultra Wide Band and Workshop on Ultra Wide Band for Sensor Networks, 2005. Networking with UWB 2005..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Szu-Tsung Cheng, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1994, 31st Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Desmond Kirkpatrick, 1994, ICCAD.

Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Emanuele Mazzi, 2007, HSCC.

Alberto L. Sangiovanni-Vincentelli, 2008, IEEE Design & Test of Computers.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Jerry R. Burch, 2001, EMSOFT.

Alberto L. Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2007, EMSOFT '07.

Alberto L. Sangiovanni-Vincentelli, Mehdi Maasoumy, A. Sangiovanni-Vincentelli, 2012, IEEE Design & Test of Computers.

Alberto L. Sangiovanni-Vincentelli, Jacob K. White, Luca Daniel, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..

Carlo Fischione, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, 2008, 2008 5th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1993, 30th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Sinem Coleri Ergen, Assane Gueye, 2009, GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference.

Alberto L. Sangiovanni-Vincentelli, Mitsuru Igusa, Mark Beardslee, 1989, 26th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Carlo H. Séquin, Hyunchul Shin, 1986, 23rd ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Kim G. Larsen, Dejan Nickovic, 2018, Found. Trends Electron. Des. Autom..

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Daniel J. Fremont, 2020, ArXiv.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, 2003, Computer.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang, 1989, 26th ACM/IEEE Design Automation Conference.

Tiziano Villa, Stephen A. Edwards, Szu-Tsung Cheng, 1996, CAV.

Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei, 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1992, ICCAD.

Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Karl Henrik Johansson, 2009, 2009 6th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1994, Des. Autom. Embed. Syst..

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, 2006, ADHS.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1993, The Sixth International Conference on VLSI Design.

Alberto L. Sangiovanni-Vincentelli, Xuening Sun, Pierluigi Nuzzo, 2010, EURASIP J. Embed. Syst..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, 1998, Proceedings. 11th International Symposium on System Synthesis (Cat. No.98EX210).

Alberto L. Sangiovanni-Vincentelli, Edward W. Y. Liu, Henry C. Chang, 1993, 30th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, 1984, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Pieter J. Mosterman, Marco Di Natale, 2009, 2009 International Conference on Embedded Software and Systems.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, A. Sangiovanni-Vincentelli, 2008, Concurrency, Graphs and Models.

Alberto L. Sangiovanni-Vincentelli, Felice Balarin, A. Sangiovanni-Vincentelli, 1994, CAV.

Alberto L. Sangiovanni-Vincentelli, Richard L. Rudell, A. Sangiovanni-Vincentelli, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla, Yuxin Chen, 2020, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Jerry R. Burch, 2001, Proceedings Second International Conference on Application of Concurrency to System Design.

Alberto L. Sangiovanni-Vincentelli, Robert G. Meyer, Edoardo Charbon, 1996, Proceedings of International Conference on Computer Aided Design.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Bassam Tabbara, 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

Alberto L. Sangiovanni-Vincentelli, Marco Somalvico, 1973, Optimization Techniques.

Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Shinjiro Kakita, 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Amit Narayan, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Jerry R. Burch, 2007, Formal Methods Syst. Des..

Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Pengfei Xu, 2020, IEEE Transactions on Cybernetics.

Alberto L. Sangiovanni-Vincentelli, Guoqiang Wang, Andreas Kuehlmann, 2003, Proceedings 21st International Conference on Computer Design.

Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, Sharad Malik, 2000, DAC.

Alberto L. Sangiovanni-Vincentelli, Enrico Malavasi, A. Sangiovanni-Vincentelli, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Judith Liebman, 2002, EMSOFT.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Bill Lin, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Jan H. van Schuppen, 2004, HSCC.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1995, 32nd Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Marco Di Natale, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Guoqiang Wang, 2010, IEEE Transactions on Industrial Informatics.

Alberto L. Sangiovanni-Vincentelli, Edward W. Y. Liu, 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Tiziano Villa, Robert K. Brayton, Alexander Saldanha, 1991, 28th ACM/IEEE Design Automation Conference.

Tiziano Villa, Robert K. Brayton, Alexander Saldanha, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, George J. Pappas, 2018, Proceedings of the IEEE.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Marco Sgroi, 2004, Proceedings. 41st Design Automation Conference, 2004..

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Marco Sabatini, 2008, 2008 Design, Automation and Test in Europe.

Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, 2001 .

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1993, 30th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Mehdi Maasoumy, Forrest Meggers, 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

Alberto L. Sangiovanni-Vincentelli, Alberto Ferrari, Leonardo Mangeruca, 2003, CASES '03.

Alberto L. Sangiovanni-Vincentelli, Wei Zheng, Jike Chong, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).

Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti, Alberto Ferrari, 2000, DATE '00.

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1994, IEEE Micro.

Hokeun Kim, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, 2013, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, James A. Rowson, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis, 2002 .

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1990, DAC.

Alberto L. Sangiovanni-Vincentelli, Bassam Tabbara, Abdallah Tabbara, 2000, CODES '00.

Alberto L. Sangiovanni-Vincentelli, Björn Hartmann, Rohit Ramesh, 2017, SCF.

Carlo Fischione, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, 2011, IEEE Transactions on Mobile Computing.

Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Jan M. Rabaey, 2000, CODES '00.

Robert K. Brayton, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Hugo De Man, 2013, DATE '13.

Alberto L. Sangiovanni-Vincentelli, N. Weiner, 1989, 26th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Marek Jersak, Hermann Kopetz, 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Brian P. Otis, 2005, Proceedings of the IEEE 2005 Custom Integrated Circuits Conference, 2005..

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Paolo Giusto, 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, A. Sangiovanni-Vincentelli, 1983, IEEE Transactions on Electron Devices.

Alberto L. Sangiovanni-Vincentelli, Jacob K. White, Luca Daniel, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, Hi-Keung Tony Ma, 1987, 24th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Wilsin Gosti, Sunil P. Khatri, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Stavros Tripakis, 2014, J. Syst. Archit..

Alberto L. Sangiovanni-Vincentelli, Gregor Gößler, A. Sangiovanni-Vincentelli, 2002, EMSOFT.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2001, RTSS.

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Gary D. Hachtel, 1982, 19th Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Alessandro Pinto, 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Yang Yang, Qi Zhu, 2010, 2010 31st IEEE Real-Time Systems Symposium.

Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Pasquale Lucibello, 2000, J. Comput. Chem..

Alberto L. Sangiovanni-Vincentelli, Alper Demir, Edoardo Charbon, 1996, Proceedings of International Conference on Computer Aided Design.

Alberto L. Sangiovanni-Vincentelli, Carlo Guardiani, Eric Felt, 1996, Proceedings of International Conference on Computer Aided Design.

Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, John Moondanos, 2005, 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, 1991, DAC '90.

Alberto L. Sangiovanni-Vincentelli, Jacob K. White, Kenneth S. Kundert, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, David C. Riley, William Nye, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, George J. Pappas, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Alberto L. Sangiovanni-Vincentelli, Donald O. Pederson, Ion M. Ratiu, 1982, ITC.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, 2003, 16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings..

Alberto L. Sangiovanni-Vincentelli, V. Visvanathan, Richard Saeks, 1981, IEEE Transactions on Computers.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Wei Zheng, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang, 2018, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).

Alberto L. Sangiovanni-Vincentelli, Forrest N. Iandola, Maryam Kamgarpour, 2013, 52nd IEEE Conference on Decision and Control.

Robert K. Brayton, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Guoqiang Wang, 2009, IEEE Transactions on Industrial Informatics.

Alberto L. Sangiovanni-Vincentelli, Robert G. Meyer, Edoardo Charbon, 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Alberto Ferrari, Leonardo Mangeruca, 2005, EMSOFT.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Alberto Puggelli, 2013, CAV.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.

Alberto L. Sangiovanni-Vincentelli, Daniela De Venuto, Eugenio Di Sciascio, 2018, ACM Trans. Cyber Phys. Syst..

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin, 2018, ArXiv.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Mehrotra, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Alberto L. Sangiovanni-Vincentelli, Björn Hartmann, Elad Alon, 2019, CHI.

Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, 2010, IEEE Transactions on Industrial Informatics.

Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, 2006, ACM Trans. Design Autom. Electr. Syst..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1995, Proceedings the European Design and Test Conference. ED&TC 1995.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Qi Zhu, 2013, ACM Trans. Embed. Comput. Syst..

Alberto L. Sangiovanni-Vincentelli, Donatella Sciuto, 2014, IEEE Des. Test.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1992, ICCAD.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Praveen K. Murthy, 1998, IEEE Des. Test Comput..

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Andrea Balluchi, 2007, Int. J. Control.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kanwar Jit Singh, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Pierluigi Nuzzo, 2010, Formal Methods in Computer Aided Design.

Alberto L. Sangiovanni-Vincentelli, Albert E. Ruehli, Ekachai Lelarasmee, 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Alberto Puggelli, 2012, 2012 International Conference on Computing, Networking and Communications (ICNC).

Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, A. Sangiovanni-Vincentelli, 1983, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Daniela De Venuto, A. Sangiovanni-Vincentelli, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Karl Henrik Johansson, 2008, IEEE Journal on Selected Areas in Communications.

Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto, 2008, IEEE GLOBECOM 2008 - 2008 IEEE Global Telecommunications Conference.

Alberto L. Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Gary York, 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, 2002, Concurrency and Hardware Design.

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, Kartikeya Mayaram, 1986, 23rd ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei, A. Sangiovanni-Vincentelli, 1986, ITC.

Alberto L. Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1995, Int. J. Circuit Theory Appl..

Alberto L. Sangiovanni-Vincentelli, Liangpeng Guo, Alessandro Pinto, 2013, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

Alberto L. Sangiovanni-Vincentelli, Jacob K. White, Andrew Lumsdaine, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Kei Suzuki, 1996, DAC '96.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kanwar Jit Singh, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Paul K. Wright, 2007, IET Comput. Digit. Tech..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1997, Proceedings of ASP-DAC '97: Asia and South Pacific Design Automation Conference.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Alexander Saldanha, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Chung-Wei Lin, 2014, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Karl Henrik Johansson, 2009, 2009 International Conference on Information Processing in Sensor Networks.

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Luigi Palopoli, 2002, HSCC.

Alberto L. Sangiovanni-Vincentelli, Bernhard Josko, Marco Di Natale, 2008, 2008 Design, Automation and Test in Europe.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1996, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.

Alberto L. Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1993, ICCAD.

Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, 2011, IEEE Transactions on Industrial Informatics.

Alberto L. Sangiovanni-Vincentelli, 2000, ISQED.

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Stavros Tripakis, 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).

Alberto L. Sangiovanni-Vincentelli, Mireille E. Broucke, Maria Domenica Di Benedetto, 2000, HSCC.

Alberto L. Sangiovanni-Vincentelli, Edward W. Y. Liu, 1992, ICCAD.

Alberto L. Sangiovanni-Vincentelli, Ulrich Lauther, Steven Trimberger, 1994, DAC '94.

Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, Amit Narayan, 1997, Proceedings Tenth International Conference on VLSI Design.

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1989, 26th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Amit Mehrotra, Kaustav Banerjee, 1999, DAC '99.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Kenneth L. McMillan, 1999, CAV.

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1993, 30th ACM/IEEE Design Automation Conference.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1999, 32nd Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Fernando De Bernardinis, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, 2003, First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Carlo H. Séquin, 1986, FJCC.

Alberto L. Sangiovanni-Vincentelli, S. Goto, A. Sangiovanni-Vincentelli, 1978, Networks.

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Shromona Ghosh, 2017, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Yishai A. Feldman, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone, 2005, HSCC.

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Luigi Palopoli, 2005, IEEE Transactions on Automatic Control.

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Stavros Tripakis, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia, 2016, HSCC.

Alberto L. Sangiovanni-Vincentelli, Michael I. Jordan, Fernando De Bernardinis, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Baosen Zhang, Baihong Jin, 2019, 2019 American Control Conference (ACC).

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, 1998, Proceedings of the 8th Great Lakes Symposium on VLSI (Cat. No.98TB100222).

Alberto L. Sangiovanni-Vincentelli, Alberto Ferrari, A. Sangiovanni-Vincentelli, 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

Alberto L. Sangiovanni-Vincentelli, Alex Kondratyev, Abhijit Davare, 2004, Proceedings. 41st Design Automation Conference, 2004..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Claudio Passerone, 1997, DAC.

Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, A. Sangiovanni-Vincentelli, 2012, 2012 International Conference on Cyber Security.

Alberto L. Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1996, Proceedings of International Conference on Computer Aided Design.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Kenneth L. McMillan, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Richard M. Murray, 2014, IEEE Access.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Marco Sgroi, 2005, The Industrial Information Technology Handbook.

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Sanjit A. Seshia, 2018, IJCAI.

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, 2009, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Mehdi Maasoumy, A. Sangiovanni-Vincentelli, 2015, International Conference on Computer Aided Design.

Alberto L. Sangiovanni-Vincentelli, Xuening Sun, Sinem Coleri Ergen, 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Narayan, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Antonia Bertolino, 2006, MoDELS'06.

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Andrea Balluchi, 2006, HSCC.

Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis, Antonio Iannopollo, 2019, Sci. Comput. Program..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Francesco Chirico, 2018, Software & Systems Modeling.

Alberto L. Sangiovanni-Vincentelli, Alan H. Kramer, A. Sangiovanni-Vincentelli, 1988, NIPS.

Alberto L. Sangiovanni-Vincentelli, Carl Sechen, 1986, 23rd ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz, Roberto Passerone, 2015, WESE.

Alberto L. Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1996, DAC '96.

Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Karl Henrik Johansson, 2009, IEEE Transactions on Wireless Communications.

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1991, DAC.

Alberto L. Sangiovanni-Vincentelli, Adam Donlin, Douglas Densmore, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Kenneth L. McMillan, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

Alberto L. Sangiovanni-Vincentelli, Fabio Romeo, F. Romeo, 1991, Algorithmica.

Alberto L. Sangiovanni-Vincentelli, Alessandra Nardi, A. Sangiovanni-Vincentelli, 2004, IEEE Design & Test of Computers.

Alberto L. Sangiovanni-Vincentelli, Wei Zheng, Marco Di Natale, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

Alberto L. Sangiovanni-Vincentelli, Amit Narayan, Eric Felt, 1994, ICCAD.

Alberto L. Sangiovanni-Vincentelli, Harry Hsieh, 1997, CODES.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 1999, DAC '99.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, 1991, 28th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Pierluigi Nuzzo, 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).

Alberto L. Sangiovanni-Vincentelli, Sharad Malik, Kurt Keutzer, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

Alberto L. Sangiovanni-Vincentelli, 2005, Design, Automation and Test in Europe.

Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Alberto Ferrari, 2005, Design, Automation and Test in Europe.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2006, EMSOFT '06.

Alberto L. Sangiovanni-Vincentelli, Linda S. Milor, A. Sangiovanni-Vincentelli, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Xiangyu Yue, Qiushi Cui, 2020, ArXiv.

Andy J. Wellings, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 2005, TECS.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, A. Sangiovanni-Vincentelli, 2006, Formal Methods Syst. Des..

Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Arkadeb Ghosal, 2013, IEEE Embed. Syst. Lett..

Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Qi Zhu, 2015, IEEE Embedded Systems Letters.

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2007, VLSI Design.

Alberto L. Sangiovanni-Vincentelli, Davide Pandini, Edoardo Charbon, 1994, 31st Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Marco Sgroi, 2000, 2000 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.00CH37100).

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Felice Balarin, 2000, DAC.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Roberto Lojacono, 1999, ISCAS'99. Proceedings of the 1999 IEEE International Symposium on Circuits and Systems VLSI (Cat. No.99CH36349).

Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto, A. Sangiovanni-Vincentelli, 2005, SIGBED.

Alberto L. Sangiovanni-Vincentelli, Xi Chen, Harry Hsieh, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone, 2006, Found. Trends Electron. Des. Autom..

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Claudio Passerone, 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

Alberto L. Sangiovanni-Vincentelli, V. Visvanathan, 1984, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Paolo Giusto, Chung-Wei Lin, 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Emanuele Mazzi, Luca Benvenuti, 2008, 2008 47th IEEE Conference on Decision and Control.

Alberto L. Sangiovanni-Vincentelli, Gabriele Luculli, 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1998, Des. Autom. Embed. Syst..

Alberto L. Sangiovanni-Vincentelli, Paolo Giusto, Chung-Wei Lin, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2019, ISPD.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1994, 31st Design Automation Conference.

Davide Bresolin, Luca Geretti, Tiziano Villa, 2015, Proceedings of the IEEE.

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Haibo Zeng, 2012, TECS.

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2014, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Claudio Pinello, Trevor Meyerowitz, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, 2009, 2009 IEEE International Symposium on Industrial Embedded Systems.

Alberto L. Sangiovanni-Vincentelli, Mehdi Maasoumy, Roberto Horowitz, 2015, 2015 American Control Conference (ACC).

Alberto L. Sangiovanni-Vincentelli, Roberto Guerrieri, Toru Toyabe, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Alberto Ferrari, Leonardo Mangeruca, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

Alberto L. Sangiovanni-Vincentelli, Grant Martin, A. Sangiovanni-Vincentelli, 2001, IEEE Des. Test Comput..

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2005, EMSOFT.

Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, Amit Narayan, 1996, Proceedings of International Conference on Computer Aided Design.

Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla, Baihong Jin, 2019, 2019 IEEE International Conference on Prognostics and Health Management (ICPHM).

Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Sanjit A. Seshia, 2020, IEEE Transactions on Neural Networks and Learning Systems.

Alberto L. Sangiovanni-Vincentelli, Mirko Sauermann, Dominik Langen, 2008, 2008 Design, Automation and Test in Europe.

Alberto L. Sangiovanni-Vincentelli, Massimo Conti, Valerio Frascolla, 2002, FPL.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

Alberto L. Sangiovanni-Vincentelli, Carlo H. Séquin, Hyunchul Shin, 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Radu Marculescu, Alberto L. Sangiovanni-Vincentelli, Borivoje Nikolic, 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2007, Proceedings of the IEEE.

Alberto L. Sangiovanni-Vincentelli, Mireille E. Broucke, Maria Domenica Di Benedetto, 2001, HSCC.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Carlo Guardiani, 2001, Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design.

Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla, Yuxin Chen, 2019, 2019 IEEE International Conference on Prognostics and Health Management (ICPHM).

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Christopher Umans, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Narayan, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Alberto L. Sangiovanni-Vincentelli, Douglas Densmore, Sanjay Rekhi, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Yanmei Li, 2008, 2008 IEEE Wireless Communications and Networking Conference.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Thomas A. Henzinger, 2002, ICCAD 2002.

Alberto L. Sangiovanni-Vincentelli, Roberto Guerrieri, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, 2019, IWASI.

Alberto L. Sangiovanni-Vincentelli, Fernando De Bernardinis, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Alberto L. Sangiovanni-Vincentelli, Christopher Hegarty, Walden C. Rhines, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Adnan Aziz, 1994, CAV.

Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin, 2004, EMSOFT '04.

Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei, A. Sangiovanni-Vincentelli, 1986, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Alberto Puggelli, 2015, IEEE Systems Journal.

Alberto L. Sangiovanni-Vincentelli, Alper Demir, Edward W. Y. Liu, 1994, ICCAD '94.

Alberto L. Sangiovanni-Vincentelli, Felice Balarin, A. Sangiovanni-Vincentelli, 1992, CAV.

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, Hi-Keung Tony Ma, 1989 .

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, John B. Finn, 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Alberto L. Sangiovanni-Vincentelli, Ekachai Lelarasmee, 1982, DAC.

Alberto L. Sangiovanni-Vincentelli, Hi-Keung Tony Ma, 1986, 23rd ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2008, TECS.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Andrea Casotto, Fabio Romeo, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Alessandro Pinto, 2002, DAC '02.

Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Ruzena Bajcsy, 2014, AAAI Spring Symposia.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Daniel J. Fremont, 2018, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Hyunchul Shin, A. Sangiovanni-Vincentelli, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Gabriele Serra, 2007, 2007 European Control Conference (ECC).

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, 1998, IEEE Trans. Computers.

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Yang Yang, 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

Alberto L. Sangiovanni-Vincentelli, Giorgio Casinovi, A. Sangiovanni-Vincentelli, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Linda S. Milor, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Alper Demir, Edward W. Y. Liu, 1996 .

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sharad Malik, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, 1992, ML.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1994, 31st Design Automation Conference.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Alexandre Yakovlev, 1996, Formal Methods Syst. Des..

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Alessandro Pinto, 2003, Proceedings 21st International Conference on Computer Design.

Radu Marculescu, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Massimo Baleani, 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1994, J. VLSI Signal Process..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1994, CODES.

Carlo Fischione, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, 2006, 2006 IEEE 63rd Vehicular Technology Conference.

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2003, IEEE Micro.

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Reinhard Wilhelm, 2008, 2008 Design, Automation and Test in Europe.

Alberto L. Sangiovanni-Vincentelli, George W. Rhyne, Michael Steer, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Edoardo Charbon, 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2003, EMSOFT.

Alberto L. Sangiovanni-Vincentelli, Umakanta Choudhury, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone, 2006, HSCC.

Alberto L. Sangiovanni-Vincentelli, Alberto Ferrari, Leonardo Mangeruca, 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

Alberto L. Sangiovanni-Vincentelli, 2005, IEEE Des. Test Comput..

Alberto L. Sangiovanni-Vincentelli, Trevor N. Mudge, Feng Zhao, 2005, 2005 Third IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'05).

Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak, Farinaz Koushanfar, 2003, Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003. ISLPED '03..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Sujit Dey, 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Carlo H. Séquin, 1987, 1987 Symposium on VLSI Circuits.

Alberto L. Sangiovanni-Vincentelli, Umakanta Choudhury, A. Sangiovanni-Vincentelli, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak, Farinaz Koushanfar, 2007, TECS.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Bassam Tabbara, 1997, CODES.

Alberto L. Sangiovanni-Vincentelli, Kenneth L. McMillan, Naeem Zafar, 1994, DAC '94.

Alberto L. Sangiovanni-Vincentelli, Werner Damm, 2015, SWEC@CPSWeek.

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Jan M. Rabaey, 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Gary D. Hachtel, 1984, The Kluwer International Series in Engineering and Computer Science.

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Fernando De Bernardinis, 2006, International Conference on Computer Aided Design.

Alberto L. Sangiovanni-Vincentelli, Andrea Casotto, A. Sangiovanni-Vincentelli, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2004, EMSOFT '04.

Alberto L. Sangiovanni-Vincentelli, Kenneth S. Kundert, A. Sangiovanni-Vincentelli, 1986, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1989, 26th ACM/IEEE Design Automation Conference.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kwang-Ting Cheng, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Kurt Keutzer, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Claudio Pinello, Gabriel Eirea, 2005, EMSOFT.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Wilsin Gosti, 1997, Proceedings International Conference on Computer Design VLSI in Computers and Processors.

Alberto L. Sangiovanni-Vincentelli, Felice Balarin, 1997, DAC.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, 2000, CONCUR.

Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis, Yang Yang, 2015, 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Andrea Casotto, 1991, DAC '90.

Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Christoph M. Kirsch, 2006, EMSOFT '06.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Attila Jurecska, 1996, DAC '96.

Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Gary D. Hachtel, 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Luca Daniel, Alessandra Nardi, 2003, ICCAD 2003.

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Vasumathi Raman, 2017, ArXiv.

Alberto L. Sangiovanni-Vincentelli, 2015, ISLPED.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, 2003, UML for Real.

Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Andrea Balluchi, 2012, Autom..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, 1998, TODE.

Alberto L. Sangiovanni-Vincentelli, Jacob K. White, Kenneth S. Kundert, 1990, The Kluwer international series in engineering and computer science.

Alberto L. Sangiovanni-Vincentelli, Mehdi Maasoumy, Qi Zhu, 2012, IEEE Design & Test of Computers.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Jordi Cortadella, 2000, Proceedings 37th Design Automation Conference.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2003, IEEE Des. Test Comput..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

Alberto L. Sangiovanni-Vincentelli, 2010, DATE '10.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Marco Sgroi, 2005, Embedded Systems Handbook.

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Felice Balarin, 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Sinem Coleri Ergen, 2013, ACM Trans. Sens. Networks.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, A. Sangiovanni-Vincentelli, 2002, IEEE Micro.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Adnan Aziz, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, Kartikeya Mayaram, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, 1989, IFIP Congress.

Alberto L. Sangiovanni-Vincentelli, Alberto Ferrari, Leonardo Mangeruca, 2007, IEEE Transactions on Software Engineering.

Alberto L. Sangiovanni-Vincentelli, Daniela De Venuto, Eugenio Di Sciascio, 2016, IEEE Design & Test.

Alberto L. Sangiovanni-Vincentelli, Guoqiang Wang, Hugo A. Andrade, 2014, Comput. Electr. Eng..

Alberto L. Sangiovanni-Vincentelli, Attila Jurecska, Francesco Gregoretti, 2000, Des. Autom. Embed. Syst..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Chunghee Kim, 2000, DATE '00.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Werner Damm, 2012, Eur. J. Control.

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2015, 2015 American Control Conference (ACC).

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Fernando De Bernardinis, 2005, Proceedings. 42nd Design Automation Conference, 2005..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Attila Jurecska, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Alberto L. Sangiovanni-Vincentelli, Bowen Zheng, Chung-Wei Lin, 2015, ACM Trans. Design Autom. Electr. Syst..

Alberto L. Sangiovanni-Vincentelli, V. Visvanathan, 1981, IEEE Transactions on Computers.

Alberto L. Sangiovanni-Vincentelli, Eric Tomacruz, Jagesh V. Sanghavi, 1994, Proceedings of Supercomputing '94.

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1991, ML.

Alberto L. Sangiovanni-Vincentelli, Edward W. Y. Liu, 1993, ICCAD.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, 1996, FMCAD.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Narayan, 1996, 33rd Design Automation Conference Proceedings, 1996.

Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto, A. Sangiovanni-Vincentelli, 2005, TECS.

Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Ali M. Niknejad, 2006, Proceedings of the IEEE.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1992, CAV.

Alberto L. Sangiovanni-Vincentelli, Harry Chia Chang Hsieh, 2000 .

Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, A. Sangiovanni-Vincentelli, 2007, Computer.

Alberto L. Sangiovanni-Vincentelli, Paul R. Gray, Gani Jusuf, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Eliane Fourgeau, 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Chung-Wei Lin, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, Amit Narayan, 1997, Proceedings International Conference on Computer Design VLSI in Computers and Processors.

Alberto L. Sangiovanni-Vincentelli, William R. Heller, Howard S. Rifkin, 1986, DAC '86.

Alberto L. Sangiovanni-Vincentelli, Kanwar Jit Singh, 1991, DAC '90.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Richard L. Rudell, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, 2006, ASP-DAC.

Alberto L. Sangiovanni-Vincentelli, Eric Felt, 1996, Proceedings of 14th VLSI Test Symposium.

Alberto L. Sangiovanni-Vincentelli, Jonathan Sprinkle, Claudio Pinello, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1993, Microprocess. Microsystems.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Alexander Saldanha, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2005, Algorithmica.

Alberto L. Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2008, IEEE Transactions on Computers.

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, A. Sangiovanni-Vincentelli, 2000, Proceedings 37th Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Alberto Puggelli, John Crossley, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, 2005, EMSOFT.

Alberto L. Sangiovanni-Vincentelli, Felice Balarin, A. Sangiovanni-Vincentelli, 1995, Formal Methods Syst. Des..

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Claudio Pinello, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Thomas R. Shiple, 1994, 31st Design Automation Conference.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1993, IEEE Trans. Very Large Scale Integr. Syst..

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Michael Masin, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Jyotirmoy V. Deshmukh, 2018, RV.

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Lin Yuan, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Christoph M. Kirsch, 2012, Sci. Comput. Program..

Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, George J. Pappas, 2001, HSCC.

Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Claudio Pinello, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, 2010, IEEE Transactions on Industrial Informatics.

Alberto L. Sangiovanni-Vincentelli, Felice Balarin, A. Sangiovanni-Vincentelli, 1993, CAV.

Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Judith Liebman, 2003, Proc. IEEE.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Douglas Densmore, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

Alberto L. Sangiovanni-Vincentelli, Karl Henrik Johansson, Manfred Morari, 2005, Eur. J. Control.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1991, DAC '90.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Íñigo Íncer Romeo, 2019, ACM Trans. Embed. Comput. Syst..

Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis, Antonio Iannopollo, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, George J. Pappas, 2017, HSCC.

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Felice Balarin, 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..

Alberto L. Sangiovanni-Vincentelli, David E. Culler, Mehdi Maasoumy, 2013, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Alexander T. Ishii, Ronald I. Greenberg, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Bill Lin, Mark Beardslee, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, 1996, Machine Learning.

Alberto L. Sangiovanni-Vincentelli, Daniela De Venuto, Valerio F. Annese, 2016, 2016 IEEE International Symposium on Circuits and Systems (ISCAS).

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Harry Hsieh, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Cong Liu, 2005, EMSOFT.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Daniel J. Fremont, 2018, PLDI.

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sharad Malik, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla, Seshadhri Srinivasan, 2021, Computer.

Alberto L. Sangiovanni-Vincentelli, Jingchao Zhou, Bo Pang, 2021, EMSOFT.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Daniel J. Fremont, 2021, 2021 58th ACM/IEEE Design Automation Conference (DAC).

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, .

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Alessandro Pinto, 2007 .

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2003 .

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1993, ICCAD '93.

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Gang Qu, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev K. Ranjan, 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.

Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, .