Den här sidan är utskriven från Högskolan i Halmstads webbplats (www.hh.se). Texten uppdaterades senast den 2014-03-24. Besök webbplatsen om du vill vara säker på att läsa den senaste versionen.

Veronica Gaspes



Verksamhetsområde
Lektor i datavetenskap vid IDE sektionen.


Ordförande i forsknings- och utbildningsnämnden.



Kompetens
PhD. i Datalogi

Forskningsmiljö:
arrow Halmstad Embedded and Intelligent Systems Research (EIS)


Länkar:
arrow Veronica Gaspes hemsida

Publikationer:
arrow Registrerade publikationer i DiVA


  • Konferensbidrag
  • Gebrewahid, Essayas, Ul-Abdin, Zain, Svensson, Bertil, Gaspes, Veronica, Jego, Bruno, Lavigueur, Bruno, Robart, Mathieu (2013). Programming Real-time Image Processing for Manycores in a High-level Language. Advanced Parallel Processing Technology. S. 381 - 395. Se post i DiVAlänk till annan webbplats [ Ladda ner fulltexten ]
  • Taha, Walid, Brauner, Paul, Zeng, Yingfu, Cartwright, Robert, Gaspes, Veronica, Ames, Aaron, Chapoutot, Alexandre (2012). A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). . Se post i DiVAlänk till annan webbplats
  • Wang, Yan, Gaspes, Veronica (2011). A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language. Implementation and application of functional languages. S. 174 - 191. Se post i DiVAlänk till annan webbplats
  • Wang, Yan, Gaspes, Veronica (2011). An embedded language for programming protocol stacks in embedded systems. PEPM '11 : proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, January 24, 2011, Austin, Texas, USA. S. 63 - 72. Se post i DiVAlänk till annan webbplats
  • Wang, Yan, Gaspes, Veronica (2011). A Compositional Implementation of Modbus in Protege. 6th IEEE International Symposium on Industrial Embedded Systems (SIES), 2011. S. 123 - 131. Se post i DiVAlänk till annan webbplats
  • Taha, Walid, Gaspes, Veronica, Page, Rex (2011). Accurate Programming : Thinking about programs in terms of properties. Proceedings DSL 2011. S. 236 - 260. Se post i DiVAlänk till annan webbplats [ Ladda ner fulltexten ]
  • Taha, Walid, Brauner, Paul, Cartwright, Robert, Gaspes, Verónica, Ames, Aaron, Chapoutot, Alexandre (2011). A Core Language for Executable Models of Cyber Physical Systems : work in progress report. . Se post i DiVAlänk till annan webbplats
  • Wang, Yan, Gaspes, Veronica (2010). A Domain-Specific Language Approach to Protocol Stack Implementation. . Se post i DiVAlänk till annan webbplats
  • Wang, Yan, Gaspes, Verónica (2009). Integrating a data description language with protocol stack development. Proceedings of the IASTED International Conference on Modelling, Simulation, and Identification, MSI 2009. S. 8. Se post i DiVAlänk till annan webbplats [ Ladda ner fulltexten ]
  • Wang, Yan, Gaspes, Veronica (2009). A Domain Specific Approach to Network Software Architecture : Assuring Conformance Between Architecture and Code. Fourth International Conference on Digital Telecommunications, 2009. ICDT '09. S. 127 - 132. Se post i DiVAlänk till annan webbplats [ Ladda ner fulltexten ]
  • Bengtsson, Jerker, Gaspes, Veronica, Svensson, Bertil (2007). Machine Assisted Code Generation for Manycore Processors. Proceedings of the 9th biennial SNART Conference on Real-Time Systems (Real-Time in Sweden - RTiS'07). S. 9. Se post i DiVAlänk till annan webbplats
  • Rapport
  • Rögnvaldsson, Thorsteinn, Brink, Joachim, Florén, Henrik, Gaspes, Verónica, Holmgren, Noél, Nilsson, Pernilla, Olsfelt, Jonas, Svensson, Bertil, Ericsson, Claes, Gustafsson, Linnea, Hoveskog, Maya, Hylander, Jonny, Jonsson, Magnus, Nygren, Jens, Rosén, Bengt-Göran, Sandberg, Mikael, (2014). ARC13 : Assessment of Research and Coproduction : Reports from the assessment of all research at Halmstad University 2013. Halmstad University Press, Halmstad. 110 s. Se post i DiVAlänk till annan webbplats [ Ladda ner fulltexten ]
Bild på Veronica Gaspes

Kontaktinformation
Sektion/Enhet:
Sektionen för informationsvetenskap, data- och elektroteknik

Befattning:
Universitetslektor

Hus / Rum:
F316

Telefon:
+46 (0) 35 16 73 80

E-post:

Sektion/Enhet:
Ledningskansli

Befattning:
Universitetslektor

Hus / Rum:
Hus H / H326

Telefon:
+46 (0) 35 16 79 48

Mobiltelefon:
072-239 14 16

E-post:

Sidan uppdaterad 2014-03-24