![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Marc Voorhoeve
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
- [p1]Arjan J. Mooij, Marc Voorhoeve:
Specification and Generation of Adapters for System Integration. Situation Awareness with Systems of Systems 2013: 173-187 - 2011
- [j14]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
:
Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3): 333-363 (2011) - [c25]Nikola Trcka, Marc Voorhoeve, Twan Basten
:
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. ACSD 2011: 13-18 - 2010
- [j13]Arjan J. Mooij, Christian Stahl, Marc Voorhoeve:
Relating fair testing and accordance for service replaceability. J. Log. Algebraic Methods Program. 79(3-5): 233-244 (2010) - [c24]Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve:
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. WS-FM 2010: 116-130
2000 – 2009
- 2009
- [j12]Kees M. van Hee, Natalia Sidorova
, Marc Voorhoeve, Jan Martijn E. M. van der Werf:
Generation of Database Transactions with Petri Nets. Fundam. Informaticae 93(1-3): 171-184 (2009) - [j11]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
:
Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. 3: 50-70 (2009) - [c23]Arjan J. Mooij, Marc Voorhoeve:
Trading Off Concurrency to Generate Behavioral Adapters. ACSD 2009: 109-118 - 2008
- [j10]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik
, Natalia Sidorova
, Marc Voorhoeve:
History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. 64(1): 24-37 (2008) - [c22]Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten
, Marc Geilen
, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers:
Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS 2008: 170-187 - [c21]Arjan J. Mooij, Marc Voorhoeve:
Proof Techniques for Adapter Generation. WS-FM 2008: 207-223 - 2007
- [j9]Kees M. van Hee, Alexander Serebrenik
, Natalia Sidorova
, Marc Voorhoeve, Jan van der Wal:
Scheduling-free resource management. Data Knowl. Eng. 61(1): 59-75 (2007) - [j8]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova:
Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae 79(3-4): 347-362 (2007) - [j7]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik
, Natalia Sidorova
, Marc Voorhoeve:
LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. 65(1): 30-40 (2007) - [j6]Jan Friso Groote
, Marc Voorhoeve:
Operational semantics for Petri net components. Theor. Comput. Sci. 379(1-2): 1-19 (2007) - [c20]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
, Marc Voorhoeve, Jan Martijn E. M. van der Werf
:
Modelling with History-Dependent Petri Nets. BPM 2007: 320-327 - 2006
- [j5]Kees M. van Hee, Natalia Sidorova
, Lou J. Somers, Marc Voorhoeve:
Consistency in model integration. Data Knowl. Eng. 56(1): 4-22 (2006) - [j4]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Resource-Constrained Workflow Nets. Fundam. Informaticae 71(2-3): 243-257 (2006) - [c19]Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova
, Marc Voorhoeve:
Nested Nets for Adaptive Systems. ICATPN 2006: 241-260 - [c18]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova
, Marc Voorhoeve:
History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240 - [c17]Rob J. van Glabbeek, Marc Voorhoeve:
Liveness, Fairness and Impossible Futures. CONCUR 2006: 126-141 - [c16]Kees M. van Hee, Olivia Oanea, Natalia Sidorova
, Marc Voorhoeve:
Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247 - [c15]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85 - 2005
- [c14]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
, Marc Voorhoeve:
Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267 - [c13]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
, Marc Voorhoeve, Jan van der Wal:
The Price of Coordination in Resource Management. Business Process Management 2005: 96-108 - 2004
- [c12]Kees M. van Hee, Natalia Sidorova
, Marc Voorhoeve:
Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215 - [c11]Kees M. van Hee, Natalia Sidorova
, Lou J. Somers, Marc Voorhoeve:
Consistency in Model Integration. Business Process Management 2004: 1-16 - 2003
- [c10]Kees M. van Hee, Natalia Sidorova
, Marc Voorhoeve:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN 2003: 337-356 - 2001
- [j3]Marc Voorhoeve, Sjouke Mauw
:
Impossible futures and determinism. Inf. Process. Lett. 80(1): 51-58 (2001) - 2000
- [c9]Marc Voorhoeve:
Compositional Modeling and Verification of Workflow Processes. Business Process Management 2000: 184-200
1990 – 1999
- 1999
- [c8]Wil M. P. van der Aalst, Twan Basten, H. M. W. Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve:
Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS 1999: 353-360 - 1997
- [c7]Marc Voorhoeve, Wil M. P. van der Aalst
:
Ad-hoc Workflow: Problems and Solutions. DEXA Workshop 1997: 36-40 - 1996
- [c6]Marc Voorhoeve, Wil M. P. van der Aalst:
Conservative adaption of workflow. PAKM 1996: 8:1-8:20 - 1995
- [j2]Twan Basten
, Roland N. Bol, Marc Voorhoeve:
Simulating and analyzing railway interlockings in ExSpect. IEEE Parallel Distributed Technol. Syst. Appl. 3(3): 50-62 (1995) - [c5]Twan Basten, Marc Voorhoeve:
An Algebraic Semantics for Hierarchical P/T Nets. Application and Theory of Petri Nets 1995: 45-65 - 1991
- [j1]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
A modeling environment for decision support systems. Decis. Support Syst. 7(3): 241-251 (1991) - [c4]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
Z and High Level Petri Nets. VDM Europe (1) 1991: 204-219 - [c3]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
The EXSPECT Tool. VDM Europe (1) 1991: 683-684 - 1990
- [c2]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
A Formal Framework for Dynamic modelling of Information Systems. DMIS 1990: 227-236
1980 – 1989
- 1989
- [c1]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
Executable Specifications for Distributed Information Systems. ISCO 1989: 157-176
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint