Marc Voorhoeve

40 papers A 5B 1C 1Journal 14Unranked 18

Year	Rank	Type	Title / Venue / Authors
2013	—	`ch.`	Specification and Generation of Adapters for System Integration. Situation Awareness with Systems of Systems Arjan J. Mooij, Marc Voorhoeve
2011	—	`conf`	Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. ACSD Nikola Trcka, Marc Voorhoeve, Twan Basten
2011	J	`jnl`	Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 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
2010	—	`conf`	Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. WS-FM Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve
2010	J	`jnl`	Relating fair testing and accordance for service replaceability. J. Log. Algebraic Methods Program. Arjan J. Mooij, Christian Stahl, Marc Voorhoeve
2009	J	`jnl`	Generation of Database Transactions with Petri Nets. Fundam. Informaticae Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf
2009	J	`jnl`	Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. 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
2009	—	`conf`	Trading Off Concurrency to Generate Behavioral Adapters. ACSD Arjan J. Mooij, Marc Voorhoeve
2008	—	`conf`	Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers
2008	J	`jnl`	History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2008	—	`conf`	Proof Techniques for Adapter Generation. WS-FM Arjan J. Mooij, Marc Voorhoeve
2007	J	`jnl`	Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
2007	J	`jnl`	LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2007	A	`conf`	Modelling with History-Dependent Petri Nets. BPM Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf
2007	J	`jnl`	Operational semantics for Petri net components. Theor. Comput. Sci. Jan Friso Groote, Marc Voorhoeve
2007	J	`jnl`	Scheduling-free resource management. Data Knowl. Eng. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
2006	J	`jnl`	Consistency in model integration. Data Knowl. Eng. Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
2006	A	`conf`	History-Based Joins: Semantics, Soundness and Implementation. Business Process Management Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2006	B	`conf`	Liveness, Fairness and Impossible Futures. CONCUR Rob J. van Glabbeek, Marc Voorhoeve
2006	—	`conf`	Modelling History-Dependent Business Processes. MSVVEIS Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	Nested Nets for Adaptive Systems. ICATPN Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2006	J	`jnl`	Resource-Constrained Workflow Nets. Fundam. Informaticae Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve
2005	—	`conf`	Soundness of Resource-Constrained Workflow Nets. ICATPN Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2005	A	`conf`	The Price of Coordination in Resource Management. Business Process Management Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
2004	A	`conf`	Consistency in Model Integration. Business Process Management Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
2004	—	`conf`	Generalised Soundness of Workflow Nets Is Decidable. ICATPN Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
2003	—	`conf`	Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
2001	J	`jnl`	Impossible futures and determinism. Inf. Process. Lett. Marc Voorhoeve, Sjouke Mauw
2000	A	`conf`	Compositional Modeling and Verification of Workflow Processes. Business Process Management Marc Voorhoeve
1999	—	`conf`	Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS Wil M. P. van der Aalst, Twan Basten, H. M. W. Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve
1997	—	`conf`	Ad-hoc Workflow: Problems and Solutions. DEXA Workshop Marc Voorhoeve, Wil M. P. van der Aalst
1996	—	`conf`	Conservative adaption of workflow. PAKM Marc Voorhoeve, Wil M. P. van der Aalst
1995	—	`conf`	An Algebraic Semantics for Hierarchical P/T Nets. Application and Theory of Petri Nets Twan Basten, Marc Voorhoeve
1995	J	`jnl`	Simulating and analyzing railway interlockings in ExSpect. IEEE Parallel Distributed Technol. Syst. Appl. Twan Basten, Roland N. Bol, Marc Voorhoeve
1991	J	`jnl`	A modeling environment for decision support systems. Decis. Support Syst. Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1991	—	`conf`	The EXSPECT Tool. VDM Europe (1) Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1991	—	`conf`	Z and High Level Petri Nets. VDM Europe (1) Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1990	—	`conf`	A Formal Framework for Dynamic modelling of Information Systems. DMIS Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1989	C	`conf`	Executable Specifications for Distributed Information Systems. ISCO Kees M. van Hee, Lou J. Somers, Marc Voorhoeve