Íñigo Íncer Romeo

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 4

Top Topics

Reactive Systems

Probabilistic Model

Bounded Model Checking

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE (2019)
Roberto Passerone, Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang
Quotient for Assume-Guarantee Contracts. MEMOCODE (2018)
Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
A Metric for Linear Temporal Logic. CoRR (2018)