@misc(mathcommons, title = "Apache Commons Math Java Library", url = "http://commons.apache.org/math/", ) @inproceedings(AjmoAMGMS:01a, author = "M. Ajmone Marsan and M. Gribaudo and M. Meo and M. Sereno", year = "2001", title = "On Petri Net-based modeling paradigms for the performance analysis of wireless Internet accesses", booktitle = "9th International Workshop on Petri Nets and Performance Models", pages = "19--28", doi = "10.1109/PNPM.2001.953352", ) @article(BakhBCFH:11a, author = "R. Bakhshi and L. Cloth and W. Fokkink and B.R. Haverkort", year = "2011", title = "Mean-field framework for performance evaluation of push-pull gossip protocols", journal = "Performance Evaluation", volume = "68", pages = "157--179", doi = "10.1016/j.peva.2010.08.025", ) @article(BeekBMRRS:06a, author = "D.A. van Beek and K.L. Man and M.A. Reniers and J.E. Rooda and R.R.H. Schiffelers", year = "2006", title = "Syntax and consistent equation semantics of hybrid $\unhbox \voidb@x \hbox {\relax \fontsize {14.4}{18}\selectfont $\chi $}$", journal = "Journal of Logic and Algebraic Programming", volume = "68", pages = "129--210", doi = "10.1016/j.jlap.2005.10.005", ) @article(BenaBLB:08a, author = "M. Bena\"{\i }m and J.-Y. Le Boudec", year = "2008", title = "A class of mean field interaction models for computer and communication systems", journal = "Performance Evaluation", volume = "65", pages = "823--838", doi = "10.1016/j.peva.2008.03.005", ) @article(BergBM:05a, author = "J.A. Bergstra and C.A. Middelburg", year = "2005", title = "Process algebra for hybrid systems", journal = "Theoretical Computer Science", volume = "335", pages = "215--280", doi = "10.1016/j.tcs.2004.04.019", ) @inproceedings(BortBGH:11a, author = "L. Bortolussi and V. Galpin and J. Hillston", year = "2011", title = "{HYPE} with stochastic events", booktitle = "QAPL 2011", series = "EPTCS 57", pages = "120--133", doi = "10.4204/EPTCS.57.9", ) @inproceedings(BortBP:09a, author = "L. Bortolussi and A. Policriti", year = "2009", title = "Hybrid semantics of stochastic programs with dynamic reconfiguration", booktitle = "COMPMOD 2009", series = "EPTCS 6", pages = "63--76", doi = "10.4204/EPTCS.6.5", ) @inproceedings(BurgBGJL:06a, author = "J. Burgess and B. Gallagher and D. Jensen and B.N. Levine", year = "2006", title = "MaxProp: Routing for vehicle-based disruption-tolerant networks", booktitle = "INFOCOM 2006", pages = "1--11", doi = "10.1109/INFOCOM.2006.228", ) @article(CuijCR:05a, author = "P.J.L. Cuijpers and M.A. Reniers", year = "2005", title = "Hybrid process algebra", journal = "Journal of Logic and Algebraic Programming", volume = "62", pages = "191--245", doi = "10.1016/j.jlap.2004.02.001", ) @book(Davis93, author = "M.H.A. Davis", year = "1993", title = "Markov Models and Optimization", publisher = "Chapman \& Hall", ) @inproceedings(DeepDTN:08a, author = "N.A. Deepak and R. Thareja and N.A. Nikhil", year = "2008", title = "Performance analysis and evaluation of delay-tolerant network bundling protocol on a scalable virtual network test platform", booktitle = "IET International Conference on Wireless, Mobile and Multimedia Networks, 2008", pages = "52 --55", doi = "10.1049/cp:20080143", ) @article(ElowEL:00a, author = "M.B. Elowitz and S. Leibler", year = "2000", title = "A synthetic oscillatory network of transcriptional regulators", journal = "Nature", volume = "403", pages = "335--338", doi = "10.1038/35002125", ) @inproceedings(FadlFOA:11a, author = "M. Fadlisyah and P.C. {\"O}lveczky and E. {\'A}brah{\'a}m", year = "2011", title = "Object-oriented formal modeling and analysis of interacting hybrid systems in HI-Maude", booktitle = "SEFM 2011", series = "LNCS 7041", pages = "415--430", doi = "10.1007/978-3-642-24690-6\_29", ) @article(GaetGGMS:05a, author = "R. Gaeta and M. Gribaudo and D. Manini and M. Sereno", year = "2005", title = "Fluid stochastic Petri nets for computing transfer time distributions in peer-to-peer file sharing applications", journal = "ENTCS", volume = "128", pages = "79--99", doi = "10.1016/j.entcs.2005.01.014", ) @misc(HYPE-journal, author = "V. Galpin and L. Bortolussi and J. Hillston", title = "HYPE: Hybrid modelling by composition of flows", doi = "10.1007/s00165-011-0189-0", note = "Formal Aspects of Computing, to appear", ) @inproceedings(GalpGBH:09a, author = "V. Galpin and L. Bortolussi and J. Hillston", year = "2009", title = "HYPE: a process algebra for compositional flows and emergent behaviour", booktitle = "CONCUR 2009", series = "LNCS 5710", pages = "305--320", doi = "10.1007/978-3-642-04081-8\_21", ) @article(GHB08a, author = "V. Galpin and J. Hillston and L. Bortolussi", year = "2008", title = "{HYPE} applied to the modelling of hybrid biological systems", journal = "ENTCS", volume = "218", pages = "33--51", doi = "10.1016/j.entcs.2008.10.004", ) @inproceedings(GareGG:06a, author = "M. Garetto and M. Gribaudo", year = "2006", title = "Performance analysis of delay tolerant networks with model checking techniques", booktitle = "QEST 2006", pages = "73--82", doi = "10.1109/QEST.2006.42", ) @inproceedings(HenzHH:95a, author = "T.A. Henzinger and P.-H. Ho", year = "1995", title = "{HYTECH: The Cornell HYbrid TECHnology Tool}", booktitle = "Hybrid Systems II", series = "LNCS 999", pages = "265--293", doi = "10.1007/3-540-60472-3\_14", ) @article(HortHKNT:98a, author = "G. Horton and V.G. Kulkarni and D.M. Nicol and K.S. Trivedi", year = "1998", title = "Fluid stochastic Petri nets: Theory, applications, and solution techniques", journal = "European Journal of Operational Research", volume = "105", pages = "184 -- 201", doi = "10.1016/S0377-2217(97)00028-3", ) @inproceedings(HuanHLT:08a, author = "C.-M. Huang and K.-C. Lan and C.-Z. Tsai", year = "2008", title = "A survey of opportunistic networks", booktitle = "AINA 2008", pages = "1672--1677", doi = "10.1109/WAINA.2008.292", ) @inproceedings(JainJFP:04a, author = "S. Jain and K.R. Fall and R.K. Patra", year = "2004", title = "Routing in a delay tolerant network", booktitle = "ACM SIGCOMM 2004", pages = "145--158", doi = "10.1145/1015467.1015484", ) @article(JainJSBBR:06a, author = "S. Jain and R. Shah and W. Brunette and G. Borriello and S. Roy", year = "2006", title = "Exploiting mobility for energy efficient data collection in wireless sensor networks", journal = "MONET", volume = "11", pages = "327--339", doi = "10.1007/s11036-006-5186-9", ) @article(JuanJOWMPR:02a, author = "P. Juang and H. Oki and Y. Wang and M. Martonosi and L.-S. Peh and Daniel Rubenstein", year = "2002", title = "Energy-efficient computing for wildlife tracking: design tradeoffs and early experiences with ZebraNet", journal = "ACM SIGPLAN Notices", volume = "37", pages = "96--107", doi = "10.1145/605397.605408", ) @article(KeraKKO:10a, author = "A. Ker{\"a}nen and T. K{\"a}rkk{\"a}inen and J. Ott", year = "2010", title = "Simulating mobility and {DTN}s with the {ONE}", journal = "Journal of Communications", volume = "5", pages = "92--105", doi = "10.4304/jcm.5.2.92-105", ) @article(KeunKLZ:11a, author = "G.Y. Keung and B. Li and Q. Zhang", year = "2011", title = "Message delivery capacity in delay-constrained mobile sensor networks: Bounds and realization", journal = "IEEE Transactions on Wireless Communications", volume = "10", pages = "1552--1559", doi = "10.1109/TWC.2011.030911.100827", ) @techreport(KhadK:06a, author = "U. Khadim", year = "2006", title = "A comparative study of process algebras for hybrid systems", type = "Report CSR", number = "06-23", institution = "Technische Universiteit Eindhoven", note = "\url {http://alexandria.tue.nl/extra1/wskrap/publichtml/200623.pdf}", ) @inproceedings(KiddKSWU:03a, author = "C. Kiddle and R. Simmonds and C. Williamson and B. Unger", year = "2003", title = "Hybrid packet/fluid flow network simulation", booktitle = "PADS 2003", pages = "143 -- 152", doi = "10.1109/PADS.2003.1207430", ) @article(LindLDS:03a, author = "A. Lindgren and A. Doria and O. Schel{\'e}n", year = "2003", title = "Probabilistic routing in intermittently connected networks", journal = "Mobile Computing and Communications Review", volume = "7", pages = "19--20", doi = "10.1145/961268.961272", ) @article(Pass11, author = "A. Passarella and M. Kumar and M. Conti and E. Borgia", year = "2011", title = "Minimum-delay service provisioning in opportunistic networks", journal = "IEEE Transactions on Parallel and Distributed Systems", volume = "22", pages = "1267--1275", doi = "10.1109/TPDS.2010.153", ) @article(PeluPPC:06a, author = "L. Pelusi and A. Passarella and M. Conti", year = "2006", title = "Opportunistic networking: data forwarding in disconnected mobile ad hoc networks", journal = "IEEE Communications Magazine", volume = "44", pages = "134--141", doi = "10.1109/MCOM.2006.248176", ) @inproceedings(Picu:2010, author = "A. Picu and T. Spyropoulos", year = "2010", title = "Distributed stochastic optimization in opportunistic networks: the case of optimal relay selection", booktitle = "CHANTS '10", pages = "21--28", doi = "10.1145/1859934.1859939", ) @inproceedings(RounRS:03a, author = "W.C. Rounds and H. Song", year = "2003", title = "The $\Phi $-Calculus: A language for distributed control of reconfigurable embedded systems", booktitle = "HSCC 2003", series = "LNCS 2623", pages = "435--449", doi = "10.1007/3-540-36580-X\_32", ) @inproceedings(ShenSMC:08a, author = "J. Shen and S. Moh and I. Chen", year = "2008", title = "Routing protocols in delay tolerant networks: A comparative survey", booktitle = "23rd International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2008)", pages = "1577--1580", ) @inproceedings(SmalSH:03a, author = "T. Small and Z.J. Haas", year = "2003", title = "The shared wireless infostation model: a new ad hoc networking paradigm (or where there is a whale, there is a way)", booktitle = "MobiHoc 2003", pages = "233--244", doi = "10.1145/778415.778443", ) @inproceedings(SpyrSPR:06a, author = "T. Spyropoulos and K. Psounis and C.S. Raghavendra", year = "2006", title = "Performance analysis of mobility-assisted routing", booktitle = "MobiHoc 2006", pages = "49--60", doi = "10.1145/1132905.1132912", ) @article(TuffTCT:01a, author = "B. Tuffin and D.S. Chen and K.S. Trivedi", year = "2001", title = "Comparison of hybrid systems and fluid stochastic {P}etri nets", journal = "Discrete Event Dynamic Systems: Theory and Applications", volume = "11", pages = "77--95", doi = "10.1023/A:1008387132533", ) @techreport(VahdVB:00a, author = "A. Vahdat and D. Becker", year = "2000", title = "Epidemic routing for partially connected ad hoc networks", type = "Technical Report", number = "CS-2000-06", institution = "Duke University", url = "issg.cs.duke.edu/epidemic/epidemic.pdf", ) @book(Wilkinson, author = "D. Wilkinson", year = "2011", title = "Stochastic Modelling for Systems Biology", publisher = "Chapman \& Hall/CRC", ) @inproceedings(Xu:2009, author = "K. Xu and P. Hui and V.O.K. Li and J. Crowcroft and V. Latora and P. Lio", year = "2009", title = "Impact of altruism on opportunistic communications", booktitle = "First International Conference on Ubiquitous and Future Networks", series = "ICUFN'09", pages = "153--158", doi = "10.1109/ICUFN.2009.5174303", ) @article(ZhanZ:06a, author = "Z. Zhang", year = "2006", title = "Routing in intermittently connected mobile ad hoc networks and delay tolerant networks: Overview and challenges", journal = "IEEE Communications Surveys and Tutorials", volume = "8", pages = "24--37", doi = "10.1109/COMST.2006.323440", ) @inproceedings(ZhaoZAZ:04a, author = "W. Zhao and M.H. Ammar and E.W. Zegura", year = "2004", title = "A message ferrying approach for data delivery in sparse mobile ad hoc networks", booktitle = "MobiHoc 2004", pages = "187--198", doi = "10.1145/989459.989483", )