Sjouke Mauw

According to our database, Sjouke Mauw authored at least 144 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version.

Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua

CoRR, 2024

2023

On the optimal resistance against mafia and distance fraud in distance-bounding protocols.

Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua

Comput. Commun., October, 2023

When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied <i>π</i>-calculus.

Ross Horne, Sjouke Mauw, Semen Yurkov

Theor. Comput. Sci., May, 2023

Anomaly Detection Using Deep Learning Respecting the Resources on Board a CubeSat.

Ross Horne, Sjouke Mauw, Andrzej Mizera, André Stemper, Jan Thoemel

J. Aerosp. Inf. Syst., 2023

Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years.

Sviatlana Höhn, Barbara Lewandowska-Tomaszczyk, Sjouke Mauw, Dov M. Gabbay

FLAP, 2023

Automated generation of attack trees with optimal shape and labelling.

Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse

CoRR, 2023

Election Verifiability in Receipt-Free Voting Protocols.

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Language Ideology Bias in Conversational Technology.

Sviatlana Höhn, Bettina Migge, Doris Dippold, Britta Schneider, Sjouke Mauw

Proceedings of the Chatbot Research and Design - 7th International Workshop, 2023

Provably Unlinkable Smart Card-based Payments.

Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Preventing active re-identification attacks on social graphs via sybil subgraph obfuscation.

Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua

Knowl. Inf. Syst., 2022

Contingent payments from two-party signing and verification for abelian groups.

Sergiu Bursuc, Sjouke Mauw

IACR Cryptol. ePrint Arch., 2022

Modelling Agent-Skipping Attacks in Message Forwarding Protocols.

Zach Smith, Hugo Jonker, Sjouke Mauw, Hyunwoo Lee

CoRR, 2022

BelElect: A New Dataset for Bias Research from a "Dark" Platform.

Sviatlana Höhn, Sjouke Mauw, Nicholas Asher

Proceedings of the Sixteenth International AAAI Conference on Web and Social Media, 2022

A Graphical Proof Theory of Logical Time.

Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

Is Eve nearby? Analysing protocols under the distant-attacker assumption.

Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments.

Ross Horne, Sjouke Mauw, Semen Yurkov

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Discovering ePassport Vulnerabilities using Bisimilarity.

Ross Horne, Sjouke Mauw

Log. Methods Comput. Sci., 2021

Provably Improving Election Verifiability in Belenios.

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

IACR Cryptol. ePrint Arch., 2021

Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments.

Ross Horne, Sjouke Mauw, Semen Yurkov

CoRR, 2021

Examining Linguistic Biases in Telegram with a Game Theoretic Analysis.

Sviatlana Höhn, Nicholas Asher, Sjouke Mauw

Proceedings of the Disinformation in Open Online Media, 2021

Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity.

Ross Horne, Sjouke Mauw, Semen Yurkov

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2020

Fine-grained Code Coverage Measurement in Automated Black-box Android Testing.

Aleksandr Pilgun, Olga Gadyatskaya, Yury Zhauniarovich, Stanislav Dashevskyi, Artsiom Kushniarou, Sjouke Mauw

ACM Trans. Softw. Eng. Methodol., 2020

Publishing Community-Preserving Attributed Social Graphs with a Differential Privacy Guarantee.

Xihui Chen, Sjouke Mauw, Yunior Ramírez-Cruz

Proc. Priv. Enhancing Technol., 2020

Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios.

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

IACR Cryptol. ePrint Arch., 2020

Attribute evaluation on attack trees with incomplete information.

Ahto Buldas, Olga Gadyatskaya, Aleksandr Lenin, Sjouke Mauw, Rolando Trujillo-Rasua

Comput. Secur., 2020

Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees.

Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre

Proceedings of the Graphical Models for Security - 7th International Workshop, 2020

Active Re-identification Attacks on Periodically Released Dynamic Social Graphs.

