@article{SpruitWM95,
  title = {Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases},
  author = {Paul Spruit and Roel Wieringa and John-Jules Ch. Meyer},
  year = {1995},
  tags = {semantics, operational semantics, logic},
  researchr = {https://researchr.org/publication/SpruitWM95},
  cites = {0},
  citedby = {0},
  journal = {logcom},
  volume = {5},
  number = {1},
  pages = {27-70},
}

@inproceedings{EckWG04,
  title = {Risk-Driven Conceptual Modeling of Outsourcing Decisions},
  author = {Pascal van Eck and Roel Wieringa and Jaap Gordijn},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3288&spage=709},
  tags = {modeling, Pascal},
  researchr = {https://researchr.org/publication/EckWG04},
  cites = {0},
  citedby = {0},
  pages = {709-723},
  booktitle = {er},
}

@inproceedings{EshuisW01,
  title = {A Real-Time Execution Semantics for UML Activity Diagrams},
  author = {Rik Eshuis and Roel Wieringa},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2029/20290076.htm},
  tags = {semantics, UML},
  researchr = {https://researchr.org/publication/EshuisW01},
  cites = {0},
  citedby = {0},
  pages = {76-90},
  booktitle = {FASE},
}

@inproceedings{MeyerWW89,
  title = {A Specification Language for Static, Dynamic and Deontic Integrity Constraints},
  author = {John-Jules Ch. Meyer and Hans Weigand and Roel Wieringa},
  year = {1989},
  tags = {constraints},
  researchr = {https://researchr.org/publication/MeyerWW89},
  cites = {0},
  citedby = {0},
  pages = {347-366},
  booktitle = {mfdbs},
}

@article{WieringaD98,
  title = {Integrating Semi-Formal and Formal Software Specification Techniques},
  author = {Roel Wieringa and Eric Dubois},
  year = {1998},
  doi = {10.1016/S0306-4379(98)00007-6},
  url = {http://dx.doi.org/10.1016/S0306-4379(98)00007-6},
  researchr = {https://researchr.org/publication/WieringaD98},
  cites = {0},
  citedby = {0},
  journal = {is},
  volume = {23},
  number = {3-4},
  pages = {159-178},
}

@article{SpruitWM01,
  title = {Regular database update logics},
  author = {Paul Spruit and Roel Wieringa and John-Jules Ch. Meyer},
  year = {2001},
  doi = {10.1016/S0304-3975(00)00289-9},
  url = {http://dx.doi.org/10.1016/S0304-3975(00)00289-9},
  tags = {database, logic},
  researchr = {https://researchr.org/publication/SpruitWM01},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {254},
  number = {1-2},
  pages = {591-661},
}

@inproceedings{Wieringa08,
  title = {Operational Business-IT Alignment in Value Webs},
  author = {Roel Wieringa},
  year = {2008},
  doi = {10.1007/978-3-540-78942-0_36},
  url = {http://dx.doi.org/10.1007/978-3-540-78942-0_36},
  researchr = {https://researchr.org/publication/Wieringa08},
  cites = {0},
  citedby = {0},
  pages = {371-378},
  booktitle = {ista},
}

@inproceedings{BodenstaffWWJR09,
  title = {Monitoring Service Compositions in MoDe4SLA - Design of Validation},
  author = {Lianne Bodenstaff and Andreas Wombacher and Roel Wieringa and Michael C. Jaeger and Manfred Reichert},
  year = {2009},
  tags = {composition, C++, design},
  researchr = {https://researchr.org/publication/BodenstaffWWJR09},
  cites = {0},
  citedby = {0},
  pages = {114-121},
  booktitle = {ICEIS},
}

@inproceedings{GordijnWRW08,
  title = {Towards self-configuration and management of e-service provisioning in dynamic value constellations},
  author = {Jaap Gordijn and Hans Weigand and Manfred Reichert and Roel Wieringa},
  year = {2008},
  doi = {10.1145/1363686.1363823},
  url = {http://doi.acm.org/10.1145/1363686.1363823},
  tags = {e-science},
  researchr = {https://researchr.org/publication/GordijnWRW08},
  cites = {0},
  citedby = {0},
  pages = {566-571},
  booktitle = {SAC},
}

@article{EckBW04,
  title = {Project Graal: Towards Operational Architecture Alignment},
  author = {Pascal van Eck and Henk M. Blanken and Roel Wieringa},
  year = {2004},
  doi = {10.1142/S0218843004000961},
  url = {http://dx.doi.org/10.1142/S0218843004000961},
  tags = {architecture, Pascal},
  researchr = {https://researchr.org/publication/EckBW04},
  cites = {0},
  citedby = {0},
  journal = {ijcis},
  volume = {13},
  number = {3},
  pages = {235-255},
}

@article{BodenstaffWRW10,
  title = {MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations},
  author = {Lianne Bodenstaff and Andreas Wombacher and Manfred Reichert and Roel Wieringa},
  year = {2010},
  doi = {10.1007/s11761-010-0062-7},
  url = {http://dx.doi.org/10.1007/s11761-010-0062-7},
  researchr = {https://researchr.org/publication/BodenstaffWRW10},
  cites = {0},
  citedby = {0},
  journal = {soca},
  volume = {4},
  number = {3},
  pages = {203-228},
}

@inproceedings{Wieringa90-0,
  title = {Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract)},
  author = {Roel Wieringa},
  year = {1990},
  tags = {meta-model, object-role modeling, Meta-Environment, process modeling, meta-objects},
  researchr = {https://researchr.org/publication/Wieringa90-0},
  cites = {0},
  citedby = {0},
  pages = {199-208},
  booktitle = {fmldo},
}

@article{BroersenWM02,
  title = {A Fixed-point Characterization of a Deontic Logic of Regular Action},
  author = {Jan Broersen and Roel Wieringa and John-Jules Ch. Meyer},
  year = {2002},
  tags = {logic},
  researchr = {https://researchr.org/publication/BroersenWM02},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {49},
  number = {4},
  pages = {107-128},
}

@inproceedings{ZarvicWE08:0,
  title = {On Quality Issues in Networked Value Constellations},
  author = {Novica Zarvic and Roel Wieringa and Pascal van Eck},
  year = {2008},
  doi = {10.1007/978-0-387-84837-2_44},
  url = {http://dx.doi.org/10.1007/978-0-387-84837-2_44},
  tags = {Pascal},
  researchr = {https://researchr.org/publication/ZarvicWE08%3A0},
  cites = {0},
  citedby = {0},
  pages = {425-432},
  booktitle = {ifip5-5},
}

@inproceedings{SpruitWM92,
  title = {Dynamic Database Logic: the First-order Case},
  author = {Paul Spruit and Roel Wieringa and John-Jules Ch. Meyer},
  year = {1992},
  tags = {database, logic},
  researchr = {https://researchr.org/publication/SpruitWM92},
  cites = {0},
  citedby = {0},
  pages = {103-120},
  booktitle = {fmldo},
}

@inproceedings{Wieringa95,
  title = {LCM and MCM},
  author = {Roel Wieringa},
  year = {1995},
  researchr = {https://researchr.org/publication/Wieringa95},
  cites = {0},
  citedby = {0},
  pages = {333-355},
  booktitle = {korso},
}

@article{JonkersLDABW06,
  title = {Enterprise architecture: Management tool and blueprint for the organisation},
  author = {Henk Jonkers and Marc M. Lankhorst and Hugo W. L. ter Doest and Farhad Arbab and Hans Bosma and Roel Wieringa},
  year = {2006},
  doi = {10.1007/s10796-006-7970-2},
  url = {http://dx.doi.org/10.1007/s10796-006-7970-2},
  tags = {architecture},
  researchr = {https://researchr.org/publication/JonkersLDABW06},
  cites = {0},
  citedby = {0},
  journal = {isf},
  volume = {8},
  number = {2},
  pages = {63-66},
}

@inproceedings{Wieringa04,
  title = {Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract)},
  author = {Roel Wieringa},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3140&spage=13},
  tags = {analysis, requirements engineering},
  researchr = {https://researchr.org/publication/Wieringa04},
  cites = {0},
  citedby = {0},
  pages = {13-16},
  booktitle = {ICWE},
}

@article{WieringaS96,
  title = {Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques},
  author = {Roel Wieringa and Gunter Saake},
  year = {1996},
  tags = {analysis},
  researchr = {https://researchr.org/publication/WieringaS96},
  cites = {0},
  citedby = {0},
  journal = {re},
  volume = {1},
  number = {2},
  pages = {106-131},
}

@inproceedings{PokraevWS04,
  title = {Towards Semantic Service Specification and Discovery},
  author = {Stanislav Pokraev and Roel Wieringa and Maarten W. A. Steen},
  year = {2004},
  tags = {discovery},
  researchr = {https://researchr.org/publication/PokraevWS04},
  cites = {0},
  citedby = {0},
  pages = {363-367},
  booktitle = {caise},
}

@inproceedings{EckartzDWH09,
  title = {Cross-organizational ERP management: how to create a successful business case?},
  author = {Silja Eckartz and Maya Daneva and Roel Wieringa and Jos van Hillegersberg},
  year = {2009},
  doi = {10.1145/1529282.1529641},
  url = {http://doi.acm.org/10.1145/1529282.1529641},
  researchr = {https://researchr.org/publication/EckartzDWH09},
  cites = {0},
  citedby = {0},
  pages = {1599-1604},
  booktitle = {SAC},
}

@inproceedings{EshuisW00,
  title = {Requirements Level Semantics for UML Statecharts},
  author = {Rik Eshuis and Roel Wieringa},
  year = {2000},
  tags = {semantics, UML},
  researchr = {https://researchr.org/publication/EshuisW00},
  cites = {0},
  citedby = {0},
  pages = {121},
  booktitle = {fmoods},
}

@article{DanevaW06:0,
  title = {A requirements engineering framework for cross-organizational ERP systems},
  author = {Maya Daneva and Roel Wieringa},
  year = {2006},
  doi = {10.1007/s00766-006-0034-9},
  url = {http://dx.doi.org/10.1007/s00766-006-0034-9},
  tags = {requirements engineering},
  researchr = {https://researchr.org/publication/DanevaW06%3A0},
  cites = {0},
  citedby = {0},
  journal = {re},
  volume = {11},
  number = {3},
  pages = {194-204},
}

@article{WieringaWMD91,
  title = {The Inheritance of Dynamic and Deontic Integrity Constraints},
  author = {Roel Wieringa and Hans Weigand and John-Jules Ch. Meyer and Frank Dignum},
  year = {1991},
  tags = {constraints},
  researchr = {https://researchr.org/publication/WieringaWMD91},
  cites = {0},
  citedby = {0},
  journal = {AMAI},
  volume = {3},
  number = {2-4},
  pages = {393-428},
}

@inproceedings{MeyerW91,
  title = {Actor-Oriented System Specification with Dynamic Logic},
  author = {John-Jules Ch. Meyer and Roel Wieringa},
  year = {1991},
  tags = {logic},
  researchr = {https://researchr.org/publication/MeyerW91},
  cites = {0},
  citedby = {0},
  pages = {337-357},
  booktitle = {tapsoft},
}

@article{WieringaE04,
  title = {Guest Editors  Introduction: RE 03--Practical Requirements Engineering Solutions},
  author = {Roel Wieringa and Christof Ebert},
  year = {2004},
  url = {http://csdl.computer.org/comp/mags/so/2004/02/s2016.pdf},
  tags = {requirements engineering},
  researchr = {https://researchr.org/publication/WieringaE04},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {21},
  number = {2},
  pages = {16-18},
}

@inproceedings{WieringaJ01,
  title = {Techniques for Reactive System Design: The Tools in TRADE},
  author = {Roel Wieringa and David N. Jansen},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2068/20680093.htm},
  tags = {design},
  researchr = {https://researchr.org/publication/WieringaJ01},
  cites = {0},
  citedby = {0},
  pages = {93-107},
  booktitle = {caise},
}

@article{CastroMW09,
  title = {Towards a Service-Oriented MDA-Based Approach to the Alignment of Business Processes with IT Systems: from the Business Model to a Web Service Composition Model},
  author = {Valeria de Castro and Esperanza Marcos and Roel Wieringa},
  year = {2009},
  doi = {10.1142/S0218843009002038},
  url = {http://dx.doi.org/10.1142/S0218843009002038},
  tags = {web service, composition, business process modeling, process modeling, systematic-approach},
  researchr = {https://researchr.org/publication/CastroMW09},
  cites = {0},
  citedby = {0},
  journal = {ijcis},
  volume = {18},
  number = {2},
  pages = {225-260},
}

@inproceedings{CleeffPW09,
  title = {Security Implications of Virtualization: A Literature Study},
  author = {André van Cleeff and Wolter Pieters and Roel Wieringa},
  year = {2009},
  doi = {10.1109/CSE.2009.267},
  url = {http://dx.doi.org/10.1109/CSE.2009.267},
  tags = {security},
  researchr = {https://researchr.org/publication/CleeffPW09},
  cites = {0},
  citedby = {0},
  pages = {353-358},
  booktitle = {cse},
}

@inproceedings{WieringaR88,
  title = {Algebraic Specification of Object Dynamics in Knowledge Base Domains},
  author = {Roel Wieringa and Reind P. van de Riet},
  year = {1988},
  tags = {rule-based, algebraic specification,  algebra, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/WieringaR88},
  cites = {0},
  citedby = {0},
  pages = {411-436},
  booktitle = {ds},
}

@inproceedings{Wieringa97:0,
  title = {Postmodern Software Design with NYAM: Not Yet Another Method},
  author = {Roel Wieringa},
  year = {1997},
  tags = {design},
  researchr = {https://researchr.org/publication/Wieringa97%3A0},
  cites = {0},
  citedby = {0},
  pages = {69-94},
  booktitle = {rtse},
}

@inproceedings{DanevaKPWO07,
  title = {Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements},
  author = {Maya Daneva and Mohamad Kassab and María Laura Ponisio and Roel Wieringa and Olga Ormandjieva},
  year = {2007},
  url = {http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER07/Uwer07-daneva.pdf},
  researchr = {https://researchr.org/publication/DanevaKPWO07},
  cites = {0},
  citedby = {0},
  pages = {190-196},
  booktitle = {wer},
}

@inproceedings{Wieringa97,
  title = {Advanced Object-Oriented Requirements Specification Methods},
  author = {Roel Wieringa},
  year = {1997},
  url = {http://computer.org/proceedings/re/7740/77400266.pdf},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Wieringa97},
  cites = {0},
  citedby = {0},
  pages = {266},
  booktitle = {RE},
}

@inproceedings{WieringaDH97,
  title = {Integrating Semi-formal and Formal Requirements},
  author = {Roel Wieringa and Eric Dubois and Sander Huyts},
  year = {1997},
  researchr = {https://researchr.org/publication/WieringaDH97},
  cites = {0},
  citedby = {0},
  pages = {19-32},
  booktitle = {caise},
}

@inproceedings{HarrisonW06,
  title = {Workshop on technology transfer in software engineering},
  author = {Warren Harrison and Roel Wieringa},
  year = {2006},
  doi = {10.1145/1134485},
  url = {http://doi.acm.org/10.1145/1134485},
  tags = {software engineering},
  researchr = {https://researchr.org/publication/HarrisonW06},
  cites = {0},
  citedby = {0},
  pages = {1024-1025},
  booktitle = {ICSE},
}

@article{BerryKW04,
  title = {Second International Workshop on From SofTware Requirements to Architectures (STRAW 03)},
  author = {Daniel M. Berry and Rick Kazman and Roel Wieringa},
  year = {2004},
  doi = {10.1145/986710.986722},
  url = {http://doi.acm.org/10.1145/986710.986722},
  tags = {software architecture, architecture},
  researchr = {https://researchr.org/publication/BerryKW04},
  cites = {0},
  citedby = {0},
  journal = {sigsoft},
  volume = {29},
  number = {3},
  pages = {1-5},
}

@inproceedings{WieringaH08,
  title = {Design Science, Engineering Science and Requirements Engineering},
  author = {Roel Wieringa and J. M. G. Heerkens},
  year = {2008},
  doi = {10.1109/RE.2008.63},
  url = {http://dx.doi.org/10.1109/RE.2008.63},
  tags = {empirical, design science, meta-model, design research, requirements engineering, model-driven engineering, object-role modeling, reviewing, e-science, history, Meta-Environment, design},
  researchr = {https://researchr.org/publication/WieringaH08},
  cites = {0},
  citedby = {0},
  pages = {310-313},
  booktitle = {RE},
}

@inproceedings{IvanovicMSW05,
  title = {Eliciting User Requirements for Ambient Intelligent Systems: A Case Study},
  author = {Ana Ivanovic and Aga Matysiak and Klaas Sikkel and Roel Wieringa},
  year = {2005},
  doi = {10.1109/RE.2005.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/RE.2005.25},
  tags = {case study},
  researchr = {https://researchr.org/publication/IvanovicMSW05},
  cites = {0},
  citedby = {0},
  pages = {477-478},
  booktitle = {RE},
}

@article{WieringaH06,
  title = {The methodological soundness of requirements engineering papers: a conceptual framework and two case studies},
  author = {Roel Wieringa and J. M. G. Heerkens},
  year = {2006},
  doi = {10.1007/s00766-006-0037-6},
  url = {http://dx.doi.org/10.1007/s00766-006-0037-6},
  tags = {case study, requirements engineering},
  researchr = {https://researchr.org/publication/WieringaH06},
  cites = {0},
  citedby = {0},
  journal = {re},
  volume = {11},
  number = {4},
  pages = {295-307},
}

@article{Wieringa95-0,
  title = {Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods},
  author = {Roel Wieringa},
  year = {1995},
  researchr = {https://researchr.org/publication/Wieringa95-0},
  cites = {0},
  citedby = {0},
  journal = {cj},
  volume = {38},
  number = {1},
  pages = {17-30},
}

@article{GlinzHPSAMPRW09,
  title = {Report on the working conference on requirements engineering: foundation for software quality (REFSQ 09)},
  author = {Martin Glinz and Patrick Heymans and Anne Persson and Guttorm Sindre and Aybüke Aurum and Nazim H. Madhavji and Barbara Paech and Gil Regev and Roel Wieringa},
  year = {2009},
  doi = {10.1145/1598732.1598759},
  url = {http://doi.acm.org/10.1145/1598732.1598759},
  tags = {requirements engineering, software engineering},
  researchr = {https://researchr.org/publication/GlinzHPSAMPRW09},
  cites = {0},
  citedby = {0},
  journal = {sigsoft},
  volume = {34},
  number = {5},
  pages = {40-45},
}

@article{WieringaJS95,
  title = {Using Dynamic Classes and Role Classes to Model Object Migration},
  author = {Roel Wieringa and Wiebren de Jonge and Paul Spruit},
  year = {1995},
  tags = {migration, object-role modeling},
  researchr = {https://researchr.org/publication/WieringaJS95},
  cites = {0},
  citedby = {0},
  journal = {tapos},
  volume = {1},
  number = {1},
  pages = {61-83},
}

@inproceedings{MutschlerRW09,
  title = {Introduction to the First International Workshop on Empirical Research in Business Process Management (ER-BPM 2009)},
  author = {Bela Mutschler and Jan Recker and Roel Wieringa},
  year = {2009},
  doi = {10.1007/978-3-642-12186-9_40},
  url = {http://dx.doi.org/10.1007/978-3-642-12186-9_40},
  tags = {empirical},
  researchr = {https://researchr.org/publication/MutschlerRW09},
  cites = {0},
  citedby = {0},
  pages = {427-428},
  booktitle = {BPM},
}

@article{Wieringa98,
  title = {A Survey of Structured and Object-Oriented Software Specification Methods and Techniques},
  author = {Roel Wieringa},
  year = {1998},
  doi = {10.1145/299917.299919},
  url = {http://doi.acm.org/10.1145/299917.299919},
  tags = {survey},
  researchr = {https://researchr.org/publication/Wieringa98},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {30},
  number = {4},
  pages = {459-527},
}

@inproceedings{Wieringa91-0,
  title = {A Formalization of Objects Using Equational Dynamic Logic},
  author = {Roel Wieringa},
  year = {1991},
  tags = {meta-model, logic, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Wieringa91-0},
  cites = {0},
  citedby = {0},
  pages = {431-452},
  booktitle = {DOOD},
}

@inproceedings{BroersenW99,
  title = {A Logic for the Specification of Multi-Object Systems (Short Paper)},
  author = {Jan Broersen and Roel Wieringa},
  year = {1999},
  tags = {meta-model, logic, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BroersenW99},
  cites = {0},
  citedby = {0},
  booktitle = {fmoods},
}

@article{DanevaW08,
  title = {Cost estimation for cross-organizational ERP projects: research perspectives},
  author = {Maya Daneva and Roel Wieringa},
  year = {2008},
  doi = {10.1007/s11219-008-9045-8},
  url = {http://dx.doi.org/10.1007/s11219-008-9045-8},
  researchr = {https://researchr.org/publication/DanevaW08},
  cites = {0},
  citedby = {0},
  journal = {sqj},
  volume = {16},
  number = {3},
  pages = {459-481},
}

@inproceedings{WieringaJS94,
  title = {Roles and Dynamic Subclasses: A Modal Logic Approach},
  author = {Roel Wieringa and Wiebren de Jonge and Paul Spruit},
  year = {1994},
  url = {http://link.springer.de/link/service/series/0558/bibs/0821/08210032.htm},
  tags = {modal logic, logic, systematic-approach},
  researchr = {https://researchr.org/publication/WieringaJS94},
  cites = {0},
  citedby = {0},
  pages = {32-59},
  booktitle = {ECOOP},
}

@inproceedings{WieringaBFG03,
  title = {Aligning Application Architecture to the Business Context},
  author = {Roel Wieringa and Henk M. Blanken and Maarten M. Fokkinga and Paul W. P. J. Grefen},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2681/26810209.htm},
  tags = {architecture, context-aware},
  researchr = {https://researchr.org/publication/WieringaBFG03},
  cites = {0},
  citedby = {0},
  pages = {209-225},
  booktitle = {caise},
}

@inproceedings{EckYGW05,
  title = {Cross-Organizational Workflows: A Classification of Design Decisions},
  author = {Pascal van Eck and Rieko Yamamoto and Jaap Gordijn and Roel Wieringa},
  year = {2005},
  url = {http://www.ceur-ws.org/Vol-161/FORUM_09.pdf},
  tags = {classification, workflow, Pascal, design},
  researchr = {https://researchr.org/publication/EckYGW05},
  cites = {0},
  citedby = {0},
  booktitle = {caise},
}

@inproceedings{SpruitW91,
  title = {Some Finite-Graph Models for Process Algebra},
  author = {Paul Spruit and Roel Wieringa},
  year = {1991},
  tags = {process algebra, graph-rewriting,  algebra, rewriting, process modeling},
  researchr = {https://researchr.org/publication/SpruitW91},
  cites = {0},
  citedby = {0},
  pages = {495-509},
  booktitle = {concur},
}

@inproceedings{BroersenMW02,
  title = {The mutual exclusion problem in reasoning about action and change},
  author = {Jan Broersen and John-Jules Ch. Meyer and Roel Wieringa},
  year = {2002},
  researchr = {https://researchr.org/publication/BroersenMW02},
  cites = {0},
  citedby = {0},
  pages = {365-371},
  booktitle = {lpnmr},
}

@inproceedings{PokraevRSW05,
  title = {Semantic and Pragmatic Interoperability: A Model for Understanding},
  author = {Stanislav Pokraev and Manfred Reichert and Maarten W. A. Steen and Roel Wieringa},
  year = {2005},
  url = {http://www.ceur-ws.org/Vol-160/paper21.pdf},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/PokraevRSW05},
  cites = {0},
  citedby = {0},
  booktitle = {caise},
}

@inproceedings{ZarvicDW07,
  title = {Value-Based Requirements Engineering for Value Webs},
  author = {Novica Zarvic and Maya Daneva and Roel Wieringa},
  year = {2007},
  doi = {10.1007/978-3-540-73031-6_9},
  url = {http://dx.doi.org/10.1007/978-3-540-73031-6_9},
  tags = {rule-based, web engineering, requirements engineering},
  researchr = {https://researchr.org/publication/ZarvicDW07},
  cites = {0},
  citedby = {0},
  pages = {116-128},
  booktitle = {refsq},
}

@inproceedings{EckGW04,
  title = {Value-Based Design of Collaboration Processes for e-Commerce},
  author = {Pascal van Eck and Jaap Gordijn and Roel Wieringa},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/eee/2004/2073/00/20730349abs.htm},
  tags = {design science, rule-based, e-science, Pascal, design},
  researchr = {https://researchr.org/publication/EckGW04},
  cites = {0},
  citedby = {0},
  pages = {349-358},
  booktitle = {eee},
}

@inproceedings{FranqueiraCEW10,
  title = {External Insider Threat: A Real Security Challenge in Enterprise Value Webs},
  author = {Virginia N. L. Franqueira and André van Cleeff and Pascal van Eck and Roel Wieringa},
  year = {2010},
  doi = {10.1109/ARES.2010.40},
  url = {http://doi.ieeecomputersociety.org/10.1109/ARES.2010.40},
  tags = {security, Pascal},
  researchr = {https://researchr.org/publication/FranqueiraCEW10},
  cites = {0},
  citedby = {0},
  pages = {446-453},
  booktitle = {IEEEares},
}

@inproceedings{BodenstaffWWR08,
  title = {An Approach for Maintaining Models of an E-commerce Collaboration},
  author = {Lianne Bodenstaff and Andreas Wombacher and Roel Wieringa and Manfred Reichert},
  year = {2008},
  doi = {10.1109/CECandEEE.2008.92},
  url = {http://dx.doi.org/10.1109/CECandEEE.2008.92},
  tags = {e-science, systematic-approach},
  researchr = {https://researchr.org/publication/BodenstaffWWR08},
  cites = {0},
  citedby = {0},
  pages = {239-246},
  booktitle = {wecwis},
}

@inproceedings{BrinksmaHMSW06,
  title = {06351 Summary -- Methods for Modelling Software Systems (MMOSS)},
  author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/957},
  researchr = {https://researchr.org/publication/BrinksmaHMSW06},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@article{InsfranPW02,
  title = {Requirements Engineering-Based Conceptual Modelling},
  author = {Emilio Insfrán and Oscar Pastor and Roel Wieringa},
  year = {2002},
  url = {http://link.springer.de/link/service/journals/00766/bibs/2007002/20070061.htm},
  tags = {rule-based, meta-model, requirements engineering, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/InsfranPW02},
  cites = {0},
  citedby = {0},
  journal = {re},
  volume = {7},
  number = {2},
  pages = {61-72},
}

@inproceedings{ZlatevDW05,
  title = {Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition},
  author = {Zlatko Zlatev and Maya Daneva and Roel Wieringa},
  year = {2005},
  url = {http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER05/zlatko_zlatev.pdf},
  tags = {composition, requirements engineering},
  researchr = {https://researchr.org/publication/ZlatevDW05},
  cites = {0},
  citedby = {0},
  pages = {26-37},
  booktitle = {wer},
}

@inproceedings{EckYGW05-0,
  title = {Cross-Organizational Workflows: A Classification of Design Decisions},
  author = {Pascal van Eck and Rieko Yamamoto and Jaap Gordijn and Roel Wieringa},
  year = {2005},
  doi = {10.1007/0-387-29773-1_30},
  url = {http://dx.doi.org/10.1007/0-387-29773-1_30},
  tags = {classification, workflow, Pascal, design},
  researchr = {https://researchr.org/publication/EckYGW05-0},
  cites = {0},
  citedby = {0},
  pages = {449-463},
  booktitle = {i3e},
}

@inproceedings{GordijnW03,
  title = {A Value-Oriented Approach to E-business Process Design},
  author = {Jaap Gordijn and Roel Wieringa},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2681/26810390.htm},
  tags = {design science, e-science, design, systematic-approach},
  researchr = {https://researchr.org/publication/GordijnW03},
  cites = {0},
  citedby = {0},
  pages = {390-403},
  booktitle = {caise},
}

@inproceedings{BerryKW03,
  title = {Second International Workshop on From SofTware Requirements to Architectures (STRAW?03)},
  author = {Daniel M. Berry and Rick Kazman and Roel Wieringa},
  year = {2003},
  url = {http://computer.org/proceedings/icse/1877/18770797.pdf},
  tags = {software architecture, architecture},
  researchr = {https://researchr.org/publication/BerryKW03},
  cites = {0},
  citedby = {0},
  pages = {797-799},
  booktitle = {ICSE},
}

@inproceedings{RachevaDHW10,
  title = {A conceptual model and process for client-driven agile requirements prioritization},
  author = {Zornitza Racheva and Maya Daneva and Andrea Herrmann and Roel Wieringa},
  year = {2010},
  doi = {10.1109/RCIS.2010.5507388},
  url = {http://dx.doi.org/10.1109/RCIS.2010.5507388},
  tags = {process modeling},
  researchr = {https://researchr.org/publication/RachevaDHW10},
  cites = {0},
  citedby = {0},
  pages = {287-298},
  booktitle = {rcis},
}

@inproceedings{Wieringa09,
  title = {Design Science and Software Engineering},
  author = {Roel Wieringa},
  year = {2009},
  tags = {design science, software engineering, e-science, design},
  researchr = {https://researchr.org/publication/Wieringa09},
  cites = {0},
  citedby = {0},
  pages = {5},
  booktitle = {ICSOFT},
}

@inproceedings{Condori-FernandezDSWTP09,
  title = {A systematic mapping study on empirical evaluation of software requirements specifications techniques},
  author = {Nelly Condori-Fernández and Maya Daneva and Klaas Sikkel and Roel Wieringa and Óscar Dieste Tubío and Oscar Pastor},
  year = {2009},
  doi = {10.1145/1671248.1671317},
  url = {http://doi.acm.org/10.1145/1671248.1671317},
  tags = {empirical, systematic-approach},
  researchr = {https://researchr.org/publication/Condori-FernandezDSWTP09},
  cites = {0},
  citedby = {0},
  pages = {502-505},
  booktitle = {esem},
}

@inproceedings{EshuisW03,
  title = {Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets},
  author = {Rik Eshuis and Roel Wieringa},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=321},
  tags = {workflow},
  researchr = {https://researchr.org/publication/EshuisW03},
  cites = {0},
  citedby = {0},
  pages = {321-351},
  booktitle = {dfg},
}

@article{WieringaM93,
  title = {Actors, Actions, and Initiative in Normative System Specification},
  author = {Roel Wieringa and John-Jules Ch. Meyer},
  year = {1993},
  researchr = {https://researchr.org/publication/WieringaM93},
  cites = {0},
  citedby = {0},
  journal = {AMAI},
  volume = {7},
  number = {1-4},
  pages = {289-346},
}

@inproceedings{Wieringa90,
  title = {Equational Specification of Dynamic Objects},
  author = {Roel Wieringa},
  year = {1990},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Wieringa90},
  cites = {0},
  citedby = {0},
  pages = {415-438},
  booktitle = {ds},
}

@inproceedings{Wieringa00,
  title = {The Declarative Problem Frame: Designing Systems that Create and Use Norms},
  author = {Roel Wieringa},
  year = {2000},
  url = {http://portal.acm.org/citation.cfm?id=857171.857215},
  researchr = {https://researchr.org/publication/Wieringa00},
  cites = {0},
  citedby = {0},
  pages = {75-86},
  booktitle = {iwssd},
}

@inproceedings{FranqueiraEWL09,
  title = {A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation},
  author = {Virginia N. L. Franqueira and Pascal van Eck and Roel Wieringa and Raul H. C. Lopes},
  year = {2009},
  doi = {10.1109/ARES.2009.125},
  url = {http://dx.doi.org/10.1109/ARES.2009.125},
  tags = {rule-based, C++, Pascal, mobile, systematic-approach},
  researchr = {https://researchr.org/publication/FranqueiraEWL09},
  cites = {0},
  citedby = {0},
  pages = {546-553},
  booktitle = {IEEEares},
}

@inproceedings{WieringaPBG08,
  title = {Value-Driven Coordination Process Design Using Physical Delivery Models},
  author = {Roel Wieringa and Vincent Pijpers and Lianne Bodenstaff and Jaap Gordijn},
  year = {2008},
  doi = {10.1007/978-3-540-87877-3_17},
  url = {http://dx.doi.org/10.1007/978-3-540-87877-3_17},
  tags = {design, process modeling},
  researchr = {https://researchr.org/publication/WieringaPBG08},
  cites = {0},
  citedby = {0},
  pages = {216-231},
  booktitle = {er},
}

@article{WieringaMMR06,
  title = {Requirements engineering paper classification and evaluation criteria: a proposal and a discussion},
  author = {Roel Wieringa and Neil A. M. Maiden and Nancy R. Mead and Colette Rolland},
  year = {2006},
  doi = {10.1007/s00766-005-0021-6},
  url = {http://dx.doi.org/10.1007/s00766-005-0021-6},
  tags = {classification, requirements engineering},
  researchr = {https://researchr.org/publication/WieringaMMR06},
  cites = {0},
  citedby = {0},
  journal = {re},
  volume = {11},
  number = {1},
  pages = {102-107},
}

@inproceedings{BodenstaffWWR09,
  title = {Towards Management of Complex Service Compositions - Position Paper},
  author = {Lianne Bodenstaff and Roel Wieringa and Andreas Wombacher and Manfred Reichert},
  year = {2009},
  doi = {10.1109/SERVICES-2.2009.27},
  url = {http://doi.ieeecomputersociety.org/10.1109/SERVICES-2.2009.27},
  tags = {composition},
  researchr = {https://researchr.org/publication/BodenstaffWWR09},
  cites = {0},
  citedby = {0},
  pages = {160-167},
  booktitle = {services},
}

@inproceedings{WieringaG05,
  title = {Value-oriented design of service coordination processes: correctness and trust},
  author = {Roel Wieringa and Jaap Gordijn},
  year = {2005},
  doi = {10.1145/1066677.1066975},
  url = {http://doi.acm.org/10.1145/1066677.1066975},
  tags = {design},
  researchr = {https://researchr.org/publication/WieringaG05},
  cites = {0},
  citedby = {0},
  pages = {1320-1327},
  booktitle = {SAC},
}

@article{Wieringa05,
  title = {Requirements researchers: are we really doing research?},
  author = {Roel Wieringa},
  year = {2005},
  doi = {10.1007/s00766-005-0013-6},
  url = {http://dx.doi.org/10.1007/s00766-005-0013-6},
  researchr = {https://researchr.org/publication/Wieringa05},
  cites = {0},
  citedby = {0},
  journal = {re},
  volume = {10},
  number = {4},
  pages = {304-306},
}

@inproceedings{DanevaW05,
  title = {Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches},
  author = {Maya Daneva and Roel Wieringa},
  year = {2005},
  doi = {10.1109/RE.2005.59},
  url = {http://doi.ieeecomputersociety.org/10.1109/RE.2005.59},
  tags = {requirements engineering},
  researchr = {https://researchr.org/publication/DanevaW05},
  cites = {0},
  citedby = {0},
  pages = {63-74},
  booktitle = {RE},
}

@inproceedings{WieringaHR09,
  title = {How to Write and Read a Scientific Evaluation Paper},
  author = {Roel Wieringa and Hans Heerkens and Björn Regnell},
  year = {2009},
  doi = {10.1109/RE.2009.17},
  url = {http://doi.ieeecomputersociety.org/10.1109/RE.2009.17},
  researchr = {https://researchr.org/publication/WieringaHR09},
  cites = {0},
  citedby = {0},
  pages = {361-364},
  booktitle = {RE},
}

@inproceedings{EshuisW02,
  title = {Verification support for workflow design with UML activity graphs},
  author = {Rik Eshuis and Roel Wieringa},
  year = {2002},
  doi = {10.1145/581339.581362},
  url = {http://doi.acm.org/10.1145/581339.581362},
  tags = {UML, graph-rewriting, workflow, rewriting, design},
  researchr = {https://researchr.org/publication/EshuisW02},
  cites = {0},
  citedby = {0},
  pages = {166-176},
  booktitle = {ICSE},
}

@article{dAltanMW96,
  title = {An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints},
  author = {P. d Altan and John-Jules Ch. Meyer and Roel Wieringa},
  year = {1996},
  tags = {constraints},
  researchr = {https://researchr.org/publication/dAltanMW96},
  cites = {0},
  citedby = {0},
  journal = {ail},
  volume = {4},
  number = {2},
  pages = {77-111},
}

@article{GlinzW07,
  title = {Guest Editors  Introduction: Stakeholders in Requirements Engineering},
  author = {Martin Glinz and Roel Wieringa},
  year = {2007},
  doi = {10.1109/MS.2007.42},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2007.42},
  tags = {requirements engineering},
  researchr = {https://researchr.org/publication/GlinzW07},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {24},
  number = {2},
  pages = {18-20},
}

@article{EshuisJW02,
  title = {Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts},
  author = {Rik Eshuis and David N. Jansen and Roel Wieringa},
  year = {2002},
  doi = {10.1007/s007660200019},
  url = {http://dx.doi.org/10.1007/s007660200019},
  tags = {semantics, model checking, meta-model, object-role modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/EshuisJW02},
  cites = {0},
  citedby = {0},
  journal = {re},
  volume = {7},
  number = {4},
  pages = {243-263},
}

@inproceedings{GordijnKSWA04,
  title = {Developing a Domain-Specific Cross-Organizational RE Method},
  author = {Jaap Gordijn and Vera Kartseva and Joost Schildwacht and Roel Wieringa and Hans Akkermans},
  year = {2004},
  doi = {10.1109/RE.2004.17},
  url = {http://doi.ieeecomputersociety.org/10.1109/RE.2004.17},
  researchr = {https://researchr.org/publication/GordijnKSWA04},
  cites = {0},
  citedby = {0},
  pages = {134-143},
  booktitle = {RE},
}

@inproceedings{EckW01,
  title = {An Investigation into Agency Requirements in E-Business Information Systems},
  author = {Pascal van Eck and Roel Wieringa},
  year = {2001},
  tags = {e-science, Pascal},
  researchr = {https://researchr.org/publication/EckW01},
  cites = {0},
  citedby = {0},
  pages = {1081-1085},
  booktitle = {ICEIS},
}

@article{JansenW02,
  title = {Extending CTL with Actions and Real Time},
  author = {David N. Jansen and Roel Wieringa},
  year = {2002},
  url = {http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_04/120607.sgm.abs.html},
  researchr = {https://researchr.org/publication/JansenW02},
  cites = {0},
  citedby = {0},
  journal = {logcom},
  volume = {12},
  number = {4},
  pages = {607-621},
}

@inproceedings{FatemiSW10,
  title = {Value-Oriented Coordination Process Modeling},
  author = {Hassan Fatemi and Marten van Sinderen and Roel Wieringa},
  year = {2010},
  doi = {10.1007/978-3-642-15618-2_13},
  url = {http://dx.doi.org/10.1007/978-3-642-15618-2_13},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/FatemiSW10},
  cites = {0},
  citedby = {0},
  pages = {162-177},
  booktitle = {BPM},
}

@inproceedings{BroersenFW96,
  title = {Minimal Semantics for Action Specifications in a Multi-modal Logic},
  author = {Jan Broersen and Remco Feenstra and Roel Wieringa},
  year = {1996},
  url = {http://wwwiti.cs.uni-magdeburg.de/iti_db/IDB96-Proceedings/Broersen.ps.gz},
  tags = {semantics, modal logic,  action semantics, logic},
  researchr = {https://researchr.org/publication/BroersenFW96},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {fmldo},
}

@inproceedings{GordijnKW08,
  title = {Value-driven Service Matching},
  author = {Jaap Gordijn and Sybren de Kinderen and Roel Wieringa},
  year = {2008},
  doi = {10.1109/RE.2008.10},
  url = {http://dx.doi.org/10.1109/RE.2008.10},
  researchr = {https://researchr.org/publication/GordijnKW08},
  cites = {0},
  citedby = {0},
  pages = {67-70},
  booktitle = {RE},
}

@article{Wieringa91,
  title = {Steps towards a method for the formal modeling of dynamic objects},
  author = {Roel Wieringa},
  year = {1991},
  tags = {meta-model, modeling, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Wieringa91},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {6},
  pages = {509-540},
}

@inproceedings{SpruitMW91,
  title = {Discussion Issues for a Working Group on Update Semantics of Logic Databases},
  author = {Paul Spruit and John-Jules Ch. Meyer and Roel Wieringa},
  year = {1991},
  tags = {semantics, logic},
  researchr = {https://researchr.org/publication/SpruitMW91},
  cites = {0},
  citedby = {0},
  pages = {209-210},
  booktitle = {fmldo},
}

@inproceedings{BroersenWM00,
  title = {A Semantics for Persistency in Propositional Dynamic Logic},
  author = {Jan Broersen and Roel Wieringa and John-Jules Ch. Meyer},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1861/18610912.htm},
  tags = {semantics, persistent, logic},
  researchr = {https://researchr.org/publication/BroersenWM00},
  cites = {0},
  citedby = {0},
  pages = {912-925},
  booktitle = {cl},
}

@inproceedings{HordijkW05,
  title = {Surveying the factors that influence maintainability: research design},
  author = {Wiebe Hordijk and Roel Wieringa},
  year = {2005},
  doi = {10.1145/1081706.1081769},
  url = {http://doi.acm.org/10.1145/1081706.1081769},
  tags = {design research, survey, design},
  researchr = {https://researchr.org/publication/HordijkW05},
  cites = {0},
  citedby = {0},
  pages = {385-388},
  booktitle = {ESEC/FSE},
}

@inproceedings{WombacherWJKP05,
  title = {Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions},
  author = {Andreas Wombacher and Roel Wieringa and Willem Jonker and Predrag Knezevic and Stanislav Pokraev},
  year = {2005},
  doi = {10.1007/11575863_72},
  url = {http://dx.doi.org/10.1007/11575863_72},
  tags = {workflow},
  researchr = {https://researchr.org/publication/WombacherWJKP05},
  cites = {0},
  citedby = {0},
  pages = {526-536},
  booktitle = {otm},
}

@inproceedings{HartelEEW04,
  title = {Modelling Mobility Aspects of Security Policies},
  author = {Pieter H. Hartel and Pascal van Eck and Sandro Etalle and Roel Wieringa},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3362&spage=172},
  tags = {security, Pascal},
  researchr = {https://researchr.org/publication/HartelEEW04},
  cites = {0},
  citedby = {0},
  pages = {172-191},
  booktitle = {cassis},
}

@misc{Wieringa:2008,
  title = {Requirements Engineering Research Methodology: Principles and practice},
  author = {Roel Wieringa},
  year = {2008},
  month = {September},
  url = {http://wwwhome.cs.utwente.nl/~roelw/DesignScienceMethodology-handout.pdf},
  note = {handout of a tutorial about design science methodology at the IEEE Requirements Engineering Conference at 8th September 2008.},
  tags = {principles, requirements engineering},
  researchr = {https://researchr.org/publication/Wieringa%3A2008},
  cites = {0},
  citedby = {0},
  howpublished = {http://wwwhome.cs.utwente.nl/~roelw/DesignScienceMethodology-handout.pdf},
}

@inproceedings{DanevaW06,
  title = {A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP},
  author = {Maya Daneva and Roel Wieringa},
  year = {2006},
  doi = {10.1109/RE.2006.6},
  url = {http://doi.ieeecomputersociety.org/10.1109/RE.2006.6},
  tags = {meta-model, requirements engineering, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/DanevaW06},
  cites = {0},
  citedby = {0},
  pages = {304-307},
  booktitle = {RE},
}

@article{WieringaJ95,
  title = {Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited},
  author = {Roel Wieringa and Wiebren de Jonge},
  year = {1995},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/WieringaJ95},
  cites = {0},
  citedby = {0},
  journal = {tapos},
  volume = {1},
  number = {2},
  pages = {101-114},
}

@inproceedings{WieringaM91,
  title = {Actor-Oriented Specification of Deontic Integrity Constraints},
  author = {Roel Wieringa and John-Jules Ch. Meyer},
  year = {1991},
  tags = {constraints},
  researchr = {https://researchr.org/publication/WieringaM91},
  cites = {0},
  citedby = {0},
  pages = {89-103},
  booktitle = {mfdbs},
}

@inproceedings{WieringaARGHBB99,
  title = {Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?},
  author = {Roel Wieringa and Egidio Astesiano and Gianna Reggio and Alain Le Guennec and Heinrich Hußmann and Klaas van den Berg and Pim van den Broek},
  year = {1999},
  tags = {semantics, UML},
  researchr = {https://researchr.org/publication/WieringaARGHBB99},
  cites = {0},
  citedby = {0},
  pages = {49-55},
  booktitle = {ECOOPW},
}

@article{AtleeW06,
  title = {RE 05: Engineering Successful Products},
  author = {Joanne M. Atlee and Roel Wieringa},
  year = {2006},
  doi = {10.1109/MS.2006.79},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2006.79},
  researchr = {https://researchr.org/publication/AtleeW06},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {23},
  number = {3},
  pages = {16-18},
}

@inproceedings{ZarvicWE08,
  title = {Checking the alignment of value-based business models and IT functionality},
  author = {Novica Zarvic and Roel Wieringa and Pascal van Eck},
  year = {2008},
  doi = {10.1145/1363686.1363834},
  url = {http://doi.acm.org/10.1145/1363686.1363834},
  tags = {rule-based, model checking, meta-model, Meta-Environment, Pascal},
  researchr = {https://researchr.org/publication/ZarvicWE08},
  cites = {0},
  citedby = {0},
  pages = {607-613},
  booktitle = {SAC},
}

@article{BroersenWM01,
  title = {A Fixed-point Characterization of a Deontic Logic of Regular Action},
  author = {Jan Broersen and Roel Wieringa and John-Jules Ch. Meyer},
  year = {2001},
  tags = {logic},
  researchr = {https://researchr.org/publication/BroersenWM01},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {48},
  number = {2-3},
  pages = {107-128},
}

@article{EshuisW04,
  title = {Tool Support for Verifying UML Activity Diagrams},
  author = {Rik Eshuis and Roel Wieringa},
  year = {2004},
  doi = {10.1109/TSE.2004.33},
  url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2004.33},
  tags = {UML},
  researchr = {https://researchr.org/publication/EshuisW04},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {30},
  number = {7},
  pages = {437-447},
}

@inproceedings{MarincicMW08,
  title = {Classifying Assumptions Made during Requirements Verification of Embedded Systems},
  author = {Jelena Marincic and Angelika Mader and Roel Wieringa},
  year = {2008},
  doi = {10.1007/978-3-540-69062-7_14},
  url = {http://dx.doi.org/10.1007/978-3-540-69062-7_14},
  researchr = {https://researchr.org/publication/MarincicMW08},
  cites = {0},
  citedby = {0},
  pages = {141-146},
  booktitle = {refsq},
}

@article{DignumMW96,
  title = {Free Choice and Contextually Permitted Actions},
  author = {Frank Dignum and John-Jules Ch. Meyer and Roel Wieringa},
  year = {1996},
  researchr = {https://researchr.org/publication/DignumMW96},
  cites = {0},
  citedby = {0},
  journal = {sLogica},
  volume = {57},
  number = {1},
  pages = {193-220},
}

@article{Wieringa04-0,
  title = {Introduction to the RE 03 Special Issue},
  author = {Roel Wieringa},
  year = {2004},
  doi = {10.1007/s00766-004-0187-3},
  url = {http://dx.doi.org/10.1007/s00766-004-0187-3},
  researchr = {https://researchr.org/publication/Wieringa04-0},
  cites = {0},
  citedby = {0},
  journal = {re},
  volume = {9},
  number = {2},
  pages = {83-84},
}

@inproceedings{ZarvicW06,
  title = {An Integrated Enterprise Architecture Framework for Business-IT Alignment},
  author = {Novica Zarvic and Roel Wieringa},
  year = {2006},
  url = {http://ceur-ws.org/Vol-237/paper8.pdf},
  tags = {architecture},
  researchr = {https://researchr.org/publication/ZarvicW06},
  cites = {0},
  citedby = {0},
  booktitle = {caise},
}

@inproceedings{GordijnPW06,
  title = {Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling},
  author = {Jaap Gordijn and Michaël Petit and Roel Wieringa},
  year = {2006},
  doi = {10.1109/RE.2006.69},
  url = {http://doi.ieeecomputersociety.org/10.1109/RE.2006.69},
  tags = {modeling},
  researchr = {https://researchr.org/publication/GordijnPW06},
  cites = {0},
  citedby = {0},
  pages = {126-135},
  booktitle = {RE},
}

@inproceedings{BrinksmaHMSW06a,
  title = {06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)},
  author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/958},
  researchr = {https://researchr.org/publication/BrinksmaHMSW06a},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{JungclausWHSH94,
  title = {Combining TROLL with the Object Modeling Technique},
  author = {Ralf Jungclaus and Roel Wieringa and Peter Hartel and Gunter Saake and Thorsten Hartmann},
  year = {1994},
  tags = {meta-model, modeling, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/JungclausWHSH94},
  cites = {0},
  citedby = {0},
  pages = {35-42},
  booktitle = {gi},
}

@inproceedings{EshuisW01:0,
  title = {An Execution Algorithm for UML Activity Graphs},
  author = {Rik Eshuis and Roel Wieringa},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2185/21850047.htm},
  tags = {UML, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/EshuisW01%3A0},
  cites = {0},
  citedby = {0},
  pages = {47-61},
  booktitle = {uml},
}

@inproceedings{DignumMWK96,
  title = {A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation},
  author = {Frank Dignum and John-Jules Ch. Meyer and Roel Wieringa and Ruurd Kuiper},
  year = {1996},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/DignumMWK96},
  cites = {0},
  citedby = {0},
  pages = {80-97},
  booktitle = {deon},
}

@techreport{Wieringa:2007,
  title = {Writing a Report About Design Research},
  author = {Roel Wieringa},
  year = {2007},
  month = {February},
  url = {http://wwwhome.cs.utwente.nl/~roelw/ReportingAboutDesignResearch.pdf},
  note = {document intended for Master's students and PhD students in software engineering, requirements engineering, and information systems engineering, to help them structure their thesis},
  tags = {design research, analysis, writing, research, design},
  researchr = {https://researchr.org/publication/Wieringa%3A2007},
  cites = {0},
  citedby = {0},
  institution = {University of Twente, the Netherlands},
}

@inproceedings{HordijkW10,
  title = {Rationality of Cross-System Data Duplication: A Case Study},
  author = {Wiebe Hordijk and Roel Wieringa},
  year = {2010},
  doi = {10.1007/978-3-642-13094-6_7},
  url = {http://dx.doi.org/10.1007/978-3-642-13094-6_7},
  tags = {case study, data-flow},
  researchr = {https://researchr.org/publication/HordijkW10},
  cites = {0},
  citedby = {0},
  pages = {68-82},
  booktitle = {caise},
}

@article{WieringaMW89,
  title = {Specifying Dynamic and Deontic Integrity Constraints},
  author = {Roel Wieringa and John-Jules Ch. Meyer and Hans Weigand},
  year = {1989},
  tags = {constraints},
  researchr = {https://researchr.org/publication/WieringaMW89},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {4},
  pages = {157-189},
}
@proceedings{caise:2009,
  title = {Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings},
  year = {2009},
  doi = {10.1007/978-3-642-02144-2},
  url = {http://dx.doi.org/10.1007/978-3-642-02144-2},
  researchr = {https://researchr.org/publication/caise%3A2009},
  cites = {0},
  citedby = {0},
  booktitle = {Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings},
  conference = {caise},
  editor = {Pascal van Eck and Jaap Gordijn and Roel Wieringa},
  volume = {5565},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02143-5},
}

@proceedings{refsq-2010,
  title = {Requirements Engineering: Foundation for Software Quality, 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30 - July 2, 2010. Proceedings},
  year = {2010},
  doi = {10.1007/978-3-642-14192-8},
  url = {http://dx.doi.org/10.1007/978-3-642-14192-8},
  tags = {requirements engineering, software engineering},
  researchr = {https://researchr.org/publication/refsq-2010},
  cites = {0},
  citedby = {0},
  booktitle = {Requirements Engineering: Foundation for Software Quality, 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30 - July 2, 2010. Proceedings},
  conference = {refsq},
  editor = {Roel Wieringa and Anne Persson},
  volume = {6182},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14191-1},
}

@proceedings{dagstuhl:2006P6351,
  title = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  year = {2007},
  researchr = {https://researchr.org/publication/dagstuhl%3A2006P6351},
  cites = {0},
  citedby = {0},
  booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  conference = {Dagstuhl},
  editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  volume = {06351},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}