Sjouke Mauw

	2009
54		Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers: Secure Ownership and Ownership Transfer in RFID Systems. ESORICS 2009: 637-654
53		Hugo L. Jonker, Sjouke Mauw, Jun Pang: A formal framework for quantifying voter-controlled privacy. J. Algorithms 64(2-3): 89-105 (2009)
	2008
52		Stig Fr. Mjølsnes, Sjouke Mauw, Sokratis K. Katsikas: Public Key Infrastructure, 5th European PKI Workshop: Theory and Practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008, Proceedings Springer 2008
51		Ton van Deursen, Sjouke Mauw, Sasa Radomirovic: Untraceability of RFID Protocols. WISTP 2008: 1-15
50		Pieter Ceelen, Sjouke Mauw, Sasa Radomirovic: Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. Electr. Notes Theor. Comput. Sci. 197(2): 31-43 (2008)
49		Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols. Inf. Comput. 206(2-4): 425-459 (2008)
48		Fabio Massacci, Frank Piessens, Sjouke Mauw: Preface. Sci. Comput. Program. 74(1-2): 1 (2008)
	2007
47		Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw: A Certified Email Protocol Using Key Chains. AINA Workshops (1) 2007: 525-530
46		Sjouke Mauw, Jan Verschuren, Erik P. de Vink: Data Anonymity in the FOO Voting Scheme. Electr. Notes Theor. Comput. Sci. 168: 5-28 (2007)
	2006
45		Sjouke Mauw, Ivo van Vessem, Bert Bos: Forward Secure Communication in Wireless Sensor Networks. SPC 2006: 32-42
44		Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols CoRR abs/cs/0611062: (2006)
43		Sjouke Mauw, Valérie Issarny, Cas J. F. Cremers: Preface. Electr. Notes Theor. Comput. Sci. 157(3): 1-2 (2006)
42		Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink: Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. 367(1-2): 139-161 (2006)
	2005
41		Sjouke Mauw, Martijn Oostdijk: Foundations of Attack Trees. ICISC 2005: 186-198
40		Gopakumar Nair, Ajeesh Gopalakrishnan, Sjouke Mauw, Erik Moll: XML Security in the Next Generation Optical Disc Context. Secure Data Management 2005: 217-233
39		Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink: A Syntactic Criterion for Injectivity of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 135(1): 23-38 (2005)
38		Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik: Analysing the BKE-security Protocol with µCRL. Electr. Notes Theor. Comput. Sci. 139(1): 49-90 (2005)
	2004
37		Sjouke Mauw, Jan Verschuren, Erik P. de Vink: A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124
36		Cas J. F. Cremers, Sjouke Mauw: Checking Secrecy by Means of Partial Order Reduction. SAM 2004: 171-188
35		Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse: Language-Driven System Design. International Journal of Software Engineering and Knowledge Engineering 14(6): 625-663 (2004)
	2003
34		Harm M. A. van Beek, Sjouke Mauw: Automatic Conformance Testing of Internet Applications. FATES 2003: 205-222
33		Cas J. F. Cremers, Sjouke Mauw: Operational Semantics of Security Protocols. Scenarios: Models, Transformations and Tools 2003: 66-89
32		Sem C. Borst, Onno J. Boxma, Jan Friso Groote, Sjouke Mauw: Task Allocation in a Multi-Server System. J. Scheduling 6(5): 423-436 (2003)
	2002
31		Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse: Language Driven System Design. HICSS 2002: 280
30		Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans: Test Selection, Trace Distance and Heuristics. TestCom 2002: 267-282
29		André Engels, Sjouke Mauw, Michel A. Reniers: A hierarchy of communication models for Message Sequence Charts. Sci. Comput. Program. 44(3): 253-292 (2002)
	2001
28		Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw: Specifying internet applications with DiCons. SAC 2001: 576-584
27		Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw: An MSC Based Representation of DiCons. SDL Forum 2001: 328-347
26		Sjouke Mauw: Introduction by the guest editor. Comput. Lang. 27(1/3): 1-2 (2001)
25		Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen: An algorithm for the asynchronous Write-All problem based on process collision. Distributed Computing 14(2): 75-81 (2001)
24		Marc Voorhoeve, Sjouke Mauw: Impossible futures and determinism. Inf. Process. Lett. 80(1): 51-58 (2001)
	2000
23		Harald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs: IC Design Validation Using Message Sequence Charts. EUROMICRO 2000: 1122-
22		Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw: Probabilities In The Torx Test Derivation Algorithm. SAM 2000: 173-188
	1999
21		Jos C. M. Baeten, Sjouke Mauw: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings Springer 1999
20		Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink: Formal Test Automation: A Simple Experiment. IWTCS 1999: 179-196
19		André Engels, Loe M. G. Feijs, Sjouke Mauw: MSC and data: dynamic variables. SDL Forum 1999: 105-
18		Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen: Model Checking for Managers. SPIN 1999: 92-107
17		Sjouke Mauw, Michel A. Reniers: Operational Semantics for MSC'96. Computer Networks 31(17): 1785-1799 (1999)
	1997
16		André Engels, Sjouke Mauw, Michel A. Reniers: A Hierarchy of Communication Models for Message Sequence Charts. FORTE 1997: 75-90
15		Sjouke Mauw, Michel A. Reniers: High-level message sequence charts. SDL Forum 1997: 291-306
14		André Engels, Loe M. G. Feijs, Sjouke Mauw: Test Generation for Intelligent Networks Using Model Checking. TACAS 1997: 384-398
	1996
13		Sjouke Mauw, Michel A. Reniers: Refinement in Interworkings. CONCUR 1996: 671-686
12		Sjouke Mauw: The Formalization of Message Sequence Charts. Computer Networks and ISDN Systems 28(12): 1643-1657 (1996)
11		Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw: Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing 9(4): 157-171 (1996)
	1995
10		Pedro R. D'Argenio, Sjouke Mauw: Delayed choice for process algebra with abstraction. CONCUR 1995: 501-515
	1994
9		Sjouke Mauw, Hans Mulder: Regularity of BPA-Systems is Decidable. CONCUR 1994: 34-47
8		Jos C. M. Baeten, Sjouke Mauw: Delayed choice: an operator for joining Message Sequence Charts. FORTE 1994: 340-354
7		Sjouke Mauw, Michel A. Reniers: An Algebraic Semantics of Basic Message Sequence Charts. Comput. J. 37(4): 269-278 (1994)
	1991
6		Sjouke Mauw, Gert J. Veltink: A Proof Assistant for PSF. CAV 1991: 158-168
5		Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk: Uniform Algebraic Specifications of Finite Sets with Equality. Int. J. Found. Comput. Sci. 2(1): 43-65 (1991)
	1989
4		Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink: A Process Specification Formalism Based on Static COLD. Algebraic Methods 1989: 303-335
3		Sjouke Mauw, Freek Wiedijk: Specification of the Transit Node in PSFd. Algebraic Methods 1989: 341-361
2		Sjouke Mauw, Gert J. Veltink: An Introduction to PSFd. TAPSOFT, Vol.2 1989: 272-285
	1987
1		Sjouke Mauw: An Algebraic Specification of Process Algebra, Including Two Examples. Algebraic Methods 1987: 507-554

Coauthor Index

1	Suzana Andova	[44] [49]
2	Jos C. M. Baeten	[4] [8] [21] [27] [28]
3	Harm M. A. van Beek	[27] [28] [34]
4	Axel Belinfante	[20]
5	Jan A. Bergstra	[4] [5]
6	Stefan Blom	[38]
7	Sem C. Borst (Simon C. Borst)	[32]
8	Bert Bos	[45]
9	Onno J. Boxma	[32]
10	Jacob Brunekreef	[11]
11	J. G. Cederquist (Jan Cederquist)	[47]
12	Pieter Ceelen	[50]
13	Cas J. F. Cremers	[33] [36] [39] [42] [43] [44] [49]
14	Pedro R. D'Argenio	[10]
15	Muhammad Torabi Dashti	[47]
16	Ton van Deursen	[51] [54]
17	André Engels	[14] [16] [19] [29]
18	Jan Feenstra	[20]
19	Loe M. G. Feijs	[14] [19] [20] [22] [23] [30]
20	Peter Fennema	[18]
21	Tomás Garciá Garciá	[23]
22	Kristian Gjøsteen	[44] [49]
23	Nicolae Goga	[20] [22] [30]
24	Ajeesh Gopalakrishnan	[40]
25	Jan Friso Groote	[25] [32] [38]
26	Lex Heerink	[20]
27	Wim H. Hesselink	[25]
28	Valérie Issarny	[43]
29	Wil Janssen	[18]
30	Hugo L. Jonker	[53]
31	Joost-Pieter Katoen	[11]
32	Sokratis K. Katsikas	[52]
33	Ron Koymans	[11]
34	Fabio Massacci	[48]
35	Radu Mateescu	[18]
36	Stig Fr. Mjølsnes	[44] [49] [52]
37	Erik Moll	[40]
38	Hans Mulder	[9]
39	Gopakumar Nair	[40]
40	Martijn Oostdijk	[41]
41	Jun Pang	[53]
42	Frank Piessens	[48]
43	Sasa Radomirovic	[44] [49] [50] [51] [54]
44	Michel A. Reniers	[7] [13] [15] [16] [17] [29]
45	Alexander Serebrenik	[38]
46	Petra van der Stappen	[18]
47	Jan Tretmans	[20] [30]
48	Gert J. Veltink	[2] [4] [6]
49	Rogier Vermeulen	[25]
50	Jan Verschuren	[37] [46]
51	Ivo van Vessem	[45]
52	Erik P. de Vink	[37] [39] [42] [46]
53	Marc Voorhoeve	[24]
54	Harald P. E. Vranken	[23]
55	René G. de Vries	[20]
56	Pim Vullers	[54]
57	Freek Wiedijk	[3] [5]
58	Wouter T. Wiersma	[31] [35]
59	Tim A. C. Willemse	[31] [35]

Colors in the list of coauthors