Xihui Chen, Ema Këpuska, Sjouke Mauw, Yunior Ramírez-Cruz

Proceedings of the Computer Security - ESORICS 2020, 2020

ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks.

Christof Ferreira Torres, Mathis Baden, Robert Norvill, Beltran Borja Fiz Pontiveros, Hugo Jonker, Sjouke Mauw

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

Conditional adjacency anonymity in social graphs under active attacks.

Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua

Knowl. Inf. Syst., 2019

Robust active attacks on social graphs.

Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua

Data Min. Knowl. Discov., 2019

Attack-Tree Series: A Case for Dynamic Attack Tree Analysis.

Olga Gadyatskaya, Sjouke Mauw

Proceedings of the Graphical Models for Security - 6th International Workshop, 2019

Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity.

Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith

Proceedings of the Computer Security - ESORICS 2019, 2019

Post-Collusion Security and Distance Bounding.

Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Anonymising social graphs in the presence of active attackers.

Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua

Trans. Data Priv., 2018

Semi-automatically Augmenting Attack Trees Using an Annotated Attack Tree Library.

Ravi Jhawar, Karim Lounis, Sjouke Mauw, Yunior Ramírez-Cruz

Proceedings of the Security and Trust Management - 14th International Workshop, 2018

Distance-Bounding Protocols: Verification without Time and Location.

Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement.

Ross Horne, Sjouke Mauw, Alwen Tiu

Proceedings of the 5th International Workshop on Graphical Models for Security, 2018

Automated Identification of Desynchronisation Attacks on Shared Secrets.

Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Proceedings of the Computer Security, 2018

2017

Semantics for Specialising Attack Trees based on Linear Logic.

Ross Horne, Sjouke Mauw, Alwen Tiu

Fundam. Informaticae, 2017

Rethinking (k, 𝓁)-anonymity in social graphs: (k, 𝓁)-adjacency anonymity and (k, 𝓁)-(adjacency) anonymous transformations.

Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua

CoRR, 2017

Reverse Bayesian Poisoning: How to Use Spam Filters to Manipulate Online Elections.

Hugo Jonker, Sjouke Mauw, Tom Schmitz

Proceedings of the Electronic Voting - Second International Joint Conference, 2017

Refinement-Aware Generation of Attack Trees.

Olga Gadyatskaya, Ravi Jhawar, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse

Proceedings of the Security and Trust Management - 13th International Workshop, 2017

A Security Perspective on Publication Metrics.

Hugo Jonker, Sjouke Mauw

Proceedings of the Security Protocols XXV, 2017

2016

Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems.

Gabriele Lenzini, Sjouke Mauw, Samir Ouchani

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

A Stochastic Framework for Quantitative Analysis of Attack-Defense Trees.

Ravi Jhawar, Karim Lounis, Sjouke Mauw

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Man-in-the-Middle Attacks Evolved... but Our Security Models Didn't.

Hugo L. Jonker, Sjouke Mauw, Rolando Trujillo-Rasua

Proceedings of the Security Protocols XXIV, 2016

Optimality Results on the Security of Lookup-Based Protocols.

Sjouke Mauw, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Proceedings of the Radio Frequency Identification and IoT Security, 2016

Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0.

Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw, Rolando Trujillo-Rasua

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

A Class of Precomputation-Based Distance-Bounding Protocols.

Sjouke Mauw, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Proceedings of the IEEE European Symposium on Security and Privacy, 2016

Counteracting Active Attacks in Social Network Graphs.

Sjouke Mauw, Rolando Trujillo-Rasua, Bochuan Xuan

Proceedings of the Data and Applications Security and Privacy XXX, 2016

Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees.

Olga Gadyatskaya, Carlo Harpes, Sjouke Mauw, Cédric Muller, Steve Muller

Proceedings of the Graphical Models for Security - Third International Workshop, 2016

2015

Comparing distance bounding protocols: A critical mission supported by decision theory.

