Wil Janssen
Wil Janssen
Managing partner InnoValor
Verifierad e-postadress på zoezi.nl - Startsida
TitelCiteras avÅr
Towards a language for coherent enterprise architecture descriptions
H Jonkers, R Van Burren, F Arbab, F De Boer, M Bonsangue, H Bosma, ...
Seventh IEEE International Enterprise Distributed Object Computing …, 2003
1292003
A business process design language
H Eertink, W Janssen, PO Luttighuis, W Teeuw, C Vissers
International Symposium on Formal Methods, 76-95, 1999
1151999
Action systems and action refinement in the development of parallel systems
W Janssen, M Poel, J Zwiers
International Conference on Concurrency Theory, 298-316, 1991
1031991
Model checking for managers
W Janssen, R Mateescu, S Mauw, P Fennema, P Van Der Stappen
International SPIN Workshop on Model Checking of Software, 92-107, 1999
891999
Verifying business processes using SPIN
W Janssen, R Mateescu, S Mauw, J Springintveld
Proceedings of the 4th International SPIN Workshop, 21-36, 1998
631998
Business models tooling and a research agenda
H Bouwman, M De Reuver, S Solaimani, D Daas, T Haaker, W Janssen, ...
The first 25, 1-28, 2012
532012
Get a grip on changing business processes
HM Franken, W Janssen
Knowledge and process management 5 (4), 208-215, 1998
411998
Protocol design by layered decomposition
W Janssen, J Zwiers
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1992
361992
Business case modelling for E-services
R van Buuren, J Gordijn, W Janssen
BLED 2005 Proceedings, 8, 2005
352005
From sequential layers to distributed processes: deriving a distributed minimum weight spanning tree algorithm
W Janssen, J Zwiers
Proceedings of the eleventh annual ACM symposium on Principles of …, 1992
341992
Layered design of parallel systems.
WPM Janssen
321996
Business model stress testing: A practical approach to test the robustness of a business model
T Haaker, H Bouwman, W Janssen, M de Reuver
Futures 89, 14-25, 2017
312017
Business model metrics: an open repository
M Heikkilä, H Bouwman, J Heikkilä, S Solaimani, W Janssen
Information Systems and e-Business Management 14 (2), 337-366, 2016
302016
Layering of real-time distributed processes
W Janssen, M Poel, J Zwiers, Q Xu
Formal Techniques in Real-Time and Fault-Tolerant Systems, 393-417, 1994
301994
Business Process Engineering
WJM Steen, H Franken, S Bouwens, W Janssen, M Steen
23
Business process engineering versus e-business engineering: A summary of case experiences
W Janssen, MWA Steen, H Franken
36th Annual Hawaii International Conference on System Sciences, 2003 …, 2003
222003
An organizational competence model for innovation intermediaries
W Janssen, H Bouwman, R van Buuren, T Haaker
European Journal of Innovation Management 17 (1), 2-24, 2014
212014
An organizational competence model for innovation intermediaries
W Janssen, H Bouwman, R van Buuren, T Haaker
European Journal of Innovation Management 17 (1), 1-1, 2013
212013
Partial order based design of concurrent systems
J Zwiers, W Janssen
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
191993
Rapid Service Development: an integral approach to e-business engineering
W Janssen, M Steen
Web Engineering, 119-132, 2001
182001
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20