@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" }