Nicholas A. DeLateur

Publication Activity (10 Years)

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

Top Topics

Reactive Systems

Bounded Model Checking

Formal Specification Language

Top Venues

Publications

Christian Cuba Samaniego, Nicholas A. DeLateur, Giulia Giordano, Elisa Franco
Biomolecular stabilisation near the unstable equilibrium of a biological system. CDC (2019)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CDC (2018)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CoRR (2018)
Prashant Vaidyanathan, Rachael Ivison, Giuseppe Bombara, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Grid-based temporal logic inference. CDC (2017)