A Type Theoretical Analysis of Some Aspects of Programming Languages. - Verónica Gaspes (1997)

A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description Language. - Yan Wang 077; Verónica Gaspes (IFL, 2008)

A Domain-Specific Language Approach to Protocol Stack Implementation. - Yan Wang 077; Verónica Gaspes (PADL, 2010)

An embedded language for programming protocol stacks in embedded systems. - Yan Wang 077; Verónica Gaspes (PEPM, 2011)

A compositional implementation of Modbus in Protege. - Yan Wang 077; Verónica Gaspes (SIES, 2011)

Accurate Programming: Thinking about programs in terms of properties - Walid Taha; Verónica Gaspes; Rex L. Page (DSL, 2011)

A core language for executable models of cyber physical systems: work in progress report. - Walid Taha; Paul Brauner; Robert Cartwright; Verónica Gaspes; Aaron D. Ames; Alexandre Chapoutot (SIGBED Rev., 2011)

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). - Walid Taha; Paul Brauner; Yingfu Zeng; Robert Cartwright; Verónica Gaspes; Aaron D. Ames; Alexandre Chapoutot (ICDCS Workshops, 2012)

Programming Real-Time Image Processing for Manycores in a High-Level Language. - Essayas Gebrewahid; Zain-ul-Abdin; Bertil Svensson; Verónica Gaspes; Bruno Jego; Bruno Lavigueur; Mathieu Robart (APPT, 2013)

Realizing Efficient Execution of Dataflow Actors on Manycores. - Essayas Gebrewahid; Mingkun Yang; Gustav Cedersjö; Zain-ul-Abdin; Verónica Gaspes; Jörn W. Janneck; Bertil Svensson (EUC, 2014)

A running leap for embedded signal processing to future parallel platforms. - Bertil Svensson; Zain-ul-Abdin; Per M. Ericsson; Anders Åhlander; Hoai Hoang Bengtsson; Jerker Bengtsson; Verónica Gaspes; Tomas Nordström (WISE@ASE, 2014)

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. - Walid Taha; Adam Duracz; Yingfu Zeng; Kevin Atkinson; Ferenc A. Bartha; Paul Brauner; Jan Duracz; Fei Xu; Robert Cartwright; Michal Konecný; Eugenio Moggi; Jawad Masood; et al. (IoT 360 (1), 2015)