Roel Wieringa Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

104EEPascal van Eck, Jaap Gordijn, Roel Wieringa: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings Springer 2009
103 Lianne Bodenstaff, Andreas Wombacher, Roel Wieringa, Michael C. Jaeger, Manfred Reichert: Monitoring Service Compositions in MoDe4SLA - Design of Validation. ICEIS (4) 2009: 114-121
102 Roel Wieringa: Design Science and Software Engineering. ICSOFT (1) 2009: 5
101EESilja Eckartz, Maya Daneva, Roel Wieringa, Jos van Hillegersberg: Cross-organizational ERP management: how to create a successful business case? SAC 2009: 1599-1604
100EEValeria de Castro, Esperanza Marcos, Roel Wieringa: 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. Int. J. Cooperative Inf. Syst. 18(2): 225-260 (2009)
99EELianne Bodenstaff, Andreas Wombacher, Roel Wieringa, Manfred Reichert: An Approach for Maintaining Models of an E-commerce Collaboration. CEC/EEE 2008: 239-246
98EERoel Wieringa, Vincent Pijpers, Lianne Bodenstaff, Jaap Gordijn: Value-Driven Coordination Process Design Using Physical Delivery Models. ER 2008: 216-231
97EERoel Wieringa, J. M. G. Heerkens: Design Science, Engineering Science and Requirements Engineering. RE 2008: 310-313
96EEJaap Gordijn, Sybren de Kinderen, Roel Wieringa: Value-driven Service Matching. RE 2008: 67-70
95EEJelena Marincic, Angelika Mader, Roel Wieringa: Classifying Assumptions Made during Requirements Verification of Embedded Systems. REFSQ 2008: 141-146
94EEJaap Gordijn, Hans Weigand, Manfred Reichert, Roel Wieringa: Towards self-configuration and management of e-service provisioning in dynamic value constellations. SAC 2008: 566-571
93EENovica Zarvic, Roel Wieringa, Pascal van Eck: Checking the alignment of value-based business models and IT functionality. SAC 2008: 607-613
92EERoel Wieringa: Operational Business-IT Alignment in Value Webs. UNISCON 2008: 371-378
91EENovica Zarvic, Roel Wieringa, Pascal van Eck: On Quality Issues in Networked Value Constellations. Virtual Enterprises and Collaborative Networks 2008: 425-432
90EEMaya Daneva, Roel Wieringa: Cost estimation for cross-organizational ERP projects: research perspectives. Software Quality Journal 16(3): 459-481 (2008)
89 Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
88EENovica Zarvic, Maya Daneva, Roel Wieringa: Value-Based Requirements Engineering for Value Webs. REFSQ 2007: 116-128
87EEMaya Daneva, Mohamad Kassab, María Laura Ponisio, Roel Wieringa, Olga Ormandjieva: Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements. WER 2007: 190-196
86EEMartin Glinz, Roel Wieringa: Guest Editors' Introduction: Stakeholders in Requirements Engineering. IEEE Software 24(2): 18-20 (2007)
85EENovica Zarvic, Roel Wieringa: An Integrated Enterprise Architecture Framework for Business-IT Alignment. BUSITAL 2006
84EEWarren Harrison, Roel Wieringa: Workshop on technology transfer in software engineering. ICSE 2006: 1024-1025
83EEEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
82EEEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
81EEJaap Gordijn, Michaël Petit, Roel Wieringa: Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling. RE 2006: 126-135
80EEMaya Daneva, Roel Wieringa: A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP. RE 2006: 304-307
79EEJoanne M. Atlee, Roel Wieringa: RE 05: Engineering Successful Products. IEEE Software 23(3): 16-18 (2006)
78EEHenk Jonkers, Marc M. Lankhorst, Hugo W. L. ter Doest, Farhad Arbab, Hans Bosma, Roel Wieringa: Enterprise architecture: Management tool and blueprint for the organisation. Information Systems Frontiers 8(2): 63-66 (2006)
77EERoel Wieringa, Neil A. M. Maiden, Nancy R. Mead, Colette Rolland: Requirements engineering paper classification and evaluation criteria: a proposal and a discussion. Requir. Eng. 11(1): 102-107 (2006)
76EEMaya Daneva, Roel Wieringa: A requirements engineering framework for cross-organizational ERP systems. Requir. Eng. 11(3): 194-204 (2006)
75EERoel Wieringa, J. M. G. Heerkens: The methodological soundness of requirements engineering papers: a conceptual framework and two case studies. Requir. Eng. 11(4): 295-307 (2006)
74EEPascal van Eck, Rieko Yamamoto, Jaap Gordijn, Roel Wieringa: Cross-Organizational Workflows: A Classification of Design Decisions. CAiSE Short Paper Proceedings 2005
73EEStanislav Pokraev, Manfred Reichert, Maarten W. A. Steen, Roel Wieringa: Semantic and Pragmatic Interoperability: A Model for Understanding. EMOI-INTEROP 2005
72EEWiebe Hordijk, Roel Wieringa: Surveying the factors that influence maintainability: research design. ESEC/SIGSOFT FSE 2005: 385-388
71EEAndreas Wombacher, Roel Wieringa, Willem Jonker, Predrag Knezevic, Stanislav Pokraev: Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions. OTM Workshops 2005: 526-536
70EEAna Ivanovic, Aga Matysiak, Klaas Sikkel, Roel Wieringa: Eliciting User Requirements for Ambient Intelligent Systems: A Case Study. RE 2005: 477-478
69EEMaya Daneva, Roel Wieringa: Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches. RE 2005: 63-74
68EERoel Wieringa, Jaap Gordijn: Value-oriented design of service coordination processes: correctness and trust. SAC 2005: 1320-1327
67EEZlatko Zlatev, Maya Daneva, Roel Wieringa: Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition. WER 2005: 26-37
66EERoel Wieringa: Requirements researchers: are we really doing research?. Requir. Eng. 10(4): 304-306 (2005)
65EEPieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa: Modelling Mobility Aspects of Security Policies. CASSIS 2004: 172-191
64 Stanislav Pokraev, Roel Wieringa, Maarten W. A. Steen: Towards Semantic Service Specification and Discovery. CAiSE Workshops (3) 2004: 363-367
63EEPascal van Eck, Jaap Gordijn, Roel Wieringa: Value-Based Design of Collaboration Processes for e-Commerce. EEE 2004: 349-358
62EEPascal van Eck, Roel Wieringa, Jaap Gordijn: Risk-Driven Conceptual Modeling of Outsourcing Decisions. ER 2004: 709-723
61EERoel Wieringa: Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract). ICWE 2004: 13-16
60EEJaap Gordijn, Vera Kartseva, Joost Schildwacht, Roel Wieringa, Hans Akkermans: Developing a Domain-Specific Cross-Organizational RE Method. RE 2004: 134-143
59EEDaniel M. Berry, Rick Kazman, Roel Wieringa: Second International Workshop on From SofTware Requirements to Architectures (STRAW'03). ACM SIGSOFT Software Engineering Notes 29(3): 1-5 (2004)
58EERoel Wieringa, Christof Ebert: Guest Editors' Introduction: RE'03--Practical Requirements Engineering Solutions. IEEE Software 21(2): 16-18 (2004)
57EERik Eshuis, Roel Wieringa: Tool Support for Verifying UML Activity Diagrams. IEEE Trans. Software Eng. 30(7): 437-447 (2004)
56EEPascal van Eck, Henk M. Blanken, Roel Wieringa: Project Graal: Towards Operational Architecture Alignment. Int. J. Cooperative Inf. Syst. 13(3): 235-255 (2004)
55EERoel Wieringa: Introduction to the RE'03 Special Issue. Requir. Eng. 9(2): 83-84 (2004)
54EERoel Wieringa, Henk M. Blanken, Maarten M. Fokkinga, Paul W. P. J. Grefen: Aligning Application Architecture to the Business Context. CAiSE 2003: 209-225
53EEJaap Gordijn, Roel Wieringa: A Value-Oriented Approach to E-business Process Design. CAiSE 2003: 390-403
52EEDaniel M. Berry, Rick Kazman, Roel Wieringa: Second International Workshop on From SofTware Requirements to Architectures (STRAW?03). ICSE 2003: 797-799
51EERik Eshuis, Roel Wieringa: Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. Petri Net Technology for Communication-Based Systems 2003: 321-351
50EERik Eshuis, Roel Wieringa: Verification support for workflow design with UML activity graphs. ICSE 2002: 166-176
49 Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371
48 Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 49(4): 107-128 (2002)
47EEDavid N. Jansen, Roel Wieringa: Extending CTL with Actions and Real Time. J. Log. Comput. 12(4): 607-621 (2002)
46EEEmilio Insfrán, Oscar Pastor, Roel Wieringa: Requirements Engineering-Based Conceptual Modelling. Requir. Eng. 7(2): 61-72 (2002)
45EERik Eshuis, David N. Jansen, Roel Wieringa: Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. Requir. Eng. 7(4): 243-263 (2002)
44EERoel Wieringa, David N. Jansen: Techniques for Reactive System Design: The Tools in TRADE. CAiSE 2001: 93-107
43EERik Eshuis, Roel Wieringa: A Real-Time Execution Semantics for UML Activity Diagrams. FASE 2001: 76-90
42 Pascal van Eck, Roel Wieringa: An Investigation into Agency Requirements in E-Business Information Systems. ICEIS (2) 2001: 1081-1085
41EERik Eshuis, Roel Wieringa: An Execution Algorithm for UML Activity Graphs. UML 2001: 47-61
40 Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 48(2-3): 107-128 (2001)
39EERoel Wieringa: Software Requirements Engineering: The Need for Systems Engineering and Literacy. Requir. Eng. 6(2): 132-134 (2001)
38EEPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001)
37EEJan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925
36 Rik Eshuis, Roel Wieringa: Requirements Level Semantics for UML Statecharts. FMOODS 2000: 121-
35EERoel Wieringa: The Declarative Problem Frame: Designing Systems that Create and Use Norms. IWSSD 2000: 75-86
34 Roel Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek: Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? ECOOP Workshops 1999: 49-55
33 Jan Broersen, Roel Wieringa: A Logic for the Specification of Multi-Object Systems (Short Paper). FMOODS 1999
32EEJohn-Jules Ch. Meyer, Roel Wieringa, Frank Dignum: The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems 1998: 71-115
31EERoel Wieringa: A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. ACM Comput. Surv. 30(4): 459-527 (1998)
30EERoel Wieringa, Eric Dubois: Integrating Semi-Formal and Formal Software Specification Techniques. Inf. Syst. 23(3-4): 159-178 (1998)
29EERoel Wieringa, Eric Dubois, Sander Huyts: Integrating Semi-formal and Formal Requirements. CAiSE 1997: 19-32
28EERoel Wieringa: Advanced Object-Oriented Requirements Specification Methods. RE 1997: 266
27 Roel Wieringa: Postmodern Software Design with NYAM: Not Yet Another Method. Requirements Targeting Software and Systems Engineering 1997: 69-94
26 Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper: A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON 1996: 80-97
25EEJan Broersen, Remco Feenstra, Roel Wieringa: Minimal Semantics for Action Specifications in a Multi-modal Logic. FMLDO 1996: 1-10
24 P. d'Altan, John-Jules Ch. Meyer, Roel Wieringa: An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artif. Intell. Law 4(2): 77-111 (1996)
23 Roel Wieringa, Gunter Saake: Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques. Requir. Eng. 1(2): 106-131 (1996)
22 Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa: Free Choice and Contextually Permitted Actions. Studia Logica 57(1): 193-220 (1996)
21 Roel Wieringa: LCM and MCM. Formal Development of Reactive Systems 1995: 333-355
20 Roel Wieringa: Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods. Comput. J. 38(1): 17-30 (1995)
19 Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. J. Log. Comput. 5(1): 27-70 (1995)
18 Roel Wieringa, Wiebren de Jonge, Paul Spruit: Using Dynamic Classes and Role Classes to Model Object Migration. TAPOS 1(1): 61-83 (1995)
17 Roel Wieringa, Wiebren de Jonge: Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited. TAPOS 1(2): 101-114 (1995)
16EERoel Wieringa, Wiebren de Jonge, Paul Spruit: Roles and Dynamic Subclasses: A Modal Logic Approach. ECOOP 1994: 32-59
15 Ralf Jungclaus, Roel Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann: Combining TROLL with the Object Modeling Technique. GI Jahrestagung 1994: 35-42
14 Roel Wieringa, John-Jules Ch. Meyer: Actors, Actions, and Initiative in Normative System Specification. Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993)
13 Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120
12EEPaul Spruit, Roel Wieringa: Some Finite-Graph Models for Process Algebra. CONCUR 1991: 495-509
11EERoel Wieringa: A Formalization of Objects Using Equational Dynamic Logic. DOOD 1991: 431-452
10 Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa: Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210
9EERoel Wieringa, John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103
8EEJohn-Jules Ch. Meyer, Roel Wieringa: Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 1991: 337-357
7 Roel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum: The Inheritance of Dynamic and Deontic Integrity Constraints. Ann. Math. Artif. Intell. 3(2-4): 393-428 (1991)
6 Roel Wieringa: Steps towards a method for the formal modeling of dynamic objects. Data Knowl. Eng. 6: 509-540 (1991)
5 Roel Wieringa: Equational Specification of Dynamic Objects. DS-4 1990: 415-438
4 Roel Wieringa: Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract). FMLDO 1990: 199-208
3EEJohn-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366
2 Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand: Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189 (1989)
1 Roel Wieringa, Reind P. van de Riet: Algebraic Specification of Object Dynamics in Knowledge Base Domains. DS-3 1988: 411-436

Coauthor Index

1Hans Akkermans (J. M. Akkermans) [60]
2Farhad Arbab [78]
3Egidio Astesiano [34]
4Joanne M. Atlee [79]
5Klaas van den Berg [34]
6Daniel M. Berry [52] [59]
7Henk M. Blanken [54] [56]
8Lianne Bodenstaff [98] [99] [103]
9Hans Bosma [78]
10Ed Brinksma [82] [83] [89]
11Pim van den Broek (P. M. van den Broek) [34]
12Jan Broersen [25] [33] [37] [40] [48] [49]
13Valeria de Castro [100]
14Maya Daneva [67] [69] [76] [80] [87] [88] [90] [101]
15Frank Dignum (F. P. M. Dignum) [7] [22] [26] [32]
16Hugo W. L. ter Doest [78]
17Eric Dubois [29] [30]
18Christof Ebert [58]
19Pascal van Eck [42] [56] [62] [63] [65] [74] [91] [93] [104]
20Silja Eckartz [101]
21Rik Eshuis [36] [41] [43] [45] [50] [51] [57]
22Sandro Etalle [65]
23Remco Feenstra [25]
24Maarten M. Fokkinga [54]
25Martin Glinz [86]
26Jaap Gordijn [53] [60] [62] [63] [68] [74] [81] [94] [96] [98] [104]
27Paul W. P. J. Grefen [54]
28Alain Le Guennec [34]
29David Harel [82] [83] [89]
30Warren Harrison [84]
31Peter Hartel [15]
32Pieter H. Hartel [65]
33Thorsten Hartmann [15]
34J. M. G. Heerkens [75] [97]
35Jos van Hillegersberg [101]
36Wiebe Hordijk [72]
37Heinrich Hußmann (Heinrich Hussmann) [34]
38Sander Huyts [29]
39Emilio Insfrán (Emilio Insfrán Pelozo) [46]
40Ana Ivanovic [70]
41Michael C. Jaeger [103]
42David N. Jansen [44] [45] [47]
43Wiebren de Jonge [16] [17] [18]
44Willem Jonker [71]
45Henk Jonkers [78]
46Ralf Jungclaus [15]
47Vera Kartseva [60]
48Mohamad Kassab [87]
49Rick Kazman [52] [59]
50Sybren de Kinderen [96]
51Predrag Knezevic [71]
52Ruurd Kuiper [26]
53Marc M. Lankhorst [78]
54Angelika Mader [82] [83] [89] [95]
55Neil A. M. Maiden [77]
56Esperanza Marcos (Esperanza Marcos Martínez) [100]
57Jelena Marincic [95]
58Aga Matysiak [70]
59Nancy R. Mead [77]
60John-Jules Ch. Meyer [2] [3] [7] [8] [9] [10] [13] [14] [19] [22] [24] [26] [32] [37] [38] [40] [48] [49]
61Olga Ormandjieva [87]
62Oscar Pastor [46]
63Michaël Petit [81]
64Vincent Pijpers [98]
65Stanislav Pokraev [64] [71] [73]
66María Laura Ponisio [87]
67Gianna Reggio [34]
68Manfred Reichert [73] [94] [99] [103]
69Reind P. van de Riet [1]
70Colette Rolland [77]
71Gunter Saake [15] [23]
72Joost Schildwacht [60]
73Klaas Sikkel [70]
74Paul Spruit [10] [12] [13] [16] [18] [19] [38]
75Maarten W. A. Steen [64] [73]
76Perdita Stevens [82] [83] [89]
77Hans Weigand [2] [3] [7] [94]
78Andreas Wombacher [71] [99] [103]
79Rieko Yamamoto [74]
80Novica Zarvic [85] [88] [91] [93]
81Zlatko Zlatev [67]
82P. d'Altan [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)