Sebastian Nanz

According to our database, Sebastian Nanz authored at least 38 papers between 2004 and 2017.

Collaborative distances:

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

2017

SafeGPU: Contract- and library-based GPGPU for object-oriented languages.

Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz

Comput. Lang. Syst. Struct., 2017

2015

Efficient and reasonable object-oriented concurrency.

Scott West, Sebastian Nanz, Bertrand Meyer

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

A Comparative Study of Programming Languages in Rosetta Code.

Sebastian Nanz, Carlo A. Furia

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Contract-based general-purpose GPU programming.

Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2014

Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership.

Mischael Schill, Sebastian Nanz, Bertrand Meyer

CoRR, 2014

Safe and Efficient Data Sharing for Message-Passing Concurrency.

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Proceedings of the Coordination Models and Languages, 2014

2013

TOOLS Europe 2012 Special Section.

Carlo A. Furia, Sebastian Nanz

J. Object Technol., 2013

Design of an empirical study for comparing the usability of concurrent programming languages.

Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer

Inf. Softw. Technol., 2013

Benchmarking Usability and Performance of Multicore Languages

Sebastian Nanz, Scott West, Kaue Soares da Silveira

CoRR, 2013

Handling Parallelism in a Concurrency Model.

Mischael Schill, Sebastian Nanz, Bertrand Meyer

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

How to Cancel a Task.

Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

Examining the Expert Gap in Parallel Programming.

Sebastian Nanz, Scott West, Kaue Soares da Silveira

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

Benchmarking Usability and Performance of Multicore Languages.

Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

Concurrent Object-Oriented Development with Behavioral Design Patterns.

Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa

Proceedings of the Software Architecture - 7th European Conference, 2013

Prototyping a Concurrency Model.

Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Performance analysis of SCOOP programs.

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

J. Syst. Softw., 2012

Can asynchronous exceptions expire?

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Proceedings of the 5th International Workshop on Exception Handling, 2012

Demonic Testing of Concurrent Programs.

Scott West, Sebastian Nanz, Bertrand Meyer

Proceedings of the Formal Methods and Software Engineering, 2012

Who is Accountable for Asynchronous Exceptions?

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Modal abstractions of concurrent behavior.

Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson

ACM Trans. Comput. Log., 2011

Record-Replay Debugging for Concurrent SCOOP Programs

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

CoRR, 2011

A comprehensive operational semantics of the SCOOP programming model

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

CoRR, 2011

Empirical assessment of languages for teaching concurrency: Methodology and application.

Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

A logic for state-modifying authorization policies.

Moritz Y. Becker, Sebastian Nanz

ACM Trans. Inf. Syst. Secur., 2010

Static analysis of topology-dependent broadcast networks.

Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

Inf. Comput., 2010

A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages

Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer

CoRR, 2010

A Formal Reference for SCOOP.

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Proceedings of the Empirical Software Engineering and Verification, 2010

Deriving concurrent control software from behavioral specifications.

Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model.

Scott West, Sebastian Nanz, Bertrand Meyer

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Mobility Models and Behavioural Equivalence for Wireless Networks.

Jens Chr. Godskesen, Sebastian Nanz

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

Goal-Oriented Composition of Services.

Sebastian Nanz, Terkel K. Tolstrup

Proceedings of the Software Composition - 7th International Symposium, 2008

Modal Abstractions of Concurrent Behaviour.

Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Static Analysis, 15th International Symposium, 2008

The Role of Abduction in Declarative Authorization Policies.

Moritz Y. Becker, Sebastian Nanz

Proceedings of the Practical Aspects of Declarative Languages, 2008

2007

Topology-Dependent Abstractions of Broadcast Networks.

Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Specification and security analysis of mobile ad-hoc networks.

Sebastian Nanz

PhD thesis, 2006

A framework for security analysis of mobile wireless networks.

Sebastian Nanz, Chris Hankin

Theor. Comput. Sci., 2006

2004

Formal Security Analysis for Ad-Hoc Networks.

Sebastian Nanz, Chris Hankin

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

Prototyping Proof Carrying Code.

Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004