Searching for authors named "Wil Janssen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

A Strategic Approach to Transformational Design
by Jürgen Bohn, Wil Janssen
… &Wil Janssen University of Oldenburg 1 2 ABSTRACT Designing parallel systems in a correct way…
Add To MetaCart

The compositional approach to sequential consistency and lazy caching
by Wil Janssen, Mannes Poel — 1999 — Dist. Comp
… caching Wil Janssen, Mannes Poel, Job Zwiers University of Twente, NL-7500 AE Enschede, The Netherlands…
Cited by 5 (0 self) – Add To MetaCart

Verifying Business Processes using SPIN
by Wil Janssen, Radu Mateescu, Sjouke Mauw, Jan Springintveld — 1998 — Proceedings of the 4th International SPIN Workshop
…Verifying Business Processes using SPIN Wil Janssen 1 Radu Mateescu 2y Sjouke Mauw 2;3 Jan…
Cited by 7 (2 self) – Add To MetaCart

What makes business processes special? An evaluation framework for modelling languages and tools
by Wil Janssen, Henk Jonkers, Jack Verhoosel — 1997 — in Business Process Redesign, in Siau, Wand and Parsons (eds.), Proc. 2nd CAiSE/IFIP 8.1 Int. Workshop on Evaluation of Modelling Methods in Systems Analysis and Design
… in Business Process Redesign † Wil Janssen, Henk Jonkers and Jack Verhoosel, Telematics Research Centre P…
Cited by 10 (4 self) – Add To MetaCart

The Primordial Soup Algorithm
by Systematic Approach To, Wil Janssen, S Sikkel — 1991 — In Proc. Computing Science in the Netherlands
… Parsers Wil Janssen, Mannes l)oel, t(laa,s Sikkel, Job Zwicrs University of Twente, Dept. of Computer…
Add To MetaCart

A Unified Framework for Design and Performance Analysis of Distributed Systems
by Henk Jonkers, Wil Janssen, Anneke Verschut, Erik Wierstra, Telematica Instituut — 1998 — in Proceedings of the 3rd Annual IEEE International Computer Performance and Dependability Symposium (IPDS”98
…A Unified Framework for Design and Performance Analysis of Distributed Systems Henk Jonkers, Wil…
Cited by 5 (2 self) – Add To MetaCart

Integrated System and Process Analysis
by The Right Technique, Henk Jonkers, Wil Janssen, Henry Franken — 1999
… Jonkers, Wil Janssen, and Henry Franken During the design of distributed systems and (business) processes…
Add To MetaCart

Model Checking for Managers
by Wil Janssen Radu, Radu Mateescu, Sjouke Mauw, Peter Fennema — 1999 — In Theoretical and Practical Aspects of SPIN Model Checking, volume 1680 of LNCS
…Model Checking for Managers Wil Janssen 1 , Radu Mateescu 2 , Sjouke Mauw 3,4 , Peter Fennema 1…
Add To MetaCart

Verifying Business Processes using SPIN
by Wil Janssen Radu, Radu Mateescu, Sjouke Mauw — 1998 — Proceedings of the 4th International SPIN Workshop
…Verifying Business Processes using SPIN Wil Janssen 1 Radu Mateescu 2y Sjouke Mauw 2�3 Jan…
Add To MetaCart

Business Process Engineering versus E-Business Engineering
by Summary Of Case, Wil Janssen, Maarten W. A. Steen, Henry Franken — In: HICSS’03: Proceedings of the 36 th Hawaii International Conference on System Sciences, 2002
… Engineering versus E-Business Engineering A summary of case experiences Wil Janssen 1 , Maarten W. A. Steen 1…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB