@article(bellavistafog,
 author       = {Paolo Bellavista and Javier Berrocal and Antonio Corradi and Sajal~K. Das and Luca Foschini and Alessandro Zanni},
 year         = {2019},
 title        = {{A survey on fog computing for the Internet of Things}},
 journal      = {Pervasive Mob. Comp.},
 volume       = {52},
 pages        = {71 -- 99},
 doi          = {10.1016/j.pmcj.2018.12.007},
)
@article(QoSawaredeployment2017,
 author       = {Antonio Brogi and Stefano Forti},
 year         = {2017},
 title        = {{{QoS}-Aware Deployment of {IoT} Applications Through the Fog}},
 journal      = {{IEEE Internet of Things Journal}},
 volume       = {4},
 number       = {5},
 pages        = {1185--1192},
 doi          = {10.1109/JIOT.2017.2701408},
)
@inproceedings(geneticalgorithms2019,
 author       = {Antonio Brogi and Stefano Forti and Carlos Guerrero and Isaac Lera},
 year         = {2019},
 title        = {{Meet Genetic Algorithms in Monte Carlo: Optimised Placement of Multi-Service Applications in the Fog}},
 booktitle    = {{EDGE 2019}},
 pages        = {13--17},
 doi          = {10.1109/EDGE.2019.00016},
)
@article(brogi2019place,
 author       = {Antonio Brogi and Stefano Forti and Carlos Guerrero and Isaac Lera},
 year         = {2020},
 title        = {{How to Place Your Apps in the Fog - State of the Art and Open Challenges}},
 journal      = {Softw. Pract. Exp.},
 volume       = {50},
 number       = {5},
 pages        = {719--740},
 doi          = {10.1002/spe.2766},
)
@incollection(fogtorchpibookchapter2019,
 author       = {Antonio Brogi and Stefano Forti and Ahmad Ibrahim},
 year         = {2019},
 title        = {{Predictive Analysis to Support Fog Application Deployment}},
 booktitle    = {{Fog and Edge Computing: Principles and Paradigms}},
 chapter      = {9},
 publisher    = {Wiley},
 pages        = {191--222},
 doi          = {10.1002/9781119525080.ch9},
)
@article(edgeusher,
 author       = {Antonio Brogi and Stefano Forti and Federica Paganelli},
 year         = {2019},
 title        = {Probabilistic QoS-aware Placement of {VNF} chains at the Edge},
 journal      = {CoRR},
 volume       = {abs/1906.00197},
 url          = {http://arxiv.org/abs/1906.00197},
)
@article(cardellininphard,
 author       = {Valeria Cardellini and Vincenzo Grassi and Lo~Presti, Francesco and Matteo Nardelli},
 year         = {2017},
 title        = {{Optimal Operator Replication and Placement for Distributed Stream Processing Systems}},
 journal      = {SIGMETRICS Perf. Eval. Rev.},
 volume       = {44},
 number       = {4},
 pages        = {11–--22},
 doi          = {10.1145/3092819.3092823},
)
@inproceedings(demaio,
 author       = {De~Maio, Vincenzo and Ivona Brandic},
 year         = {2018},
 title        = {{First Hop Mobile Offloading of DAG Computations}},
 booktitle    = {CCGRID 2018},
 pages        = {83--92},
 doi          = {10.1109/CCGRID.2018.00023},
)
@article(inferlast,
 author       = {Dino Distefano and Manuel F\"{a}hndrich and Francesco Logozzo and Peter~W. O'Hearn},
 year         = {2019},
 title        = {{Scaling Static Analyses at Facebook}},
 journal      = {Commun. ACM},
 volume       = {62},
 number       = {8},
 pages        = {62–70},
 doi          = {10.1145/3338112},
)
@article(secfog2019,
 author       = {Stefano Forti and Gian-Luigi Ferrari and Antonio Brogi},
 year         = {2020},
 title        = {{Secure Cloud-Edge Deployments, with Trust}},
 journal      = {{Future Gener. Comput. Syst.}},
 volume       = {102},
 pages        = {775--788},
 doi          = {10.1016/j.future.2019.08.020},
)
@article(fortipagiarobrogi2020,
 author       = {Stefano Forti and Alessandro Pagiaro and Antonio Brogi},
 year         = {2020},
 title        = {{Simulating FogDirector Application Management}},
 journal      = {Simul. Model. Pract. Theory},
 volume       = {101},
 number       = {102021},
 pages        = {1--18},
 doi          = {10.1016/j.simpat.2019.102021},
)
@article(101,
 author       = {Carlos Guerrero and Isaac Lera and Carlos Juiz},
 year         = {2019},
 title        = {A lightweight decentralized service placement policy for performance optimization in fog computing},
 journal      = {J. Ambient Intell. Humaniz. Comput.},
 volume       = {10},
 pages        = {2435--2452},
 doi          = {10.1007/s12652-018-0914-0},
)
@article(004,
 author       = {Harshit Gupta and Vahid~Dastjerdi, Amir and Soumya~K Ghosh and Rajkumar Buyya},
 year         = {2017},
 title        = {{iFogSim: A toolkit for modeling and simulation of resource management techniques in the Internet of Things, Edge and Fog computing environments}},
 journal      = {Soft. Pract. Exp.},
 volume       = {47},
 number       = {9},
 pages        = {1275--1296},
 doi          = {10.1002/spe.2509},
)
@inproceedings(kadioglu2016heterogeneous,
 author       = {Serdar Kadioglu and Mike Colena and Samir Sebbah},
 year         = {2016},
 title        = {{Heterogeneous resource allocation in Cloud Management}},
 booktitle    = {NCA 2016},
 pages        = {35--38},
 doi          = {10.1109/NCA.2016.7778589},
)
@article(lera2019yafs,
 author       = {Isaac Lera and Carlos Guerrero and Carlos Juiz},
 year         = {2019},
 title        = {{YAFS}: A Simulator for {IoT} Scenarios in Fog Computing},
 journal      = {IEEE Access},
 volume       = {7},
 pages        = {91745--91758},
 doi          = {10.1109/ACCESS.2019.2927895},
)
@article(021,
 author       = {Redowan Mahmud and Kotagiri Ramamohanarao and Rajkumar Buyya},
 year         = {2018},
 title        = {Latency-aware Application Module Management for Fog Computing Environments},
 journal      = {ACM Trans. Internet Techn.},
 volume       = {19},
 number       = {1},
 pages        = {9:1--9:21},
 doi          = {10.1145/3186592},
)
@article(margariti2020modeling,
 author       = {Spiridoula~V Margariti and Vassilios~V Dimakopoulos and Georgios Tsoumanis},
 year         = {2020},
 title        = {{Modeling and Simulation Tools for Fog Computing--A Comprehensive Survey from a Cost Perspective}},
 journal      = {Future Internet},
 volume       = {12},
 number       = {5},
 pages        = {89},
 doi          = {10.3390/fi12050089},
)
@inproceedings(cr4ci,
 author       = {Peter~W. O'Hearn},
 year         = {2018},
 title        = {Continuous Reasoning: Scaling the Impact of Formal Methods},
 booktitle    = {LICS 2018},
 pages        = {13--25},
 doi          = {10.1145/3209108.3209109},
)
@article(pietri2016mapping,
 author       = {Ilia Pietri and Rizos Sakellariou},
 year         = {2016},
 title        = {Mapping virtual machines onto physical machines in cloud computing: A survey},
 journal      = {ACM Comput. Surv.},
 volume       = {49},
 number       = {3},
 pages        = {1--30},
 doi          = {10.1145/2983575},
)
@misc(klipse,
 author       = {Yehonathan Sharvit},
 year         = {2019},
 title        = {{A new way of blogging about Prolog}},
 howpublished = {\url{http://blog.klipse.tech/prolog/2019/01/01/blog-prolog.html}},
 note         = {Last accessed: July 2020},
)
@article(sonmez2018edgecloudsim,
 author       = {Cagatay Sonmez and Atay Ozgovde and Cem Ersoy},
 year         = {2018},
 title        = {{EdgeCloudSim}: An environment for performance evaluation of Edge Computing systems},
 journal      = {Trans. Emerg. Telecommun. Technol.},
 volume       = {29},
 number       = {e3493},
 doi          = {10.1002/ett.3493},
)
@article(DBLP:journals/computer/VillariFDRJR19,
 author       = {Massimo Villari and Maria Fazio and Schahram Dustdar and Omer Rana and Devki~Nandan Jha and Rajiv Ranjan},
 year         = {2019},
 title        = {Osmosis: The Osmotic Computing Platform for Microelements in the Cloud, Edge, and Internet of Things},
 journal      = {{IEEE} Computer},
 volume       = {52},
 number       = {8},
 pages        = {14--26},
 doi          = {10.1109/MC.2018.2888767},
)
@article(032,
 author       = {S.~Wang and M.~Zafer and K.~K. Leung},
 year         = {2017},
 title        = {Online Placement of Multi-Component Applications in Edge Computing Environments},
 journal      = {IEEE Access},
 volume       = {5},
 pages        = {2514--2533},
 doi          = {10.1109/ACCESS.2017.2665971},
)
@inproceedings(xia2018combining,
 author       = {Ye~Xia and Xavier Etchevers and Lo{\"{\i}}c Letondeur and Thierry Coupaye and Fr{\'{e}}d{\'{e}}ric Desprez},
 year         = {2018},
 title        = {Combining hardware nodes and software components ordering-based heuristics for optimizing the placement of distributed {IoT} applications in the fog},
 booktitle    = {{ACM} {SAC}},
 pages        = {751--760},
 doi          = {10.1145/3167132.3167215},
)
@inproceedings(yin2009rhizoma,
 author       = {Qin Yin and Adrian Sch{\"u}pbach and Justin Cappos and Andrew Baumann and Timothy Roscoe},
 year         = {2009},
 title        = {Rhizoma: a runtime for self-deploying, self-managing overlays},
 booktitle    = {Middleware 2009},
 pages        = {184--204},
 doi          = {10.1007/978-3-642-10445-9_10},
)