X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=bib%2Ftiot.bib;h=ba7000207a9ac3d17b71fe0d33d1d666f0c0ce7c;hb=9778c30bde0ac05c50b7664aba1f3faad6682ef3;hp=701b15761e714307607acccb49dc1b421e11fc29;hpb=5702796e5885e85b9e8dcc0d5160dccb9386b05f;p=phd-thesis.git

diff --git a/bib/tiot.bib b/bib/tiot.bib
index 701b157..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}
 }
 
@@ -284,8 +284,7 @@
 }
 
 @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},
@@ -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},
@@ -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
@@ -1005,46 +1004,12 @@
 		  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	= {ACM},
-  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}},
   doi		= {10.1142/9789813234079_0001},
   language	= {en},
@@ -1138,8 +1103,7 @@
 }
 
 @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},
@@ -1241,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,
@@ -1310,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	= {ACM},
-  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}
-}