Prototyping Proof Carrying Code. - Martin Wildmoser; Tobias Nipkow; Gerwin Klein; Sebastian Nanz (IFIP TCS, 2004)

Formal Security Analysis for Ad-Hoc Networks. - Sebastian Nanz; Chris Hankin (VODCA@FOSAD, 2004)

A framework for security analysis of mobile wireless networks. - Sebastian Nanz; Chris Hankin (Theor. Comput. Sci., 2006)

Specification and security analysis of mobile ad-hoc networks. - Sebastian Nanz (2006)

Topology-Dependent Abstractions of Broadcast Networks. - Sebastian Nanz; Flemming Nielson; Hanne Riis Nielson (CONCUR, 2007)

The Role of Abduction in Declarative Authorization Policies. - Moritz Y. Becker; Sebastian Nanz (PADL, 2008)

Modal Abstractions of Concurrent Behaviour. - Sebastian Nanz; Flemming Nielson; Hanne Riis Nielson (SAS, 2008)

Goal-Oriented Composition of Services. - Sebastian Nanz; Terkel K. Tolstrup (SC@ETAPS, 2008)

Mobility Models and Behavioural Equivalence for Wireless Networks. - Jens Chr. Godskesen; Sebastian Nanz (COORDINATION, 2009)

A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. - Scott West; Sebastian Nanz; Bertrand Meyer 001 (ICFEM, 2010)

Deriving concurrent control software from behavioral specifications. - Ganesh Ramanathan; Benjamin Morandi; Scott West; Sebastian Nanz; Bertrand Meyer 001 (IROS, 2010)

A Formal Reference for SCOOP. - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (LASER Summer School, 2010)

A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages - Sebastian Nanz; Faraz Torshizi; Michela Pedroni; Bertrand Meyer 001 (CoRR, 2010)

Static analysis of topology-dependent broadcast networks. - Sebastian Nanz; Flemming Nielson; Hanne Riis Nielson (Inf. Comput., 2010)

A logic for state-modifying authorization policies. - Moritz Y. Becker; Sebastian Nanz (ACM Trans. Inf. Syst. Secur., 2010)

Empirical assessment of languages for teaching concurrency: Methodology and application. - Sebastian Nanz; Faraz Torshizi; Michela Pedroni; Bertrand Meyer 001 (CSEE&T, 2011)

A comprehensive operational semantics of the SCOOP programming model - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (CoRR, 2011)

Record-Replay Debugging for Concurrent SCOOP Programs - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (CoRR, 2011)

Modal abstractions of concurrent behavior. - Flemming Nielson; Sebastian Nanz; Hanne Riis Nielson (ACM Trans. Comput. Log., 2011)

Who is Accountable for Asynchronous Exceptions? - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (APSEC, 2012)

Demonic Testing of Concurrent Programs. - Scott West; Sebastian Nanz; Bertrand Meyer 001 (ICFEM, 2012)

Can asynchronous exceptions expire? - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (WEH@ICSE, 2012)

Performance analysis of SCOOP programs. - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (J. Syst. Softw., 2012)

Prototyping a Concurrency Model. - Benjamin Morandi; Mischael Schill; Sebastian Nanz; Bertrand Meyer 001 (ACSD, 2013)

Concurrent Object-Oriented Development with Behavioral Design Patterns. - Benjamin Morandi; Scott West; Sebastian Nanz; Hassan Gomaa (ECSA, 2013)

Benchmarking Usability and Performance of Multicore Languages. - Sebastian Nanz; Scott West; Kaue Soares da Silveira; Bertrand Meyer 001 (ESEM, 2013)

Examining the Expert Gap in Parallel Programming. - Sebastian Nanz; Scott West; Kaue Soares da Silveira (Euro-Par, 2013)

How to Cancel a Task. - Alexey Kolesnichenko; Sebastian Nanz; Bertrand Meyer 001 (MUSEPAT, 2013)

Handling Parallelism in a Concurrency Model. - Mischael Schill; Sebastian Nanz; Bertrand Meyer 001 (MUSEPAT, 2013)

Benchmarking Usability and Performance of Multicore Languages - Sebastian Nanz; Scott West; Kaue Soares da Silveira (CoRR, 2013)

Design of an empirical study for comparing the usability of concurrent programming languages. - Sebastian Nanz; Faraz Torshizi; Michela Pedroni; Bertrand Meyer 001 (Inf. Softw. Technol., 2013)

TOOLS Europe 2012 Special Section. - Carlo A. Furia; Sebastian Nanz (J. Object Technol., 2013)

Safe and Efficient Data Sharing for Message-Passing Concurrency. - Benjamin Morandi; Sebastian Nanz; Bertrand Meyer 001 (COORDINATION, 2014)

Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership. - Mischael Schill; Sebastian Nanz; Bertrand Meyer 001 (CoRR, 2014)

Contract-based general-purpose GPU programming. - Alexey Kolesnichenko; Christopher M. Poskitt; Sebastian Nanz; Bertrand Meyer 001 (GPCE, 2015)

A Comparative Study of Programming Languages in Rosetta Code. - Sebastian Nanz; Carlo A. Furia (ICSE (1), 2015)

Efficient and reasonable object-oriented concurrency. - Scott West; Sebastian Nanz; Bertrand Meyer 001 (ESEC/SIGSOFT FSE, 2015)

SafeGPU: Contract- and library-based GPGPU for object-oriented languages. - Alexey Kolesnichenko; Christopher M. Poskitt; Sebastian Nanz (Comput. Lang. Syst. Struct., 2017)