X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=bib%2Ftiot.bib;h=ba7000207a9ac3d17b71fe0d33d1d666f0c0ce7c;hb=9778c30bde0ac05c50b7664aba1f3faad6682ef3;hp=f963a2c5dad48b0a3c69aff903dd1f12c68fccca;hpb=cdb3ae89b207b609a67f3436d02b7eed6aa4a3ce;p=phd-thesis.git diff --git a/bib/tiot.bib b/bib/tiot.bib index f963a2c..ba70002 100644 --- a/bib/tiot.bib +++ b/bib/tiot.bib @@ -1,4 +1,4 @@ - +@PREAMBLE{ {\providecommand{\noopsort}[2]{#2} } } @Article{ sethi2017internet, title = {Internet of things: architectures, protocols, and applications}, @@ -99,7 +99,7 @@ } @Article{ levis_mate_2002, - title = {Maté: {A} tiny virtual machine for sensor networks}, + title = {Mat\'{e}: {A} tiny virtual machine for sensor networks}, volume = {37}, number = {10}, journal = {ACM Sigplan Notices}, @@ -181,7 +181,7 @@ number = {038}, volume = {08}, year = {2007}, - month = {dec}, + month = {12}, doi = {10.2139/ssrn.1071720} } @@ -247,7 +247,7 @@ Programming Languages in Open Source Projects}, year = {2015}, isbn = {9781450333504}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/2745802.2745805}, abstract = {Background: Anecdotal evidence suggests that software @@ -284,12 +284,11 @@ } @InProceedings{ motta2018challenges, - author = {Motta, Rebeca C. and de Oliveira, K\'{a}thia M. and - Travassos, Guilherme H.}, + author = {Motta, Rebeca C. and \noopsort{Oliveira}{de Oliveira}, K\'{a}thia M. and Travassos, Guilherme H.}, title = {On Challenges in Engineering IoT Software Systems}, year = {2018}, isbn = {9781450365031}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/3266237.3266263}, abstract = {Contemporary software systems, such as the Internet of @@ -348,7 +347,7 @@ behind the Curtain of Lines-of-Code Metrics}, year = {2020}, isbn = {9781450381789}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/3426428.3426921}, abstract = {Lines-of-code metrics (loc) are commonly reported in @@ -392,7 +391,7 @@ title = {Towards Haskell in the Cloud}, year = {2011}, isbn = {9781450308601}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/2034675.2034690}, abstract = {We present Cloud Haskell, a domain-specific language for @@ -468,7 +467,7 @@ title = {A New Approach to Generic Functional Programming}, year = {2000}, isbn = {1581131259}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/325694.325709}, abstract = {This paper describes a new approach to generic functional @@ -511,7 +510,7 @@ {C}onference on {F}unctional {P}rogramming ({ICFP} 2007)}, address = {{F}reiburg, {G}ermany}, year = 2007, - month = {Oct 1--3}, + month = {10}, publisher = {ACM}, isbn = "978-1-59593-815-2", pages = {141-152} @@ -524,7 +523,7 @@ and {Application} of {Functional} {Programming} {Languages}}, publisher = {ACM}, - author = {Oortgiese, Arjan and van Groningen, John and Achten, Peter + author = {Oortgiese, Arjan and \noopsort{Groningen}{van Groningen}, John and Achten, Peter and Plasmeijer, Rinus}, year = {2017}, pages = {7}, @@ -538,7 +537,7 @@ Lenses}, year = {2014}, isbn = {9781450332842}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/2746325.2746333}, abstract = {Most complex applications inevitably need to maintain @@ -579,7 +578,7 @@ title = {Comparing Libraries for Generic Programming in Haskell}, year = {2008}, isbn = {9781605580647}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/1411286.1411301}, abstract = {Datatype-generic programming is defining functions that @@ -652,7 +651,7 @@ Language Interfaces}, year = {2010}, issue_date = {June 2010}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, volume = {45}, number = {6}, @@ -705,7 +704,7 @@ title = {Checking Type Safety of Foreign Function Calls}, year = {2005}, issue_date = {June 2005}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, volume = {40}, number = {6}, @@ -843,7 +842,7 @@ Web Applications}, year = {2014}, issue_date = {December 2014}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, volume = {49}, number = {12}, @@ -865,7 +864,7 @@ uses it, and discuss the implementation and the compiler technology on which it depends.}, journal = {SIGPLAN Not.}, - month = {sep}, + month = {9}, pages = {79–89}, numpages = {11}, keywords = {distributed systems, web applications, network @@ -943,7 +942,7 @@ via low-energy Bluetooth on Zephyr OS.}, booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} {International} {Symposium} on {Haskell}}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, author = {Valliappan, Nachiappan and Krook, Robert and Russo, Alejandro and Claessen, Koen}, year = {2020}, @@ -993,7 +992,7 @@ booktitle = {Proceedings of the 22nd {International} {Symposium} on {Principles} and {Practice} of {Declarative} {Programming}}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, author = {Sarkar, Abhiroop and Sheeran, Mary}, year = {2020}, note = {event-place: Bologna, Italy}, @@ -1005,48 +1004,13 @@ Functional L.pdf:application/pdf} } -@InProceedings{ 10.1145/3281366.3281370, - author = {Shibanai, Kazuhiro and Watanabe, Takuo}, - title = {Distributed Functional Reactive Programming on Actor-Based - Runtime}, - year = {2018}, - isbn = {9781450360661}, - publisher = {Association for Computing Machinery}, - address = {New York, NY, USA}, - doi = {10.1145/3281366.3281370}, - abstract = {Reactive programming over a network is a challenging task - because efficient elimination of temporary violations of - data flow invariants, known as glitches, in a distributed - setting is still an open issue. In this paper, we propose a - method for constructing a distributed reactive programming - system of which runtime guarantees the properties of single - source glitch-freedom and the robustness against - out-of-order messages. Based on the method, we developed a - purely functional reactive programming language XFRP whose - compiler produces Erlang code. Using some examples, we show - that the proposed method is beneficial for constructing - distributed reactive applications without suffering from - inconsistencies.}, - booktitle = {Proceedings of the 8th ACM SIGPLAN International Workshop - on Programming Based on Actors, Agents, and Decentralized - Control}, - pages = {13–22}, - numpages = {10}, - keywords = {Distributed Functional Reactive Programming, Erlang, - Glitch Freedom, Synchronization, Actor-Based Runtime - System}, - location = {Boston, MA, USA}, - series = {AGERE 2018} -} - @InProceedings{ suzuki_cfrp_2017, address = {The University of The Philippines Cebu, Cebu City, The Philippines}, title = {{CFRP}: {A} {Functional} {Reactive} {Programming} {Language} for {Small}-{Scale} {Embedded} {Systems}}, - isbn = {978-981-323-406-2 978-981-323-407-9}, + isbn = {978-981-323-406-2}, shorttitle = {{CFRP}}, - url = {http://www.worldscientific.com/doi/abs/10.1142/9789813234079_0001}, doi = {10.1142/9789813234079_0001}, language = {en}, urldate = {2022-03-02}, @@ -1087,7 +1051,7 @@ booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} {International} {Workshop} on {Programming} {Based} on {Actors}, {Agents}, and {Decentralized} {Control}}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, author = {Shibanai, Kazuhiro and Watanabe, Takuo}, year = {2018}, note = {event-place: Boston, MA, USA}, @@ -1124,7 +1088,7 @@ traditional dataflow languages.}, booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} {Workshop} on {Haskell}}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, author = {Nilsson, Henrik and Courtney, Antony and Peterson, John}, year = {2002}, note = {event-place: Pittsburgh, Pennsylvania}, @@ -1139,13 +1103,12 @@ } @InProceedings{ 10.1145/2661136.2661146, - author = {Philips, Laure and De Roover, Coen and Van Cutsem, Tom and - De Meuter, Wolfgang}, + author = {Philips, Laure and \noopsort{Roover}{de Roover}, Coen and \noopsort{Cutsem}{van Cutsem}, Tom and \noopsort{Meuter}{de Meuter}, Wolfgang}, title = {Towards Tierless Web Development without Tierless Languages}, year = {2014}, isbn = {9781450332101}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/2661136.2661146}, abstract = {Tierless programming languages enable developing the @@ -1187,7 +1150,7 @@ title = {arduino-copilot: {Arduino} programming in haskell using the {Copilot} stream {DSL}}, shorttitle = {arduino-copilot}, - url = {//hackage.haskell.org/package/arduino-copilot}, + url = {https://hackage.haskell.org/package/arduino-copilot}, urldate = {2020-02-14}, journal = {Hackage}, author = {Hess, Joey}, @@ -1226,7 +1189,7 @@ } @Book{ strack2015getting, - title = {Getting Started with Meteor. js JavaScript Framework}, + title = {Getting Started with Meteor.js JavaScript Framework}, author = {Strack, Isaac}, year = {2015}, publisher = {Packt Publishing Ltd} @@ -1242,11 +1205,11 @@ publisher = {Springer} } -@Misc{ diffmicro, +@online{ diffmicro, title = "MicroPython Differences from CPython", author = {{Micropython Team}}, - year = "2022", - note = "https://docs.micropython.org/en/latest/genrst/index.html" + date = "2022", + url = {https://docs.micropython.org/en/latest/genrst/index.html} } @Article{ weisenburger2020survey, @@ -1284,7 +1247,6 @@ title = {Measurement and {Analysis} of {Hajime}, a {Peer}-to-peer {IoT} {Botnet}}, isbn = {1-891562-55-X}, - url = {https://par.nsf.gov/biblio/10096257}, doi = {10.14722/ndss.2019.23488}, booktitle = {Network and {Distributed} {Systems} {Security} ({NDSS}) {Symposium} 2019}, @@ -1302,7 +1264,6 @@ address = {Nijmegen}, type = {Bachelor's {Thesis}}, title = {Security analysis of the {iTasks} framework}, - url = {http://www.ru.nl/publish/pages/769526/arjan_oortgiese.pdf}, language = {English}, urldate = {2017-04-08}, school = {Radboud University}, @@ -1313,20 +1274,3 @@ - 2018 - Security analysis of the iTasks framework.pdf:application/pdf} } - -@InProceedings{ steenvoorden2019tophat, - author = {Steenvoorden, Tim and Naus, Nico and Klinik, Markus}, - title = {TopHat: A Formal Foundation for Task-Oriented - Programming}, - year = {2019}, - isbn = {9781450372497}, - publisher = {Association for Computing Machinery}, - address = {New York, NY, USA}, - doi = {10.1145/3354166.3354182}, - booktitle = {Proceedings of the 21st International Symposium on - Principles and Practice of Declarative Programming}, - articleno = {17}, - numpages = {13}, - location = {Porto, Portugal}, - series = {PPDP '19} -}