@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 = {Journal of Logic and Computation},
  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 = {Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings},
  editor = {Paolo Atzeni and Wesley W. Chu and Hongjun Lu and Shuigeng Zhou and Tok Wang Ling},
  volume = {3288},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23723-2},
}

@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 = {Fundamental Approaches to Software Engineering, FASE 2001 },
  editor = {Heinrich Hußmann},
  volume = {2029},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41863-6},
}

@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 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989},
  editor = {János Demetrovics and Bernhard Thalheim},
  volume = {364},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51251-9},
}

@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 = {Inf. Syst.},
  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 = {Theoretical Computer Science},
  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 = {Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008, Proceedings},
  editor = {Roland Kaschek and Christian Kop and Claudia Steinberger and Günther Fliedl},
  volume = {5},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-540-78941-3},
}

@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 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume SAIC, Milan, Italy, May 6-10, 2009},
  editor = {José Cordeiro and Joaquim Filipe},
  isbn = {978-989-8111-87-6},
}

@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 = {Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008},
  editor = {Roger L. Wainwright and Hisham Haddad},
  publisher = {ACM},
  isbn = {978-1-59593-753-7},
}

@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 = {Int. J. Cooperative Inf. Syst.},
  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 = {Service Oriented Computing and Applications},
  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 = {Fundamenta Informaticae},
  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 = {Pervasive Collaborative Networks, IFIP TC 5 WG 5.5 Ninth Working Conference on Virtual Enterprises, September 8-10, 2008, Poznan, Poland},
  editor = {Luis M. Camarinha-Matos and Willy Picard},
  volume = {283},
  series = {IFIP},
  publisher = {Springer},
  isbn = {978-0-387-84836-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 = {Modelling Database Dynamics, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse (near Braunschweig), Germany, 19-23 October 1992},
  editor = {Udo W. Lipeck and Bernhard Thalheim},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19803-2},
}

@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 = {Formal Development of Reactive Systems - Case Study Production Cell},
  editor = {Claus Lewerentz and Thomas Lindner},
  volume = {891},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58867-1},
}

@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 = {Information Systems Frontiers},
  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 = {Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings},
  editor = {Nora Koch and Piero Fraternali and Martin Wirsing},
  volume = {3140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22511-0},
}

@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 = {Requir. Eng.},
  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 04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, Riga, Latvia, 7-11 June, 2004, Knowledge and Model Driven Information Systems Engineering for Networked Organisations, Proceedings, Vol. 3},
  editor = {Janis Grundspenkis and Marite Kirikova},
  publisher = {Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia},
  isbn = {9984-9767-3-4},
}

@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 = {Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009},
  editor = {Sung Y. Shin and Sascha Ossowski},
  publisher = {ACM},
  isbn = {978-1-60558-166-8},
}

@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 = {Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA},
  editor = {Scott F. Smith and Carolyn L. Talcott},
  volume = {177},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-7923-3},
}

@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 = {Requir. Eng.},
  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 = {Annals of Mathematics and Artificial Intelligence},
  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 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt},
  editor = {Samson Abramsky and T. S. E. Maibaum},
  volume = {494},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53981-6},
}

@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 = {Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings},
  editor = {Klaus R. Dittrich and Andreas Geppert and Moira C. Norrie},
  volume = {2068},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42215-3},
}

@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 = {Int. J. Cooperative Inf. Syst.},
  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 = {Proceedings IEEE CSE 09, 12th IEEE International Conference on Computational Science and Engineering, August 29-31, 2009, Vancouver, BC, Canada},
  publisher = {IEEE Computer Society},
}

@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-3},
}

@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 = {Requirements Targeting Software and Systems Engineering, International Workshop RTSE  97, Bernried, Germany, October 12-14, 1997, Proceedings},
  editor = {Manfred Broy and Bernhard Rumpe},
  volume = {1526},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65309-0},
}

@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 = {Anais do WER07 - Workshop em Engenharia de Requisitos, Toronto, Canada, May 17-18, 2007},
  editor = {Carina Alves and Vera Werneck and Luiz Marcio Cysneiros},
  isbn = {978-1-55014-483-3},
}

@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 = {3rd IEEE International Symposium on Requirements Engineering (RE 97), January 5-8, 1997, Annapolis, MD, USA},
  publisher = {IEEE Computer Society},
}

