@techreport{2018-Shkaravska-EquationsHomogeneous, author = "{Shkaravska}, Olha and {Eekelen}, Marko van", title = "{Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials}", number = "ICIS--R18001", month = "December", institution = "Radboud University Nijmegen", year = "2018", code = "icis.ICIS-R18001", research_group = "dis", class = "Report" } @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{\~{A}}{$\pi$}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{\'{\i}}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" }