• 1005 Citations
20022021

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2021

Feature-oriented engineering of declarative artifact-centric process models

Eshuis, R., Feb 2021, In : Information Systems. 96, 14 p., 101644.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2020

Assessing performance of mined business process variants

van den Ingh, L. O., Eshuis, H. R. & Gelper, S. E. C., 2020, (Accepted/In press) In : Enterprise Information Systems.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Verifying the manipulation of data objects according to business process and data models

Pérez-Alvarez, J. M., Gómez-López, M. T., Eshuis, R., Montali, M. & Gasca, R. M., 1 Jul 2020, In : Knowledge and Information Systems. 62, 7, p. 2653-2683 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
2019

Reasoning about property preservation in adaptive case management

Eshuis, H., Hull, R. & Yi, M., Mar 2019, In : ACM Transactions on Internet Technology. 19, 1, 21 p., 12.

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
6 Downloads (Pure)

Representing variability in enterprise architecture: a case study

Rurua, N., Eshuis, H. & Razavian, M., 8 Apr 2019, In : Business & Information Systems Engineering. 61, 2, p. 215-227 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
44 Downloads (Pure)
2017

Synthesizing minimal protocol adaptors for asynchronously interacting services

Eshuis, H., Seguel Pérez, R. E. & Grefen, P. W. P. J., 1 May 2017, In : IEEE Transactions on Services Computing. 10, 3, p. 461-474 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
4 Downloads (Pure)
2016

Converting unstructured into semi-structured process models

Eshuis, R. & Kumar, A., Jan 2016, In : Data & Knowledge Engineering. 101, p. 43-61

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
7 Downloads (Pure)

Evolving process views

Eshuis, H., Norta, A. & Roulaux, R., 2016, In : Information and Software Technology. 80, p. 20-35 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)

Flexible construction of executable service compositions from reusable semantic knowledge

Eshuis, H., Lécué, F. & Mehandjiev, N., 8 Feb 2016, In : ACM Transactions on the Web. 10, 1, p. 1-27 5.

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)
1 Downloads (Pure)

Information governance in dynamic networked business process management

Rasouli, M., Eshuis, H., Grefen, P. W. P. J., Trienekens, J. J. M. & Kusters, R. J., Dec 2016, In : International Journal of Cooperative Information Systems. 25, 4, 37 p., 1740004.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
100 Downloads (Pure)

Synthesizing data-centric models from business process models

Eshuis, H. & Van Gorp, P. M. E., 2016, In : Computing. 98, 4, p. 345-373 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
12 Citations (Scopus)
130 Downloads (Pure)

Synthesizing object life cycles from business process models

Eshuis, H. & Van Gorp, P. M. E., Feb 2016, In : Software and Systems Modeling. 15, 1, p. 281-302 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
10 Downloads (Pure)
2015

Service outsourcing with process views

Eshuis, H., Norta, A. H., Kopp, O. & Pitkänen, E., 2015, In : IEEE Transactions on Services Computing. 8, 1, p. 136-154

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
22 Citations (Scopus)
122 Downloads (Pure)
2014

Architecture support for flexible business chain integration using protocol adaptors

Seguel Perez, R. E., Eshuis, H. & Grefen, P. W. P. J., 2014, In : International Journal of Cooperative Information Systems. 23, 4, p. 1450008-1-31 31 p., 1450008.

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
2 Downloads (Pure)

Splitting GSM schemas : a framework for outsourcing of declarative artifact systems

Eshuis, H., Hull, R., Sun, Y. & Vaculin, R., 2014, In : Information Systems. 46, p. 157-187

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
4 Downloads (Pure)
2013

Diagnosing correctness of semantic workflow models

Borrego, D., Eshuis, H., Gómez-López, M. T. & Gasca, R. M., 2013, In : Data & Knowledge Engineering. 87, p. 167-184 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

19 Citations (Scopus)
9 Downloads (Pure)

Statechartable Petri nets

Eshuis, H., 2013, In : Formal Aspects of Computing. 25, 5, p. 659-681 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
59 Downloads (Pure)
2010

An integer programming based approach for verification and diagnosis of workflows

Eshuis, H. & Kumar, A., 2010, In : Data & Knowledge Engineering. 69, 8, p. 816-835 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)

Specification and verification of harmonized business-process collaborations

Norta, A. H. & Eshuis, H., 2010, In : Information Systems Frontiers. 12, 4, p. 457-479 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

27 Citations (Scopus)
2009

Composing services into structured processes

Eshuis, H. & Grefen, P. W. P. J., 2009, In : International Journal of Cooperative Information Systems. 18, 2, p. 309-337

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)

Dynamic business network process management in instant virtual enterprises

Grefen, P. W. P. J., Mehandjiev, N., Kouvas, G., Weichhart, G. & Eshuis, H., 2009, In : Computers in Industry. 60, 2, p. 86-103

Research output: Contribution to journalArticleAcademicpeer-review

90 Citations (Scopus)
3 Downloads (Pure)

Internet-based support for process-oriented instant virtual enterprises

Grefen, P. W. P. J., Eshuis, H., Mehandjiev, N., Kouvas, G. & Weichhart, G., 2009, In : IEEE Internet Computing. 13, 6, p. 65-73 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
39 Citations (Scopus)
106 Downloads (Pure)

Reconciling statechart semantics

Eshuis, H., 2009, In : Science of Computer Programming. 74, 3, p. 65-99

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
33 Citations (Scopus)
2 Downloads (Pure)
2008

Constructing customized process views

Eshuis, H. & Grefen, P. W. P. J., 2008, In : Data & Knowledge Engineering. 64, 2, p. 419-438

Research output: Contribution to journalArticleAcademicpeer-review

124 Citations (Scopus)
1 Downloads (Pure)
2006

Symbolic model checking of UML activity diagrams

Eshuis, H., 2006, In : ACM Transactions on Software Engineering and Methodology. 15, 1, p. 1-38 38 p.

Research output: Contribution to journalArticleAcademicpeer-review

154 Citations (Scopus)
2004

Tool support for verifying UML activity diagrams

Eshuis, H. & Wieringa, R. J., 2004, In : IEEE Transactions on Software Engineering. 30, 7, p. 437-447

Research output: Contribution to journalArticleAcademicpeer-review

105 Citations (Scopus)
2002

Comparing refinements for failure and bisimulation semantics

Eshuis, H. & Fokkinga, M. M., 2002, In : Fundamenta Informaticae. 52, 4, p. 297-321

Research output: Contribution to journalArticleAcademicpeer-review

15 Citations (Scopus)

Requirements-level semantics and model checking of object-oriented statecharts

Eshuis, H., Jansen, D. N. & Wieringa, R. J., 2002, In : Requirements Engineering. 7, 4, p. 243-263

Research output: Contribution to journalArticleAcademicpeer-review

29 Citations (Scopus)