@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 = {Advanced Information Systems Engineering, 9th International Conference CAiSE 97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings},
  editor = {Antoni Olivé and Joan Antoni Pastor},
  volume = {1250},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63107-0},
}

@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 = {28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006},
  editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
  publisher = {ACM},
  isbn = {1-59593-375-1},
}

@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 = {ACM SIGSOFT Software Engineering Notes},
  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 = {16th IEEE International Requirements Engineering Conference, RE 2008, 8-12 September 2008, Barcelona, Catalunya, Spain},
  publisher = {IEEE Computer Society},
}

@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 = {13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2425-7},
}

@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 = {Requir. Eng.},
  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 = {Comput. J.},
  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 = {ACM SIGSOFT Software Engineering Notes},
  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 = {Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers},
  editor = {Stefanie Rinderle-Ma and Shazia Wasim Sadiq and Frank Leymann},
  volume = {43},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-642-12185-2},
}

@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 Computing Surveys},
  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 = {Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  editor = {Paolo Ciancarini and Alessandro Fantechi and Roberto Gorrieri},
  volume = {139},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-8429-6},
}

@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 = {Software Quality Journal},
  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 = {Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP  94, Bologna, Italy, July 4-8, 1994},
  editor = {Mario Tokoro and Remo Pareschi},
  volume = {821},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58202-9},
}

@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 = {Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings},
  editor = {Johann Eder and Michele Missikoff},
  volume = {2681},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40442-2},
}

@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 = {The 17th Conference on Advanced Information Systems Engineering  (CAiSE  05), Porto, Portugal, 13-17 June, 2005, CAiSE Forum, Short Paper Proceedings},
  editor = {Orlando Belo and Johann Eder and João Falcão e Cunha and Oscar Pastor},
  volume = {161},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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  91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  editor = {Jos C. M. Baeten and Jan Friso Groote},
  volume = {527},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54430-5},
}

@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 = {9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings},
  editor = {Salem Benferhat and Enrico Giunchiglia},
}

@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 = {EMOI - INTEROP 05, Enterprise Modelling and Ontologies for Interoperability, Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability, Co-located with CAiSE 05 Conference, Porto (Portugal), 13th-14th June 2005},
  editor = {Michele Missikoff and Antonio De Nicola},
  volume = {160},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings},
  editor = {Peter Sawyer and Barbara Paech and Patrick Heymans},
  volume = {4542},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73030-9},
}

@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 = {2004 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 04), 29-31 March 2004, Taipei, Taiwan},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2073-1},
}

@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 = {ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3965-2},
}

@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 = {10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2008), July 21-14, 2008, Washington, DC, USA},
  publisher = {IEEE},
}

@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 = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  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},
}

@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 = {Requir. Eng.},
  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 = {Anais do WER05 - Workshop em Engenharia de Requisitos, Porto, Portugal, Junho 13-14, 2005},
  editor = {João Araújo and Amador Durán Toro and João Falcão e Cunha},
  isbn = {972-752-079-0},
}

@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 = {Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government, 5th IFIP Conference e-Commerce, e-Business, and e-Government (I3E 2OO5), October 28-30, 2005, Poznan, Poland},
  editor = {Matohisa Funabashi and Adam Grzech},
  volume = {189},
  series = {IFIP},
  publisher = {Springer},
  isbn = {978-0-387-28753-9},
}

@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 = {Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings},
  editor = {Johann Eder and Michele Missikoff},
  volume = {2681},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40442-2},
}

@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 = {Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA},
  publisher = {IEEE Computer Society},
}

@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 = {Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, RCIS 2010, Nice, France, May 19-21, 2010},
  editor = {Pericles Loucopoulos and Jean-Louis Cavarero},
  publisher = {IEEE},
}

@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 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009},
  editor = {Boris Shishkov and José Cordeiro and Alpesh Ranchordas},
  publisher = {INSTICC Press},
  isbn = {978-989-674-009-2},
}

@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 = {Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, ESEM 2009, October 15-16, 2009, Lake Buena Vista, Florida, USA},
  isbn = {978-1-4244-4842-5},
}

@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 = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets},
  editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber},
  volume = {2472},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20538-1},
}

