@techreport{2013-Osaiweran-FormalReport,
  author		= "{Osaiweran}, Ammar and {Schuts}, Mathijs and {Hooman}, Jozef and {Wesselius}, Jacco",
  title			= "{Incorporating Formal Techniques into Industrial Practice: an Experience Report}",
  number		= "ICIS--R13003",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2013-Jansen-WeakSimulation,
  author		= "{Jansen}, David N. and {Song}, Lei and {Zhang}, Lijun",
  title			= "{Revisiting Weak Simulation for Substochastic Markov Chains}",
  number		= "ICIS--R13005",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  code			= "icis.ICIS-R13005",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2013-Jansen-DCTLforCTMDPs,
  author		= "{Jansen}, David N.",
  title			= "{More or less true: DCTL for continuous--time MDPs}",
  number		= "ICIS--R13006",
  month			= "June",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  code			= "icis.ICIS-R13006",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2013-Aarts-InferenceRegular,
  author		= "{Aarts}, Fides and {Jonsson}, Bengt and {Uijen}, Johan and {Vaandrager}, Frits",
  title			= "{Generating Models of Infinite--State Communication Protocols using Regular Inference with Abstraction}",
  number		= "ICIS--R13001",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2012-Michels-Fusion,
  author		= "{Michels}, S. and {Velikova}, M. and {Hommersom}, A.J. and {Lucas}, P.J.F.",
  title			= "{A Probabilistic Logic--based Model for Fusing Attribute Information of Objects Under Surveillance}",
  number		= "ICIS--R12006",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2012",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2012-Jansen-MarkovHidden,
  author		= "{Jansen}, David N. and {Nielson}, Flemming and {Zhang}, Lijun",
  title			= "{Belief bisimulation for hidden Markov models: logical characterisation and decision algorithm}",
  number		= "ICIS--R12002",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  year			= "2012",
  code			= "icis.ICIS-R12002",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2012-Hendriks-ExecutionTraces,
  author		= "{Hendriks}, Martijn and {Vaandrager}, F.W.",
  title			= "{Reconstructing Critical Paths from Execution Traces}",
  number		= "ICIS--R12007",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2012",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2012-Bjekovic-StudyArchiMetal,
  author		= "{Bjekovic}, Marija",
  title			= "{ArchiMetal case study}",
  number		= "ICIS--R12004",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  year			= "2012",
  note			= "Technical Note",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2011-Kwisthout-RelevantRepresentations,
  author		= "{Kwisthout}, J.",
  title			= "{A Formal Theory of Relevancy in Problem Solving}",
  number		= "ICIS--R11005",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2011",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2011-Kwisthout-InferenceComputational,
  author		= "{Kwisthout}, J.",
  title			= "{The Computational Complexity of Probabilistic Inference}",
  number		= "ICIS--R11003",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  year			= "2011",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2011-Jansen-UnderstandingFoxGlynn,
  author		= "{Jansen}, David N.",
  title			= "{Understanding Fox and Glynn?s ?Computing Poisson probabilities?}",
  number		= "ICIS--R11001",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  year			= "2011",
  code			= "icis.ICIS-R11001",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2010-Kwisthout-MPEcomplexity,
  author		= "{Kwisthout}, J.",
  title			= "{Most Probable Explanations in Bayesian Networks: complexity and tractability}",
  number		= "ICIS--R10001",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  year			= "2010",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2010-Kwisthout-002,
  author		= "{Kwisthout}, J.",
  title			= "{Two new notions of abduction in Bayesian networks}",
  number		= "ICIS--R10005",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  year			= "2010",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2009-Vermolen-Hooman,
  author		= "{Vermolen}, Sander D. and {Hooman}, Jozef and {Larsen}, Peter Gorm",
  title			= "{Proving Consistency of VDM models using HOL}",
  number		= "ICIS--R09006",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2009-Hooman-Verhoef,
  author		= "{Hooman}, Jozef and {Verhoef}, Marcel",
  title			= "{Formal Semantics of a VDM Extension for Distributed Embedded Systems}",
  number		= "ICIS--R09005",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2008-Schabell-EmpoweringBPM,
  author		= "{Schabell}, E.D. and {Hoppenbrouwers}, S.J.B.A. (Stijn)",
  title			= "{Empowering Full Scale Straight Through Processing with BPM}",
  number		= "ICIS--R08004",
  month			= "February",
  institution		= "SNS Bank",
  year			= "2009",
  code			= "icis.ICIS-R08004",
  research_group	= "mbsd",
  url			= "http://www.schabell.org",
  class			= "Report"
}

