Publications
 
Book

Luca Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli,
“Languages and Tools for Hybrid Systems Design”,
Foundations and Trends in Electronic Design Automation, 2006.

Conference

Alessandro Pinto, Luca Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli,
“Interchange Semantics for Hybrid System Models”,
5th International Conference on Mathematical Modelling, Vienna, Austria , 2006

Alessandro Pinto, Luca Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli,
“Interchange Formats for Hybrid Systems: Abstract Semantics”,
Hybrid Systems: Computation and Control, Santa Barbara, CA , 2006

Jonathan Sprinkle, Aaron D. Ames, Alessandro Pinto, Haiyang Zheng, Shankar Sastry
“On the Partitioning of Syntax and Semantics for Hybrid Systems Tools”,
44th IEEE Conference on Decision and Control
Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Roberto Passerone and Luca Carloni
“Interchange Formats for Hybrid Systems: Review and Proposal”,
Hybrid Systems: Computation and Control, Zurich, Switzerland 2005


More

Luca Carloni, Maria D. Di Bebedetto, Alessandro Pinto and Alberto Sangiovanni-Vincentelli
“Modeling Techniques,Programming Languages Design Toolsets and Interchange Formats for Hybrid Systems”
Columbus Project, DHS3
../Alessandro%20Pinto/Blog/6CBB3F13-357B-452E-96FE-8E0AC2DF88AA.html../Alessandro%20Pinto/Blog/F5E45D0D-6FE7-4D94-8890-13B7F91B3BF5.html../Alessandro%20Pinto/Blog/6B56F73D-41EF-45FB-8494-656CF8C7079D.html../Alessandro%20Pinto/Blog/ECBE5E58-E5EA-4FF1-AE57-F5CB03989D6E.html../Alessandro%20Pinto/Blog/BF2FB927-67EE-40A4-808A-08EF4A35B378.htmlhttp://www.columbus.gr/documents/public/WPHS/Columbus_DHS3_0.2_Cover.pdfshapeimage_2_link_0shapeimage_2_link_1shapeimage_2_link_2shapeimage_2_link_3shapeimage_2_link_4shapeimage_2_link_5
Contact 
©2002-2018 U.C. Regents