@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 = {Annals of Mathematics and Artificial Intelligence},
  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-4},
}

@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 = {Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0884-7},
}

@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 = {Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan},
  publisher = {IEEE Computer Society},
}

@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 = {Conceptual Modeling - ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings},
  editor = {Qing Li and Stefano Spaccapietra and Eric S. K. Yu and Antoni Olivé},
  volume = {5231},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87876-6},
}

@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 = {Requir. Eng.},
  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 II},
}

@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 = {Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005},
  editor = {Hisham Haddad and Lorie M. Liebrock and Andrea Omicini and Roger L. Wainwright},
  publisher = {ACM},
  isbn = {1-58113-964-0},
}

@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 = {Requir. Eng.},
  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 = {13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2425-7},
}

@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 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3761-0},
}

@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 = {Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA},
  publisher = {ACM},
}

@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 = {Artif. Intell. Law},
  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 = {Requir. Eng.},
  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 = {12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2174-6},
}

@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 (2)},
}

@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 = {Journal of Logic and Computation},
  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 = {Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings},
  editor = {Richard Hull and Jan Mendling and Stefan Tai},
  volume = {6336},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15617-5},
}

@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 = {16th IEEE International Requirements Engineering Conference, RE 2008, 8-12 September 2008, Barcelona, Catalunya, Spain},
  publisher = {IEEE Computer Society},
}

@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 = {Data \& Knowledge Engineering},
  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 = {Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings},
  editor = {John W. Lloyd and Verónica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Luís Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey},
  volume = {1861},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67797-6},
}

@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 = {Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  editor = {Michel Wermelinger and Harald Gall},
  publisher = {ACM},
  isbn = {1-59593-014-0},
}

@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 = {On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceed},
  editor = {Robert Meersman and Zahir Tari and Pilar Herrero and Gonzalo Méndez and Lawrence Cavedon and David Martin and Annika Hinze and George Buchanan and María S. Pérez and Víctor Robles and Jan Humble and Antonia Albani and Jan L. G. Dietz and Hervé Panetto and Monica Scannapieco and Terry A. Halpin and Peter Spyns and Johannes Maria Zaha and Esteban Zimányi and Emmanuel Stefanakis and Tharam S. Dillon and Ling Feng and Mustafa Jarrar and Jos Lehmann and Aldo de Moor and Erik Duval and Lora Aroyo},
  volume = {3762},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29739-1},
}

@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 = {Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers},
  editor = {Gilles Barthe and Lilian Burdy and Marieke Huisman and Jean-Louis Lanet and Traian Muntean},
  volume = {3362},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24287-2},
}

@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 = {14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2555-5},
}

@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 91, 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991, Proceedings},
  editor = {Bernhard Thalheim and János Demetrovics and Hans-Detlef Gerhardt},
  volume = {495},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54009-1},
}

@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 = {Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  editor = {Ana M. D. Moreira and Serge Demeyer},
  volume = {1743},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66954-X},
}

@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 = {Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008},
  editor = {Roger L. Wainwright and Hisham Haddad},
  publisher = {ACM},
  isbn = {978-1-59593-753-7},
}

@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 = {Fundamenta Informaticae},
  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 = {IEEE Trans. Software Eng.},
  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 = {Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008, Montpellier, France, June 16-17, 2008, Proceedings},
  editor = {Barbara Paech and Colette Rolland},
  volume = {5025},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69060-3},
}

@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 = {Studia Logica},
  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 = {Requir. Eng.},
  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 = {Proceedings of the CAISE*06 Workshop on Business/IT Alignment and Interoperability BUSITAL  06, Luxemburg, June 5-9, 2006},
  editor = {Yves Pigneur and Carson Woo},
  volume = {237},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2555-5},
}

@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 = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  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},
}

@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 Jahrestagung},
}

@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» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings},
  editor = {Martin Gogolla and Cris Kobryn},
  volume = {2185},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42667-1},
}

@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 = {Deontic Logic, Agency and Normative Systems, DEON  96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996},
  editor = {Mark A. Brown and José Carmo},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-76015-6},
}

@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 = {Advanced Information Systems Engineering, 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings},
  editor = {Barbara Pernici},
  volume = {6051},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13093-9},
}

@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 = {Data \& Knowledge Engineering},
  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},
}