Sebastian Nanz

48 papers A 5B 5C 6Journal 18Unranked 11
YearRankTypeTitle / Venue / Authors
2017 J jnl
SafeGPU: Contract- and library-based GPGPU for object-oriented languages.
Comput. Lang. Syst. Struct.
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz
2015 — conf
A Comparative Study of Programming Languages in Rosetta Code.
ICSE (1)
Sebastian Nanz, Carlo A. Furia
2015 B conf
Contract-based general-purpose GPU programming.
GPCE
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
2015 B conf
Efficient and reasonable object-oriented concurrency.
PPoPP
Scott West, Sebastian Nanz, Bertrand Meyer
2015 — conf
Efficient and reasonable object-oriented concurrency.
ESEC/SIGSOFT FSE
Scott West, Sebastian Nanz, Bertrand Meyer
2014 J jnl
A Comparative Study of Programming Languages in Rosetta Code.
CoRR
Sebastian Nanz, Carlo A. Furia
2014 J jnl
Contract-Based General-Purpose GPU Programming.
CoRR
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
2014 J jnl
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership.
CoRR
Mischael Schill, Sebastian Nanz, Bertrand Meyer
2014 J jnl
Efficient and Reasonable Object-Oriented Concurrency.
CoRR
Scott West, Sebastian Nanz, Bertrand Meyer
2014 C conf
Safe and Efficient Data Sharing for Message-Passing Concurrency.
COORDINATION
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2013 J jnl
Benchmarking Usability and Performance of Multicore Languages
CoRR
Sebastian Nanz, Scott West, Kaue Soares da Silveira
2013 A conf
Benchmarking Usability and Performance of Multicore Languages.
ESEM
Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer
2013 B conf
Concurrent Object-Oriented Development with Behavioral Design Patterns.
ECSA
Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa
2013 J jnl
Design of an empirical study for comparing the usability of concurrent programming languages.
Inf. Softw. Technol.
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2013 — conf
Examining the Expert Gap in Parallel Programming.
Euro-Par
Sebastian Nanz, Scott West, Kaue Soares da Silveira
2013 — conf
Handling Parallelism in a Concurrency Model.
MUSEPAT
Mischael Schill, Sebastian Nanz, Bertrand Meyer
2013 J jnl
Handling Parallelism in a Concurrency Model.
CoRR
Mischael Schill, Sebastian Nanz, Bertrand Meyer
2013 — conf
How to Cancel a Task.
MUSEPAT
Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer
2013 — conf
Prototyping a Concurrency Model.
ACSD
Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer
2013 J jnl
TOOLS Europe 2012 Special Section.
J. Object Technol.
Carlo A. Furia, Sebastian Nanz
2012 — conf
Can asynchronous exceptions expire?
WEH@ICSE
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2012 J jnl
Concurrent object-oriented development with behavioral design patterns
CoRR
Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa
2012 C conf
Demonic Testing of Concurrent Programs.
ICFEM
Scott West, Sebastian Nanz, Bertrand Meyer
2012 — ed.
Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
TOOLS (50)
Carlo A. Furia, Sebastian Nanz
2012 J jnl
Performance analysis of SCOOP programs.
J. Syst. Softw.
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2012 C conf
Who is Accountable for Asynchronous Exceptions?
APSEC
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2011 J jnl
A comprehensive operational semantics of the SCOOP programming model
CoRR
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2011 A conf
Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages.
ESEM
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2011 — conf
Empirical assessment of languages for teaching concurrency: Methodology and application.
CSEE&T
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2011 J jnl
Modal abstractions of concurrent behavior.
ACM Trans. Comput. Log.
Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson
2011 J jnl
Record-Replay Debugging for Concurrent SCOOP Programs
CoRR
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2011 — ed.
The Future of Software Engineering.
The Future of Software Engineering
Sebastian Nanz
2010 J jnl
A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages
CoRR
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2010 — conf
A Formal Reference for SCOOP.
LASER Summer School
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
2010 C conf
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model.
ICFEM
Scott West, Sebastian Nanz, Bertrand Meyer
2010 J jnl
A logic for state-modifying authorization policies.
ACM Trans. Inf. Syst. Secur.
Moritz Y. Becker, Sebastian Nanz
2010 A conf
Deriving concurrent control software from behavioral specifications.
IROS
Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer
2010 J jnl
Static analysis of topology-dependent broadcast networks.
Inf. Comput.
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
2009 C conf
Mobility Models and Behavioural Equivalence for Wireless Networks.
COORDINATION
Jens Chr. Godskesen, Sebastian Nanz
2008 A conf
Goal-Oriented Composition of Services.
SC
Sebastian Nanz, Terkel K. Tolstrup
2008 B conf
Modal Abstractions of Concurrent Behaviour.
SAS
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
2008 C conf
The Role of Abduction in Declarative Authorization Policies.
PADL
Moritz Y. Becker, Sebastian Nanz
2007 A conf
A Logic for State-Modifying Authorization Policies.
ESORICS
Moritz Y. Becker, Sebastian Nanz
2007 B conf
Topology-Dependent Abstractions of Broadcast Networks.
CONCUR
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
2006 J jnl
A framework for security analysis of mobile wireless networks.
Theor. Comput. Sci.
Sebastian Nanz, Chris Hankin
2006 — —
Specification and security analysis of mobile ad-hoc networks.
Sebastian Nanz
2004 — conf
Formal Security Analysis for Ad-Hoc Networks.
VODCA@FOSAD
Sebastian Nanz, Chris Hankin
2004 — conf
Prototyping Proof Carrying Code.
IFIP TCS
Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz