Sjouke Mauw

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	EE	Ton van Deursen, Sjouke Mauw, Sasa Radomirovic: Untraceability of RFID Protocols. WISTP 2008: 1-15
50	EE	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	EE	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	EE	Fabio Massacci, Frank Piessens, Sjouke Mauw: Preface. Sci. Comput. Program. 74(1-2): 1 (2008)
2007
47	EE	Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw: A Certified Email Protocol Using Key Chains. AINA Workshops (1) 2007: 525-530
46	EE	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	EE	Sjouke Mauw, Ivo van Vessem, Bert Bos: Forward Secure Communication in Wireless Sensor Networks. SPC 2006: 32-42
44	EE	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	EE	Sjouke Mauw, Valérie Issarny, Cas J. F. Cremers: Preface. Electr. Notes Theor. Comput. Sci. 157(3): 1-2 (2006)
42	EE	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	EE	Sjouke Mauw, Martijn Oostdijk: Foundations of Attack Trees. ICISC 2005: 186-198
40	EE	Gopakumar Nair, Ajeesh Gopalakrishnan, Sjouke Mauw, Erik Moll: XML Security in the Next Generation Optical Disc Context. Secure Data Management 2005: 217-233
39	EE	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	EE	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	EE	Sjouke Mauw, Jan Verschuren, Erik P. de Vink: A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124
36	EE	Cas J. F. Cremers, Sjouke Mauw: Checking Secrecy by Means of Partial Order Reduction. SAM 2004: 171-188
35	EE	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	EE	Harm M. A. van Beek, Sjouke Mauw: Automatic Conformance Testing of Internet Applications. FATES 2003: 205-222
33	EE	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	EE	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	EE	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	EE	Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw: Specifying internet applications with DiCons. SAC 2001: 576-584
27	EE	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	EE	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	EE	Marc Voorhoeve, Sjouke Mauw: Impossible futures and determinism. Inf. Process. Lett. 80(1): 51-58 (2001)
2000
23	EE	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	EE	Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen: Model Checking for Managers. SPIN 1999: 92-107
17	EE	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	EE	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]
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	Joost-Pieter Katoen	[11]
31	Sokratis K. Katsikas	[52]
32	Ron Koymans	[11]
33	Fabio Massacci	[48]
34	Radu Mateescu	[18]
35	Stig Fr. Mjølsnes	[44] [49] [52]
36	Erik Moll	[40]
37	Hans Mulder	[9]
38	Gopakumar Nair	[40]
39	Martijn Oostdijk	[41]
40	Frank Piessens	[48]
41	Sasa Radomirovic	[44] [49] [50] [51]
42	Michel A. Reniers	[7] [13] [15] [16] [17] [29]
43	Alexander Serebrenik	[38]
44	Petra van der Stappen	[18]
45	Jan Tretmans	[20] [30]
46	Gert J. Veltink	[2] [4] [6]
47	Rogier Vermeulen	[25]
48	Jan Verschuren	[37] [46]
49	Ivo van Vessem	[45]
50	Erik P. de Vink	[37] [39] [42] [46]
51	Marc Voorhoeve	[24]
52	Harald P. E. Vranken	[23]
53	René G. de Vries	[20]
54	Freek Wiedijk	[3] [5]
55	Wouter T. Wiersma	[31] [35]
56	Tim A. C. Willemse	[31] [35]

Colors in the list of coauthors