Author Veronica Gaspes
From CERES
A list of all pages that have property "Author" with value "Veronica Gaspes"
- Publications:A Compositional Implementation of Modbus in Protege +
- Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report +
- Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
- Publications:A Domain Specific Approach to Network Software Architecture : Assuring Conformance Between Architecture and Code +
- Publications:A Domain-Specific Language Approach to Protocol Stack Implementation +
- Publications:A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language +
- Publications:ARC13 : Assessment of Research and Coproduction : Reports from the assessment of all research at Halmstad University 2013 +
- Publications:Accurate Programming : Thinking about programs in terms of properties +
- Publications:An embedded language for programming protocol stacks in embedded systems +
- Publications:Integrating a data description language with protocol stack development +
- Publications:Machine Assisted Code Generation for Manycore Processors +
- Publications:Programming Real-time Image Processing for Manycores in a High-level Language +
