Verónica Gaspes

12 papers C 3Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2015 — conf
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.
IoT 360 (1)
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
2014 — conf
A running leap for embedded signal processing to future parallel platforms.
WISE@ASE
Bertil Svensson, Zain-ul-Abdin, Per M. Ericsson, Anders Åhlander, Hoai Hoang Bengtsson, Jerker Bengtsson, Verónica Gaspes, Tomas Nordström
2014 C conf
Realizing Efficient Execution of Dataflow Actors on Manycores.
EUC
Essayas Gebrewahid, Mingkun Yang, Gustav Cedersjö, Zain-ul-Abdin, Verónica Gaspes, Jörn W. Janneck, Bertil Svensson
2013 — conf
Programming Real-Time Image Processing for Manycores in a High-Level Language.
APPT
Essayas Gebrewahid, Zain-ul-Abdin, Bertil Svensson, Verónica Gaspes, Bruno Jego, Bruno Lavigueur, Mathieu Robart
2012 — conf
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report).
ICDCS Workshops
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
2011 — conf
A compositional implementation of Modbus in Protege.
SIES
Yan Wang, Verónica Gaspes
2011 J jnl
A core language for executable models of cyber physical systems: work in progress report.
SIGBED Rev.
Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
2011 — conf
Accurate Programming: Thinking about programs in terms of properties
DSL
Walid Taha, Verónica Gaspes, Rex L. Page
2011 C conf
An embedded language for programming protocol stacks in embedded systems.
PEPM
Yan Wang, Verónica Gaspes
2010 C conf
A Domain-Specific Language Approach to Protocol Stack Implementation.
PADL
Yan Wang, Verónica Gaspes
2008 — conf
A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description Language.
IFL
Yan Wang, Verónica Gaspes
1997 — —
A Type Theoretical Analysis of Some Aspects of Programming Languages.
Verónica Gaspes