S Mauw, M Oostdijk

International Conference on Information Security and Cryptology, 186-198, 2005

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

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

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

Journal of logic and computation 24 (1), 55-87, 2014

S Mauw, MA Reniers

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

C Cremers, S Mauw

Operational Semantics and Verification of Security Protocols, 2012

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

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

S Mauw, MA Reniers

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

S Mauw, GJ Veltink

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

A Engels, L Feijs, S Mauw

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

B Kordy, P Kordy, S Mauw, P Schweitzer

International conference on quantitative evaluation of systems, 173-176, 2013

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

IFIP International Information Security and Privacy Conference, 339-353, 2015

J Brunekreef, JP Katoen, R Koymans, S Mauw

Distributed Computing 9, 157-171, 1996

S Mauw, JHS Verschuren, EP de Vink

Computer Security–ESORICS 2004: 9th European Symposium on Research in …, 2004

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, GJ Veltink

Cambridge university press, 1993

T Van Deursen, S Mauw, S Radomirović

IFIP International Workshop on Information Security Theory and Practices, 1-15, 2008

H Jonker, S Mauw, J Pang

Computer Science Review 10, 1-30, 2013

C Cremers, S Mauw

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

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

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

CF Torres, H Jonker, S Mauw

Computer Security--ESORICS 2015: 20th European Symposium on Research in …, 2015