Sjouke Mauw

	2012
69		Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw: Game-based verification of contract signing protocols with minimal messages. ISSE 8(2): 111-124 (2012)
	2011
68		Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter: A Study of the PDGF Signaling Pathway with PRISM CompMod 2011: 65-81
67		Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen: Fairness in Non-Repudiation Protocols. STM 2011: 122-139
66		Gabriele Lenzini, Sjouke Mauw, Jun Pang: Selective Location Blinding Using Hash Chains. Security Protocols Workshop 2011: 132-141
65		Sjouke Mauw: Selective Location Blinding Using Hash Chains (Transcript of Discussion). Security Protocols Workshop 2011: 142-149
64		Ton van Deursen, Sjouke Mauw, Sasa Radomirovic: mCarve: Carving Attributed Dump Sets. USENIX Security Symposium 2011
63		Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang: A Group Signature Based Electronic Toll Pricing System CoRR abs/1108.0574: (2011)
	2010
62		Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer: Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust 2010: 80-95
61		Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer: Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. GameSec 2010: 245-256
60		Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw: A Trust-Augmented Voting Scheme for Collaborative Privacy Management. STM 2010: 132-146
59		Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer: Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent CoRR abs/1006.2732: (2010)
	2009
58		Hugo L. Jonker, Sjouke Mauw, Jun Pang: Measuring Voter-Controlled Privacy. ARES 2009: 289-298
57		Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti: Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF 2009: 13-25
56		Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers: Secure Ownership and Ownership Transfer in RFID Systems. ESORICS 2009: 637-654
55		Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw: Game-Based Verification of Multi-Party Contract Signing Protocols. Formal Aspects in Security and Trust 2009: 186-200
54		Baptiste Alcalde, Sjouke Mauw: An Algebra for Trust Dilution and Trust Fusion. Formal Aspects in Security and Trust 2009: 4-20
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	Baptiste Alcalde	[54] [60]
2	Suzana Andova	[44] [49]
3	Jos C. M. Baeten	[4] [8] [21] [27] [28]
4	Harm M. A. van Beek	[27] [28] [34]
5	Axel Belinfante	[20]
6	Jan A. Bergstra	[4] [5]
7	Stefan Blom	[38]
8	Sem C. Borst (Simon C. Borst)	[32]
9	Bert Bos	[45]
10	Onno J. Boxma	[32]
11	Jacob Brunekreef	[11]
12	J. G. Cederquist (Jan Cederquist)	[47]
13	Pieter Ceelen	[50]
14	Xihui Chen	[63]
15	Cas J. F. Cremers	[33] [36] [39] [42] [43] [44] [49]
16	Pedro R. D'Argenio	[10]
17	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[47] [57]
18	Ton van Deursen	[51] [56] [64]
19	André Engels	[14] [16] [19] [29]
20	Jan Feenstra	[20]
21	Loe M. G. Feijs	[14] [19] [20] [22] [23] [30]
22	Peter Fennema	[18]
23	Tomás Garciá Garciá	[23]
24	Kristian Gjøsteen	[44] [49]
25	Nicolae Goga	[20] [22] [30]
26	Ajeesh Gopalakrishnan	[40]
27	Jan Friso Groote	[25] [32] [38]
28	Lex Heerink	[20]
29	Wim H. Hesselink	[25]
30	Valérie Issarny	[43]
31	Wojciech Jamroga (Wojtek Jamroga)	[67]
32	Wil Janssen	[18]
33	Hugo L. Jonker (Hugo Jonker)	[53] [58]
34	Joost-Pieter Katoen	[11]
35	Sokratis K. Katsikas	[52]
36	Barbara Kordy	[59] [61] [62]
37	Ron Koymans	[11]
38	Gabriele Lenzini	[63] [66]
39	Fabio Massacci	[48]
40	Radu Mateescu	[18]
41	Matthijs Melissen	[59] [61] [67]
42	Stig Fr. Mjølsnes	[44] [49] [52]
43	Erik Moll	[40]
44	Hans Mulder	[9]
45	Gopakumar Nair	[40]
46	Martijn Oostdijk	[41]
47	Jun Pang	[53] [55] [58] [60] [63] [66] [68] [69]
48	Frank Piessens	[48]
49	Sasa Radomirovic	[44] [49] [50] [51] [56] [57] [62] [64]
50	Michel A. Reniers	[7] [13] [15] [16] [17] [29]
51	Thomas Sauter	[68]
52	Patrick Schweitzer	[59] [61] [62]
53	Alexander Serebrenik	[38]
54	Petra van der Stappen	[18]
55	Yanjie Sun	[60]
56	Panuwat Trairatphisan	[68]
57	Jan Tretmans	[20] [30]
58	Gert J. Veltink	[2] [4] [6]
59	Rogier Vermeulen	[25]
60	Jan Verschuren	[37] [46]
61	Ivo van Vessem	[45]
62	Erik P. de Vink	[37] [39] [42] [46]
63	Marc Voorhoeve	[24]
64	Harald P. E. Vranken	[23]
65	René G. de Vries	[20]
66	Pim Vullers	[56]
67	Freek Wiedijk	[3] [5]
68	Wouter T. Wiersma	[31] [35]
69	Monique Wiesinger	[68]
70	Tim A. C. Willemse	[31] [35]
71	Qixia Yuan	[68]
72	Chenyi Zhang	[55] [60] [69]
73	Ying Zhang	[55] [69]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page