S Mauw, M Oostdijk

Information Security and Cryptology-ICISC 2005: 8th International Conference …, 2006

B Kordy, S Mauw, S Radomirović, P Schweitzer

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010 …, 2011

S Mauw, MA Reniers

The computer journal 37 (4), 269-277, 1994

B Kordy, S Mauw, S Radomirović, P Schweitzer

Journal of Logic and Computation 24 (1), 55-87, 2014

A Belinfante, J Feenstra, RG de Vries, J Tretmans, N Goga, L Feijs, ...

Testing of Communicating Systems: Methods and Applications, 179-196, 1999

C Cremers, S Mauw

Operational Semantics and Verification of Security Protocols, 2012

S Mauw, GJ Veltink

Fundamenta Informaticae 13 (2), 85-139, 1990

S Mauw, MA Reniers

SDL'97: Time for Testing, 291-306, 1997

A Engels¹, L Feijs¹, S Mauw¹

Tools and Algorithms for the Construction and Analysis of Systems: Third …, 1997

JJ Brunekreef, JP Katoen, R Koymans, S Mauw

Distributed Computing 9 (4), 157-171, 1996

B Kordy, P Kordy, S Mauw, P Schweitzer

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013

W Janssen, R Mateescu, S Mauw, P Fennema, P Van Der Stappen

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th …, 1999

S Mauw, JHS Verschuren, EP de Vink

ESORICS 4, 109-124, 2004

R Jhawar, B Kordy, S Mauw, S Radomirović, R Trujillo-Rasua

ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International …, 2015

S Mauw, GJ Veltink

Cambridge university press, 1993

T Van Deursen, S Mauw, S Radomirović

Information Security Theory and Practices. Smart Devices, Convergence and …, 2008

S Andova, C Cremers, K Gjøsteen, S Mauw, SF Mjølsnes, S Radomirović

Information and Computation 206 (2-4), 425-459, 2008

C Cremers, S Mauw

Scenarios: Models, Transformations and Tools: International Workshop …, 2005

S Mauw

Computer Networks and ISDN Systems 28 (12), 1643-1657, 1996

H Jonker, S Mauw, J Pang

Computer Science Review 10, 1-30, 2013