المؤلفون: Mirco Theile, Daniele Bernardini, Raphael Trumpp, Cristina Piazza, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli

المصدر: IEEE Access, Vol 12, Pp 40668-40681 (2024)

مصطلحات موضوعية: Action mapping, feasibility, generative neural network, self-supervised learning, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10471398/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/ef2417f41bf04b60936960200959b06a

المؤلفون: Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

المصدر: CAV, Computer Aided Verification, Paris, France, 17-22 July 2023

Relation: https://doi.org/10.5281/zenodo.7874465; https://doi.org/10.5281/zenodo.7874466; oai:zenodo.org:7874466

الاتاحة: https://doi.org/10.5281/zenodo.7874466

المؤلفون: Mohammad Mozumdar, Zhen Yu Song, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli

المصدر: Sensors, Vol 14, Iss 6, Pp 11070-11096 (2014)

مصطلحات موضوعية: model based design, wireless sensor networks, hardware-in-the-loop simulation, Chemical technology, TP1-1185

وصف الملف: electronic resource

Relation: http://www.mdpi.com/1424-8220/14/6/11070; https://doaj.org/toc/1424-8220

URL الوصول: https://doaj.org/article/6b4b85b69ed04d1796f9a61af42621ac

المؤلفون: Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donze, Sanjit A. Seshia

المصدر: IEEE Access, Vol 2, Pp 1-25 (2014)

مصطلحات موضوعية: Design methodology, design automation, aircraft, power systems, control system synthesis, contract-based design, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/6690099/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/99000e33be3a49ef9a1230802816cbbc

المؤلفون: Mohammad Mozumdar, Zhen Yu Song, Luciano Lavagno, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mdpi.com/1424-8220/14/6/11070/pdf/.

مصطلحات موضوعية: model based design, wireless sensor networks, hardware-in-the-loop simulation

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.652.2; http://www.mdpi.com/1424-8220/14/6/11070/pdf/

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.652.2
http://www.mdpi.com/1424-8220/14/6/11070/pdf/

المؤلفون: Alberto Alessandro, Angelo Puggelli, Wenchao Li, Alberto L. Sangiovanni-vincentelli, Sanjit A. Seshia, Alberto Puggelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-24.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.4134; http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-24.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.4134
http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-24.pdf

المؤلفون: Edward A. Lee, John D. Kubiatowicz, Jan M. Rabaey, Alberto L. Sangiovanni-vincentelli, Sanjit A. Seshia, John Wawrzynek, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Doug Jones, Richard Murray, Jan Rabaey, Anthony Rowe, Alberto Sangiovanni-vincentelli, Carl M Sechen, Tajana Simunic Rosing, Ben Taskar, David Wessel

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.berkeley.edu/~kubitron/papers/swarmlab/EECS-2012-207.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.1058; http://www.cs.berkeley.edu/~kubitron/papers/swarmlab/EECS-2012-207.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.1058
http://www.cs.berkeley.edu/~kubitron/papers/swarmlab/EECS-2012-207.pdf

المؤلفون: Edward A. Lee, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://www.researchgate.net/profile/Alberto_Sangiovanni-Vincentelli/publication/224235935_Component-based_design_for_the_future/links/0c96052dd3bf4e953e000000.pdf?origin%3Dpublication_detail.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1033.3975

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1033.3975

المؤلفون: Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni-vincentelli, Alberto Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-115.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.63; http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-115.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.63
http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-115.pdf

المؤلفون: Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-17.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.1154; http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-17.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.1154
http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-17.pdf

المؤلفون: Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www1.cs.columbia.edu/~luca/research/ftdfTransactions.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.6752; http://www1.cs.columbia.edu/~luca/research/ftdfTransactions.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.6752
http://www1.cs.columbia.edu/~luca/research/ftdfTransactions.pdf

المؤلفون: Ro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www1.cs.columbia.edu/~luca/research/cdcsTranscad.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.8932; http://www1.cs.columbia.edu/~luca/research/cdcsTranscad.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.8932
http://www1.cs.columbia.edu/~luca/research/cdcsTranscad.pdf

المؤلفون: Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.irisa.fr/distribcom/benveniste/pub/TagSystemsTECS08.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.192.3109; http://www.irisa.fr/distribcom/benveniste/pub/TagSystemsTECS08.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.192.3109
http://www.irisa.fr/distribcom/benveniste/pub/TagSystemsTECS08.pdf

المؤلفون: Guoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-81.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.5090; http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-81.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.5090
http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-81.pdf

المؤلفون: Alberto L. Sangiovanni-vincentelli, Luca Carloni, Ro Pinto, Luca P. Carloni

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-130.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.4816; http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-130.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.4816
http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-130.pdf

المؤلفون: Andrea Balluchi, Alberto Casagrande, Pieter Collins, Alberto Ferrari, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ist-hycon.org/HYCON-publications/BCCFVS_MTNS2006.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.6516; http://www.ist-hycon.org/HYCON-publications/BCCFVS_MTNS2006.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.6516
http://www.ist-hycon.org/HYCON-publications/BCCFVS_MTNS2006.pdf

المؤلفون: Qi Zhu, Zhengya Zhang, Alberto L. Sangiovanni-vincentelli, Ro Pinto, Alberto Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-126.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.2955; http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-126.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.2955
http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-126.pdf

المؤلفون: Abhijit Davare, Qi Zhu, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-30.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.8854; http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-30.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.8854
http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-30.pdf

المؤلفون: Luca Carloni, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-137.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.769; http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-137.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.769
http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-137.pdf

المؤلفون: Alessandro Pinto, Alvise Bonivento, Alberto L, Roberto Passerone, Marco Sgroi, Docomo Euro-labs, A. Bonivento, A. L. Sangiovanni-vincentelli, Department Of Electrical

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://disi.unitn.it/~roby/pdfs/PintoBoniventoASVPasseroneSgroi06TODAES.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, J.6 [Computer Applications, Computer-Aided Engineering General Terms, Design, Theory Additional Key Words and Phrases, Embedded systems, platform-based design, communication synthesis

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.321.876; http://disi.unitn.it/~roby/pdfs/PintoBoniventoASVPasseroneSgroi06TODAES.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.321.876
http://disi.unitn.it/~roby/pdfs/PintoBoniventoASVPasseroneSgroi06TODAES.pdf