Verónica Gaspes

Publication Activity (10 Years)

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

Top Venues

APPT

WISE@ASE

ICDCS Workshops

EUC

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

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, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Essayas Gebrewahid, Mingkun Yang, Gustav Cedersjö, Zain-ul-Abdin, Verónica Gaspes, Jörn W. Janneck, Bertil Svensson
Realizing Efficient Execution of Dataflow Actors on Manycores. EUC (2014)
Bertil Svensson, Zain-ul-Abdin, Per M. Ericsson, Anders Åhlander, Hoai Hoang Bengtsson, Jerker Bengtsson, Verónica Gaspes, Tomas Nordström
A running leap for embedded signal processing to future parallel platforms. WISE@ASE (2014)
Essayas Gebrewahid, Zain-ul-Abdin, Bertil Svensson, Verónica Gaspes, Bruno Jego, Bruno Lavigueur, Mathieu Robart
Programming Real-Time Image Processing for Manycores in a High-Level Language. APPT (2013)
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops (2012)
Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A core language for executable models of cyber physical systems: work in progress report. SIGBED Rev. 8 (2) (2011)
Yan Wang, Verónica Gaspes
An embedded language for programming protocol stacks in embedded systems. PEPM (2011)
Yan Wang, Verónica Gaspes
A compositional implementation of Modbus in Protege. SIES (2011)
Walid Taha, Verónica Gaspes, Rex L. Page
Accurate Programming: Thinking about programs in terms of properties DSL (2011)
Yan Wang, Verónica Gaspes
A Domain-Specific Language Approach to Protocol Stack Implementation. PADL (2010)
Yan Wang, Verónica Gaspes
A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description Language. IFL (2008)

Verónica Gaspes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Verónica Gaspes