Archivio Istituzionale della RicercaVINCO, SARA
VINCO, SARA
Dipartimento di Automatica e Informatica
032283
Preface
2019 Große, Daniel; Vinco, Sara; Patel, Hiren
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework
2017 Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco
Design Domains and Abstraction Levels for Effective Smart System Simulation
2016 Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco
Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems
2016 Vinco, Sara; Pilato, Christian
Modeling and Simulation of the Power Flow in Smart Systems
2016 Vinco, Sara; Sassone, Alessandro; Poncino, Massimo; Macii, Enrico; Gangemi, Giuliana; Canegallo, Roberto
SystemC-AMS Simulation of Conservative Behavioral Descriptions
2016 Vinco, Sara; Lora, Michele; Zwolinski, Mark
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2014 Franco, Fummi; Michele, Lora; Francesco, Stefanni; Vinco, Sara
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Preface / Große, D., Vinco, S., Patel, H.. - 530:(2019). [10.1007/978-3-030-02215-0] | 1-gen-2019 | Vinco, Sara + | editor.pdf; editor.pdf |
| Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework / Pravadelli, G., Quaglia, D., Vinco, S., Fummi, F. - In: Handbook of Hardware/Software Codesign / Soonhoi Ha, Jürgen Teich. - [s.l] : Springer Netherlands, 2017. - ISBN 978-94-017-7266-2. - pp. 683-720 [10.1007/978-94-017-7358-4_23-2] | 1-gen-2017 | QUAGLIA, DavideVINCO, SARAFUMMI, FRANCO + | - |
| Design Domains and Abstraction Levels for Effective Smart System Simulation / Vinco, S., Lora, M., Guarnieri, V., Vanhese, J., Trachanis, D., Fummi, F. - In: Smart Systems Integration and Simulation / Nicola Bombieri; Massimo Poncino; Graziano Pravadelli. - STAMPA. - [s.l] : Springer International Publishing, 2016. - ISBN 978-3-319-27390-7. - pp. 23-54 [10.1007/978-3-319-27392-1_3] | 1-gen-2016 | VINCO, SARA + | cap3.pdf; main.pdf |
| Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems / Vinco, S., Pilato, C.. - 15:(2016), pp. 1-2. [10.1145/2885505] | 1-gen-2016 | VINCO, SARA + | 2885505.pdf |
| Modeling and Simulation of the Power Flow in Smart Systems / Vinco, S., Sassone, A., Poncino, M., Macii, E., Gangemi, G., Canegallo, R. - In: Smart Systems Integration and Simulation / Nicola Bombieri; Massimo Poncino; Graziano Pravadelli. - [s.l] : Springer International Publishing, 2016. - ISBN 978-3-319-27390-7. - pp. 169-194 [10.1007/978-3-319-27392-1_7] | 1-gen-2016 | VINCO, SARASASSONE, ALESSANDROPONCINO, MASSIMOMACII, Enrico + | cap7.pdf |
| SystemC-AMS Simulation of Conservative Behavioral Descriptions / Vinco, S., Lora, M., Zwolinski, M. (LECTURE NOTES IN ELECTRICAL ENGINEERING). - In: Languages, Design Methods, and Tools for Electronic System Design / Drechsler R., Wille R.. - STAMPA. - [s.l] : Springer International Publishing, 2016. - ISBN 978-3-319-31722-9. - pp. 151-173 [10.1007/978-3-319-31723-6_7] | 1-gen-2016 | VINCO, SARA + | chp%3A10.1007%2F978-3-319-31723-6_7.pdf; chap_vinco.pdf |
| Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity / Franco, F., Michele, L., Francesco, S., Vinco, S. - In: Languages, Design Methods, and Tools for Electronic System DesignSTAMPA. - [s.l] : Springer International Publishing, 2014. - ISBN 9783319063171. - pp. 103-124 [10.1007/978-3-319-06317-1_6] | 1-gen-2014 | VINCO, SARA + | - |