Gildas Avoine, Sjouke Mauw, Rolando Trujillo-Rasua

Comput. Commun., 2015

Security analysis of socio-technical physical systems.

Gabriele Lenzini, Sjouke Mauw, Samir Ouchani

Comput. Electr. Eng., 2015

Location-Private Interstellar Communication (Transcript of Discussion).

Sjouke Mauw

Proceedings of the Security Protocols XXIII - 23rd International Workshop, Cambridge, UK, March 31, 2015

Location-Private Interstellar Communication.

Hugo Jonker, Sjouke Mauw, Sasa Radomirovic

Proceedings of the Security Protocols XXIII - 23rd International Workshop, Cambridge, UK, March 31, 2015

Attack Trees with Sequential Conjunction.

Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Generalizing Multi-party Contract Signing.

Sjouke Mauw, Sasa Radomirovic

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting.

Christof Ferreira Torres, Hugo L. Jonker, Sjouke Mauw

Proceedings of the Computer Security - ESORICS 2015, 2015

2014

Attack-defense trees.

Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer

J. Log. Comput., 2014

On Robustness of Trust Systems.

Tim Muller, Yang Liu, Sjouke Mauw, Jie Zhang

Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

A Symbolic Algorithm for the Analysis of Robust Timed Automata.

Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman

Proceedings of the FM 2014: Formal Methods, 2014

2013

Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System.

Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2013

Location Assurance and Privacy in GNSS Navigation.

Xihui Chen, Carlo Harpes, Gabriele Lenzini, Sjouke Mauw, Jun Pang

ERCIM News, 2013

Privacy and verifiability in voting systems: Methods, developments and trends.

Hugo Jonker, Sjouke Mauw, Jun Pang

Comput. Sci. Rev., 2013

ADTool: Security Analysis with Attack- Defense Trees (Extended Version)

Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer

CoRR, 2013

ADTool: Security Analysis with Attack-Defense Trees.

Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Message from ESSS 2013 Workshop Co-chairs.

Jun Pang, Yang Liu, Sjouke Mauw

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A Trust Framework for Evaluating GNSS Signal Integrity.

Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Demonstrating a trust framework for evaluating GNSS signal integrity.

Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Probabilistic Model Checking of the PDGF Signaling Pathway.

Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter

Trans. Comp. Sys. Biology, 2012

A trust-augmented voting scheme for collaborative privacy management.

Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw

J. Comput. Secur., 2012

Game-based verification of contract signing protocols with minimal messages.

Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw

Innov. Syst. Softw. Eng., 2012

Input online review data and related bias in recommender systems.

Selwyn Piramuthu, Gaurav Kapoor, Wei Zhou, Sjouke Mauw

Decis. Support Syst., 2012

Comparative Analysis of Clustering Protocols with Probabilistic Model Checking.

Qian Li, Péter Schaffer, Jun Pang, Sjouke Mauw

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A PUF-Based Authentication Protocol to Address Ticket-Switching of RFID-Tagged Items.

Sjouke Mauw, Selwyn Piramuthu

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Quantitative Questions on Attack-Defense Trees.

Barbara Kordy, Sjouke Mauw, Patrick Schweitzer

Proceedings of the Information Security and Cryptology - ICISC 2012, 2012

A Group Signature Based Electronic Toll Pricing System.

Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang

Proceedings of the Seventh International Conference on Availability, 2012

Operational Semantics and Verification of Security Protocols

Cas Cremers, Sjouke Mauw

Information Security and Cryptography, Springer, ISBN: 978-3-540-78636-8, 2012

2011

A Study of the PDGF Signaling Pathway with PRISM

Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

mCarve: Carving Attributed Dump Sets.

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic

Proceedings of the 20th USENIX Security Symposium, 2011

Fairness in Non-Repudiation Protocols.

Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen

Proceedings of the Security and Trust Management - 7th International Workshop, 2011

Selective Location Blinding Using Hash Chains (Transcript of Discussion).

Sjouke Mauw

Proceedings of the Security Protocols XIX, 2011

Selective Location Blinding Using Hash Chains.

Gabriele Lenzini, Sjouke Mauw, Jun Pang

Proceedings of the Security Protocols XIX, 2011

2010

Fair Exchange.

Mohammad Torabi Dashti, Sjouke Mauw

Proceedings of the Handbook of Financial Cryptography and Security., 2010

Security Protocols for Secret Santa.

Sjouke Mauw, Sasa Radomirovic, Peter Y. A. Ryan

Proceedings of the Security Protocols XVIII, 2010

Security Protocols for Secret Santa (Transcript of Discussion).

Sjouke Mauw

Proceedings of the Security Protocols XVIII, 2010

Foundations of Attack-Defense Trees.

Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent.

Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer

Proceedings of the Decision and Game Theory for Security, 2010

2009

A formal framework for quantifying voter-controlled privacy.

Hugo L. Jonker, Sjouke Mauw, Jun Pang

J. Algorithms, 2009

Game-Based Verification of Multi-Party Contract Signing Protocols.

Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

An Algebra for Trust Dilution and Trust Fusion.

Baptiste Alcalde, Sjouke Mauw

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

Secure Ownership and Ownership Transfer in RFID Systems.

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers

Proceedings of the Computer Security, 2009

Minimal Message Complexity of Asynchronous Multi-party Contract Signing.

Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

Towards a Decision Model Based on Trust and Security Risk Management.

Baptiste Alcalde, Eric Dubois, Sjouke Mauw, Nicolas Mayer, Sasa Radomirovic

Proceedings of the Seventh Australasian Information Security Conference, 2009

Measuring Voter-Controlled Privacy.

Hugo L. Jonker, Sjouke Mauw, Jun Pang

Proceedings of the The Forth International Conference on Availability, 2009

2008

Preface.

Fabio Massacci, Frank Piessens, Sjouke Mauw

Sci. Comput. Program., 2008

A framework for compositional verification of security protocols.

Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic

Inf. Comput., 2008

Untraceability of RFID Protocols.

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic

Proceedings of the Information Security Theory and Practices. Smart Devices, 2008

Rights Management for Role-Based Access Control.

Bart Bouwman, Sjouke Mauw, Milan Petkovic

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

2007

Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks.

Pieter Ceelen, Sjouke Mauw, Sasa Radomirovic

Proceedings of the 3rd International Workshop on Security and Trust Management, 2007

A Certified Email Protocol Using Key Chains.

Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

Injective synchronisation: An extension of the authentication hierarchy.

Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink

Theor. Comput. Sci., 2006

Data Anonymity in the FOO Voting Scheme.

Sjouke Mauw, Jan Verschuren, Erik P. de Vink

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Forward Secure Communication in Wireless Sensor Networks.

Sjouke Mauw, Ivo van Vessem, Bert Bos

Proceedings of the Security in Pervasive Computing, Third International Conference, 2006

2005

Preface.

Sjouke Mauw, Valérie Issarny, Cas Cremers

Proceedings of the First International Workshop on Security and Trust Management, 2005

A Syntactic Criterion for Injectivity of Authentication Protocols.

Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

XML Security in the Next Generation Optical Disc Context.

Gopakumar Nair, Ajeesh Gopalakrishnan, Sjouke Mauw, Erik Moll

Proceedings of the Secure Data Management, 2005

Foundations of Attack Trees.

Sjouke Mauw, Martijn Oostdijk

Proceedings of the Information Security and Cryptology, 2005

2004

Language-Driven System Design.

Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse

Int. J. Softw. Eng. Knowl. Eng., 2004

Analysing the BKE-security Protocol with <i>µ</i>CRL.

Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Checking Secrecy by Means of Partial Order Reduction.

Cas J. F. Cremers, Sjouke Mauw

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

A Formalization of Anonymity and Onion Routing.

