The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roel Wieringa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roel Wieringa, Wiebren de Jonge, Paul Spruit
    Roles and Dynamic Subclasses: A Modal Logic Approach. [Citation Graph (3, 0)][DBLP]
    ECOOP, 1994, pp:32-59 [Conf]
  2. Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand
    Specifying Dynamic and Deontic Integrity Constraints. [Citation Graph (3, 0)][DBLP]
    Data Knowl. Eng., 1989, v:4, n:, pp:157-189 [Journal]
  3. Roel Wieringa
    A Formalization of Objects Using Equational Dynamic Logic. [Citation Graph (2, 0)][DBLP]
    DOOD, 1991, pp:431-452 [Conf]
  4. Roel Wieringa
    Equational Specification of Dynamic Objects. [Citation Graph (2, 0)][DBLP]
    DS-4, 1990, pp:415-438 [Conf]
  5. John-Jules Ch. Meyer, Hans Weigand, Roel Wieringa
    A Specification Language for Static, Dynamic and Deontic Integrity Constraints. [Citation Graph (2, 14)][DBLP]
    MFDBS, 1989, pp:347-366 [Conf]
  6. Roel Wieringa, Wiebren de Jonge, Paul Spruit
    Using Dynamic Classes and Role Classes to Model Object Migration. [Citation Graph (2, 0)][DBLP]
    TAPOS, 1995, v:1, n:1, pp:61-83 [Journal]
  7. John-Jules Ch. Meyer, Roel Wieringa, Frank Dignum
    The Role of Deontic Logic in the Specification of Information Systems. [Citation Graph (1, 0)][DBLP]
    Logics for Databases and Information Systems, 1998, pp:71-115 [Conf]
  8. Roel Wieringa, Reind P. van de Riet
    Algebraic Specification of Object Dynamics in Knowledge Base Domains. [Citation Graph (1, 0)][DBLP]
    DS-3, 1988, pp:411-436 [Conf]
  9. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
    Dynamic Database Logic: the First-order Case. [Citation Graph (1, 0)][DBLP]
    FMLDO, 1992, pp:103-120 [Conf]
  10. Roel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum
    The Inheritance of Dynamic and Deontic Integrity Constraints. [Citation Graph (1, 0)][DBLP]
    Ann. Math. Artif. Intell., 1991, v:3, n:2-4, pp:393-428 [Journal]
  11. Roel Wieringa
    Steps towards a method for the formal modeling of dynamic objects. [Citation Graph (1, 0)][DBLP]
    Data Knowl. Eng., 1991, v:6, n:, pp:509-540 [Journal]
  12. Pascal van Eck, Rieko Yamamoto, Jaap Gordijn, Roel Wieringa
    Cross-Organizational Workflows: A Classification of Design Decisions. [Citation Graph (0, 0)][DBLP]
    CAiSE Short Paper Proceedings, 2005, pp:- [Conf]
  13. Jaap Gordijn, Roel Wieringa
    A Value-Oriented Approach to E-business Process Design. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2003, pp:390-403 [Conf]
  14. Stanislav Pokraev, Manfred Reichert, Maarten W. A. Steen, Roel Wieringa
    Semantic and Pragmatic Interoperability: A Model for Understanding. [Citation Graph (0, 0)][DBLP]
    EMOI-INTEROP, 2005, pp:- [Conf]
  15. Stanislav Pokraev, Roel Wieringa, Maarten W. A. Steen
    Towards Semantic Service Specification and Discovery. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops (3), 2004, pp:363-367 [Conf]
  16. Roel Wieringa, Henk M. Blanken, Maarten M. Fokkinga, Paul W. P. J. Grefen
    Aligning Application Architecture to the Business Context. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2003, pp:209-225 [Conf]
  17. Roel Wieringa, Eric Dubois, Sander Huyts
    Integrating Semi-formal and Formal Requirements. [Citation Graph (0, 0)][DBLP]
    CAiSE, 1997, pp:19-32 [Conf]
  18. Roel Wieringa, David N. Jansen
    Techniques for Reactive System Design: The Tools in TRADE. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2001, pp:93-107 [Conf]
  19. Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa
    Modelling Mobility Aspects of Security Policies. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2004, pp:172-191 [Conf]
  20. Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer
    A Semantics for Persistency in Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:912-925 [Conf]
  21. Paul Spruit, Roel Wieringa
    Some Finite-Graph Models for Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:495-509 [Conf]
  22. Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper
    A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. [Citation Graph (0, 0)][DBLP]
    DEON, 1996, pp:80-97 [Conf]
  23. Rik Eshuis, Roel Wieringa
    Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:321-351 [Conf]
  24. 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? [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:49-55 [Conf]
  25. Pascal van Eck, Jaap Gordijn, Roel Wieringa
    Value-Based Design of Collaboration Processes for e-Commerce. [Citation Graph (0, 0)][DBLP]
    EEE, 2004, pp:349-358 [Conf]
  26. Pascal van Eck, Roel Wieringa, Jaap Gordijn
    Risk-Driven Conceptual Modeling of Outsourcing Decisions. [Citation Graph (0, 0)][DBLP]
    ER, 2004, pp:709-723 [Conf]
  27. Rik Eshuis, Roel Wieringa
    A Real-Time Execution Semantics for UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:76-90 [Conf]
  28. Jan Broersen, Remco Feenstra, Roel Wieringa
    Minimal Semantics for Action Specifications in a Multi-modal Logic. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1996, pp:1-10 [Conf]
  29. Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa
    Discussion Issues for a Working Group on Update Semantics of Logic Databases. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1991, pp:209-210 [Conf]
  30. Roel Wieringa
    Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FMLDO, 1990, pp:199-208 [Conf]
  31. Jan Broersen, Roel Wieringa
    A Logic for the Specification of Multi-Object Systems (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  32. Rik Eshuis, Roel Wieringa
    Requirements Level Semantics for UML Statecharts. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:121-0 [Conf]
  33. Ralf Jungclaus, Roel Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann
    Combining TROLL with the Object Modeling Technique. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1994, pp:35-42 [Conf]
  34. Pascal van Eck, Roel Wieringa
    An Investigation into Agency Requirements in E-Business Information Systems. [Citation Graph (0, 0)][DBLP]
    ICEIS (2), 2001, pp:1081-1085 [Conf]
  35. Daniel M. Berry, Rick Kazman, Roel Wieringa
    Second International Workshop on From SofTware Requirements to Architectures (STRAW?03). [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:797-799 [Conf]
  36. Rik Eshuis, Roel Wieringa
    Verification support for workflow design with UML activity graphs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:166-176 [Conf]
  37. Warren Harrison, Roel Wieringa
    Workshop on technology transfer in software engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1024-1025 [Conf]
  38. Roel Wieringa
    Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICWE, 2004, pp:13-16 [Conf]
  39. Roel Wieringa
    The Declarative Problem Frame: Designing Systems that Create and Use Norms. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:75-86 [Conf]
  40. Roel Wieringa
    LCM and MCM. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:333-355 [Conf]
  41. Roel Wieringa, John-Jules Ch. Meyer
    Actor-Oriented Specification of Deontic Integrity Constraints. [Citation Graph (0, 14)][DBLP]
    MFDBS, 1991, pp:89-103 [Conf]
  42. Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa
    The mutual exclusion problem in reasoning about action and change. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:365-371 [Conf]
  43. Andreas Wombacher, Roel Wieringa, Willem Jonker, Predrag Knezevic, Stanislav Pokraev
    Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2005, pp:526-536 [Conf]
  44. Maya Daneva, Roel Wieringa
    Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:63-74 [Conf]
  45. Jaap Gordijn, Vera Kartseva, Joost Schildwacht, Roel Wieringa, Hans Akkermans
    Developing a Domain-Specific Cross-Organizational RE Method. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:134-143 [Conf]
  46. Ana Ivanovic, Aga Matysiak, Klaas Sikkel, Roel Wieringa
    Eliciting User Requirements for Ambient Intelligent Systems: A Case Study. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:477-478 [Conf]
  47. Roel Wieringa
    Advanced Object-Oriented Requirements Specification Methods. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:266- [Conf]
  48. Maya Daneva, Roel Wieringa
    A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:304-307 [Conf]
  49. Jaap Gordijn, Michaël Petit, Roel Wieringa
    Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:126-135 [Conf]
  50. Roel Wieringa
    Postmodern Software Design with NYAM: Not Yet Another Method. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:69-94 [Conf]
  51. Roel Wieringa, Jaap Gordijn
    Value-oriented design of service coordination processes: correctness and trust. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1320-1327 [Conf]
  52. Wiebe Hordijk, Roel Wieringa
    Surveying the factors that influence maintainability: research design. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:385-388 [Conf]
  53. John-Jules Ch. Meyer, Roel Wieringa
    Actor-Oriented System Specification with Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:337-357 [Conf]
  54. Rik Eshuis, Roel Wieringa
    An Execution Algorithm for UML Activity Graphs. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:47-61 [Conf]
  55. Zlatko Zlatev, Maya Daneva, Roel Wieringa
    Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition. [Citation Graph (0, 0)][DBLP]
    WER, 2005, pp:26-37 [Conf]
  56. P. d'Altan, John-Jules Ch. Meyer, Roel Wieringa
    An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Law, 1996, v:4, n:2, pp:77-111 [Journal]
  57. Roel Wieringa, John-Jules Ch. Meyer
    Actors, Actions, and Initiative in Normative System Specification. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:7, n:1-4, pp:289-346 [Journal]
  58. Roel Wieringa
    Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:1, pp:17-30 [Journal]
  59. Roel Wieringa
    A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:4, pp:459-527 [Journal]
  60. Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer
    A Fixed-point Characterization of a Deontic Logic of Regular Action. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:48, n:2-3, pp:107-128 [Journal]
  61. Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer
    A Fixed-point Characterization of a Deontic Logic of Regular Action. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:49, n:4, pp:107-128 [Journal]
  62. Pascal van Eck, Henk M. Blanken, Roel Wieringa
    Project Graal: Towards Operational Architecture Alignment. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2004, v:13, n:3, pp:235-255 [Journal]
  63. Roel Wieringa, Eric Dubois
    Integrating Semi-Formal and Formal Software Specification Techniques. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1998, v:23, n:3-4, pp:159-178 [Journal]
  64. Henk Jonkers, Marc M. Lankhorst, Hugo W. L. ter Doest, Farhad Arbab, Hans Bosma, Roel Wieringa
    Enterprise architecture: Management tool and blueprint for the organisation. [Citation Graph (0, 0)][DBLP]
    Information Systems Frontiers, 2006, v:8, n:2, pp:63-66 [Journal]
  65. David N. Jansen, Roel Wieringa
    Extending CTL with Actions and Real Time. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:4, pp:607-621 [Journal]
  66. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
    Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:1, pp:27-70 [Journal]
  67. Emilio Insfrán, Oscar Pastor, Roel Wieringa
    Requirements Engineering-Based Conceptual Modelling. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2002, v:7, n:2, pp:61-72 [Journal]
  68. Rik Eshuis, David N. Jansen, Roel Wieringa
    Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2002, v:7, n:4, pp:243-263 [Journal]
  69. Roel Wieringa
    Software Requirements Engineering: The Need for Systems Engineering and Literacy. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2001, v:6, n:2, pp:132-134 [Journal]
  70. Roel Wieringa
    Introduction to the RE'03 Special Issue. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2004, v:9, n:2, pp:83-84 [Journal]
  71. Roel Wieringa
    Requirements researchers: are we really doing research?. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2005, v:10, n:4, pp:304-306 [Journal]
  72. Roel Wieringa, Neil A. M. Maiden, Nancy R. Mead, Colette Rolland
    Requirements engineering paper classification and evaluation criteria: a proposal and a discussion. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2006, v:11, n:1, pp:102-107 [Journal]
  73. Roel Wieringa, Gunter Saake
    Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 1996, v:1, n:2, pp:106-131 [Journal]
  74. Maya Daneva, Roel Wieringa
    A requirements engineering framework for cross-organizational ERP systems. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2006, v:11, n:3, pp:194-204 [Journal]
  75. Roel Wieringa, J. M. G. Heerkens
    The methodological soundness of requirements engineering papers: a conceptual framework and two case studies. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2006, v:11, n:4, pp:295-307 [Journal]
  76. Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa
    Free Choice and Contextually Permitted Actions. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:1, pp:193-220 [Journal]
  77. Roel Wieringa, Christof Ebert
    Guest Editors' Introduction: RE'03--Practical Requirements Engineering Solutions. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2004, v:21, n:2, pp:16-18 [Journal]
  78. Roel Wieringa, Wiebren de Jonge
    Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:2, pp:101-114 [Journal]
  79. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
    Regular database update logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:591-661 [Journal]
  80. Rik Eshuis, Roel Wieringa
    Tool Support for Verifying UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:437-447 [Journal]
  81. Novica Zarvic, Maya Daneva, Roel Wieringa
    Value-Based Requirements Engineering for Value Webs. [Citation Graph (0, 0)][DBLP]
    REFSQ, 2007, pp:116-128 [Conf]

  82. A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation. [Citation Graph (, )][DBLP]


  83. External Insider Threat: A Real Security Challenge in Enterprise Value Webs. [Citation Graph (, )][DBLP]


  84. Introduction to the First International Workshop on Empirical Research in Business Process Management (ER-BPM 2009). [Citation Graph (, )][DBLP]


  85. Value-Oriented Coordination Process Modeling. [Citation Graph (, )][DBLP]


  86. An Integrated Enterprise Architecture Framework for Business-IT Alignment. [Citation Graph (, )][DBLP]


  87. Rationality of Cross-System Data Duplication: A Case Study. [Citation Graph (, )][DBLP]


  88. 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). [Citation Graph (, )][DBLP]


  89. 06351 Summary -- Methods for Modelling Software Systems (MMOSS). [Citation Graph (, )][DBLP]


  90. Value-Driven Coordination Process Design Using Physical Delivery Models. [Citation Graph (, )][DBLP]


  91. Cross-Organizational Workflows: A Classification of Design Decisions. [Citation Graph (, )][DBLP]


  92. Monitoring Service Compositions in MoDe4SLA - Design of Validation. [Citation Graph (, )][DBLP]


  93. Design science methodology: principles and practice. [Citation Graph (, )][DBLP]


  94. Design Science and Software Engineering. [Citation Graph (, )][DBLP]


  95. On Quality Issues in Networked Value Constellations. [Citation Graph (, )][DBLP]


  96. Operational Business-IT Alignment in Value Webs. [Citation Graph (, )][DBLP]


  97. Design Science, Engineering Science and Requirements Engineering. [Citation Graph (, )][DBLP]


  98. Value-driven Service Matching. [Citation Graph (, )][DBLP]


  99. How to Write and Read a Scientific Evaluation Paper. [Citation Graph (, )][DBLP]


  100. Towards self-configuration and management of e-service provisioning in dynamic value constellations. [Citation Graph (, )][DBLP]


  101. Checking the alignment of value-based business models and IT functionality. [Citation Graph (, )][DBLP]


  102. Cross-organizational ERP management: how to create a successful business case? [Citation Graph (, )][DBLP]


  103. An Approach for Maintaining Models of an E-commerce Collaboration. [Citation Graph (, )][DBLP]


  104. Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements. [Citation Graph (, )][DBLP]


  105. Business-IT Alignment in Value Webs. [Citation Graph (, )][DBLP]


  106. Classifying Assumptions Made during Requirements Verification of Embedded Systems. [Citation Graph (, )][DBLP]


  107. A systematic mapping study on empirical evaluation of software requirements specifications techniques. [Citation Graph (, )][DBLP]


  108. Security Implications of Virtualization: A Literature Study. [Citation Graph (, )][DBLP]


  109. Towards Management of Complex Service Compositions - Position Paper. [Citation Graph (, )][DBLP]


  110. Relevance and Problem Choice in Design Science. [Citation Graph (, )][DBLP]


  111. Design science as nested problem solving. [Citation Graph (, )][DBLP]


Search in 0.793secs, Finished in 0.799secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002