BibTeX records: Verónica Gaspes

download as .bib file

@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 Ames and
               Ver{\'{o}}nica Gaspes and
               Lise Hvatum and
               Shyam Mehta and
               Henrik Eriksson and
               Christian Grante},
  editor    = {Benny Mandler and
               Johann M{\'{a}}rquez{-}Barja and
               Miguel Elias Mitre Campista and
               Dagmar Cag{\'{a}}nov{\'{a}} and
               Hakima Chaouchi and
               Sherali Zeadally and
               Mohamad Badra and
               Stefano Giordano and
               Maria Fazio and
               Andrey Somov and
               Radu{-}Laurentiu Vieriu},
  title     = {Acumen: An Open-Source Testbed for Cyber-Physical Systems Research},
  booktitle = {Internet of Things. IoT Infrastructures - Second International Summit,
               IoT 360{\textdegree} 2015, Rome, Italy, October 27-29, 2015, Revised
               Selected Papers, Part {I}},
  series    = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
               and Telecommunications Engineering},
  volume    = {169},
  pages     = {118--130},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-47063-4\_11},
  doi       = {10.1007/978-3-319-47063-4\_11},
  timestamp = {Thu, 14 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iot360/TahaDZABBDXCKMM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {12th {IEEE} International Conference on Embedded and Ubiquitous Computing,
               {EUC} 2014, Milano, Italy, August 26-28, 2014},
  pages     = {321--328},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://doi.org/10.1109/EUC.2014.55},
  doi       = {10.1109/EUC.2014.55},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/euc/GebrewahidYCAGJS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  editor    = {Radu Dobrin and
               Peter Wallin and
               Ana C. R. Paiva and
               Myra B. Cohen},
  title     = {A running leap for embedded signal processing to future parallel platforms},
  booktitle = {WISE'14, Proceedings of the 2014 {ACM} International Workshop on Long-term
               Industrial Collaboration on Software Engineering, Vasteras, Sweden,
               September 16, 2014},
  pages     = {35--42},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2647648.2647653},
  doi       = {10.1145/2647648.2647653},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/SvenssonZEABBGN14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  editor    = {Chenggang Wu and
               Albert Cohen},
  title     = {Programming Real-Time Image Processing for Manycores in a High-Level
               Language},
  booktitle = {Advanced Parallel Processing Technologies - 10th International Symposium,
               {APPT} 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8299},
  pages     = {381--395},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45293-2\_29},
  doi       = {10.1007/978-3-642-45293-2\_29},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/appt/GebrewahidZSGJLR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/TahaBZCGAC12,
  author    = {Walid Taha and
               Paul Brauner and
               Yingfu Zeng and
               Robert Cartwright and
               Ver{\'{o}}nica Gaspes and
               Aaron Ames and
               Alexandre Chapoutot},
  title     = {A Core Language for Executable Models of Cyber-Physical Systems (Preliminary
               Report)},
  booktitle = {32nd International Conference on Distributed Computing Systems Workshops
               {(ICDCS} 2012 Workshops), Macau, China, June 18-21, 2012},
  pages     = {303--308},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://doi.org/10.1109/ICDCSW.2012.72},
  doi       = {10.1109/ICDCSW.2012.72},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/icdcsw/TahaBZCGAC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/TahaBCGAC11,
  author    = {Walid Taha and
               Paul Brauner and
               Robert Cartwright and
               Ver{\'{o}}nica Gaspes and
               Aaron 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},
  url       = {https://doi.org/10.1145/2000367.2000376},
  doi       = {10.1145/2000367.2000376},
  timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigbed/TahaBCGAC11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/WangG11,
  author    = {Yan Wang and
               Ver{\'{o}}nica Gaspes},
  editor    = {Siau{-}Cheng Khoo and
               Jeremy G. Siek},
  title     = {An embedded language for programming protocol stacks in embedded systems},
  booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
               2011},
  pages     = {63--72},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1929501.1929511},
  doi       = {10.1145/1929501.1929511},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/WangG11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/WangG11,
  author    = {Yan Wang and
               Ver{\'{o}}nica Gaspes},
  title     = {A compositional implementation of Modbus in Protege},
  booktitle = {Industrial Embedded Systems (SIES), 2011 6th {IEEE} International
               Symposium on, {SIES} 2011. Vasteras, Sweden, June 15-17, 2011},
  pages     = {123--131},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {https://doi.org/10.1109/SIES.2011.5953654},
  doi       = {10.1109/SIES.2011.5953654},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/sies/WangG11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0786,
  author    = {Walid Taha and
               Ver{\'{o}}nica Gaspes and
               Rex L. Page},
  editor    = {Olivier Danvy and
               Chung{-}chieh Shan},
  title     = {Accurate Programming: Thinking about programs in terms of properties},
  booktitle = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
               {DSL} 2011, Bordeaux, France, 6-8th September 2011},
  series    = {{EPTCS}},
  volume    = {66},
  pages     = {236--260},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.66.13},
  doi       = {10.4204/EPTCS.66.13},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1109-0786.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/WangG10,
  author    = {Yan Wang and
               Ver{\'{o}}nica Gaspes},
  editor    = {Manuel Carro and
               Ricardo Pe{\~{n}}a},
  title     = {A Domain-Specific Language Approach to Protocol Stack Implementation},
  booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
               {PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5937},
  pages     = {183--185},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11503-5\_16},
  doi       = {10.1007/978-3-642-11503-5\_16},
  timestamp = {Sat, 19 Oct 2019 20:25:18 +0200},
  biburl    = {https://dblp.org/rec/conf/padl/WangG10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/WangG08,
  author    = {Yan Wang and
               Ver{\'{o}}nica Gaspes},
  editor    = {Sven{-}Bodo Scholz and
               Olaf Chitil},
  title     = {A Library for Processing Ad hoc Data in Haskell - Embedding a Data
               Description Language},
  booktitle = {Implementation and Application of Functional Languages - 20th International
               Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5836},
  pages     = {174--191},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-642-24452-0\_10},
  doi       = {10.1007/978-3-642-24452-0\_10},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/WangG08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://publications.lib.chalmers.se/publication/1263-a-type-theoretical-analysis-of-some-aspects-of-programming-languages},
  timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/basesearch/Gaspes97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics