Mauw, S.
Mauw, Sjouke.
Mauw, S. (Sjouke)
Mauw, Sjouke, 1961-....
Sjouke Mauw
VIAF ID: 59186302 ( Personal )
Permalink: http://viaf.org/viaf/59186302
Preferred Forms
- 200 _ | ‡a Mauw ‡b S.
- 100 1 _ ‡a Mauw, S
-
-
- 100 1 _ ‡a Mauw, S.
-
-
- 100 1 _ ‡a Mauw, Sjouke
- 100 1 _ ‡a Mauw, Sjouke
- 100 1 _ ‡a Mauw, Sjouke, ‡d 1961-....
-
- 100 0 _ ‡a Sjouke Mauw
4xx's: Alternate Name Forms (12)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
An algebraic semantics of basic message sequence charts | |
Algebraic specification of communication protocols | |
CONCUR'99:. c1999: | |
CONCUR'99 : concurrency theory : 10th international conference, Eindhoven, The Netherlands, August 24-27, 1999 : proceedings | |
A constructive version of the approximation induction priciple | |
Cybersécurité des véhicules connectés : contributions pour améliorer l'analyse des risques et la sécurité des communications embarquées. | |
Empty interworkings and refinement semantics of interworkings revised | |
Example specifications in phi-SDL | |
Graphical Models for Security : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers | |
Impossible futures and determinism | |
Language-driven system design | |
Message sequence charts in the software engineering process | |
Modélisation formelle et analyse quantitative de la sécurité à l'aide d'arbres d'attaque et de défense. | |
Operational semantics and verification of security protocols | |
Process algebra as a tool for the specification and verification of CIM-architectures | |
A process algebra for interworkings | |
Public key infrastructure : 5th European PKI workshop: theory and practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008 : proceedings | |
Regularity of BPA-systems is decidable | |
Security and Trust Management : 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings | |
Specification of tools for message sequence charts | |
Specifying internet applications with Dicons | |
Trust Management X : 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings | |
Why men (and octopuses) cannot juggle a four ball cascade |