List of publications
Last update: 28/08/09
journals conferences books miscellaneous
Journals
- [1]
- Hugo Jonker, Sjouke Mauw, and Jun Pang.
A formal framework for quantifying voter-controlled privacy.
Journal of Algorithms in Cognition, Informatics and Logic,
64(2-3):89-105, 2009.
- [2]
- S. Andova, C.J.F. Cremers,
K. Gjøsteen, S. Mauw, S.F. Mjølsnes, and S. Radomirovic.
A framework for compositional verification of security protocols.
Information and Computation, 206:425-459, February 2008.
- [3]
- C.J.F. Cremers, S. Mauw, and E.P. de Vink.
Injective
synchronisation: an extension of the authentication hierarchy.
Theoretical Computer Science, 367(1-2):139-161, November 2006.
Special issue on ARSPA'05, (P. Degano and L. Vigano, eds.).
- [4]
- S. Mauw, W.T. Wiersma, and T.A.C. Willemse.
Language-driven system design.
International Journal of Software Engineering and Knowledge
Engineering, 14(6):625-664, December 2004.
- [5]
- Sem Borst, Onno Boxma, Jan Friso Groote,
and Sjouke Mauw.
Task
allocation in a multi-server system.
Journal of Scheduling, 6(5):423-436, 2003.
- [6]
- A.G. Engels, S. Mauw, and M.A. Reniers.
A
hierarchy of communication models for Message Sequence Charts.
Science of Computer Programming, 44(3):253-292, September
2002.
- [7]
- A.G. Engels and S. Mauw.
Why men
(and octopuses) cannot juggle a four ball cascade.
Journal of Recreational Mathematics, 31(2):117-126, 2002/2003.
- [8]
- Sjouke Mauw and Victor Bos.
Drawing
Message Sequence Charts with LaTeX .
TUGBoat, 22(1-2):87-92, March/June 2001.
- [9]
- Marc Voorhoeve and Sjouke Mauw.
Impossible
futures and determinism.
Information Processing Letters, 80(1):51-58, 2001.
- [10]
- J.F. Groote, W.H. Hesselink, S. Mauw, and
R. Vermeulen.
An algorithm
for the asynchronous write-all problem based on process collision.
Distributed Computing, 14:75-81, 2001.
- [11]
- S. Mauw and M.A. Reniers.
Operational semantics for MSC'96.
Computer Networks and ISDN Systems, 31(17):1785-1799, 1999.
- [12]
- S. Mauw.
The
formalization of Message Sequence Charts.
Computer Networks and ISDN Systems, 28(12):1643-1657, 1996.
- [13]
- J.J. Brunekreef, J.-P. Katoen, R. Koymans,
and S. Mauw.
Design
and analysis of dynamic leader election protocols in broadcast networks.
Distributed Computing, 9(4):157-171, 1996.
Full version: Department of Computer Science, Eindhoven University of
Technology report 93/37.
- [14]
- S. Mauw and M.A. Reniers.
An algebraic
semantics of Basic Message Sequence Charts.
The computer journal, 37(4):269-277, 1994.
- [15]
- S. Mauw and T. Winter.
A prototype
toolset for Interworkings.
Philips Telecommunication Review, 51(3):41-45, December 1993.
- [16]
- J.A. Bergstra, S. Mauw, and F. Wiedijk.
Uniform algebraic specifications of finite sets with equality.
Int. J. of Foundations of Computer Science, 1(2):43-65, 1991.
- [17]
- S. Mauw and G.J. Veltink.
A process specification formalism.
Fundamenta Informaticae, XIII:85-139, 1990.
Conference and workshop proceedings
- [1]
- Ying Zhang, Chenyi Zhang, Jun Pang, and Sjouke
Mauw.
Game-based verification of multi-party contract signing protocols.
In Pierpaolo Degano and Joshua Guttman, editors, Proceedings of the sixth
international Workshop on Formal Aspects in Security and Trust (FAST
2009), Lecture Notes in Computer Science, Eindhoven, The Netherlands,
2009. Springer.
To appear.
- [2]
- Baptiste Alcalde and Sjouke Mauw.
An algebra for trust dilution and trust fusion.
In Pierpaolo Degano and Joshua Guttman, editors, Proceedings of the sixth
international Workshop on Formal Aspects in Security and Trust (FAST
2009), Lecture Notes in Computer Science, Eindhoven, The Netherlands,
2009. Springer.
To appear.
- [3]
- T. van Deursen, S. Mauw, S. Radomirovic, and
P. Vullers.
Secure ownership and ownership transfer in RFID systems.
In Proc. 14th European Symposium On Research In Computer Security
(ESORICS'09), Lecture Notes in Computer Science. Springer, 2009.
To appear.
- [4]
- S. Mauw, S. Radomirovic, and M. Torabi
Dashti.
Minimal message complexity of asynchronous multi-party contract signing.
In Proceedings of the 22nd IEEE Computer Security Foundations Symposium
(CSF'09), pages 13-25. IEEE Computer Society, July 8-10 2009.
- [5]
- Hugo Jonker, Sjouke Mauw, and Jun Pang.
Measuring voter-controlled privacy.
In Proc. 4th Conference on Availability, Reliability and Security -
ARES'09, pages 289-298. IEEE Computer Society, 2009.
- [6]
- Baptiste Alcalde, Eric Dubois, Sjouke Mauw,
Nicolas Mayer, and Sasa Radomirovic.
Towards a decision model based on trust and security risk management.
In Ljiljana Brankovic and Willy Susilo, editors, Proc. 7th Australasian
Information Security Conference - AISC'09, volume 98 of
Conferences in Research and Practice in Information Technology
(CRPIT), pages 61-69. Australian Computer Society, January 20-23
2009.
- [7]
- T. van Deursen, S. Mauw, and
S. Radomirovic.
Untraceability of RFID protocols.
In Information Security Theory and Practices. Smart Devices, Convergence
and Next Generation Networks, volume 5019 of LNCS, pages
1-15, Seville, Spain, 2008. Springer.
- [8]
- J. Cederquist, M. Torabi Dashti, and S. Mauw.
A certified email protocol using key chains.
In Proceedings of the 21st International Conference on Advanced
Information Networking and Applications Workshops - Volume 01
(AINAW'07), pages 525-530, Los Alamitos, CA, USA, 2007. IEEE Computer
Society.
- [9]
- B. Bouwman, S. Mauw, and M. Petkovic.
Rights management for role-based access control.
In Fifth Annual IEEE Consumer Communications & Networking Conference
2008 (CCNC'08), pages 1085-1090, Las Vegas, USA, January 2008.
IEEE.
- [10]
- P. Ceelen, S. Mauw, and S. Radomirovic.
Chosen-name attacks: An overlooked class of type-flaw attacks.
In 3rd International Workshop on Security and Trust Management
(STM'07), volume 197 of ENTCS, pages 31-43, Dresden,
Germany, February 2008.
- [11]
- S. Mauw, J.H.S. Verschuren, and E.P.
de Vink.
Data anonymity in the FOO voting scheme.
In F. Gadducci M. ter Beek, editor, Second International Workshop on
Views On Designing Complex Architectures (VODCA 2006), volume 168 of
ENTCS, pages 5-28, Bertinoro, Italy, Feb 2007.
- [12]
- C.J.F. Cremers and S. Mauw.
A family of multi-party authentication protocols - extended abstract.
In 1st Benelux Workshop on Information and System Security --
WISSEC'06, Antwerpen, Belgium, November 2006.
- [13]
- S. Mauw, I. van Vessem, and B. Bos.
Forward secure communication in wireless sensor networks.
In John A. Clark, Richard F. Paige, Fiona Polack, and Phillip J. Brooke,
editors, Third International Conference Security in Pervasive Computing
(SPC'06), LNCS 3934, pages 32-42, York, UK, April 2006.
Springer-Verlag, Berlin.
- [14]
- S. Mauw and M. Oostdijk.
Foundations of attack trees.
In Dongho Won and Seungjoo Kim, editors, International Conference on
Information Security and Cryptology -- ICISC 2005, LNCS 3935, pages
186-198, Seoul, Korea, December 2005. Springer-Verlag, Berlin.
To appear.
- [15]
- Gopakumar G Nair, Ajeesh Gopalakrishnan,
Sjouke Mauw, and Erik Moll.
XML security in the next generation optical disc context.
In W. Jonker and M. Petkovic, editors, Second workshop on Secure Data
Management, SDM'05, LNCS 3674, pages 217-233, Trondheim, Norway,
September 2005. Springer-Verlag, Berlin.
- [16]
- C.J.F. Cremers, S. Mauw, and E.P. de Vink.
A
syntactic criterion for injectivity of authentication protocols.
In P. Degano and L. Viganò, editors, Proceedings of the Second Workshop
on Automated Reasoning for Security Protocol analysis (ARSPA 2005),
volume 135(1) of ENTCS, pages 23-38, Lisboa, Portugal, 2005.
Elsevier.
- [17]
- Stefan Blom, Jan Friso Groote, Sjouke
Mauw, and Alexander Serebrenik.
Analysing the
BKE-security protocol with mCRL.
In Proceedings of ARTS 2004, the 6th AMAST Workshop on Real-Time
Systems, volume 139(1) of ENTCS, pages 49-90, 2005.
- [18]
- C.J.F. Cremers and S. Mauw.
Operational
semantics of security protocols.
In S. Leue and T.J. Systä, editors, Scenarios: Models, Algorithms and
Tools (Dagstuhl 03371 post-seminar proceedings), LNCS 3466, pages
66-89, 2005.
- [19]
- S. Mauw, J.H.S. Verschuren, and E.P.
de Vink.
A
formalization of anonymity and onion routing.
In P. Samarati, P. Ryan, D. Gollmann, and R. Molva, editors,
ESORICS'04, pages 109-124, Sophia Antipolis, 2004.
- [20]
- C.J.F. Cremers and S. Mauw.
Checking secrecy by means of partial order reduction.
In D. Amyot and A.W. Williams, editors, SAM 2004: Security Analysis and
Modelling, volume LNCS 3319 of Proceedings of the fourth SDL and
MSC Workshop, pages 177-194, Ottawa, Canada, September 2004.
Springer-Verlag, Berlin.
- [21]
- H.L. Jonker, S. Mauw, J.H.S. Verschuren, and
A.T.S.C. Schoonen.
Security aspects of DRM systems.
In R. Pellikaan, editor, 25th Symposium on information theory in the
Benelux, pages 169-176, Kerkrade, The Netherlands, June 2004.
- [22]
- H.M.A. van Beek and S. Mauw.
Automatic conformance testing of internet applications.
In Proceedings of the Third international Workshop on Formal Approaches
to Testing of Software (FATES 2003), LNCS 2931, pages 205-222,
Montreal, Canada, October 2003.
- [23]
- C.J.F. Cremers, S. Mauw, and E.P. de Vink.
Defining authentication in a trace model.
In Theo Dimitrakos and Fabio Martinelli, editors, FAST 2003,
Proceedings of the first international Workshop on Formal Aspects in Security
and Trust, pages 131-145, Pisa, September 2003. IITT-CNR technical
report.
- [24]
- L.M.G. Feijs, N. Goga, S. Mauw, and
J. Tretmans.
Test
selection, trace distance and heuristics.
In TestCom 2002, Proceedings of the 14th International Conference
on Testing of Communicating Systems, pages 267-282, Berlin, March 2002.
Kluwer Academic Publishers.
- [25]
- S. Mauw, W.T. Wiersma, and T.A.C. Willemse.
Language-driven
system design.
In HICSS-35, Proceedings of the Thirty-Fifth Annual Hawaii
International Conference on System Sciences, minitrack on Domain-Specific
Languages for Software Engineering, Hawaii, January 2002. IEEE Computer
Society.
- [26]
- J.C.M. Baeten, H.M.A. van Beek, and
S. Mauw.
An MSC
based representation of DiCons.
In Rick Reed and Jeanne Reed, editors, SDL 2001, Proceedings of
the tenth SDL Forum, pages 328-347, Copenhagen, June 2001.
- [27]
- J.C.M. Baeten, H.M.A. van Beek, and S. Mauw.
Specifying Internet applications with DiCons.
In Proceedings 16th ACM Symposium on Applied Computing (SAC
2001), pages 576-584, Las Vegas, USA, March 2001.
- [28]
- H. Vranken, T. Garcia Garcia, S. Mauw, and
L. Feijs.
IC design
validation using Message Sequence Charts.
In Proc. 26th Euromicro Conference, Digital Systems Design
DSD'2000, volume 1, pages 122-127, Maastricht, The Netherlands,
September 5-7 2000. IEEE Computer Society.
- [29]
- L.M.G. Feijs, N. Goga, and S. Mauw.
Probabilities
in the TorX test derivation algorithm.
In Susanne Graf, Claude Jard, and Yair Lahav, editors, SAM2000 - 2nd
Workshop on SDL and MSC, pages 173-188, Col de Porte, Grenoble, June
2000. VERIMAG, IRISA, SDL Forum Society.
- [30]
- W. Janssen, R. Mateescu, S. Mauw,
P. Fennema, and P. van der Stappen.
Model
checking for managers.
In Dennis Dams, Rob Gerth, Stefan Leue, and Mieke Massink, editors,
Theoretical and practical aspects of SPIN Model Checking, Proceedings
of the 5th and 6th International SPIN Workshops, Lecture Notes in
Computer Science 1680, pages 92-107, Toulouse, France, September 1999.
Springer Verlag.
- [31]
- A. Belinfante, J. Feenstra, R.G. de Vries,
J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink.
Formal test
automation: A simple experiment.
In G. Csopaki, S. Dibuz, and K. Tarnay, editors, 12th Int. Workshop
on Testing of Communicating Systems, pages 179-196. Kluwer Academic
Publishers, 1999.
- [32]
- A.G. Engels, L.M.G. Feijs, and S. Mauw.
MSC
and data: dynamic variables.
In R. Dssouli, G.v. Bochmann, and Y. Lahav, editors, SDL'99,
Proceedings of the Ninth SDL Forum, pages 105-120, Montreal, June 21-25
1999. Elsevier Science Publishers B.V.
- [33]
- W. Janssen, R. Mateescu, S. Mauw, and
J. Springintveld.
Verifying
business processes using spin.
In Gerard Holzmann, Elie Najm, and Ahmed Serhrouchni, editors,
Proceedings of the 4th International SPIN Workshop (Paris,
France), pages 21-36, Paris, November 1998. Ecole Nationale
Supérieure des Télécommunications.
- [34]
- L.M.G. Feijs and S. Mauw.
MSC and
data.
In Yair Lahav, Adam Wolisz, Joachim Fischer, and Eckhardt Holz, editors,
SAM98 - 1st Workshop on SDL and MSC. Proceedings of the SDL Forum
Society on SDL and MSC, number 104 in Informatikberichte, pages
85-96. Humboldt-Universität Berlin, 1998.
- [35]
- A. Engels, S. Mauw, and M.A. Reniers.
A
hierarchy of communication models for Message Sequence Charts.
In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors,
FORTE/PSTV'97, pages 75-90, Osaka, Japan, november 1997.
Chapman & Hall.
- [36]
- S. Mauw and M.A. Reniers.
High-level Message Sequence Charts.
In A. Cavalli and A. Sarma, editors, SDL'97: Time for Testing - SDL, MSC
and Trends, Proceedings of the Eighth SDL Forum, pages 291-306, Evry,
France, September 1997.
- [37]
- A. Engels, L.M.G. Feijs, and S. Mauw.
Test generation for intelligent networks using model checking.
In E. Brinksma, editor, TACAS'97, Lecture Notes in Computer
Science 1217, pages 384-398. Springer, 1997.
- [38]
- S. Mauw and M.A. Reniers.
Refinement in Interworkings.
In U. Montanari and V. Sassone, editors, Proc. CONCUR'96, LNCS
1119, pages 671-686. Pisa, Springer, 1996.
- [39]
- S. Mauw and P. D'Argenio.
Delayed
choice for process algebra with abstraction.
In Proc. CONCUR '95. Philadelphia, Springer Verlag, 1995.
- [40]
- S. Mauw and E.A. van der Meulen.
Generating
tools for Message Sequence Charts.
In R. Bræk and A. Sarma, editors, SDL'95 with MSC in CASE,
Proceedings of the Seventh SDL Forum, pages 51-62, Oslo, 1995. Elsevier
Science Publishers B.V.
- [41]
- J.C.M. Baeten and S. Mauw.
Delayed
choice: an operator for joining Message Sequence Charts.
In D. Hogrefe and S. Leue, editors, Formal Description Techniques,
VII, pages 340-354. Chapman & Hall, 1995.
- [42]
- S. Mauw and J.C. Mulder.
Regularity
of BPA-systems is decidable.
In B. Jonsson and J. Parrow, editors, Proc. CONCUR '94, LNCS 836,
pages 34-47. Uppsala, Springer Verlag, 1994.
- [43]
- J.J. Brunekreef, J.-P. Katoen, R. Koymans,
and S. Mauw.
Algebraic specification of dynamic leader election protocols in broadcast
networks.
In A. Ponse, C. Verhoef, and S.F.M van Vlijmen, editors, Algebra of
Communicating Processes, Proceedings of ACP94, Workshops in Computing,
pages 338-358. Springer, 1994.
- [44]
- S. Mauw, M. van Wijk, and T. Winter.
A formal semantics of synchronous Interworkings.
In O. Færgemand and A. Sarma, editors, SDL'93 Using Objects,
Proceedings of the Sixth SDL Forum, Darmstadt, 1993. Elsevier Science
Publishers B.V.
- [45]
- S. Mauw and F. Wiedijk.
Specification of the transit node in PSFd.
In J.A. Bergstra and L.M.G. Feijs, editors, Algebraic Methods II: Theory,
Tools and Applications, Springer LNCS 490, pages 341-361, 1991.
- [46]
- S. Mauw and G.J. Veltink.
A proof assistent for PSF.
In K.G. Larsen and A. Skou, editors, Proc. Third Workshop on Computer
Aided Verification, Aalborg, 1991.
- [47]
- J.C.M. Baeten, J.A. Bergstra, S. Mauw, and
G.J. Veltink.
A process specification formalism based on static COLD.
In J.A. Bergstra and L.M.G. Feijs, editors, Algebraic Methods II: Theory,
Tools and Applications, Springer LNCS 490, pages 303-335, 1991.
- [48]
- S. Mauw.
An algebraic specification of process algebra, including two examples.
In M. Wirsing and J.A. Bergstra, editors, Algebraic Methods: Theory,
Tools and Applications, Springer LNCS 394, pages 507-554, Passau,
1989.
- [49]
- S. Mauw and G.J. Veltink.
An introduction to PSFd.
In J. Diaz and F. Orejas, editors, Proc. International Joint Conference
on Theory and Practice of Software Development, TAPSOFT '89,
Springer LNCS 352, pages 272-285, 1989.
- [50]
- S. Mauw.
A constructive version of the approximation induction principle.
In Proc. SION Conf. CSN 87, pages 235-252, Amsterdam, 1987.
Books/Book chapters/Standards/Edited volumes
- [1]
- H.L. Jonker and S. Mauw.
Handbook of research on secure multimedia distribution (Shiguo Lian and
Yan Zhang, eds.), chapter Discovering the core security requirements
of DRM systems by means of objective trees.
IGI Global publications, 2009.
- [2]
- S. Mauw, F. Massacci, and F. Piessens (guest
editors).
Special issue on security and trust.
Science of Computer Programming, 74(1-2), December 2008.
- [3]
- Stig Fr. Mjølsnes, Sjouke Mauw, and
Sokratis K. Katsikas, editors.
Public Key Infrastructure, 5th European PKI Workshop: Theory and
Practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008,
Proceedings, volume 5057 of Lecture Notes in Computer
Science. Springer, 2008.
- [4]
- H.L. Jonker and S. Mauw.
Digital Rights Management -- An Introduction (D. Satish, ed.),
chapter Core security requirements of DRM systems, pages 73-90.
ICFAI University Press, 2007.
- [5]
- C.J.F. Cremers, V. Issarny, and S. Mauw,
editors.
STM'05, Proceedings of the First International Workshop on Security and
Trust Management, volume 157(3) of Electronic Notes in
Theoretical Computer Science.
Elsevier, Milan, Italy, September 2005.
- [6]
- S. Mauw (guest editor).
Special
issue on Visual Formal Methods '99.
Computer languages, 27(1-3), April-October 2001.
- [7]
- S. Mauw, M.A. Reniers, and T.A.C. Willemse.
Message
Sequence Charts in the software engineering process.
In S.K. Chang, editor, Handbook of Software Engineering and Knowledge
Engineering, pages 437-463. World Scientific Publishing Co., 2001.
- [8]
- S. Mauw and M.A. Reniers.
A process algebra
for Interworkings.
In Jan A. Bergstra, Alban Ponse, and Scott A. Smolka, editors, Handbook
of Process Algebra, pages 1269-1327. Elsevier, 2001.
- [9]
- J.C.M. Baeten and S. Mauw, editors.
CONCUR'99, Proceedings of the 10th International Conference on Concurrency
Theory.
Lecture Notes in Computer Science 1664. Springer Verlag, Eindhoven, the
Netherlands, August 24-27 1999.
- [10]
- ITU-TS.
ITU-TS Recommendation Z.120 Annex B: Algebraic semantics of Message
Sequence Charts.
ITU-TS, Geneva, 1995.
- [11]
- S. Mauw and G.J. Veltink, editors.
Algebraic specification of communication protocols.
Cambridge Tracts in Theoretical Computer Science 36. Cambridge University
Press, 1993.
- [12]
- S. Mauw.
Process algebra as a tool for the specification and
verification of CIM-architectures.
In J.C.M. Baeten, editor, Applications of Process Algebra,
Cambridge Tracts in Theoretical Computer Science 17, pages 53-80. Cambridge
University Press, 1990.
- [13]
- S. Mauw.
PSF - A process specification formalism.
PhD thesis, Programming Research Group, University of Amsterdam, 1991.
Miscellaneous
- [1]
- Baptiste Alcalde, Eric Dubois, Sjouke Mauw,
Nicolas Mayer, and Sasa Radomirovic.
Towards a decision model based on trust and security risk management.
In WISSec'08, 2009.
- [2]
- C.J.F. Cremers and S. Mauw.
Generalizing Needham-Schroeder-Lowe for multi-party authentication.
CS-Report 06/04, Department of Mathematics and Computing Science, Eindhoven
University of Technology, 2006.
- [3]
- H.L. Jonker and S. Mauw.
Core
security requirements of DRM systems.
CS-Report 05/24, Department of Mathematics and Computing Science, Eindhoven
University of Technology, July 2005.
- [4]
- S. Mauw and M. Oostdijk.
Attack
trees: Door de bomen de bedreigingen zien.
GvIB Informatiebeveiliging, 7(1):16-17, February 2006.
- [5]
- C.J.F. Cremers, S. Mauw, and E.P.
de Vink.
Formal methods for
security protocols: Three examples of the black-box approach.
NVTI newsletter, 7:21-32, 2003.
Newsletter of the Dutch Association for Theoretical Computing Scientists.
- [6]
- J.C.M. Baeten, H.M.A. van Beek, and S. Mauw.
Operational
semantics of DiCons, a formal language for developing internet
applications.
CS-Report 01/12, Department of Mathematics and Computing Science, Eindhoven
University of Technology, October 2001.
- [7]
- L.M.G. Feijs, N. Goga, S. Mauw, and
T. Willemse.
Proceedings 7e
nederlandse testdag.
Report 01/10, Department of Mathematics and Computing Science, Eindhoven
University of Technology, 2001.
- [8]
- René de Vries, Jan Tretmans, Axel Belinfante,
Jan Feenstra, Loe Feijs, Sjouke Mauw, Nicolae Goga, Lex Heerink, and Arjen
de Heer.
Côte de Resyste in PROGRESS.
In Jean Pierre Veen, editor, PROGRESS 2000, Proc. Workshop on Embedded
Systems, pages 141-148. Technology Foundation (STW), October 2000.
- [9]
- D. Bosnacki, S. Mauw, and T. Willemse.
Proceedings of the first international symposium on visual formal methods
VFM'99.
Report 99/08, Department of Mathematics and Computing Science, Eindhoven
University of Technology, 1999.
- [10]
- W. Janssen, S. Mauw, and J. Springintveld.
Feasibility of model checking in the context of business processes using amber
and spin.
Testbed/wp4/n011/v001, Telematica Research Centre, 1997.
- [11]
- B. Knaack and S. Mauw.
The usage of MSC with uBET-toolsupport in the software development process.
In Network development Hans Uithol and support department, editors,
International call processing symposium. Lucent Technologies,
1999.
- [12]
- A. Engels and S. Mauw.
Why men (and octopuses) cannot juggle a four ball cascade.
In Dat is dus heel interessant - Liber Amicorum voor Paul Klint,
pages 109-115. Centre for Mathematics and Computer Science, November
1997.
- [13]
- S. Mauw and M.A. Reniers.
Operational semantics for MSC'96.
In A. Cavalli and D. Vincent, editors, SDL'97: Time for Testing - SDL,
MSC and Trends, Tutorials of the Eighth SDL Forum, pages 135-152,
Evry, France, September 1997.
- [14]
- S. Mauw and E.A. van der Meulen.
Specification of tools for Message Sequence Charts.
In ASF+SDF '95. Amsterdam, 1995.
- [15]
- S. Mauw and J.C. Mulder.
A PSF
library of data types.
In ASF+SDF '95. Amsterdam, 1995.
- [16]
- S. Mauw and M.A. Reniers.
Hierarchical MSC.
SG10 meeting Geneva TD28, ITU-TS, September 1995.
- [17]
- S. Mauw and M.A. Reniers.
Thoughts on the meaning of conditions.
Experts meeting SG10, St. Petersburg TD9016, ITU-TS, 1995.
- [18]
- S. Mauw and H.T.G. Weffers.
PSF'95 - proceedings of a seminar on current use and future developments of
the process specification formalism.
Technical report, Eindhoven University of Technology, Formal Methods Group,
April 1995.
- [19]
- S. Mauw and M.A. Reniers.
Modifications to requirements.
Joint rapporteurs meeting SG10, Geneva TD9011, ITU-TS, 1994.
- [20]
- S. Mauw and M.A. Reniers.
Formalization of static requirements for Message Sequence Charts.
Joint rapporteurs meeting SG10, Geneva TD9010, ITU-TS, 1994.
- [21]
- S. Mauw.
Formele specifikatie met PSF.
Xootic magazine tijdschrift voor technische informatica, pages
19-21, april 1993.
- [22]
- S. Mauw and M.A. Reniers.
A classification of Message Sequence Charts.
Joint rapporteurs meeting SG10, Geneva TD9041, ITU-TS, 1993.
- [23]
- S. Mauw, M. van Wijk, and T. Winter.
Syntax and semantics of synchronous Interworkings - informal semantics.
Meeting SG10, Geneva, D.95-X/3, CCITT, 1992.
- [24]
- S. Mauw, M. van Wijk, and T. Winter.
Syntax and semantics of synchronous Interworkings - formal semantics.
Meeting SG10, Geneva, D.96-X/3, CCITT, 1992.
- [25]
- S. Mauw, M. van Wijk, and T. Winter.
Syntax and semantics of synchronous Interworkings.
Technical Report IST RWB-508-RE-92436, Philips, 1992.
- [26]
- S. Mauw and Gy. Max.
A formal specification of the Ethernet protocol.
Report P9007, Programming Research Group, University of Amsterdam, 1990.
- [27]
- H. Jacobsson and S. Mauw.
A token ring network in PSFd.
Report P8914, Programming Research Group, University of Amsterdam, 1989.
- [28]
- S. Mauw and G.J. Veltink.
A tool interface language for PSF.
Report P8912, Programming Research Group, University of Amsterdam, 1989.