@techreport{2008-Overbeek-EmbeddingKnowledge,
  author		= "{Overbeek}, S.J. and {Bommel}, P. van and {Proper}, H.A. (Erik)",
  title			= "{Embedding Knowledge Exchange and Cognitive Matchmaking in a Dichotomy of Markets}",
  number		= "ICIS--R08003",
  month			= "February",
  year			= "2008",
  research_group	= "mbsd",
  class			= "Report"
}

@techreport{2008-Nabukenya-MakingProcesses,
  author		= "{Nabukenya}, J. and {Bommel}, P. van and {Proper}, H.A. (Erik)",
  title			= "{A Theory--Driven Design Approach to Collaborative Policy Making Processes}",
  number		= "ICIS--R08015",
  month			= "July",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08015",
  research_group	= "mbsd",
  class			= "Report"
}

@inproceedings{2008-Nabukenya-CEPolicyMaking,
  author		= "{Nabukenya}, J. and {Bommel}, P. van and {Proper}, H.A. (Erik)",
  title			= "{Repeatable Collaboration Processes for Mature Organizational Policy Making}",
  booktitle		= "{Proceedings of the 14th Collaboration Researchers' International Workshop on Groupware (CRWIG08)}",
  series		= "LNCS",
  month			= "September",
  year			= "2008",
  research_group	= "MBSD",
  class			= "Conference"
}

@inproceedings{2008-MWMatthijsvanRoosmalen-BRAandEA,
  author		= "{M.W. (Matthijs) van Roosmalen} and {Hoppenbrouwers}, S.J.B.A. (Stijn)",
  title			= "{Supporting Corporate Governance with Enterprise Architecture and Business Rule Management: A Synthesis of Stability and Agility}",
  year			= "2008",
  research_group	= "mbsd",
  class			= "Conference"
}

@techreport{2008-Koopman-AFP2008,
  author		= "{Koopman}, Pieter and {Plasmeijer}, Rinus and {Swierstra}, Doaitse",
  title			= "{Draft Proceedings of the Sixth Advanced Functional Programming school (AFP 2008)}",
  number		= "ICIS--R08008",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08008",
  research_group	= "mbsd",
  class			= "Report"
}

@inproceedings{2008-Hoppenbrouwers-MethodsGames,
  author		= "{Hoppenbrouwers}, S.J.B.A. (Stijn) and {Bommel}, P. van and {Jarvinen}, Aki",
  title			= "{Method Engineering as Game Design: an Emerging HCI Perspective on Methods and CASE Tools}",
  booktitle		= "{Proceedings of EMMSAD}",
  month			= "June",
  year			= "2008",
  research_group	= "mbsd",
  class			= "Conference"
}

@inproceedings{2008-Hoppenbrouwers-DevelopmentCommunitybased,
  author		= "{Hoppenbrouwers}, S.J.B.A. (Stijn)",
  title			= "{Community--based ICT Development as a Multi--Player Game}",
  booktitle		= "{What is an Organization? Materiality, Agency and Discourse}",
  month			= "May",
  organization		= "University of Montreal, Canada",
  year			= "2008",
  research_group	= "mbsd",
  class			= "Conference"
}

@inbook{2008-Bommel-StrategiesConcepts,
  author		= "{Bommel}, P. van and {Hoppenbrouwers}, S.J.B.A. (Stijn) and {Proper}, H.A. (Erik) and {Roelofs}, J. (Jeroen)",
  title			= "{Concepts and Strategies for Quality of Modeling}",
  publisher		= "IGI Global Publishing",
  year			= "2008",
  research_group	= "mbsd",
  class			= "Book"
}

@techreport{2008-Achten-TFP2008,
  author		= "{Achten}, Peter and {Koopman}, Pieter and {Moraz{\~{A}}{!'}n}, Marco T.",
  title			= "{Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP)}",
  number		= "ICIS--R08007",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  research_group	= "mbsd",
  class			= "Report"
}