A. Sangiovanni-Vincentelli

发表

D. Mitra, F. Romeo, A. Sangiovanni-Vincentelli, 1985, 1985 24th IEEE Conference on Decision and Control.
Alberto L. Sangiovanni-Vincentelli, Alan H. Kramer, A. Sangiovanni-Vincentelli, 1988, NIPS.
D. Mitra, F. Romeo, A. Sangiovanni-Vincentelli, 1986, Advances in Applied Probability.
A. Richard Newton, Alberto Sangiovanni-Vincentelli, Donald O. Pederson, 1993 .
Alberto L. Sangiovanni-Vincentelli, Kim G. Larsen, Dejan Nickovic, 2018, Found. Trends Electron. Des. Autom..
K. Keutzer, A. Sangiovanni-Vincentelli, S. Malik, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
R. Brayton, A. Sangiovanni-Vincentelli, A. Narayan, 1997, ICCAD 1997.
R. Brayton, A. Sangiovanni-Vincentelli, S. Malik, 1991 .
Alberto L. Sangiovanni-Vincentelli, Ufuk Topcu, Yisong Yue, 2019, 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA).
R. Brayton, A. Sangiovanni-Vincentelli, R. Ranjan, 1996 .
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, Kurt Keutzer, Sanjit A. Seshia, 2018, ICMR.
Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .
A. Sangiovanni-Vincentelli, V. Visvanathan, 1981 .
A. Sangiovanni-Vincentelli, R. Saeks, V. Visvanathan, 1981 .
A. Sangiovanni-Vincentelli, T. Shiple, 1996 .
A. Sangiovanni-Vincentelli, L. Lavagno, M. Chiodo, 1997, Proceedings of the 34th Design Automation Conference.
A.L. Sangiovanni-Vincentelli, R.K. Brayton, G.D. Hachtel, 1981, Proceedings of the IEEE.
Alberto L. Sangiovanni-Vincentelli, Forrest N. Iandola, Maryam Kamgarpour, 2013, 52nd IEEE Conference on Decision and Control.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Paul R. Stephan, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, David Blaauw, 2011, 2011 Symposium on VLSI Circuits - Digest of Technical Papers.
Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, A. R. Newton, 1982, DAC 1982.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, A. Sangiovanni-Vincentelli, 2000, Proceedings 37th Design Automation Conference.
Alberto L. Sangiovanni-Vincentelli, David C. Riley, William Nye, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
A. Tits, A. Sangiovanni-Vincentelli, W. Nye, 1986 .
Alberto L. Sangiovanni-Vincentelli, Michael I. Jordan, Fernando De Bernardinis, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2014, IEEE Transactions on Automatic Control.
A. Sangiovanni-Vincentelli, S. Seshia, P. Tabuada, 2015 .
A. Sangiovanni-Vincentelli, F. Balarin, 1997, Proceedings of the 34th Design Automation Conference.
Alberto L. Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2008, IEEE Transactions on Computers.
Dejan Nickovic, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2015 .
Andy J. Wellings, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 2005, TECS.
Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla, Yuxin Chen, 2019, 2019 IEEE International Conference on Prognostics and Health Management (ICPHM).
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2006, EMSOFT '06.
Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2014, ArXiv.
Luciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
P. Varaiya, A. Sangiovanni-Vincentelli, F. Balarin, 2022 .
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Wei Zheng, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.
A. Sangiovanni-Vincentelli, A. Saldanha, P. McGeer, 1996, 33rd Design Automation Conference Proceedings, 1996.
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin, 2019, HSCC.
Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1996, Machine Learning.
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Alberto Puggelli, 2013, CAV.
A. Sangiovanni-Vincentelli, A. Pinto, L. Carloni, 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Christopher Umans, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
A. Sangiovanni-Vincentelli, A. Newton, S. Devadas, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1995, 32nd Design Automation Conference.
A. Benveniste, A. Sangiovanni-Vincentelli, T. Henzinger, 2011 .
Jacob K. White, A. Sangiovanni-Vincentelli, 1986 .
A. Sangiovanni-Vincentelli, R. Guerrieri, H. Sheng, 1999 .
A. Sangiovanni-Vincentelli, R. Kaye, 1983, IEEE Transactions on Systems, Man, and Cybernetics.
R. Brayton, A. Sangiovanni-Vincentelli, S. Khatri, 2017 .
A. Sangiovanni-Vincentelli, L. Lavagno, A. Saldanha, 1996, Proceedings of International Conference on Computer Aided Design.
A. Sangiovanni-Vincentelli, L. Lavagno, A. Saldanha, 1996, Proceedings of International Conference on Computer Aided Design.
A. Sangiovanni-Vincentelli, R. Passerone, W. Damm, 2013 .
Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, L. Carloni, 1997 .
R. Brayton, A. Sangiovanni-Vincentelli, M. Chiodo, 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.
Tiziano Villa, Stephen A. Edwards, Szu-Tsung Cheng, 1996, CAV.
R. Brayton, A. Sangiovanni-Vincentelli, A. Petrenko, 2003 .
R. Brayton, A. Sangiovanni-Vincentelli, L. Carloni, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
A. Sangiovanni-Vincentelli, F. Koushanfar, M. Potkonjak, 2002 .
A. Sangiovanni-Vincentelli, F. Koushanfar, M. Potkonjak, 2022 .
John B. Finn, A. Sangiovanni-Vincentelli, S. Seshia, 2012 .
J. Hespanha, A. Sangiovanni-Vincentelli, S. Seshia, 2016 .
Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Ruzena Bajcsy, 2014, AAAI Spring Symposia.
Alberto L. Sangiovanni-Vincentelli, Hyunchul Shin, A. Sangiovanni-Vincentelli, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
G. Sorkin, A. Sangiovanni-Vincentelli, K. Kundert, 1988 .
Leon O. Chua, Alberto Sangiovanni-Vincentelli, Li-Kuan Chen, 1977 .
A. Sangiovanni-Vincentelli, G. Guardabassi, 1976 .
Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1991 .
A. Sangiovanni-Vincentelli, A. Demir, A. Demir, 1996, Proceedings of Custom Integrated Circuits Conference.
Dejan Nickovic, Roberto Passerone, Albert Benveniste, 2011 .
R. Brayton, A. Sangiovanni-Vincentelli, G. Hachtel, 2021 .
A. Sangiovanni-Vincentelli, J. Rowson, 1997, Proceedings of the 34th Design Automation Conference.
R. Brayton, A. Sangiovanni-Vincentelli, N. Shenoy, 1990, 27th ACM/IEEE Design Automation Conference.
A. Sangiovanni-Vincentelli, K. Brayton, LogicSynthesisRobert, 1993 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1993, ICCAD '93.
Sinem Coleri Ergen, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2017 .
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Alessandro Pinto, 2007 .
R. Brayton, A. Sangiovanni-Vincentelli, N. Shenoy, 1993, International Conference on Computer Aided Design.
Baohua Zhao, Alberto Sangiovanni-Vincentelli, Assane Gueye, 2009 .
R. Brayton, A. Sangiovanni-Vincentelli, A. Mehrotra, 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
Robert K. Brayton, Paul R. Stephan, Ellen M. Sentovich, 1992 .
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2003 .
Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1976 .
A. Sangiovanni-Vincentelli, U. Choudhury, 1990, ICCAD 1990.
B. Ting, E. Kuh, A. Sangiovanni-Vincentelli, 1979 .
Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1992 .
Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Carlo H. Séquin, 1986, FJCC.
Alberto L. Sangiovanni-Vincentelli, Mehdi Maasoumy, A. Sangiovanni-Vincentelli, 2015, International Conference on Computer Aided Design.
A. Sangiovanni-Vincentelli, D. Densmore, A. Pinto, 2007 .
A. Sangiovanni-Vincentelli, R. V. Hanxleden, A. Daimler-benz, 2008 .
P. Varaiya, R. Bajcsy, K. Keutzer, 2003 .
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2019, ISPD.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Narayan, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei, A. Sangiovanni-Vincentelli, 1986, ITC.
K. Ramchandran, A. Sangiovanni-Vincentelli, J. Rabaey, 2003 .
A. Sangiovanni-Vincentelli, A. Newton, A. Casotto, 1990, 27th ACM/IEEE Design Automation Conference.
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2007, VLSI Design.
Alberto L. Sangiovanni-Vincentelli, Jingchao Zhou, Bo Pang, 2021, EMSOFT.
R. Brayton, A. Sangiovanni-Vincentelli, A. Kuehlmann, 1999 .
Alberto L. Sangiovanni-Vincentelli, Bill Lin, Mark Beardslee, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.
R. Brayton, A. Sangiovanni-Vincentelli, V. Singhal, 1996 .
A. Sangiovanni-Vincentelli, L. Milor, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Sujit Dey, 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Massimiliano Chiodo, 1993 .
Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei, A. Sangiovanni-Vincentelli, 1986, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Pasquale Lucibello, 2000, J. Comput. Chem..
Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto, A. Sangiovanni-Vincentelli, 2017, Syst. Eng..
Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei, A. Sangiovanni-Vincentelli, 1986, ITC.
George J. Pappas, A. Sangiovanni-Vincentelli, S. Seshia, 2016 .
A. Sangiovanni-Vincentelli, D. Kirkpatrick, 1996, Proceedings of International Conference on Computer Aided Design.
Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli, Farinaz Koushanfar, 2007 .
Costas J. Spanos, Xiangyu Yue, Alberto Sangiovanni-Vincentelli, 2021, AAAI.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, 1986, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Marco Sgroi, 2005, The Industrial Information Technology Handbook.
Alberto L. Sangiovanni-Vincentelli, Ulrich Lauther, Steven Trimberger, 1994, DAC '94.
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2001, RTSS.
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1991, DAC.
Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Pierluigi Nuzzo, 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2005, Algorithmica.
Edward A. Lee, David Blaauw, Roozbeh Jafari, 2012 .
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1990, DAC.
A. R. Newton, K. Keutzer, A. Sangiovanni-Vincentelli, 2002, Foreign Powers and Intervention in Armed Conflicts.
A. Sangiovanni-Vincentelli, M. Potkonjak, 2004 .
William K. C. Lam, R. Brayton, A. Sangiovanni-Vincentelli, 2016 .
Alberto Sangiovanni-Vincentelli, C. Pinello, Haibo Zeng, 2006 .
Alberto Sangiovanni-Vincentelli, M. A. Bhatti, Karl S. Pister, 1981 .
Alberto Sangiovanni-Vincentelli, Andrea Sindico, M. Di Natale, 2012, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems.
Alberto Sangiovanni-Vincentelli, S. Anna, A. Sangiovanni-Vincentelli, 2007 .
A. Sangiovanni-Vincentelli, M. Chiodo, 2016 .
R. Brayton, A. Sangiovanni-Vincentelli, R. Murgai, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
Alois Knoll, David Eckhoff, Jordan Ivanchev, 2021, IEEE Access.
Roberto Guerrieri, Roberto Canegallo, Alberto L. Sangiovanni-Vincentelli, 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.
Tiziano Villa, Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, 2006 .
A. Sangiovanni-Vincentelli, L. Lavagno, B. Tabbara, 1999 .
A. Sangiovanni-Vincentelli, J. Rabaey, M. Sgroi, 2003 .
A. Sangiovanni-Vincentelli, J. Rabaey, M. Sgroi, 2001 .
A. Sangiovanni-Vincentelli, A. Newton, S. Devadas, 2015 .
Edward A. Lee, Sharad Malik, D. K. Arvind, 2000, DAC 2000.
Robert K. Brayton, Sharad Malik, Alberto Sangiovanni-Vincentelli, 1988 .
R. Brayton, A. Sangiovanni-Vincentelli, M. Fujita, 1999 .
A. Sangiovanni-Vincentelli, C. Hu, K. Banerjee, 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
A. Sangiovanni-Vincentelli, B. Tabbara, 2017 .
Jos C. M. Baeten, Brian Nielsen, Nicolas Halbwachs, 2005 .
Alberto Sangiovanni-Vincentelli, Joseph G. D'Ambrosio, Lei Rao, 2014 .
K. Keutzer, A. Sangiovanni-Vincentelli, Boqing Gong, 2019, 2019 IEEE/CVF International Conference on Computer Vision (ICCV).
Luciano Lavagno, Malgorzata Marek-Sadowska, Rajeev Murgai, 2004 .
Julio Leao da Silva, A. Sangiovanni-Vincentelli, J. Rabaey, 2000, Proceedings of the Eighth International Workshop on Hardware/Software Codesign. CODES 2000 (IEEE Cat. No.00TH8518).
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, Pierluigi Nuzzo, Fernando De Bernardinis, 2006, International Conference on Computer Aided Design.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Gang Qu, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
Roberto Passerone, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2018, Model-Based Design for Embedded Systems.
Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Jim Lansford, 1999, DAC '99.
R. Brayton, A. Sangiovanni-Vincentelli, S. Malik, 2015 .
Tiziano Villa, Robert K. Brayton, Luca P. Carloni, 1997, International Conference on Computer Aided Design.
A. Sangiovanni-Vincentelli, M. Baleani, C. Turchetti, 2000, Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1994, IEEE Micro.
E. Mosca, A. Sangiovanni-Vincentelli, A. Casavola, 2007 .
Tiziano Villa, Alberto Sangiovanni-Vincentelli, G. De Micheli, 1983 .
A. Sangiovanni-Vincentelli, M. Di Natale, A. Sangiovanni-Vincentelli, 2008, DATE '08.
A. Sangiovanni-Vincentelli, M. Di Natale, A. Sangiovanni-Vincentelli, 2008, DATE '08.
A. Sangiovanni-Vincentelli, Kei Suzuki, 1996, Design Automation Conference, Proceedings.
A. Sangiovanni-Vincentelli, M. Di Natale, A. Sangiovanni-Vincentelli, 2008, DATE '08.
A. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2008, DATE '08.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Lin, 1999 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Harry Hsieh, 1995 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe, 2003 .
Hugo De Man, Alberto Sangiovanni-Vincentelli, B Tuck, 1997 .
Bernhard Schätz, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2017 .
Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Andrea Balluchi, 2002, HSCC.
A.L. Sangiovanni-Vincentelli, E. Liu, A. Sangiovanni-Vincentelli, 1992, 1992 Proceedings of the IEEE Custom Integrated Circuits Conference.
Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Kurt Keutzer, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
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, Albert E. Ruehli, Ekachai Lelarasmee, 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Alberto L. Sangiovanni-Vincentelli, S. Goto, A. Sangiovanni-Vincentelli, 1978, Networks.
Alberto L. Sangiovanni-Vincentelli, Daniela De Venuto, A. Sangiovanni-Vincentelli, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Edward A. Lee, Alberto Sangiovanni-Vincentelli, Jeronimo Castrillon, 2019, CyPhy/WESE.
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Francesco Chirico, 2018, Software & Systems Modeling.
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Francesco Chirico, 2014, MoDELS.
Alberto L. Sangiovanni-Vincentelli, Peter Marwedel, Haibo Zeng, 2014, Embedded Systems Development, From Functional Models to Implementations.
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Andrea Sindico, 2012, MODELS'12.
Alberto Sangiovanni-Vincentelli, Guoqiang Wang, A. Sangiovanni-Vincentelli, 2008 .
Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto, A. Sangiovanni-Vincentelli, 2005, SIGBED.
Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto, A. Sangiovanni-Vincentelli, 2005, TECS.
Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Judith Liebman, 2003, Proc. IEEE.
Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Judith Liebman, 2002, EMSOFT.
Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, Dewei Li, 2019, ACM Trans. Embed. Comput. Syst..
Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, George J. Pappas, 2018, Proceedings of the IEEE.
Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Dewei Li, 2017, MEMOCODE.
Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, George J. Pappas, 2017, HSCC.
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Vasumathi Raman, 2017, ArXiv.
Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia, 2016, HSCC.
Alberto L. Sangiovanni-Vincentelli, Yuxun Zhou, Pierluigi Nuzzo, 2015, BuildSys@SenSys.
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Vasumathi Raman, 2014, 53rd IEEE Conference on Decision and Control.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone, 2006, Found. Trends Electron. Des. Autom..
Alberto L. Sangiovanni-Vincentelli, Karl Henrik Johansson, Manfred Morari, 2005, Eur. J. Control.
Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Jan H. van Schuppen, 2004, HSCC.
A. Bicchi, A. Balluchi, M. Zoncu, 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2001, Lecture Notes in Computer Science.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Mário J. Silva, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.
Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1991, ML.
A.L. Sangiovanni-Vincentelli, A. Bicchi, C. Rossi, 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Edoardo Charbon, 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alberto L. Sangiovanni-Vincentelli, Enrico Malavasi, Umakanta Choudhury, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
A. El Gamal, Alberto Sangiovanni-Vincentelli, Jonathan Rose, 1993, Proc. IEEE.
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, Kurt Keutzer, Sanjit A. Seshia, 2018, IJCAI.
Alper Demir, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1997 .
A. Demir, A. Sangiovanni-Vincentelli, A. Demir, 1994, IEEE/ACM International Conference on Computer-Aided Design.
Alberto L. Sangiovanni-Vincentelli, Jacob K. White, Kenneth S. Kundert, 1990, The Kluwer international series in engineering and computer science.
Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, A. Sangiovanni-Vincentelli, 1983, IEEE Transactions on Electron Devices.
A.L. Sangiovanni-Vincentelli, G.D. Hachtel, A. Sangiovanni-Vincentelli, 1981, Proceedings of the IEEE.
Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Karl Henrik Johansson, 2009, 2009 International Conference on Information Processing in Sensor Networks.
Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Wilsin Gosti, 2007, Int. J. Appl. Math. Comput. Sci..
Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak, Farinaz Koushanfar, 2007, TECS.
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, Sanjit A. Seshia, Claire J. Tomlin, 2018, ArXiv.
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2001 .
Szu-Tsung Cheng, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1994, 31st Design Automation Conference.
Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Andrea Balluchi, 2012, Autom..
Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Sanjit A. Seshia, 2020, IEEE Transactions on Neural Networks and Learning Systems.
A. El Gamal, Alberto Sangiovanni-Vincentelli, Jonathan Rose, 1993, Proc. IEEE.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev K. Ranjan, 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Leon O. Chua, Alberto Sangiovanni-Vincentelli, Li-Kuan Chen, 1976 .
Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak, Farinaz Koushanfar, 2003, Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003. ISLPED '03..
Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1993, NIPS.
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, Linda S. Milor, A. Sangiovanni-Vincentelli, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, Mehdi Maasoumy, 2015 .
Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla, Mehdi Maasoumy, 2014, 2014 American Control Conference.
Alberto L. Sangiovanni-Vincentelli, David E. Culler, Mehdi Maasoumy, 2013, ArXiv.
Alberto Sangiovanni-Vincentelli, Mehdi Maasoumy, Alessandro Pinto, 2014 .
Alberto L. Sangiovanni-Vincentelli, Giorgio Casinovi, A. Sangiovanni-Vincentelli, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
A.L. Sangiovanni-Vincentelli, A.R. Newton, A. Sangiovanni-Vincentelli, 1983, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Alberto L. Sangiovanni-Vincentelli, Fabio Romeo, F. Romeo, 1991, Algorithmica.
R. Brayton, A. Sangiovanni-Vincentelli, R. Murgai, 2006, STOC '06.
A. Sangiovanni-Vincentelli, R.K. Brayton, R. Murgai, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
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, Pierluigi Nuzzo, John B. Finn, 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Christoph M. Kirsch, 2006, EMSOFT '06.
Edward A. Lee, Patricia Derler, Alberto L. Sangiovanni-Vincentelli, 2012, Proceedings of the IEEE.
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, A. Sangiovanni-Vincentelli, 2010, Proceedings of the IEEE.
Alberto L. Sangiovanni-Vincentelli, Bowen Zheng, Chung-Wei Lin, 2015, ACM Trans. Design Autom. Electr. Syst..
Daniel J. Fremont, A. Sangiovanni-Vincentelli, S. Seshia, 2022, International Conference on Cyber-Physical Systems.
Sebastian Junges, Daniel J. Fremont, Edward Kim, 2021, 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Daniel J. Fremont, 2018, PLDI.
Daniel J. Fremont, A. Sangiovanni-Vincentelli, S. Seshia, 2020, Machine Learning.
Alberto Sangiovanni-Vincentelli, Dongpu Cao, Clara Marina Martinez, 2019, IEEE Transactions on Industrial Electronics.
Alberto Sangiovanni-Vincentelli, Trevor Meyerowitz, A. Sangiovanni-Vincentelli, 2008 .
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, A. Sangiovanni-Vincentelli, 2007, Computer.
Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos, Yuxun Zhou, 2018, Proceedings of the IEEE.
Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, George J. Pappas, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
George J. Pappas, A. Sangiovanni-Vincentelli, S. Seshia, 2016 .
Alberto L. Sangiovanni-Vincentelli, Felice Balarin, A. Sangiovanni-Vincentelli, 1994, CAV.
Edward A. Lee, A. Sangiovanni-Vincentelli, 1996, Proceedings of International Conference on Computer Aided Design.
Stephen A. Edwards, Edward A. Lee, Luciano Lavagno, 1997, Proc. IEEE.
Alberto Sangiovanni-Vincentelli, Qi Zhu, Abhijit Davare, 2006 .
Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, Trevor Meyerowitz, 2022 .
Alberto Sangiovanni-Vincentelli, Arnon Amir, Lior Zimet, 2005, Comput. Vis. Image Underst..
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Marco Sgroi, 2004, Proceedings. 41st Design Automation Conference, 2004..
Roberto Passerone, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2004 .
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, 2003, Computer.
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).
S. Shankar Sastry, Alberto Sangiovanni-Vincentelli, T. John Koo, 2002 .
Alberto Sangiovanni-Vincentelli, Richard M. Murray, Pierluigi Nuzzo, 2015 .
Alberto L. Sangiovanni-Vincentelli, Xi Chen, Eric Cheung, 2009, Des. Autom. Embed. Syst..
Alberto L. Sangiovanni-Vincentelli, Xi Chen, Yosinori Watanabe, 2005, Proceedings. 42nd Design Automation Conference, 2005..
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, 2002, Concurrency and Hardware Design.
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Harry Hsieh, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 2000 .
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Harry Hsieh, 2000, Proceedings 37th Design Automation Conference.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 1999 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Amit Narayan, 1999 .
Adrian J. Isles, R. Brayton, A. Sangiovanni-Vincentelli, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1997 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, 1996, FMCAD.
R. Brayton, A. Sangiovanni-Vincentelli, R. Ranjan, 1996, 33rd Design Automation Conference Proceedings, 1996.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Harry Hsieh, 1996 .
R. Brayton, A. Sangiovanni-Vincentelli, R. Ranjan, 1996 .
R. Brayton, F. Balarin, A. Aziz, 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
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, Mehdi Maasoumy, A. Sangiovanni-Vincentelli, 2012, IEEE Design & Test of Computers.
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, Grant Martin, A. Sangiovanni-Vincentelli, 2001, IEEE Des. Test Comput..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Gary D. Hachtel, 1984, The Kluwer International Series in Engineering and Computer Science.
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, Antonio Bicchi, Andrea Balluchi, 2008, 2008 47th IEEE Conference on Decision and Control.
Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Emanuele Mazzi, 2007, HSCC.
A. Sangiovanni-Vincentelli, A. Balluchi, Rolf Johansson, 2006 .
Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, A. Sangiovanni-Vincentelli, 2008, Concurrency, Graphs and Models.
Alberto L. Sangiovanni-Vincentelli, Alberto Ferrari, Leonardo Mangeruca, 2003, CASES '03.
Roberto Passerone, Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Pierluigi Nuzzo, 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Michael Masin, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Marco Di Natale, 2007, 2007 44th ACM/IEEE Design Automation Conference.
Alberto L. Sangiovanni-Vincentelli, Alberto Ferrari, Leonardo Mangeruca, 2007, TECS.
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, Luca P. Carloni, Claudio Pinello, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2015, 2015 American Control Conference (ACC).
Daniel J. Fremont, A. Sangiovanni-Vincentelli, S. Sastry, 2023, CPS-IoT Week Workshops.
Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Antonia Bertolino, 2006, MoDELS'06.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, A. Sangiovanni-Vincentelli, 2006, Formal Methods Syst. Des..
Alberto L. Sangiovanni-Vincentelli, Jacob K. White, Andrew Lumsdaine, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.
Sanjit A. Seshia, Albert Benveniste, Alberto Sangiovanni-Vincentelli, 2021, NFM.
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..
Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Pengfei Xu, 2020, IEEE Transactions on Cybernetics.
C. Pinello, A.L. Sangiovanni-Vincentelli, L. Benvenuti, 2000, Proceedings of the IEEE.
Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, 2004, 2004 IEEE International Conference on Communications (IEEE Cat. No.04CH37577).
Robert K. Brayton, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
A. Sangiovanni-Vincentelli, Zhe Zhou, Jiaxi Zhang, 2023, ISPD.
Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1989, 26th ACM/IEEE Design Automation Conference.
A. Sangiovanni-Vincentelli, S. Malik, E.M. Sentovich, 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.
Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1989, 26th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2003, IEEE Micro.
A. Sangiovanni-Vincentelli, F. Schirrmeister, A. Sangiovanni-Vincentelli, 2001, IVEC2001. Proceedings of the IEEE International Vehicle Electronics Conference 2001. IVEC 2001 (Cat. No.01EX522).
A. Sangiovanni-Vincentelli, E. Charbon, P. Miliozzi, 1996, Proceedings of International Conference on Computer Aided Design.
E. Charbon, E. Malavasi, A. Sangiovanni-Vincentelli, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
Luca P. Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2004 .
Amit Mehrotra, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2003 .
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2007, Proceedings of the IEEE.
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.
Xuening Sun, A. Sangiovanni-Vincentelli, P. Nuzzo, 2012, IEEE Sensors Journal.
Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Haibo Zeng, 2012, TECS.
Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, 2010, IEEE Transactions on Industrial Informatics.
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, Luca P. Carloni, Benoît Caillaud, 2004, EMSOFT '04.
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2003, IEEE Des. Test Comput..
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, A. Sangiovanni-Vincentelli, 2002, IEEE Micro.
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).
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Kenneth L. McMillan, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
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).
A. Sangiovanni-Vincentelli, J. Rabaey, Ali Moin, 2018, IEEE Journal of Biomedical and Health Informatics.
A. Sangiovanni-Vincentelli, C. Sechen, A. Sangiovanni-Vincentelli, 1985, IEEE Journal of Solid-State Circuits.
Davide Bresolin, Luca Geretti, Tiziano Villa, 2015, Proceedings of the IEEE.
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Richard M. Murray, 2014, IEEE Access.
Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Werner Damm, 2012, Eur. J. Control.
Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz, Roberto Passerone, 2015, WESE.
R. K. Brayton, A. L. Sangiovanni-Vincentelli, R. Brayton, 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.
Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Pierpaolo Murrieri, 2005, HSCC.
Alberto L. Sangiovanni-Vincentelli, David Q. Mayne, Elijah Polak, 1982, Autom..
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Daniel J. Fremont, 2021, 2021 58th ACM/IEEE Design Automation Conference (DAC).
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Shromona Ghosh, 2019, ArXiv.
Mireille E. Broucke, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2000 .
Alberto L. Sangiovanni-Vincentelli, Kenneth S. Kundert, A. Sangiovanni-Vincentelli, 1986, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
David Q. Mayne, Elijah Polak, Alberto Sangiovanni-Vincentelli, 1979 .
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 Sangiovanni-Vincentelli, R. Rudell, A. Sangiovanni-Vincentelli, 2003 .
Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, Gary D. Hachtel, 1982, 19th Design Automation Conference.
Carlo Fischione, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, 2011, IEEE Transactions on Mobile Computing.
Anthony Rowe, Edward A. Lee, David Blaauw, 2015, IEEE Design & Test.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, 1990, Proc. IEEE.
Alberto Sangiovanni-Vincentelli, Richard L. Rudell, A. Sangiovanni-Vincentelli, 1989 .
Alberto L. Sangiovanni-Vincentelli, Andrea Casotto, Fabio Romeo, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.
Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.
Alberto Sangiovanni-Vincentelli, Srinivas Devadas, Hi-Keung Tony Ma, 1988 .
Alberto L. Sangiovanni-Vincentelli, Alberto Puggelli, John Crossley, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Alberto L. Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alberto L. Sangiovanni-Vincentelli, Enrico Malavasi, A. Sangiovanni-Vincentelli, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alberto L. Sangiovanni-Vincentelli, Umakanta Choudhury, A. Sangiovanni-Vincentelli, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
A. Sangiovanni-Vincentelli, U. Choudhury, 1990, 27th ACM/IEEE Design Automation Conference.
A. Sangiovanni-Vincentelli, U. Choudhury, A. Sangiovanni-Vincentelli, 1990, IEEE International Symposium on Circuits and Systems.
Alberto Sangiovanni-Vincentelli, Hyunchul Shin, A. Sangiovanni-Vincentelli, 1986 .
Alberto L. Sangiovanni-Vincentelli, Florian Hofer, Ines Ugalde, 2019, 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom).
Edward A. Lee, Sanjit A. Seshia, Yasser Shoukry, 2020, ACM Trans. Cyber Phys. Syst..
Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, A. Sangiovanni-Vincentelli, 2012, 2012 International Conference on Cyber Security.
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, Xuening Sun, Sinem Coleri Ergen, 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
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, Kameshwar Poolla, Baihong Jin, 2019, 2019 IEEE International Conference on Prognostics and Health Management (ICPHM).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Alexander Saldanha, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1994, Des. Autom. Embed. Syst..
Adam Wolisz, Alberto Sangiovanni-Vincentelli, Jan M. Rabaey, 2005, Ambient Intelligence.
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.
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Zhen Yu Song, 2014, Sensors.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Claudio Passerone, 1999 .
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Marco Sabatini, 2008, 2008 Design, Automation and Test in Europe.
Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Qi Zhu, 2013, ACM Trans. Embed. Comput. Syst..
Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Christoph M. Kirsch, 2008, 2008 Design, Automation and Test in Europe.
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
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, Björn Hartmann, Elad Alon, 2019, CHI.
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2011, 2011 Design, Automation & Test in Europe.
Edward A. Lee, Alberto Sangiovanni-Vincentelli, Patricia Derler, 2011 .
Alberto L. Sangiovanni-Vincentelli, Björn Hartmann, Rohit Ramesh, 2017, SCF.
Daniel J. Fremont, A. Sangiovanni-Vincentelli, S. Seshia, 2018, PLDI.
Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla, Seshadhri Srinivasan, 2021, Computer.
Jan M. Rabaey, Kurt Keutzer, Alberto Sangiovanni-Vincentelli, 2001, Proc. IEEE.
E. Charbon, E. Felt, E. Malavasi, 1993, Proceedings of IEEE Custom Integrated Circuits Conference - CICC '93.
Alberto L. Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.
Alberto L. Sangiovanni-Vincentelli, Carlo H. Séquin, Hyunchul Shin, 1986, 23rd ACM/IEEE Design Automation Conference.
A. Sangiovanni-Vincentelli, E. Scholte, C. Fischione, 2008, 2008 American Control Conference.
Edoardo Mosca, Alessandro Casavola, Alberto Sangiovanni-Vincentelli, 2005 .
Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Cong Liu, 2005, EMSOFT.
Alberto L. Sangiovanni-Vincentelli, Sharad Malik, Kurt Keutzer, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Alberto Sangiovanni-Vincentelli, Douglas Densmore, A. Sangiovanni-Vincentelli, 2007 .
Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Gabriele Serra, 2007, 2007 European Control Conference (ECC).
P. R. Stephan, E. M. Sentovich, R. Brayton, 1992 .
R. Guerrieri, A. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1988, Technical Digest., International Electron Devices Meeting.
Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alberto L. Sangiovanni-Vincentelli, Gregor Gößler, A. Sangiovanni-Vincentelli, 2002, EMSOFT.
Roberto Passerone, Alberto Sangiovanni-Vincentelli, Jerry R. Burch, 2003 .
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2008, TECS.
A. Sangiovanni-Vincentelli, Shan Li, Tsung-Yi Ho, 2023, ArXiv.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Alessandro Pinto, 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Luca P. Carloni, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2006 .
Luca P. Carloni, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2006 .
Alberto L. Sangiovanni-Vincentelli, Umakanta Choudhury, A. Sangiovanni-Vincentelli, 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, C. Rossi, 1998, HSCC.
Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Roberto Passerone, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Rajeev Murgai, Narendra V. Shenoy, R. Brayton, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Alberto Sangiovanni-Vincentelli, Luca Benvenuti, A. Balluchi, 2005 .
Daniel J. Fremont, A. Sangiovanni-Vincentelli, S. Seshia, 2022, 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
Alberto L. Sangiovanni-Vincentelli, Alper Demir, Edoardo Charbon, 1996, Proceedings of International Conference on Computer Aided Design.
Alberto L. Sangiovanni-Vincentelli, Xuening Sun, Pierluigi Nuzzo, 2010, EURASIP J. Embed. Syst..
Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Marco Sgroi, 2000, 2000 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.00CH37100).
M. Potkonjak, A. Sangiovanni-Vincentelli, F. Koushanfar, 2003, Proceedings of IEEE Sensors 2003 (IEEE Cat. No.03CH37498).
M. Potkonjak, A. Sangiovanni-Vincentelli, F. Koushanfar, 2004, Proceedings of IEEE Sensors, 2004..
Alberto L. Sangiovanni-Vincentelli, Maria Domenica Di Benedetto, Stefano Di Gennaro, 2003, Autom..
M.D. Di Benedetto, A. Sangiovanni-Vincentelli, L. Benvenuti, 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, Luca Benvenuti, 2001 .
A.L. Sangiovanni-Vincentelli, C. Rossi, M.D. Di Benedetto, 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Karl Henrik Johansson, 2008, IEEE Journal on Selected Areas in Communications.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone, 2006, HSCC.
Adam Wolisz, Alberto Sangiovanni-Vincentelli, Marco Sgroi, 2003 .
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, Luca Benvenuti, 2002 .
Alberto Sangiovanni-Vincentelli, Carl Sechen, D. Braun, 1988 .
Alberto L. Sangiovanni-Vincentelli, Alessandra Nardi, A. Sangiovanni-Vincentelli, 2004, IEEE Design & Test of Computers.
Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1977 .
Alberto Sangiovanni-Vincentelli, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1987 .
Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey, Paul K. Wright, 2007, IET Comput. Digit. Tech..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Luca P. Carloni, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2004 .
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Laura Vanzago, 2010, International Symposium on Industrial Embedded System (SIES).
Wilsin Gosti, T. Villa, Alexander Saldanha, 1998 .
Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, 1998, Proceedings of the 8th Great Lakes Symposium on VLSI (Cat. No.98TB100222).
A.L. Sangiovanni-Vincentelli, M.D. Di Benedetto, A. Balluchi, 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
Dejan Nickovic, Thomas A. Henzinger, Roberto Passerone, 2015 .
Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, 2011, IEEE Transactions on Industrial Informatics.
Tiziano Villa, Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, 2000, HSCC.
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, A. Richard Newton, Gary D. Hachtel, 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Felice Balarin, 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.
A. Sangiovanni-Vincentelli, F. Balarin, M. Natale, 2000, Proceedings 37th Design Automation Conference.
Alberto L. Sangiovanni-Vincentelli, Felice Balarin, A. Sangiovanni-Vincentelli, 1993, CAV.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1992, CAV.
Alberto L. Sangiovanni-Vincentelli, Felice Balarin, A. Sangiovanni-Vincentelli, 1995, Formal Methods Syst. Des..
Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, A. Richard Newton, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alberto L. Sangiovanni-Vincentelli, Srinivas Devadas, Hi-Keung Tony Ma, 1987, 24th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1993, 30th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Patrick C. McGeer, Alberto Sangiovanni-Vincentelli, 1993 .
F. Balarin, A.L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1994, IEEE/ACM International Conference on Computer-Aided Design.
Alberto L. Sangiovanni-Vincentelli, Felice Balarin, A. Sangiovanni-Vincentelli, 1992, CAV.
Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, Jan Craninckx, 2009, 2009 Symposium on VLSI Circuits.
Albert R. Wang, A. Sangiovanni-Vincentelli, S. Malik, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.
Florian Hofer, Martin A. Sehr, Barbara Russo, 2020, Syst. Eng..
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).
A. Sangiovanni-Vincentelli, K.S. Kundert, G.B. Sorkin, 1987, 1987 IEEE MTT-S International Microwave Symposium Digest.
A. Sangiovanni-Vincentelli, S. Seshia, P. Tabuada, 2014, IEEE Transactions on Automatic Control.
N. B. G. Rabbat, Alberto L. Sangiovanni-vincentelli, A. Sangiovanni-Vincentelli, 1980 .
Alberto Sangiovanni-Vincentelli, T. Bickart, A. Sangiovanni-Vincentelli, 1979 .
Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Pierluigi Nuzzo, 2010, Formal Methods in Computer Aided Design.
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1993, Microprocess. Microsystems.
A. Sangiovanni-Vincentelli, L. Lavagno, A. Yakovlev, 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.
Alberto L. Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2007, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Maria A. Zuluaga, A. Sangiovanni-Vincentelli, Baihong Jin, 2021, 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW).
Maria A. Zuluaga, Yuxin Chen, A. Sangiovanni-Vincentelli, 2021, ArXiv.
Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, Amit Narayan, 1997, Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, Amit Narayan, 1997, Proceedings Tenth International Conference on VLSI Design.
A. Sangiovanni-Vincentelli, Changhee Kim, L. Lavagno, 2000, Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
S. Shankar Sastry, Aaron D. Ames, Alberto Sangiovanni-Vincentelli, 2006 .
Ioannis C. Konstantakopoulos, Ming Jin, C. Spanos, 2018, Proceedings of the IEEE.
Alberto L. Sangiovanni-Vincentelli, Daniela De Venuto, Eugenio Di Sciascio, 2016, IEEE Design & Test.
A. Sangiovanni-Vincentelli, Ayush Pandey, Inigo Incer, 2022, bioRxiv.
Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Sinem Coleri Ergen, 2013, ACM Trans. Sens. Networks.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Narayan, 1996, 33rd Design Automation Conference Proceedings, 1996.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2005, EMSOFT.
Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, 2010, IEEE Transactions on Industrial Informatics.
Alberto L. Sangiovanni-Vincentelli, Mehdi Maasoumy, A. Sangiovanni-Vincentelli, 2016, Found. Trends Electron. Des. Autom..
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
A. Sangiovanni-Vincentelli, B. Tabbara, A. Tabbara, 2000, Proceedings of the Eighth International Workshop on Hardware/Software Codesign. CODES 2000 (IEEE Cat. No.00TH8518).
Alberto L. Sangiovanni-Vincentelli, Andrea Casotto, A. Sangiovanni-Vincentelli, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alberto L. Sangiovanni-Vincentelli, Marcello Lajolo, Jie Liu, 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 2001 .
Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, George J. Pappas, 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).
Alberto L. Sangiovanni-Vincentelli, Mireille E. Broucke, Maria Domenica Di Benedetto, 2000, HSCC.
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Carlo Guardiani, 2001, Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design.
A. Sangiovanni-Vincentelli, M. Fujita, A. Narayan, 1996, Proceedings of International Conference on Computer Aided Design.
S. Sastry, R. Bajcsy, A. Sangiovanni-Vincentelli, 2014, AAAI Spring Symposia.
Alberto L. Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2007, EMSOFT '07.
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, Luca P. Carloni, Marco Sgroi, 2005, Embedded Systems Handbook.
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.
Alberto L. Sangiovanni-Vincentelli, Attila Jurecska, Francesco Gregoretti, 2000, Des. Autom. Embed. Syst..
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).
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).
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Bassam Tabbara, 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
A. Sangiovanni-Vincentelli, P. Terreni, A. Ferrari, 1998, 1998 URSI International Symposium on Signals, Systems, and Electronics. Conference Proceedings (Cat. No.98EX167).
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Attila Jurecska, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1997, Proceedings of ASP-DAC '97: Asia and South Pacific Design Automation Conference.
Alberto Sangiovanni-Vincentelli, Mirko Sauermann, Dominik Langen, 2008 .
Alberto Sangiovanni-Vincentelli, Massimo Conti, Alberto Ferrari, 2002 .
Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli, 2000 .
Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .
Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1999, 32nd Design Automation Conference.
A. Sangiovanni-Vincentelli, F. Balarin, Yosinori Watanabe, 2004, EMSOFT '04.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Alexander Saldanha, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1993, 30th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alexander Saldanha, Alberto Sangiovanni-Vincentelli, 1993 .
Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2003, EMSOFT.
Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Christoph M. Kirsch, 2012, Sci. Comput. Program..
Alberto Sangiovanni-Vincentelli, Christoph M. Kirsch, Arkadeb Ghosal, 2006 .