 | 2011 |
| 5 |  | Walid Taha,
Verónica Gaspes,
Rex Page:
Accurate Programming: Thinking about programs in terms of properties
DSL 2011: 236-260 |
| 4 |  | Yan Wang,
Verónica Gaspes:
An embedded language for programming protocol stacks in embedded systems.
PEPM 2011: 63-72 |
| 3 |  | Yan Wang,
Verónica Gaspes:
A compositional implementation of Modbus in Protege.
SIES 2011: 123-131 |
| 2010 |
| 2 |  | Yan Wang,
Verónica Gaspes:
A Domain-Specific Language Approach to Protocol Stack Implementation.
PADL 2010: 183-185 |
| 2008 |
| 1 |  | Yan Wang,
Verónica Gaspes:
A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description Language.
IFL 2008: 174-191 |