@techreport{2003-vanGils-SupplyConceptual, title = "{A conceptual model of Information Supply}", month = "May", year = "2003", research_group = "icis", class = "Report" } @techreport{2003-Grootjen-STM, author = "{Grootjen}, F.A. and {van der Weide}, Th.P.", title = "{Information Retrieval as a Semantics Transformation}", number = "NIII--R0303", institution = "Computing Science Institute, University of Nijmegen", year = "2003", research_group = "iris", class = "Report" } @techreport{2003-vanLeijenhorst-ExpressionGrowth, author = "{van Leijenhorst}, D.C.", title = "{A Note on Expression Growth in Process Algebra}", number = "NIII--R0304", month = "February", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0304", research_group = "icis", class = "Report" } @techreport{2003-vanLeijenhorst-TheoremWedderburns, author = "{van Leijenhorst}, D.C.", title = "{On Witt's Proof of Wedderburn's Theorem}", number = "NIII--R0305", month = "February", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0305", research_group = "icis", class = "Report" } @techreport{2003-Fehnker-ModelingHybrid, author = "{Fehnker}, A. and {Vaandrager}, F.W. and {Zhang}, M.", title = "{Modeling and Verifying a Lego Car Using Hybrid I/O Automata}", number = "NIII--R0308", month = "March", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0308", research_group = "ita", class = "Report" } @techreport{2003-Burdy-OverviewApplications, author = "{Burdy}, L. and {Cheon}, Y. and {Cok}, D. and {Ernst}, M. and {Kiniry}, J.R. and {Leavens}, G.T. and {Leino}, K.R.M. and {Poll}, E.", title = "{An overview of JML tools and applications}", number = "NIII--R0309", month = "March", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0309", research_group = "icis", class = "Report" } @techreport{2003-Jacobs-ProgramVerification, author = "{Jacobs}, B.P.F. and {Kiniry}, J.R. and {Warnier}, M.E.", title = "{Java Program Verification Challenges}", number = "NIII--R0310", month = "March", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0310", research_group = "icis", class = "Report" } @techreport{2003-Gebremichael-SystemSymbolic, author = "{Gebremichael}, B. and {Vaandrager}, F.W.", title = "{Control Synthesis for a Smart Card Personalization System using Symbolic Model Checking}", number = "NIII--R0312", month = "May", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0312", research_group = "ita", class = "Report" } @techreport{2003-Hoppenbrouwers-SupportLanguage, author = "{Hoppenbrouwers}, S.J.B.A. (Stijn) and {Weigand}, H.", title = "{Conceptualisation Support for Language Development}", number = "NIII--R0314", month = "May", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0314", research_group = "icis", class = "Report" } @techreport{2003-Breunesse-SmartCards, author = "{Breunesse}, C.--B. and {Catano}, N. and {Huisman}, M. and {Jacobs}, B.P.F.", title = "{Formal Methods for Smart Cards: an experience report}", number = "NIII--R0316", month = "August", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0316", research_group = "icis", class = "Report" } @techreport{2003-Schabell-Conversions, author = "{Schabell}, E.D.", title = "{Building the PRONIR Conversion Clearinghouse}", number = "NIII--R0317", institution = "Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, Nijmegen, The Netherlands, EU", year = "2003", code = "icis.NIII-R0317", research_group = "iris", class = "Report" } @techreport{2003-Jacobs-VerificationNijmegen, author = "{Jacobs}, B.P.F. and {Poll}, E.", title = "{Java Program Verification at Nijmegen: Developments and Perspective}", number = "NIII--R0318", month = "September", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0318", research_group = "icis", class = "Report" } @techreport{2003-Bosman-FormalizingRepresentations, author = "{Bosman}, S. and {van der Weide}, Th.P.", title = "{Information modelling by formalizing vague representations}", number = "NIII--R0319", month = "September", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0319", research_group = "icis", class = "Report" } @techreport{2006-Oostdijk-RemoteMethod, author = "{Oostdijk}, M.D. and {Warnier}, M.E.", title = "{On the combination of Java Card Remote Method Invocation and JML}", number = "NIII--R0321", month = "October", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0321", research_group = "icis", class = "Report" } @techreport{2003-Hubbers-ReasoningAbout, author = "{Hubbers}, E.M.G.M. and {Poll}, E.", title = "{Reasoning about Card Tears and Transactions in Java Card}", number = "NIII--R0322", month = "October", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0322", research_group = "icis", class = "Report" } @techreport{2003-Niqui-ExactSternBrocot, author = "{Niqui}, M.", title = "{Exact Arithmetic on the Stern--Brocot Tree}", number = "NIII--R0325", month = "November", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0325", research_group = "icis", class = "Report" } @techreport{2003-Lucas-GuidelinesThrough, author = "{Lucas}, P.J.F.", title = "{Quality Checking of Medical Guidelines through Logical Abduction}", number = "NIII--R0327", month = "November", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0327", research_group = "icis", class = "Report" } @techreport{2003-Koopman-TestdagNederlandse, author = "{Koopman}, P. and {Tretmans}, J.", title = "{9e Nederlandse Testdag}", number = "NIII--R0328", month = "November", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0328", research_group = "icis", class = "Report" } @techreport{2003-Schabell-DocConversions, author = "{Schabell}, E.D.", title = "{The DocConversion framework}", number = "NIII--R0332", institution = "Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, Nijmegen, The Netherlands, EU", year = "2003", code = "icis.NIII-R0332", research_group = "iris", class = "Report" } @techreport{2003-Giero-ProofMizar, author = "{Giero}, M. and {Wiedijk}, F.", title = "{MMode, a Mizar Mode for the proof assistant Coq}", number = "NIII--R0333", month = "December", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0333", research_group = "icis", class = "Report" }