Verónica Gaspes

According to our database, Verónica Gaspes authored at least 12 papers between 1997 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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, 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

Proceedings of the Internet of Things. IoT Infrastructures, 2015

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

Proceedings of the WISE'14, 2014

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

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

2013

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

Proceedings of the Advanced Parallel Processing Technologies, 2013

2012

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

Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

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

Accurate Programming: Thinking about programs in terms of properties

Walid Taha, Verónica Gaspes, Rex L. Page

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

A compositional implementation of Modbus in Protege.

Yan Wang, Verónica Gaspes

Proceedings of the Industrial Embedded Systems (SIES), 2011

An embedded language for programming protocol stacks in embedded systems.

Yan Wang, Verónica Gaspes

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010

A Domain-Specific Language Approach to Protocol Stack Implementation.

Yan Wang, Verónica Gaspes

Proceedings of the Practical Aspects of Declarative Languages, 2010

2008

A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description Language.

Yan Wang, Verónica Gaspes

Proceedings of the Implementation and Application of Functional Languages, 2008

1997

A Type Theoretical Analysis of Some Aspects of Programming Languages.

Verónica Gaspes

PhD thesis, 1997