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, Catherine Rosenberg, Mehdi Maasoumy, 2014, 2014 American Control Conference.

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, Mahdi Shahbakhti, Mehdi Maasoumy, 2014, 2014 American Control Conference.

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.