Sjouke Mauw, Jan Verschuren, Erik P. de Vink

Proceedings of the Computer Security, 2004

2003

Task Allocation in a Multi-Server System.

Sem C. Borst, Onno J. Boxma, Jan Friso Groote, Sjouke Mauw

J. Sched., 2003

Automatic Conformance Testing of Internet Applications.

Harm M. A. van Beek, Sjouke Mauw

Proceedings of the Formal Approaches to Software Testing, 2003

Operational Semantics of Security Protocols.

Cas Cremers, Sjouke Mauw

Proceedings of the Scenarios: Models, 2003

2002

A hierarchy of communication models for Message Sequence Charts.

André Engels, Sjouke Mauw, Michel A. Reniers

Sci. Comput. Program., 2002

Test Selection, Trace Distance and Heuristics.

Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2001

Impossible futures and determinism.

Marc Voorhoeve, Sjouke Mauw

Inf. Process. Lett., 2001

An algorithm for the asynchronous Write-All problem based on process collision.

Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen

Distributed Comput., 2001

Introduction by the guest editor.

Sjouke Mauw

Comput. Lang., 2001

An MSC Based Representation of DiCons.

Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw

Proceedings of the SDL 2001: Meeting UML, 2001

Specifying internet applications with DiCons.

Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

A Process Algebra for Interworkings.

Sjouke Mauw, Michel A. Reniers

Proceedings of the Handbook of Process Algebra, 2001

2000

Probabilities In The Torx Test Derivation Algorithm.

Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw

Proceedings of the SAM 2000, 2000

IC Design Validation Using Message Sequence Charts.

Harald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1999

Operational Semantics for MSC'96.

Sjouke Mauw, Michel A. Reniers

Comput. Networks, 1999

Model Checking for Managers.

Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

MSC and data: dynamic variables.

André Engels, Loe M. G. Feijs, Sjouke Mauw

Proceedings of the SDL '99 The Next Millennium, 1999

Formal Test Automation: A Simple Experiment.

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

1997

Test Generation for Intelligent Networks Using Model Checking.

André Engels, Loe M. G. Feijs, Sjouke Mauw

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

High-level message sequence charts.

Sjouke Mauw, Michel A. Reniers

Proceedings of the SDL '97 Time for Testing, 1997

1996

Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks.

Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw

Distributed Comput., 1996

The Formalization of Message Sequence Charts.

Sjouke Mauw

Comput. Networks ISDN Syst., 1996

Refinement in Interworkings.

Sjouke Mauw, Michel A. Reniers

Proceedings of the CONCUR '96, 1996

1995

Delayed choice for process algebra with abstraction.

Pedro R. D'Argenio, Sjouke Mauw

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

An Algebraic Semantics of Basic Message Sequence Charts.

Sjouke Mauw, Michel A. Reniers

Comput. J., 1994

Delayed choice: an operator for joining Message Sequence Charts.

Jos C. M. Baeten, Sjouke Mauw

Proceedings of the Formal Description Techniques VII, 1994

Regularity of BPA-Systems is Decidable.

Sjouke Mauw, Hans Mulder

Proceedings of the CONCUR '94, 1994

1991

Uniform Algebraic Specifications of Finite Sets with Equality.

Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk

Int. J. Found. Comput. Sci., 1991

A Proof Assistant for PSF.

Sjouke Mauw, Gert J. Veltink

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

An Introduction to PSFd.

Sjouke Mauw, Gert J. Veltink

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Specification of the Transit Node in PSF_d.

Sjouke Mauw, Freek Wiedijk

Proceedings of the Algebraic Methods II: Theory, 1989

A Process Specification Formalism Based on Static COLD.

Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink

Proceedings of the Algebraic Methods II: Theory, 1989

1987

An Algebraic Specification of Process Algebra, Including Two Examples.

Sjouke Mauw

Proceedings of the Algebraic Methods: Theory, 1987