Elaine Render

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Parameter Tuning

Software Application

Program Synthesis

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Rupak Majumdar, Elaine Render, Paulo Tabuada
A theory of robust omega-regular software synthesis. ACM Trans. Embed. Comput. Syst. 13 (3) (2013)
Rupak Majumdar, Elaine Render, Paulo Tabuada
Robust discrete synthesis against unspecified disturbances. HSCC (2011)
Rupak Majumdar, Elaine Render, Paulo Tabuada
A theory of robust software synthesis CoRR (2011)
Elaine Render, Mark Kambites
Semigroup automata with rational initial and terminal sets. Theor. Comput. Sci. 411 (7-9) (2010)
Thomas Brihaye, Véronique Bruyère, Elaine Render
Formal language properties of hybrid systems with strong resets. RAIRO Theor. Informatics Appl. 44 (1) (2010)
Elaine Render, Mark Kambites
Rational subsets of polycyclic monoids and valence automata. Inf. Comput. 207 (11) (2009)
Elaine Render, Mark Kambites
Polycyclic and Bicyclic Valence Automata. LATA (2008)