BibTeX records: Verónica Gaspes

• > Home > Persons > Verónica Gaspes

@inproceedings{DBLP:conf/iot360/TahaDZABBDXCKMM15,
  author       = {Walid Taha and
                  Adam Duracz and
                  Yingfu Zeng and
                  Kevin Atkinson and
                  Ferenc A. Bartha and
                  Paul Brauner and
                  Jan Duracz and
                  Fei Xu and
                  Robert Cartwright and
                  Michal Konecn{\'{y}} and
                  Eugenio Moggi and
                  Jawad Masood and
                  Pererik Andreasson and
                  Jun Inoue and
                  Anita Pinheiro Sant'Anna and
                  Roland Philippsen and
                  Alexandre Chapoutot and
                  Marcia O'Malley and
                  Aaron D. Ames and
                  Ver{\'{o}}nica Gaspes and
                  Lise Hvatum and
                  Shyam Mehta and
                  Henrik Eriksson and
                  Christian Grante},
  title        = {Acumen: An Open-Source Testbed for Cyber-Physical Systems Research},
  booktitle    = {IoT 360 {(1)}},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {169},
  pages        = {118--130},
  year         = {2015}
}

@inproceedings{DBLP:conf/euc/GebrewahidYCAGJS14,
  author       = {Essayas Gebrewahid and
                  Mingkun Yang and
                  Gustav Cedersj{\"{o}} and
                  Zain{-}ul{-}Abdin and
                  Ver{\'{o}}nica Gaspes and
                  J{\"{o}}rn W. Janneck and
                  Bertil Svensson},
  title        = {Realizing Efficient Execution of Dataflow Actors on Manycores},
  booktitle    = {{EUC}},
  pages        = {321--328},
  publisher    = {{IEEE} Computer Society},
  year         = {2014}
}

@inproceedings{DBLP:conf/kbse/SvenssonZEABBGN14,
  author       = {Bertil Svensson and
                  Zain{-}ul{-}Abdin and
                  Per M. Ericsson and
                  Anders {\AA}hlander and
                  Hoai Hoang Bengtsson and
                  Jerker Bengtsson and
                  Ver{\'{o}}nica Gaspes and
                  Tomas Nordstr{\"{o}}m},
  title        = {A running leap for embedded signal processing to future parallel platforms},
  booktitle    = {WISE@ASE},
  pages        = {35--42},
  publisher    = {{ACM}},
  year         = {2014}
}

@inproceedings{DBLP:conf/appt/GebrewahidZSGJLR13,
  author       = {Essayas Gebrewahid and
                  Zain{-}ul{-}Abdin and
                  Bertil Svensson and
                  Ver{\'{o}}nica Gaspes and
                  Bruno Jego and
                  Bruno Lavigueur and
                  Mathieu Robart},
  title        = {Programming Real-Time Image Processing for Manycores in a High-Level
                  Language},
  booktitle    = {{APPT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8299},
  pages        = {381--395},
  publisher    = {Springer},
  year         = {2013}
}

@inproceedings{DBLP:conf/icdcsw/TahaBZCGAC12,
  author       = {Walid Taha and
                  Paul Brauner and
                  Yingfu Zeng and
                  Robert Cartwright and
                  Ver{\'{o}}nica Gaspes and
                  Aaron D. Ames and
                  Alexandre Chapoutot},
  title        = {A Core Language for Executable Models of Cyber-Physical Systems (Preliminary
                  Report)},
  booktitle    = {{ICDCS} Workshops},
  pages        = {303--308},
  publisher    = {{IEEE} Computer Society},
  year         = {2012}
}

@article{DBLP:journals/sigbed/TahaBCGAC11,
  author       = {Walid Taha and
                  Paul Brauner and
                  Robert Cartwright and
                  Ver{\'{o}}nica Gaspes and
                  Aaron D. Ames and
                  Alexandre Chapoutot},
  title        = {A core language for executable models of cyber physical systems: work
                  in progress report},
  journal      = {{SIGBED} Rev.},
  volume       = {8},
  number       = {2},
  pages        = {39--43},
  year         = {2011}
}

@inproceedings{DBLP:conf/pepm/WangG11,
  author       = {Yan Wang and
                  Ver{\'{o}}nica Gaspes},
  title        = {An embedded language for programming protocol stacks in embedded systems},
  booktitle    = {{PEPM}},
  pages        = {63--72},
  publisher    = {{ACM}},
  year         = {2011}
}

@inproceedings{DBLP:conf/sies/WangG11,
  author       = {Yan Wang and
                  Ver{\'{o}}nica Gaspes},
  title        = {A compositional implementation of Modbus in Protege},
  booktitle    = {{SIES}},
  pages        = {123--131},
  publisher    = {{IEEE}},
  year         = {2011}
}

@inproceedings{DBLP:journals/corr/abs-1109-0786,
  author       = {Walid Taha and
                  Ver{\'{o}}nica Gaspes and
                  Rex L. Page},
  title        = {Accurate Programming: Thinking about programs in terms of properties},
  booktitle    = {{DSL}},
  series       = {{EPTCS}},
  volume       = {66},
  pages        = {236--260},
  year         = {2011}
}

@inproceedings{DBLP:conf/padl/WangG10,
  author       = {Yan Wang and
                  Ver{\'{o}}nica Gaspes},
  title        = {A Domain-Specific Language Approach to Protocol Stack Implementation},
  booktitle    = {{PADL}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5937},
  pages        = {183--185},
  publisher    = {Springer},
  year         = {2010}
}

@inproceedings{DBLP:conf/ifl/WangG08,
  author       = {Yan Wang and
                  Ver{\'{o}}nica Gaspes},
  title        = {A Library for Processing Ad hoc Data in Haskell - Embedding a Data
                  Description Language},
  booktitle    = {{IFL}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5836},
  pages        = {174--191},
  publisher    = {Springer},
  year         = {2008}
}

@phdthesis{DBLP:phd/basesearch/Gaspes97,
  author       = {Ver{\'{o}}nica Gaspes},
  title        = {A Type Theoretical Analysis of Some Aspects of Programming Languages},
  school       = {Chalmers University of Technology, Gothenburg, Sweden},
  year         = {1997}
}