Roberto Lublinerman

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 1

Top Topics

Provably Correct

High Robustness

Top Venues

Principles of Modeling

Publications

Stavros Tripakis, Roberto Lublinerman
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. Principles of Modeling (2018)
Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar
Isolation for nested task parallelism. OOPSLA (2013)
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
Continuity and robustness of programs. Commun. ACM 55 (8) (2012)
Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar
Delegated isolation. OOPSLA (2011)
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour
Proving programs robust. SIGSOFT FSE (2011)
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
Continuity analysis of programs. POPL (2010)
Roberto Lublinerman, Christian Szegedy, Stavros Tripakis
Modular code generation from synchronous block diagrams: modularity vs. code size. POPL (2009)
Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis
Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC (2009)
Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný
Parallel programming with object assemblies. OOPSLA (2009)
Roberto Lublinerman, Stavros Tripakis
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. DATE (2008)
Roberto Lublinerman, Stavros Tripakis
Modular Code Generation from Triggered and Timed Block Diagrams. IEEE Real-Time and Embedded Technology and Applications Symposium (2008)
Yanxi Liu, Tamara Belkina, James Hays, Roberto Lublinerman
Image de-fencing. CVPR (2008)
Roberto Lublinerman, Stavros Tripakis
Translating data flow to synchronous block diagrams. ESTIMedia (2008)
Grant Schindler, Panchapagesan Krishnamurthy, Roberto Lublinerman, Yanxi Liu, Frank Dellaert
Detecting and matching repeated patterns for automatic geo-tagging in urban environments. CVPR (2008)
Roberto Lublinerman, Mario Sznaier, Octavia I. Camps
Dynamics Based Robust Motion Segmentation. CVPR (1) (2006)
Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpalas, Octavia I. Camps
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques. ICPR (1) (2006)