MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Roberto Passerone" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 15 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Interchange format for hybrid systems: Abstract semantics  
  • by Ro Pinto, Lucap. Carloni, Roberto Passerone — 2006 — In João P. Hespanha and Ashish Tiwari, editors, Hybrid Systems: Computation and Control, 9th International Workshop, volume 3927 of Lecture Notes in Computer Science
  • … , Roberto Passerone 2 , and Alberto Sangiovanni-Vincentelli 1 1 University of California at Berkeley…
  • Cited by 7 (0 self) – Add To MetaCart
  • Interchange formats for hybrid systems: Review and proposal  
  • by Ro Pinto, Alberto Sangiovanni-vincentelli, Luca P. Carloni, Roberto Passerone — 2005 — HSCC 05: Hybrid Systems—Computation and Control. Volume 3414 of Lecture
  • … Sangiovanni-Vincentelli 1 , Luca P. Carloni 3 , and Roberto Passerone 2 1 Department of Electrical Engineering…
  • Cited by 3 (1 self) – Add To MetaCart
  • Constraints Specification at Higher Levels of Abstraction  
  • by Felice Balarin, Jerry Burch, Luciano Lavagno, Yosinori Watanabe, Roberto Passerone, Alberto Sangiovanni-vincentelli — 2001 — In Proceedings of International Workshop on High Level Design Validation and Test
  • … Lavagno, Yosinori Watanabe Cadence Berkeley Laboratories Berkeley, CA Roberto Passerone, Alberto…
  • Cited by 11 (5 self) – Add To MetaCart
  • Modeling Reactive Systems in Java  
  • by Roberto Passerone Claudio, Claudio Passerone, Luciano Lavagno, Alberto Sangiovanni Vincentelli — 1997
  • …Modeling Reactive Systems in Java Roberto Passerone Claudio Passerone Department of EECS…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB