Concepedia

Sjouke Mauw

SM

Statistics

Publications

46

Citations

1.4K

H-Index

22

Active since

1990

Affiliations

University of Luxembourg(Current)

Eindhoven University of Technology

Centrum Wiskunde & Informatica

Sjouke Mauw is an author at University of Luxembourg specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationData SecurityFormal MethodsInformation SecurityCryptographyData PrivacySystems EngineeringVerification

Publications per year

1990–2022

46

Publications

46

Attack-defense trees

Barbara Kordy, Sjouke Mauw, Saša Radomirović et al. · Journal of Logic and Computation · 2012 · 168 citations · Full text

Engineering, Information Security, Software Analysis +16

An Algebraic Semantics of Basic Message Sequence Charts

Sjouke Mauw · The Computer Journal · 1994 · 116 citations · Full text

Engineering, Message Sequence Charts, Software Engineering +24

A Process Specification Formalism1

Sjouke Mauw, G. J. Veltink · Fundamenta Informaticae · 1990 · 77 citations

Engineering, Verification, Process Specification Formalism1 +24

Design and analysis of dynamic leader election protocols in broadcast networks

Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans et al. · Distributed Computing · 1996 · 69 citations · Full text

Network Science, Network Communication Protocol, Distributed Coordination +5

Injective synchronisation: An extension of the authentication hierarchy

Cas Cremers, Sjouke Mauw, E.P. de Vink · Theoretical Computer Science · 2006 · 61 citations · Full text

Hardware Security, Authentication Hierarchy, Authentication Authorization +9

1–5 of 46