Alberto Sangiovanni-Vincentelli: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

101

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - PANEL: The Heritage of Mead & Conway: What Has Remained the Same, What Was Missed, What Has Changed, What Lies Ahead

Sangiovanni-Vincentelli, Alberto, Casale-Rossi, Marco, Carloni, Luca, Courtois, Bernard, de Man, Hugo, Domic, Antun, Rabaey, Jan

Year:

2013

Language:

english

File:

PDF, 177 KB

english, 2013

102

[ACM Press the ACM/IEEE 4th International Conference - Philadelphia, Pennsylvania (2013.04.08-2013.04.11)] Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13 - Co-design of control algorithm and embedded platform for building HVAC systems

Maasoumy, Mehdi, Zhu, Qi, Li, Cheng, Meggers, Forrest, Sangiovanni-Vincentelli, Alberto

Year:

2013

Language:

english

File:

PDF, 18.65 MB

english, 2013

103

[IEEE 2015 IEEE International Conference on Mechatronics and Automation (ICMA) - Beijing, China (2015.8.2-2015.8.5)] 2015 IEEE International Conference on Mechatronics and Automation (ICMA) - Design optimization of the control system for the powertrain of an electric vehicle: A cyber-physical system approach

Lv, Chen, Zhang, Junzhi, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto, Li, Yutong, Yuan, Ye

Year:

2015

Language:

english

File:

PDF, 1.03 MB

english, 2015

104

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures

Nuzzo, Pierluigi, Bajaj, Nikunj, Masin, Michael, Kirov, Dmitrii, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto L.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2020

File:

PDF, 850 KB

2020

105

Optimal printed circuit board ordering via hart-nilsson-raphael-algorithm

Alberto L. Sangiovanni-Vincentelli, Mauro Santomauro

Journal:

International Journal of Circuit Theory and Applications

Year:

1979

Language:

english

File:

PDF, 631 KB

english, 1979

106

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - All things are connected

Sangiovanni-Vincentelli, Alberto

Year:

2010

Language:

english

File:

PDF, 68 KB

english, 2010

107

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - Design management based on design traces

Casotto, Andrea, Newton, A. Richard, Sangiovanni-Vincentelli, Alberto

Year:

1990

Language:

english

File:

PDF, 788 KB

english, 1990

108

[ACM Press the 46th Annual Design Automation Conference - San Francisco, California (2009.07.26-2009.07.31)] Proceedings of the 46th Annual Design Automation Conference on ZZZ - DAC '09 - Scheduling the FlexRay bus using optimization techniques

Zeng, Haibo, Zheng, Wei, Di Natale, Marco, Ghosal, Arkadeb, Giusto, Paolo, Sangiovanni-Vincentelli, Alberto

Year:

2009

Language:

english

File:

PDF, 162 KB

english, 2009

109

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - Free MDD-based software optimization techniques for embedded systems

Kim, Chunghee, Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto

Year:

2000

Language:

english

File:

PDF, 207 KB

english, 2000

110

[ACM Press the 30th international - Dallas, Texas, United States (1993.06.14-1993.06.18)] Proceedings of the 30th international on Design automation conference - DAC '93 - Resynthesis of multi-phase pipelines

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

Year:

1993

Language:

english

File:

PDF, 741 KB

english, 1993

111

[ACM Press the 30th international - Dallas, Texas, United States (1993.06.14-1993.06.18)] Proceedings of the 30th international on Design automation conference - DAC '93 - Circuit delay models and their exact computation using Timed Boolean Functions

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

Year:

1993

Language:

english

File:

PDF, 813 KB

english, 1993

112

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Optimum functional decomposition using encoding

Murgai, Rajeev, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto

Year:

1994

Language:

english

File:

PDF, 204 KB

english, 1994

113

[ASME ASME 2011 Dynamic Systems and Control Conference and Bath/ASME Symposium on Fluid Power and Motion Control - Arlington, Virginia, USA (October 31–November 2, 2011)] ASME 2011 Dynamic Systems and Control Conference and Bath/ASME Symposium on Fluid Power and Motion Control, Volume 1 - Model-Based Hierarchical Optimal Control Design for HVAC Systems

Maasoumy, Mehdi, Pinto, Alessandro, Sangiovanni-Vincentelli, Alberto

Year:

2011

Language:

english

File:

PDF, 558 KB

english, 2011

114

Security-Aware Design Methodology and Optimization for Automotive Systems

Lin, Chung-Wei, Zheng, Bowen, Zhu, Qi, Sangiovanni-Vincentelli, Alberto

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2015

Language:

english

File:

PDF, 963 KB

english, 2015

115

[IEEE 2007 44th ACM/IEEE Design Automation Conference - San Diego, CA, USA (2007.06.4-2007.06.8)] 2007 44th ACM/IEEE Design Automation Conference - Electronics: The New Differential in the Automotive Industry

Smith, Nick, Chien, Andrew, Hegarty, Christopher, Rhines, Walden C., Sangiovanni-Vincentelli, Alberto, Winters, Frank

Year:

2007

Language:

english

File:

PDF, 126 KB

english, 2007

116

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming

Shoukry, Yasser, Nuzzo, Pierluigi, Balkan, Ayca, Saha, Indranil, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo

Year:

2017

Language:

english

File:

PDF, 178 KB

english, 2017

117

[IEEE 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Dresden, Germany (2018.3.19-2018.3.23)] 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts

Iannopollo, Antonio, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Year:

2018

Language:

english

File:

PDF, 205 KB

english, 2018

118

[ACM Press the 2018 ACM - Yokohama, Japan (2018.06.11-2018.06.14)] Proceedings of the 2018 ACM on International Conference on Multimedia Retrieval - ICMR '18 - A LiDAR Point Cloud Generator

Yue, Xiangyu, Wu, Bichen, Seshia, Sanjit A., Keutzer, Kurt, Sangiovanni-Vincentelli, Alberto L.

Year:

2018

Language:

english

File:

PDF, 3.72 MB

english, 2018

119

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor

Meyerowitz, Trevor, Sangiovanni-Vincentelli, Alberto, Sauermann, Mirko, Langen, Dominik

Year:

2008

Language:

english

File:

PDF, 2.29 MB

english, 2008

120

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Are logic synthesis tools robust?

Puggelli, Alberto, Welp, Tobias, Kuehlmann, Andreas, Sangiovanni-Vincentelli, Alberto

Year:

2011

Language:

english

File:

PDF, 1.00 MB

english, 2011

121

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Formal verification of embedded systems based on CFSM networks

Balarin, Felice, Hsieh, Harry, Jurecska, Attila, Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto

Year:

1996

Language:

english

File:

PDF, 134 KB

english, 1996

122

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Complex system verification (panel)

Collett, Ron, McMillan, Ken, Sangiovanni-Vincentelli, Alberto, Baynes, Martin, Zafar, Naeem, Sapiro, Steve, Van Ginderdeuren, Johan, Ricca, Stephen

Year:

1994

Language:

english

File:

PDF, 9 KB

english, 1994

123

[IEEE 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Samos, Greece (2015.7.19-2015.7.23)] 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms

Yang, Yang, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Year:

2015

Language:

english

File:

PDF, 519 KB

english, 2015

124

Reachability computation for hybrid systems with Ariadne

Benvenuti, Luca, Bresolin, Davide, Casagrande, Alberto, Collins, Pieter, Ferrari, Alberto, Mazzi, Emanuele, Sangiovanni-Vincentelli, Alberto, Villa, Tiziano

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 860 KB

english, 2008

125

SAE Technical Paper Series [SAE International SAE 2006 World Congress & Exhibition - (APR. 03, 2006)] SAE Technical Paper Series - Design Space Exploration of Automotive Platforms in Metropolis

Zeng, Haibo, Davare, Abhijit, Sangiovanni-Vincentelli, Alberto, Sonalkar, Sampada, Kanajan, Sri, Pinello, Claudio

Year:

2006

Language:

english

File:

PDF, 430 KB

english, 2006

126

[IEEE 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom) - Sydney, Australia (2019.12.11-2019.12.13)] 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom) - Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS

Hofer, Florian, Sehr, Martin A., Iannopollo, Antonio, Ugalde, Ines, Sangiovanni-Vincentelli, Alberto, Russo, Barbara

Year:

2019

File:

PDF, 3.72 MB

2019

127

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - A novel VLSI layout fabric for deep sub-micron applications

Khatri, Sunil P., Mehrotra, Amit, Brayton, Robert K., Otten, Ralf H. J. M., Sangiovanni-Vincentelli, Alberto

Year:

1999

Language:

english

File:

PDF, 118 KB

english, 1999

128

Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network

Zeng, Haibo, Di Natale, Marco, Giusto, Paolo, Sangiovanni-Vincentelli, Alberto

Journal:

IEEE Transactions on Industrial Informatics

Year:

2010

Language:

english

File:

PDF, 1.33 MB

english, 2010

129

EDA meets biology! The bumpy road ahead [Perscetives]

Sangiovanni-Vincentelli, Alberto

Journal:

IEEE Design & Test of Computers

Year:

2012

Language:

english

File:

PDF, 71 KB

english, 2012

130

[IEEE 1985 24th IEEE Conference on Decision and Control - Fort Lauderdale, FL, USA (1985.12.11-1985.12.13)] 1985 24th IEEE Conference on Decision and Control - Waveform relaxation techniques and their parallel implementation

Sangiovanni-vincentelli, Alberto, White, Jacob

Year:

1985

Language:

english

File:

PDF, 982 KB

english, 1985

131

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - Automatic synthesis of interfaces between incompatible protocols

Passerone, Roberto, Rowson, James A., Sangiovanni-Vincentelli, Alberto

Year:

1998

Language:

english

File:

PDF, 211 KB

english, 1998

132

[ACM Press the 30th international - Dallas, Texas, United States (1993.06.14-1993.06.18)] Proceedings of the 30th international on Design automation conference - DAC '93 - Delay fault coverage and performance tradeoffs

Lam, William K., Saldanha, Alexander, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.

Year:

1993

Language:

english

File:

PDF, 876 KB

english, 1993

133

[IEEE 2019 IEEE Intelligent Transportation Systems Conference - ITSC - Auckland, New Zealand (2019.10.27-2019.10.30)] 2019 IEEE Intelligent Transportation Systems Conference (ITSC) - Multi-Objective Calibration of Microscopic Traffic Simulation for Highway Traffic Safety

Cascan, Edgar Tamayo, Ivanchev, Jordan, Eckhoff, David, Sangiovanni-Vincentelli, Alberto, Knoll, Alois

Year:

2019

File:

PDF, 528 KB

2019

134

Runtime deadlock analysis for system level design

Eric Cheung, Xi Chen, Harry Hsieh, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe

Journal:

Design Automation for Embedded Systems

Year:

2009

Language:

english

File:

PDF, 916 KB

english, 2009

135

Compositionally Progressive Solutions of Synchronous FSM Equations

Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alex Petrenko, Alberto L. Sangiovanni-Vincentelli

Journal:

Discrete Event Dynamic Systems

Year:

2008

Language:

english

File:

PDF, 1.28 MB

english, 2008

136

Formula-Dependent Equivalence for Compositional CTL Model Checking

Adnan Aziz, Thomas Shiple, Vigyan Singhal, Robert Brayton, Alberto Sangiovanni-Vincentelli

Journal:

Formal Methods in System Design

Year:

2002

Language:

english

File:

PDF, 226 KB

english, 2002

137

[IEEE 2009 IEEE International Symposium on Industrial Embedded Systems (SIES) - Lausanne, Switzerland (2009.07.8-2009.07.10)] 2009 IEEE International Symposium on Industrial Embedded Systems - Statistical analysis of Controller Area Network message response times

Zeng, Haibo, Di Natale, Marco, Giusto, Paolo, Sangiovanni-Vincentelli, Alberto

Year:

2009

Language:

english

File:

PDF, 517 KB

english, 2009

138

[ACM Press the tenth international symposium - Estes Park, Colorado (2002.05.06-2002.05.08)] Proceedings of the tenth international symposium on Hardware/software codesign - CODES '02 - HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform

Baleani, Massimo, Gennari, Frank, Jiang, Yunjian, Patel, Yatish, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto

Year:

2002

Language:

english

File:

PDF, 562 KB

english, 2002

139

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - A fully implicit algorithm for exact state minimization

Kam, Timothy, Villa, Tiziano, Brayton, Robert, Sangiovanni-Vincentelli, Alberto

Year:

1994

Language:

english

File:

PDF, 174 KB

english, 1994

140

[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Optimized Selection of Reliable and Cost-Effective Cyber-Physical System Architectures

Bajaj, Nikunj, Nuzzo, Pierluigi, Masin, Michael, Sangiovanni-Vincentelli, Alberto

Year:

2015

Language:

english

File:

PDF, 383 KB

english, 2015

141

Driving-Style-Based Co-Design Optimization of an Automated Electric Vehicle: A Cyber-Physical System Approach

Lv, Chen, Hu, Xiaosong, Sangiovanni-Vincentelli, Alberto, Marina, Clara, Li, Yutong, Cao, Dongpu

Journal:

IEEE Transactions on Industrial Electronics

Year:

2018

Language:

english

File:

PDF, 1.60 MB

english, 2018

142

[ACM Press the 22nd ACM International Conference - Montreal, Quebec, Canada (2019.04.16-2019.04.18)] Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 - A new simulation metric to determine safe environments and controllers for systems with unknown dynamics

Ghosh, Shromona, Bansal, Somil, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A., Tomlin, Claire

Year:

2019

Language:

english

File:

PDF, 5.22 MB

english, 2019

143

Editor's foreword

Alberto Sangiovanni-Vincentelli

Journal:

Year:

1991

Language:

english

File:

PDF, 489 KB

english, 1991

144

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Contract-based design of control protocols for safety-critical cyber-physical systems

Nuzzo, Pierluigi, Finn, John B., Iannopollo, Antonio, Sangiovanni-Vincentelli, Alberto L.

Year:

2014

Language:

english

File:

PDF, 688 KB

english, 2014

145

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2034 || Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles

Di Benedetto, Maria Domenica, Sangiovanni-Vincentelli, Alberto

Year:

2001

Language:

english

File:

PDF, 192 KB

english, 2001

146

[IEEE 2006 Fortieth Asilomar Conference on Signals, Systems and Computers - Pacific Grove, CA, USA (2006.10.29-2006.11.1)] 2006 Fortieth Asilomar Conference on Signals, Systems and Computers - Constraints Assisted Modeling and Validation in Metropolis Framework

Yang, Guang, Hsieh, Harry, Chen, Xi, Balarin, Felice, Sangiovanni-Vincentelli, Alberto

Year:

2006

Language:

english

File:

PDF, 7.31 MB

english, 2006

147

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - A hierarchical coordination language for interacting real-time tasks

Ghosal, Arkadeb, Sangiovanni-Vincentelli, Alberto, Kirsch, Christoph M., Henzinger, Thomas A., Iercan, Daniel

Year:

2006

Language:

english

File:

PDF, 859 KB

english, 2006

148

[ACM Press the 1st ACM Conference - Memphis, Tennessee (2014.11.03-2014.11.06)] Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings - BuildSys '14 - Distributed control of a swarm of buildings connected to a smart grid

Aksanli, Baris, Nghiem, Truong X., Raman, Vasumathi, Rowe, Anthony, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit, Rosing, Tajana Simunic, Venkatesh, Jagannathan, Akyurek, Alper S., Behl, Madhur, C

Year:

2014

Language:

english

File:

PDF, 128 KB

english, 2014

149

[ACM Press the 5th ACM international conference - Jersey City, NJ, USA (2005.09.18-2005.09.22)] Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05 - Tag machines

Benveniste, Albert, Caillaud, Benoît, Carloni, Luca P., Sangiovanni-Vincentelli, Alberto

Year:

2005

Language:

english

File:

PDF, 243 KB

english, 2005

150

[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - Period optimization for hard real-time distributed automotive systems

Davare, Abhijit, Zhu, Qi, Di Natale, Marco, Pinello, Claudio, Kanajan, Sri, Sangiovanni-Vincentelli, Alberto

Year:

2007

Language:

english

File:

PDF, 280 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски