Rik Eshuis

According to our database1, Rik Eshuis
  • authored at least 61 papers between 2000 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Synthesizing Minimal Protocol Adaptors for Asynchronously Interacting Services.
IEEE Trans. Services Computing, 2017

Assessing Suitability of adaptive Case Management.
Proceedings of the 25th European Conference on Information Systems, 2017

2016
Flexible Construction of Executable Service Compositions from Reusable Semantic Knowledge.
TWEB, 2016

Synthesizing object life cycles from business process models.
Software and System Modeling, 2016

Evolving process views.
Information & Software Technology, 2016

Information Governance in Dynamic Networked Business Process Management.
Int. J. Cooperative Inf. Syst., 2016

Converting unstructured into semi-structured process models.
Data Knowl. Eng., 2016

Synthesizing data-centric models from business process models.
Computing, 2016

Information Governance as a Dynamic Capability in Service Oriented Business Networking.
Proceedings of the Collaboration in a Hyperconnected World, 2016

Deriving Consistent GSM Schemas from DCR Graphs.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Message from the RW-BPMS 2016 Workshop Chairs.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

2015
Service Outsourcing with Process Views.
IEEE Trans. Services Computing, 2015

Information Quality in Dynamic Networked Business Process Management.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

The role of grammar factors and visual context in Norwegian children's pronoun resolution.
Proceedings of the NetWordS Final Conference on Word Knowledge and Word Usage: Representations and Processes in the Mental Lexicon, Pisa, Italy, March 30, 2015

Metaphorical priming in a lexical decision task in high functioning autism.
Proceedings of the NetWordS Final Conference on Word Knowledge and Word Usage: Representations and Processes in the Mental Lexicon, Pisa, Italy, March 30, 2015

Creating Agility in Traffic Management by Collaborative Service-Dominant Business Engineering.
Proceedings of the Risks and Resilience of Collaborative Networks, 2015

Information Governance Requirements for Architectural Solutions Supporting Dynamic Business Networking.
Proceedings of the Service-Oriented Computing - ICSOC 2015 Workshops, 2015

Property Preservation in Adaptive Case Management.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

2014
Splitting GSM schemas: A framework for outsourcing of declarative artifact systems.
Inf. Syst., 2014

Architecture Support for Flexible Business Chain Integration Using Protocol Adaptors.
Int. J. Cooperative Inf. Syst., 2014

2013
Statechartable Petri nets.
Formal Asp. Comput., 2013

Diagnosing correctness of semantic workflow models.
Data Knowl. Eng., 2013

Splitting GSM Schemas: A Framework for Outsourcing of Declarative Artifact Systems.
Proceedings of the Business Process Management - 11th International Conference, 2013

Synthesizing Object-Centric Models from Business Process Models.
Proceedings of the Business Process Management Workshops, 2013

2012
No Evidence of L1 Path Encoding Strategies in the L2 in Advanced Bulgarian Speakers of Norwegian.
Spatial Cognition & Computation, 2012

Flexible Construction of Complex Service Compositions from Reusable Semantic Knowledge.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Synthesizing Object Life Cycles from Business Process Models.
Proceedings of the Conceptual Modeling, 2012

2011
Transactional Process Views.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

2010
Specification and verification of harmonized business-process collaborations.
Information Systems Frontiers, 2010

An integer programming based approach for verification and diagnosis of workflows.
Data Knowl. Eng., 2010

Business Protocol Adaptation for Flexible Chain Management.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Generating Minimal Protocol Adaptors for Loosely Coupled Services.
Proceedings of the IEEE International Conference on Web Services, 2010

A Framework for Service Outsourcing Using Process Views.
Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

2009
Reconciling statechart semantics.
Sci. Comput. Program., 2009

Internet-Based Support for Process-Oriented Instant Virtual Enterprises.
IEEE Internet Computing, 2009

Composing Services into Structured Processes.
Int. J. Cooperative Inf. Syst., 2009

Dynamic business network process management in instant virtual enterprises.
Computers in Industry, 2009

Agile Cooperative Process-Aware Information Systems (ProGility 2009): Workshop Report.
Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

Constructing process views for service outsourcing.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way.
Proceedings of the FM 2009: Formal Methods, 2009

Constructing minimal protocol adaptors for service composition.
Proceedings of the 4th Workshop on Emerging Web Services Technology, 2009

2008
Constructing customized process views.
Data Knowl. Eng., 2008

Agile Cooperative Process-Aware Information Systems (ProGility 2008).
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

2007
ProGility Workshop Final Report.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

Structural Matching of BPEL Processes.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

2006
Symbolic model checking of UML activity diagrams.
ACM Trans. Softw. Eng. Methodol., 2006

PINCET - Process Integration of Collaborative Enterprises.
Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

Designing a Modular Infrastructure for Exploratory Integration of Interoperability Approaches.
Proceedings of the Enterprise Interoperability, 2006

Structured Service Composition.
Proceedings of the Business Process Management, 4th International Conference, 2006

2004
Tool Support for Verifying UML Activity Diagrams.
IEEE Trans. Software Eng., 2004

2003
EFFICIENT: a tool set for supporting the modelling and validation of ebXML.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Animating ebXML Transactions with a Workflow Engine.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Reactive Petri Nets for Workflow Modeling.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.
Requir. Eng., 2002

Comparing Refinements for Failure and Bisimulation Semantics.
Fundam. Inform., 2002

Verification support for workflow design with UML activity graphs.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
An Execution Algorithm for UML Activity Graphs.
Proceedings of the «UML» 2001, 2001

A Real-Time Execution Semantics for UML Activity Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
Requirements Level Semantics for UML Statecharts.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000


  Loading...