@techreport{2016-van-Eekelen-EnergyAnalysing,
  author		= "{van Eekelen}, Marko and {Gastel}, Bernard van",
  title			= "{Analysing energy consumption by software}",
  number		= "ICIS--R16001",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  year			= "2016",
  note			= "TACLe Summerschool Lecture Notes, Yspertal 2016",
  research_group	= "dis",
  class			= "Report"
}

@techreport{2015-Gousios-ContributorsDevelopment,
  author		= "{Gousios}, Georgios and {Bacchelli}, Alberto",
  title			= "{Work Practices and Challenges in Pull--Based Development: The Contributor`s Perspective}",
  number		= "ICIS--R15001",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  year			= "2015",
  code			= "icis.ICIS-R15001",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2013-ParisenToldin-SoundnessLogic,
  author		= "{Parisen Toldin}, Paolo and {Kersten}, Rody and {Gastel}, Bernard van and {Eekelen}, Marko van",
  title			= "{Soundness Proof for a Hoare Logic for Energy Consumption Analysis}",
  number		= "ICIS--R13009",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  code			= "icis.ICIS-R13009",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2013-Madlener-AlgebraicSemantics,
  author		= "{Madlener}, Ken and {Smetsers}, Sjaak and {Eekelen}, Marko van",
  title			= "{Modular Bialgebraic Semantics and Algebraic Laws}",
  number		= "ICIS--R13008",
  month			= "July",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  code			= "icis.ICIS-R13008",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2013-Eekelen-BlackBoardSecurityAssessment,
  author		= "{Eekelen}, Marko van and {Moussa}, Rachid Ben and {Hubbers}, Engelbert and {Verdult}, Roel",
  title			= "{Blackboard Security Assessment}",
  number		= "ICIS--R13004",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  code			= "icis.ICIS-R13004",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2012-Lensink-ProofPrograms,
  author		= "{Lensink}, Leonard and {Smetsers}, Sjaak and {van Eekelen}, Marko",
  title			= "{A Proof Framework for Concurrent Programs}",
  number		= "ICIS--R12001",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  year			= "2012",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2012-Gobi-LanguageHigherorder,
  author		= "{Gobi}, Attila and {Shkaravska}, Olha and {Eekelen}, Marko van",
  title			= "{A higher--order size system for a higher--order functional language}",
  number		= "ICIS--R12005",
  month			= "July",
  institution		= "Radboud University Nijmegen",
  year			= "2012",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2012-Eekelen-AnalyzingLocal,
  author		= "{Lamers}, Arjan and {Eekelen}, Marko van",
  title			= "{Analyzing Isoefficiency of Partition Local Algorithms}",
  number		= "ICIS--R12003",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  year			= "2012",
  code			= "icis.ICIS-R12003",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2011-Poll-LayerSpecifications,
  author		= "{Poll}, Erik and {Schubert}, Aleksy",
  title			= "{Rigorous specifications of the SSH Transport Layer}",
  number		= "ICIS--R11004",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  year			= "2011",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2011-KKursawe-IdeasAggregation,
  author		= "{K. Kursawe}",
  title			= "{ Some Ideas on Privacy Preserving Meter Aggregation}",
  number		= "ICIS--R11002",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  year			= "2011",
  code			= "icis.ICIS-R11002",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2010-Shkaravska-PolynomialNonlinear,
  author		= "{Shkaravska}, Olha and {Eekelen}, Marko van",
  title			= "{Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations}",
  number		= "ICIS--R10003",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  year			= "2010",
  code			= "icis.ICIS-R10003",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2010-Mostowski-ElectronicNutshell,
  author		= "{Mostowski}, Wojciech and {Poll}, Erik",
  title			= "{Electronic Passports in a Nutshell}",
  number		= "ICIS--R10004",
  month			= "June",
  institution		= "Radboud University Nijmegen",
  year			= "2010",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2010-Jacobs-mifarepvs,
  author		= "{Jacobs}, Bart and {Wichers Schreur}, Ronny",
  title			= "{Logical Formalisation and Analysis of the Mifare Classic Card in PVS}",
  number		= "ICIS--R10002",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  year			= "2010",
  code			= "icis.ICIS-R10002",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2009-Shkaravska-NestedCollected,
  author		= "{Shkaravska}, O. and {van Eekelen}, M. and {Tamalet}, A.",
  title			= "{Collected Size Semantics for Functional Programs over Polymorphic Nested Lists}",
  number		= "ICIS--R09003",
  month			= "July",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  code			= "icis.ICIS-R09003",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2009-Mostowski-MidletGraphs,
  author		= "{Mostowski}, Wojciech and {Poll}, Erik",
  title			= "{Midlet Navigation Graphs in JML}",
  number		= "ICIS--R09004",
  month			= "August",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2009-Haack-TypebasedInitialization,
  author		= "{Haack}, Christian and {Poll}, Erik",
  title			= "{Type--based Object Immutability with Flexible Initialization}",
  number		= "ICIS--R09001",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  code			= "icis.ICIS-R09001",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2009-EekelenMarkovaneditor-AnalysisAspects,
  author		= "{Eekelen (editor)}, Marko van  and {Shkaravska (editor)}, Olha ",
  title			= "{International Workshop on Foundational and Practical Aspects of Resource Analysis FOPARA }",
  number		= "ICIS--R09008",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  code			= "icis.ICIS-R09008",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2008-Tews-NovaSpec,
  author		= "{Tews}, H. and {Weber}, Tjark and {Poll}, E. and {Eekelen}, M.C.J.D. van",
  title			= "{Formal Nova interface specification}",
  number		= "ICIS--R08011",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  note			= "Robin deliverable D12",
  code			= "icis.ICIS-R08011",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2008-Tews-MicroHypervisorVerification,
  author		= "{Tews}, Hendrik and {Weber}, Tjark and {V{\"{o}}lp}, Marcus and {Poll}, Erik and {Eekelen}, M.C.J.D. van and {Rossum}, Peter van",
  title			= "{Nova Micro--Hypervisor Verification}",
  number		= "ICIS--R08012",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  note			= "Robin deliverable D13",
  code			= "icis.ICIS-R08012",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2008-Tamalet-SizeDataTypes,
  author		= "{Tamalet}, Alejandro and {Shkaravska}, Olha and {van Eekelen}, Marko",
  title			= "{A Size--Aware Type System with Algebraic Data Types}",
  number		= "ICIS--R08006",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08006",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2008-Smetsers-TheoryFormalizing,
  author		= "{Smetsers}, Sjaak and {Barendsen}, Erik",
  title			= "{Formalizing Type Theory in PVS: a case study}",
  number		= "ICIS--R08022",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08022",
  research_group	= "ds",
  class			= "Report"
}

@NULL{2008-Skaravska-IndexedFalimies,
  title			= "{Size Analysis with Indexed Families of max{\$}{\_}0{\$}--Polynomials}",
  month			= "November",
  year			= "2008",
  code			= "icis.ICIS-R08020",
  research_group	= "ds"
}

@NULL{2008-Skaravska-CollectedSizeSemantics,
  title			= "{Collected Size Semantics for Functional Programs}",
  month			= "November",
  year			= "2008",
  research_group	= "ds"
}

@techreport{2008-Shkaravska-IndexedFamilies,
  author		= "{Shkaravska}, O. and {van Eekelen}, M. and {Tamalet}, A.",
  title			= "{Polynomial Size Complexity Analysis with Families of Piecewise Polynomials (with soundness proof and examples in detail)}",
  number		= "ICIS--R08020",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08020",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2008-Shkaravska-CollectedSizeSemantics,
  author		= "{Shkaravska}, O. and {van Eekelen}, M. and {Tamalet}, A.",
  title			= "{Collected Size Semantics for Functional Programs over Lists}",
  number		= "ICIS--R08021",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08021",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2008-Plasmeijer-CombiningObject,
  author		= "{Plasmeijer}, Rinus and {Smetsers}, Sjaak and {Weelden}, Arjen van",
  title			= "{Interactive Combining of Typed Object Code}",
  number		= "ICIS--R08019",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  research_group	= "ds",
  class			= "Report"
}

@article{2008-Pieters-NetherlandsTemptations,
  author		= "{Pieters}, Wolter and {Haren}, Robert van",
  title			= "{Temptations of turnout and modernisation: e--voting discourses in the UK and the Netherlands}",
  journal		= "Journal of Information, Communication and Ethics in Society",
  number		= "4",
  volume		= "5",
  year			= "2008",
  research_group	= "ds",
  pages			= "276----292",
  class			= "Journal"
}

@inproceedings{2008-Mol-SystemProof,
  author		= "{Mol}, Maarten de and {Eekelen}, Marko van and {Plasmeijer}, Rinus",
  title			= "{A Single--Step Term--Graph Reduction System for Proof Assistants}",
  booktitle		= "{Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Selected and Invited Papers}",
  editor		= "{Sch{{\$}\backslash{\$}}}",
  series		= "Lect. Notes Comp. Sci.",
  volume		= "5088",
  month			= "October",
  publisher		= "Springer",
  year			= "2008",
  research_group	= "ds",
  pages			= "184----200",
  class			= "Conference"
}

@inproceedings{2008-Mol-ProvingFunctional,
  author		= "{Mol}, Maarten de and {Eekelen}, Marko van and {Plasmeijer}, Rinus",
  title			= "{Proving Properties of Lazy Functional Programs with SPARKLE}",
  booktitle		= "{2nd Central--European Functional Programming School, CEFP 2007}",
  editor		= "{Horv{{\$}\backslash{\$}}'ath}, Zolt{{\$}\backslash{\$}}'an",
  series		= "Lect. Notes Comp. Sci. #  " Tutorial Series"",
  volume		= "5161",
  publisher		= "Springer",
  year			= "2008",
  research_group	= "ds",
  pages			= "41----86",
  class			= "Conference"
}

@inproceedings{2008-Lensink-SchedulingSmartcard,
  author		= "{Lensink}, Leonard and {Smetsers}, Sjaak and {Eekelen}, Marko van",
  title			= "{Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization}",
  booktitle		= "{Proc. 12th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)}",
  editor		= "{Merino}, P. and {Leue}, S.",
  series		= "Lect. Notes Comp. Sci.",
  volume		= "4916",
  publisher		= "Springer",
  year			= "2008",
  research_group	= "ds",
  pages			= "115----132",
  class			= "Conference"
}

@techreport{2008-Huisman-FormalTechniquesJavaLikePograms,
  author		= "{Huisman}, Marieke and {Poll}, Erik",
  title			= "{Formal Techniques for Java--like Pograms (FTfJP08)}",
  number		= "ICIS--R08013",
  month			= "June",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08013",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2008-Haack-ReasoningAbout,
  author		= "{Haack}, Christian and {Huisman}, Marieke and {Hurlin}, Clement",
  title			= "{Reasoning about Java`s Reentrant Locks}",
  number		= "ICIS--R08014",
  month			= "July",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08014",
  research_group	= "ds",
  class			= "Report"
}

@techreport{2008-GastelBernardvan-StudyReadersWriters,
  author		= "{Gastel}, Bernard van and {Lensink}, Leonard and {Smetsers}, Sjaak and {Eekelen}, M.C.J.D. van",
  title			= "{Reentrant Readers--Writers: A Case Study Combining Model Checking and Theorem Proving}",
  number		= "ICIS--R08005",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08005",
  research_group	= "ds",
  class			= "Report"
}

@article{2008-Galindo-EncryptionStandard,
  author		= "{Galindo}, David and {Morillo}, Paz and {R?fols}, Carla",
  title			= "{Improved certificate--based encryption in the standard model}",
  journal		= "Journal of Systems and Software",
  number		= "7",
  volume		= "81",
  publisher		= "Elsevier",
  year			= "2008",
  research_group	= "ds",
  pages			= "1218----1226",
  url			= "http://dx.doi.org/10.1016/j.jss.2007.09.009",
  class			= "Journal"
}

@inproceedings{2008-Eekelen-SpaceAnalysis,
  title			= "{AHA: Amortized Heap Space Usage Analysis}",
  booktitle		= "{Trends in Functional Programming Volume 8: Selected Papers of the {\$}8^{th}{\$} International Symposium on Trends in Functional Programming (TFP}",
  year			= "2008",
  research_group	= "ds",
  pages			= "36----53",
  class			= "Conference"
}

@techreport{2008-Eekelen-IntegersEfficient,
  author		= "{Rutten}, Luc and {Eekelen}, M.C.J.D. van",
  title			= "{Efficient and Formally Proven Reduction of Large Integers by Small Moduli}",
  number		= "ICIS--R08001",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08001",
  research_group	= "ds",
  class			= "Report"
}

@inproceedings{2008-Eekelen-ImplementationAnalysis,
  author		= "{Eekelen}, Marko van and {ten Hoedt}, Stefan and {Schreurs}, Rene and {Usenko}, Yaroslav",
  title			= "{Analysis of a Session--Layer Protocol in mCRL2. Verification of a Real--Life Industrial Implementation}",
  booktitle		= "{Proc. 12th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)}",
  editor		= "{Merino}, P. and {Leue}, S.",
  series		= "Lect. Notes Comp. Sci.",
  volume		= "4916",
  publisher		= "Springer",
  year			= "2008",
  research_group	= "ds",
  pages			= "182----199",
  class			= "Conference"
}

@inproceedings{2008-Andres-SystemsProbabilities,
  author		= "{Andr{{\$}\backslash{\$}}'es}, Miguel E.",
  title			= "{Conditional Probabilities over Probabilistic and Nondeterministic Systems}",
  booktitle		= "{Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference (TACAS }",
  series		= "Lect. Notes Comp. Sci.",
  volume		= "4963",
  year			= "2008",
  research_group	= "ds",
  pages			= "157----172",
  class			= "Conference"
}

@inproceedings{2008-Andr-ModelChecking,
  author		= "{Andr{{\$}\backslash{\$}}} and {D`Argenio}, P. R.",
  title			= "{Significant Diagnostic Counterexamples in Probabilistic Model Checking}",
  booktitle		= "{Haifa Verification Conference: 4th International Conference (HVC 08)}",
  series		= "Lect. Notes Comp. Sci.",
  volume		= "5394",
  year			= "2008",
  research_group	= "ds",
  pages			= "129----148",
  class			= "Conference"
}

@techreport{2008-Achten-ApplicationsSemantics,
  author		= "{Achten}, Peter and {Eekelen}, Marko van and {Mol}, Maarten de and {Plasmeijer}, Rinus",
  title			= "{A Common Arrow Based Semantics for GEC and iData Applications}",
  number		= "ICIS--R08023",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  research_group	= "ds",
  class			= "Report"
}