Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto A modal interface theory for component-based design. (English) Zbl 1242.68147 Fundam. Inform. 108, No. 1-2, 119-149 (2011). MSC: 68Q45 03B45 68Q60 PDF BibTeX XML Cite \textit{J.-B. Raclet} et al., Fundam. Inform. 108, No. 1--2, 119--149 (2011; Zbl 1242.68147) Full Text: DOI
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos Multiple viewpoint contract-based specification and design. (English) Zbl 1209.68120 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 200-225 (2008). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Benveniste} et al., Lect. Notes Comput. Sci. 5382, 200--225 (2008; Zbl 1209.68120) Full Text: DOI
Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L. Approximating behaviors in embedded system design. (English) Zbl 1143.68461 Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 721-742 (2008). MSC: 68Q60 PDF BibTeX XML Cite \textit{R. Passerone} and \textit{A. L. Sangiovanni-Vincentelli}, Lect. Notes Comput. Sci. 5065, 721--742 (2008; Zbl 1143.68461) Full Text: DOI
Passerone, Roberto; Burch, Jerry R.; Sangiovanni-Vincentelli, Alberto L. Refinement preserving approximations for the design and verification of heterogeneous systems. (English) Zbl 1118.68498 Form. Methods Syst. Des. 31, No. 1, 1-33 (2007). MSC: 68Q10 PDF BibTeX XML Cite \textit{R. Passerone} et al., Form. Methods Syst. Des. 31, No. 1, 1--33 (2007; Zbl 1118.68498) Full Text: DOI
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L. Languages and tools for hybrid systems design. (English) Zbl 1143.68346 Found. Trends Electron. Des. Autom. 1, No. 1-2, 194 p. (2006). MSC: 68M99 68U20 68Q65 PDF BibTeX XML Cite \textit{L. P. Carloni} et al., Found. Trends Electron. Des. Autom. 1, No. 1--2, 194~p. (2006; Zbl 1143.68346) Full Text: DOI
Pinto, Alessandro; Carloni, Luca P.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto Interchange format for hybrid systems: Abstract semantics. (English) Zbl 1178.93105 Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 491-506 (2006). MSC: 93C95 68Q05 68Q55 PDF BibTeX XML Cite \textit{A. Pinto} et al., Lect. Notes Comput. Sci. 3927, 491--506 (2006; Zbl 1178.93105) Full Text: DOI
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L. Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). (English) Zbl 1107.68385 Foundations and Trends in Electronic Design Automation. Boston, MA: now (ISBN 1-933019-28-X/pbk). x, 194 p. (2006). MSC: 68M99 68U20 68Q65 68-01 PDF BibTeX XML Cite \textit{L. P. Carloni} et al., Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). Boston, MA: now (2006; Zbl 1107.68385) Full Text: DOI
Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L. Using multiple levels of abstractions in embedded software design. (English) Zbl 1050.68521 Henzinger, Thomas A. (ed.) et al., Embedded software. 1st international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8–10, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42673-6). Lect. Notes Comput. Sci. 2211, 324-343 (2001). MSC: 68N99 PDF BibTeX XML Cite \textit{J. R. Burch} et al., Lect. Notes Comput. Sci. 2211, 324--343 (2001; Zbl 1050.68521) Full Text: Link
Gregoretti, Francesco; Passerone, Roberto; Reyneri, Leonardo Maria; Sansoé, Claudio A high speed VLSI architecture for handwriting recognition. (English) Zbl 0987.68847 J. VLSI Signal Process. Syst. Signal Image Video Technol. 28, No. 3, 259-278 (2001). MSC: 68U99 68T10 PDF BibTeX XML Cite \textit{F. Gregoretti} et al., J. VLSI Signal Process. Syst. Signal Image Video Technol. 28, No. 3, 259--278 (2001; Zbl 0987.68847) Full Text: DOI