Marc Voorhoeve

According to our database, Marc Voorhoeve authored at least 38 papers between 1989 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Specification and Generation of Adapters for System Integration.

Arjan J. Mooij, Marc Voorhoeve

Proceedings of the Situation Awareness with Systems of Systems, 2013

2011

Soundness of workflow nets: classification, decidability, and analysis.

Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn

Formal Aspects Comput., 2011

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets.

Nikola Trcka, Marc Voorhoeve, Twan Basten

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Relating fair testing and accordance for service replaceability.

Arjan J. Mooij, Christian Stahl, Marc Voorhoeve

J. Log. Algebraic Methods Program., 2010

Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers.

Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

2009

Soundness of Workflow Nets with Reset Arcs.

Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn

Trans. Petri Nets Other Model. Concurr., 2009

Generation of Database Transactions with Petri Nets.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf

Fundam. Informaticae, 2009

Trading Off Concurrency to Generate Behavioral Adapters.

Arjan J. Mooij, Marc Voorhoeve

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

History-based joins: Semantics, soundness and implementation.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Data Knowl. Eng., 2008

Proof Techniques for Adapter Generation.

Arjan J. Mooij, Marc Voorhoeve

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Formal Modeling and Scheduling of Datapaths of Digital Document Printers.

Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007

Operational semantics for Petri net components.

Jan Friso Groote, Marc Voorhoeve

Theor. Comput. Sci., 2007

LogLogics: A logic for history-dependent business processes.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Sci. Comput. Program., 2007

Checking Properties of Adaptive Workflow Nets.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova

Fundam. Informaticae, 2007

Scheduling-free resource management.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal

Data Knowl. Eng., 2007

Modelling with History-Dependent Petri Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf

Proceedings of the Business Process Management, 5th International Conference, 2007

2006

Resource-Constrained Workflow Nets.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve

Fundam. Informaticae, 2006

Consistency in model integration.

Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve

Data Knowl. Eng., 2006

Modelling History-Dependent Business Processes.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Modelling, 2006

Verifying Generalized Soundness of Workflow Nets.

Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Perspectives of Systems Informatics, 2006

Liveness, Fairness and Impossible Futures.

Rob J. van Glabbeek, Marc Voorhoeve

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Nested Nets for Adaptive Systems.

Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

The Price of Coordination in Resource Management.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal

Proceedings of the Business Process Management, 3rd International Conference, 2005

Soundness of Resource-Constrained Workflow Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Generalised Soundness of Workflow Nets Is Decidable.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2001

Impossible futures and determinism.

Marc Voorhoeve, Sjouke Mauw

Inf. Process. Lett., 2001

2000

Compositional Modeling and Verification of Workflow Processes.

Marc Voorhoeve

Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

1999

Adaptive Workflow-On the Interplay between Flexibility and Support.

Wil M. P. van der Aalst, Twan Basten, H. M. W. Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve

Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

1997

Ad-hoc Workflow: Problems and Solutions.

Marc Voorhoeve, Wil M. P. van der Aalst

Proceedings of the Eighth International Workshop on Database and Expert Systems Applications, 1997

1996

Conservative adaption of workflow.

Marc Voorhoeve, Wil M. P. van der Aalst

Proceedings of the First International Conference on Practical Aspects of Knowledge Management, 1996

1995

Simulating and analyzing railway interlockings in ExSpect.

Twan Basten, Roland N. Bol, Marc Voorhoeve

IEEE Parallel Distributed Technol. Syst. Appl., 1995

An Algebraic Semantics for Hierarchical P/T Nets.

Twan Basten, Marc Voorhoeve

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1991

A modeling environment for decision support systems.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Decis. Support Syst., 1991

The EXSPECT Tool.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Proceedings of the VDM '91, 1991

Z and High Level Petri Nets.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Proceedings of the VDM '91, 1991

1990

A Formal Framework for Dynamic modelling of Information Systems.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Proceedings of the Dynamic Modelling of Information Systems I, 1990

1989

Executable Specifications for Distributed Information Systems.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Proceedings of the Information System Concepts: An In-depth Analysis, 1989