Sjouke Mauw - Google Scholar

Cited by

	All	Since 2015
Citations	4839	1729
h-index	37	20
i10-index	92	42

380

190

285

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202048 51 60 69 64 51 89 85 131 110 124 123 134 155 198 177 225 191 179 211 255 276 266 285 331 331 370 143

Co-authors

Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Sasa RadomirovicHeriot-Watt UniversityVerified email at hw.ac.uk
Jun PangUniversity of LuxembourgVerified email at uni.lu
L.M.G. (Loe) FeijsProfessor of Industrial Design TU EindhovenVerified email at tue.nl
Rolando Trujillo RasúaLecturer at Deakin UniversityVerified email at deakin.edu.au
Hugo JonkerOpen UniversiteitVerified email at ou.nl
Gerrit Jan VeltinkProfessor of Media and Computer ScienceVerified email at hs-emden-leer.de
N. GogaVerified email at rug.nl
Jos BaetenVerified email at cwi.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu
Ravi JhawarPwC LuxembourgVerified email at pwc.com
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Wil JanssenManaging partner InnoValorVerified email at zoezi.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Xihui ChenUniversity of LuxembourgVerified email at uni.lu
Olga GadyatskayaAssistant professor at LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Jorge Toro-PozoETH ZürichVerified email at inf.ethz.ch

Sjouke Mauw

Professor in Security and Trust of Software Systems, University of Luxembourg

Verified email at uni.lu - Homepage

security trust formal methods computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Foundations of attack trees S Mauw, M Oostdijk International Conference on Information Security and Cryptology, 186-198, 2005	478	2005
Foundations of attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer International Workshop on Formal Aspects in Security and Trust, 80-95, 2010	228	2010
An algebraic semantics of basic message sequence charts S Mauw, MA Reniers The computer journal 37 (4), 269-277, 1994	208	1994
Formal test automation: A simple experiment A Belinfante, J Feenstra, RG de Vries, J Tretmans, N Goga, L Feijs, ... Testing of Communicating Systems, 179-196, 1999	179	1999
A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13 (2), 85-139, 1990	152	1990
High-level message sequence charts S Mauw, MA Reniers SDL'97: Time for Testing, 291-306, 1997	150	1997
Attack–defense trees B Kordy, S Mauw, S Radomirović, P Schweitzer Journal of Logic and Computation 24 (1), 55-87, 2014	135	2014
Test generation for intelligent networks using model checking A Engels, L Feijs, S Mauw International Workshop on Tools and Algorithms for the Construction and …, 1997	135	1997
Security properties C Cremers, S Mauw Operational Semantics and Verification of Security Protocols, 37-65, 2012	116	2012
Design and analysis of dynamic leader election protocols in broadcast networks J Brunekreef, JP Katoen, R Koymans, S Mauw Distributed Computing 9 (4), 157, 1996	110	1996
Algebraic specification of communication protocols S Mauw, GJ Veltink Cambridge university press, 2008	95	2008
Model checking for managers W Janssen, R Mateescu, S Mauw, P Fennema, P Van Der Stappen International SPIN Workshop on Model Checking of Software, 92-107, 1999	95	1999
A formalization of anonymity and onion routing S Mauw, JHS Verschuren, EP de Vink European Symposium on Research in Computer Security, 109-124, 2004	93	2004
A new formal proof model for RFID location privacy J Ha, S Moon, J Zhou, J Ha European symposium on research in computer security, 267-281, 2008	88	2008
Untraceability of RFID protocols T Van Deursen, S Mauw, S Radomirović IFIP International Workshop on Information Security Theory and Practices, 1-15, 2008	87	2008
ADTool: security analysis with attack–defense trees B Kordy, P Kordy, S Mauw, P Schweitzer International conference on quantitative evaluation of systems, 173-176, 2013	84*	2013
Operational semantics of security protocols C Cremers, S Mauw Scenarios: Models, Transformations and Tools, 66-89, 2005	78	2005
A framework for compositional verification of security protocols S Andova, C Cremers, K Gjøsteen, S Mauw, SF Mjølsnes, S Radomirović Information and Computation 206 (2-4), 425-459, 2008	77	2008
The formalization of message sequence charts S Mauw Computer Networks and ISDN Systems 28 (12), 1643-1657, 1996	75	1996
Verifying business processes using SPIN W Janssen, R Mateescu, S Mauw, J Springintveld Proceedings of the 4th International SPIN Workshop, 21-36, 1998	67	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors